root
file
detailed [2775..2799]
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_h_b02_cc_ref_max.smt2
(content)
ok
ok
0.230s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_Vlunc_cc_ref_max.smt2
(content)
ok
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_Vending_cc_ref_max.smt2
(content)
ok
ok
0.272s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_TicTacToe_cc_ref_max.smt2
(content)
ok
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_FourbyFour_cc_ref_max.smt2
(content)
ok
ok
0.243s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_FIFO_cc_ref_max.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_CRC_cc_ref_max.smt2
(content)
ok
ok
0.248s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_BufAl_cc_ref_max.smt2
(content)
ok
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_h_Arbiter_cc_ref_max.smt2
(content)
ok
ok
0.161s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.2.prop4_cc_ref_max.smt2
(content)
ok
ok
0.252s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.2.prop3_cc_ref_max.smt2
(content)
ok
ok
0.404s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.2.prop2_cc_ref_max.smt2
(content)
ok
ok
0.321s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.2.prop1_cc_ref_max.smt2
(content)
ok
ok
0.337s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.1.prop4_cc_ref_max.smt2
(content)
ok
ok
0.314s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.1.prop3_cc_ref_max.smt2
(content)
ok
ok
0.310s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.1.prop2_cc_ref_max.smt2
(content)
ok
ok
0.399s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_gear.1.prop1_cc_ref_max.smt2
(content)
ok
ok
0.397s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_frogs.5.prop1_cc_ref_max.smt2
(content)
ok
ok
0.392s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_frogs.4.prop1_cc_ref_max.smt2
(content)
ok
ok
0.489s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_frogs.3.prop1_cc_ref_max.smt2
(content)
ok
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_frogs.2.prop1_cc_ref_max.smt2
(content)
ok
ok
0.312s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_frogs.1.prop1_cc_ref_max.smt2
(content)
ok
ok
0.319s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_fischer.7.prop1_cc_ref_max.smt2
(content)
ok
ok
0.328s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_fischer.6.prop1_cc_ref_max.smt2
(content)
ok
ok
0.225s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_fischer.5.prop1_cc_ref_max.smt2
(content)
ok
ok
0.241s