root
file
detailed [3550..3574]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3545392280640028476.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3540916932273223951.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3539893893757911286.smt2
(content)
ok
ok
0.222s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3538479154264685614.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3537644573647047381.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3537146963494447428.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3536034218381398105.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3534136111152705896.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3523323338327450331.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3520323840153942321.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3515869378394443618.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt351463062513863099.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3509430863777721379.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3504742795329872706.smt2
(content)
ok
ok
0.201s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3501099348439958203.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3499630869687200278.smt2
(content)
ok
ok
0.198s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3494040501659286425.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3489132463995885781.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt348892989941790610.smt2
(content)
ok
ok
0.197s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt348629254771220058.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3485718138323394333.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3484976284024990134.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3483261526207884553.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3482380806716512340.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3476729888661298529.smt2
(content)
ok
ok
0.162s