detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.5.prop1_ab_min_max.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.5.prop1_ab_core_max.smt2 (content) ok ok 0.160s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.4.prop1_ab_min_max.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.4.prop1_ab_core_max.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.3.prop1_ab_min_max.smt2 (content) ok ok 0.259s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.3.prop1_ab_core_max.smt2 (content) ok ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.2.prop1_ab_min_max.smt2 (content) ok ok 0.163s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.2.prop1_ab_core_max.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_min_max.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_core_max.smt2 (content) ok ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_min_max.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_core_max.smt2 (content) ok ok 0.227s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_min_max.smt2 (content) ok ok 0.236s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_core_max.smt2 (content) ok ok 0.235s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_min_max.smt2 (content) ok ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_core_max.smt2 (content) ok ok 0.286s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_min_max.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_core_max.smt2 (content) ok ok 0.264s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_min_max.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2 (content) ok ok 0.407s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b03_ab_reg_max.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b02_ab_min_max.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_min_max.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_min_max.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_TicTacToe_ab_min_max.smt2 (content) ok ok 0.236s