root
file
detailed [16800..16824]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1664915056941502824.smt2
(content)
ok
ok
0.146s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1663369848694419958.smt2
(content)
ok
ok
0.225s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1661965384434740075.smt2
(content)
ok
ok
0.218s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1659158552399494813.smt2
(content)
ok
ok
0.214s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt165394915331355550.smt2
(content)
ok
ok
0.214s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1653721034570856685.smt2
(content)
ok
ok
0.145s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1651069619159631909.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1648848657443485062.smt2
(content)
ok
ok
0.301s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1643358356540277150.smt2
(content)
ok
ok
0.162s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1643313206004053741.smt2
(content)
ok
ok
0.291s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1638875703304617187.smt2
(content)
ok
ok
0.212s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1637869308191763004.smt2
(content)
ok
ok
0.211s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1637708947614210232.smt2
(content)
ok
ok
0.227s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt163743745944937340.smt2
(content)
ok
ok
0.370s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1631959920870685887.smt2
(content)
ok
ok
0.223s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1630225104785523677.smt2
(content)
ok
ok
0.162s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1628477078675651658.smt2
(content)
ok
ok
0.305s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1627772612706176445.smt2
(content)
ok
ok
0.295s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1620443866067101944.smt2
(content)
ok
ok
0.151s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1619196889778274434.smt2
(content)
ok
ok
0.217s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1615293151878273659.smt2
(content)
ok
ok
0.147s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1610512121780462649.smt2
(content)
ok
ok
0.147s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1608205274115738416.smt2
(content)
ok
ok
0.295s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1603372208358089329.smt2
(content)
ok
ok
0.139s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1601692452004770473.smt2
(content)
ok
ok
0.145s