root
file
detailed [2525..2549]
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/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
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt105772728975315532.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1056800823907916951.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1053968499807755684.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1053503323401967250.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1051894431620963001.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1051587266466433100.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1049857981729249271.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1046771070189870327.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1041855950602319657.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1038795333874449350.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt103400029769428691.smt2
(content)
ok
ok
0.121s