detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.1.prop2_cc_ref_to.smt2 (content) ok ok 0.569s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_needham.1.prop1_cc_ref_max.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_msmie.4.prop1_cc_ref_max.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_msmie.3.prop1_cc_ref_max.smt2 (content) ok ok 0.260s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_msmie.2.prop1_cc_ref_max.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_msmie.1.prop1_cc_ref_max.smt2 (content) ok ok 0.262s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mpeg_cc_ref_max.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mcs.6.prop1_cc_ref_max.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mcs.5.prop1_cc_ref_max.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mcs.4.prop1_cc_ref_max.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mcs.3.prop1_cc_ref_max.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mcs.2.prop1_cc_ref_max.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_mcs.1.prop1_cc_ref_max.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_lup.4.prop1_cc_ref_max.smt2 (content) ok ok 0.553s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_lup.3.prop1_cc_ref_max.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_lup.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_lup.1.prop1_cc_ref_max.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_loyd.3.prop1_cc_ref_max.smt2 (content) ok ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_loyd.2.prop1_cc_ref_max.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_loyd.1.prop1_cc_ref_max.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_leader_filters.7.prop1_cc_ref_max.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_leader_filters.6.prop1_cc_ref_max.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_leader_filters.5.prop1_cc_ref_max.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_leader_filters.4.prop1_cc_ref_max.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_leader_filters.3.prop1_cc_ref_max.smt2 (content) ok ok 0.236s