detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.8.prop1_ab_min_max.smt2 (content) ok ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.8.prop1_ab_core_max.smt2 (content) ok ok 0.283s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_min_max.smt2 (content) ok ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2 (content) ok ok 0.268s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.6.prop1_ab_min_max.smt2 (content) ok ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.6.prop1_ab_core_max.smt2 (content) ok ok 0.215s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.5.prop1_ab_min_max.smt2 (content) ok ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.5.prop1_ab_core_max.smt2 (content) ok ok 0.276s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.4.prop1_ab_min_max.smt2 (content) ok ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.4.prop1_ab_core_max.smt2 (content) ok ok 0.259s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.3.prop1_ab_min_max.smt2 (content) ok ok 0.230s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.3.prop1_ab_core_max.smt2 (content) ok ok 0.242s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.2.prop1_ab_min_max.smt2 (content) ok ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.2.prop1_ab_core_max.smt2 (content) ok ok 0.255s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_min_max.smt2 (content) ok ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2 (content) ok ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_min_max.smt2 (content) ok ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_core_max.smt2 (content) ok ok 0.245s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.4.prop1_ab_min_max.smt2 (content) ok ok 0.158s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.4.prop1_ab_core_max.smt2 (content) ok ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.3.prop1_ab_min_max.smt2 (content) ok ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.3.prop1_ab_core_max.smt2 (content) ok ok 0.202s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_min_max.smt2 (content) ok ok 0.175s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2 (content) ok ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_min_max.smt2 (content) ok ok 0.148s