detailed results (363750 total)

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