root
file
detailed [2875..2899]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peterson.3.prop1_cc_ref_max.smt2
(content)
ok
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peterson.2.prop1_cc_ref_max.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peterson.1.prop1_cc_ref_max.smt2
(content)
ok
ok
0.324s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peg_solitaire.6.prop1_cc_ref_max.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peg_solitaire.5.prop1_cc_ref_max.smt2
(content)
ok
ok
0.246s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peg_solitaire.4.prop1_cc_ref_max.smt2
(content)
ok
ok
0.230s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peg_solitaire.3.prop1_cc_ref_max.smt2
(content)
ok
ok
0.320s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peg_solitaire.2.prop1_cc_ref_max.smt2
(content)
ok
ok
0.241s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_peg_solitaire.1.prop1_cc_ref_max.smt2
(content)
ok
ok
0.327s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_paper_v3_cc_ref_max.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.4.prop4_cc_ref_max.smt2
(content)
ok
ok
0.319s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.4.prop3_cc_ref_to.smt2
(content)
ok
ok
0.631s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.4.prop2_cc_ref_max.smt2
(content)
ok
ok
0.403s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.4.prop1_cc_ref_max.smt2
(content)
ok
ok
0.324s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.3.prop4_cc_ref_max.smt2
(content)
ok
ok
0.319s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.3.prop3_cc_ref_to.smt2
(content)
ok
ok
0.554s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.3.prop3_cc_ref_max.smt2
(content)
ok
ok
0.585s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.3.prop2_cc_ref_to.smt2
(content)
ok
ok
0.647s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.3.prop1_cc_ref_max.smt2
(content)
ok
ok
0.331s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.2.prop4_cc_ref_max.smt2
(content)
ok
ok
0.326s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.2.prop3_cc_ref_to.smt2
(content)
ok
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.2.prop2_cc_ref_to.smt2
(content)
ok
ok
0.247s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.2.prop1_cc_ref_max.smt2
(content)
ok
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.1.prop4_cc_ref_max.smt2
(content)
ok
ok
0.330s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.1.prop3_cc_ref_to.smt2
(content)
ok
ok
0.232s