detailed results (363750 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_core_max.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.7.prop1_ab_min_max.smt2 (content) ok ok 0.210s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.7.prop1_ab_core_max.smt2 (content) ok ok 0.237s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.6.prop1_ab_min_max.smt2 (content) ok ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.6.prop1_ab_core_max.smt2 (content) ok ok 0.245s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.5.prop1_ab_min_max.smt2 (content) ok ok 0.237s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.5.prop1_ab_core_max.smt2 (content) ok ok 0.209s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.4.prop1_ab_min_max.smt2 (content) ok ok 0.218s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.4.prop1_ab_core_max.smt2 (content) ok ok 0.289s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.3.prop1_ab_min_max.smt2 (content) ok ok 0.223s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.3.prop1_ab_core_max.smt2 (content) ok ok 0.329s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.2.prop1_ab_min_max.smt2 (content) ok ok 0.194s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.2.prop1_ab_core_max.smt2 (content) ok ok 0.302s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.1.prop1_ab_min_max.smt2 (content) ok ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synapse.1.prop1_ab_core_max.smt2 (content) ok ok 0.328s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synabs_ab_min_max.smt2 (content) ok ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synabs_ab_core_max.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_synabs2_ab_min_max.smt2 (content) ok ok 0.102s