detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.4.prop2_ab_br_to.smt2 (content) ok ok 0.279s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.3.prop2_ab_min_max.smt2 (content) ok ok 0.275s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.3.prop2_ab_fp_max.smt2 (content) ok ok 0.352s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.3.prop2_ab_core_max.smt2 (content) ok ok 0.288s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.3.prop2_ab_br_to.smt2 (content) ok ok 0.309s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.2.prop2_ab_min_max.smt2 (content) ok ok 0.337s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.2.prop2_ab_fp_max.smt2 (content) ok ok 0.348s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.2.prop2_ab_core_max.smt2 (content) ok ok 0.291s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.2.prop2_ab_br_to.smt2 (content) ok ok 0.278s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.1.prop2_ab_min_max.smt2 (content) ok ok 0.331s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.1.prop2_ab_fp_max.smt2 (content) ok ok 0.323s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_plc.1.prop2_ab_br_to.smt2 (content) ok ok 0.372s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pj_icu_ab_min_max.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pj_icu_ab_fp_max.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pj_icu_ab_core_max.smt2 (content) ok ok 0.112s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.2.prop1_ab_min_max.smt2 (content) ok ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.2.prop1_ab_core_max.smt2 (content) ok ok 0.261s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.2.prop1_ab_br_to.smt2 (content) ok ok 0.291s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop6_ab_min_max.smt2 (content) ok ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop6_ab_fp_max.smt2 (content) ok ok 0.234s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop6_ab_core_max.smt2 (content) ok ok 0.257s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop6_ab_br_to.smt2 (content) ok ok 0.230s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop5_ab_min_max.smt2 (content) ok ok 0.230s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop5_ab_core_max.smt2 (content) ok ok 0.227s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_pgm_protocol.1.prop5_ab_br_to.smt2 (content) ok ok 0.224s