detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_resistance.2.prop1_cc_ref_max.smt2 (content) ok ok 0.204s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_protocols.2.prop1_cc_ref_max.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_protocols.1.prop1_cc_ref_max.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_pouring.2.prop1_cc_ref_max.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_needham.4.prop3_cc_ref_max.smt2 (content) ok ok 11.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_needham.3.prop2_cc_ref_max.smt2 (content) ok ok 10.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_needham.2.prop3_cc_ref_max.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_needham.2.prop2_cc_ref_max.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_needham.1.prop3_cc_ref_max.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_needham.1.prop2_cc_ref_max.smt2 (content) ok ok 9.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_lamport_nonatomic.3.prop1_cc_ref_max.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_h_Rrobin_cc_reg_max.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_eq_sdp_v6_cc_reg_max.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_eq_sdp_v5_cc_ref_max.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_eq_sdp_v3_cc_ref_max.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_eq_sdp_v2_cc_reg_max.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_eq_sdp_v1_cc_ref_max.smt2 (content) ok ok 0.154s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_cyclic_scheduler.4.prop1_cc_ref_max.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_cyclic_scheduler.2.prop1_cc_ref_max.smt2 (content) ok ok 0.574s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_counter_v_cc_ref_max.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_collision.1.prop1_cc_reg_to.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_collision.1.prop1_cc_reg_max.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_cav14_example_cc_reg_max.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_v_Unidec_cc_ref_max.smt2 (content) ok ok 0.239s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_synabs_cc_ref_max.smt2 (content) ok ok 0.130s