detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e3_287.ec.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e2_617.ec.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e1_556.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725_e3_556.ec.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725_e2_1144.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725_e1_919.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725.ec.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e7_606.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e7_1255_e7_12.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_627.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e7_1163.ec.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e3_961.ec.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e2_943.ec.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e1_317.ec.smt2 (content) fatal ok 0.330s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e7_397.ec.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e3_1060.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e2_1394.ec.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e1_1317.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1.ec.smt2 (content) fatal ok 0.266s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_all.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_3.ec.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_2.ec.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_1.ec.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_976.ec.smt2 (content) ok ok 0.316s