detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_core_max.smt2 (content) ok ok 0.240s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_min_max.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_core_max.smt2 (content) ok ok 0.212s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_reg_max.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_min_max.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_core_max.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_min_max.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_core_max.smt2 (content) ok ok 0.169s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_min_max.smt2 (content) ok ok 0.151s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_core_max.smt2 (content) ok ok 0.195s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.6.prop1_ab_min_max.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.6.prop1_ab_core_max.smt2 (content) ok ok 0.200s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.5.prop1_ab_min_max.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.5.prop1_ab_core_max.smt2 (content) ok ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.4.prop1_ab_min_max.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.4.prop1_ab_core_max.smt2 (content) ok ok 0.240s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.3.prop1_ab_min_max.smt2 (content) ok ok 0.248s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.3.prop1_ab_core_max.smt2 (content) ok ok 0.234s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.2.prop1_ab_min_max.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.2.prop1_ab_core_max.smt2 (content) ok ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.1.prop1_ab_min_max.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_bakery.1.prop1_ab_core_max.smt2 (content) ok ok 0.165s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_at.7.prop1_ab_min_max.smt2 (content) ok ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_at.7.prop1_ab_core_max.smt2 (content) ok ok 0.223s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_at.6.prop1_ab_min_max.smt2 (content) ok ok 0.182s