detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_core_max.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.3.prop1_ab_min_max.smt2 (content) ok ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.3.prop1_ab_core_max.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.2.prop1_ab_min_max.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.2.prop1_ab_core_max.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.1.prop1_ab_min_max.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.1.prop1_ab_core_max.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.8.prop1_ab_min_max.smt2 (content) ok ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.8.prop1_ab_core_max.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_min_max.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.6.prop1_ab_min_max.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.6.prop1_ab_core_max.smt2 (content) ok ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.5.prop1_ab_min_max.smt2 (content) ok ok 0.385s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.5.prop1_ab_core_max.smt2 (content) ok ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.4.prop1_ab_min_max.smt2 (content) ok ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.4.prop1_ab_core_max.smt2 (content) ok ok 0.321s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.3.prop1_ab_min_max.smt2 (content) ok ok 0.325s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.3.prop1_ab_core_max.smt2 (content) ok ok 0.396s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.2.prop1_ab_min_max.smt2 (content) ok ok 0.331s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.2.prop1_ab_core_max.smt2 (content) ok ok 0.330s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_min_max.smt2 (content) ok ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_min_max.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_core_max.smt2 (content) ok ok 0.237s