root
file
detailed [100..124]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt109754311498269545.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1096450924343858112.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1092100299585472351.smt2
(content)
ok
ok
0.137s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1091711852231921911.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1091686241572085595.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1091458669359419060.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1090619872693650981.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1090353694880880381.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1088650763747355952.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1084163731047178755.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1083456265906401833.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1081963463537466342.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt108181968492952724.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1081731255055530818.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1077199842095303803.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1074278993077138118.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1069073726844330930.smt2
(content)
ok
ok
0.256s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1068511340845526454.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1068051703290346983.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1067221439858864710.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1067115465308413335.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1066048302557593432.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1064233674222730669.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1061149044167816919.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1060187670469680517.smt2
(content)
ok
ok
0.122s