root
file
detailed [4775..4799]
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/smt6691114170982046427.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6687160200686750760.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6686346698589869511.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6686123617838047412.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6677276724832650940.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt667602561383150784.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6674909000431124551.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6674688031799641314.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6673833576082555204.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6668924322855834771.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6667747875492206332.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6665285847120884048.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6664083169973822731.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6661888291031456650.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt666113631269144614.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6660927392829443862.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt665836200023602644.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6656926901282860223.smt2
(content)
ok
ok
0.170s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6653901959650445094.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6646551715586635467.smt2
(content)
ok
ok
0.174s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt664544791319572341.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6643775414055873014.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6643154267821584761.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6642449961192510074.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6638261065863761504.smt2
(content)
ok
ok
0.179s