detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bridge.2.prop1_ab_min_max.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bridge.2.prop1_ab_core_max.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bridge.1.prop1_ab_min_max.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bridge.1.prop1_ab_core_max.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.4.prop1_ab_min_max.smt2 (content) ok ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.4.prop1_ab_core_max.smt2 (content) ok ok 0.480s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_min_max.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_core_max.smt2 (content) ok ok 0.397s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_min_max.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_core_max.smt2 (content) ok ok 0.255s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_reg_max.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_min_max.smt2 (content) ok ok 0.306s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_core_max.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_min_max.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_core_max.smt2 (content) ok ok 0.347s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_min_max.smt2 (content) ok ok 0.392s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_core_max.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.6.prop1_ab_min_max.smt2 (content) ok ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.6.prop1_ab_core_max.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.5.prop1_ab_min_max.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.5.prop1_ab_core_max.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.4.prop1_ab_min_max.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.4.prop1_ab_core_max.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.3.prop1_ab_min_max.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.3.prop1_ab_core_max.smt2 (content) ok ok 0.398s