detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e3_287.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e2_617.ec.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e1_556.ec.smt2 (content) warn ok 0.196s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2.ec.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725_e3_556.ec.smt2 (content) warn ok 0.167s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725_e2_1144.ec.smt2 (content) warn ok 0.114s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725_e1_919.ec.smt2 (content) warn ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e8_725.ec.smt2 (content) warn ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e7_606.ec.smt2 (content) warn ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e7_1255_e7_12.ec.smt2 (content) warn ok 0.260s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_627.ec.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e7_1163.ec.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e3_961.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e2_943.ec.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e2_1102_e1_317.ec.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e7_397.ec.smt2 (content) warn ok 0.110s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e3_1060.ec.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e2_1394.ec.smt2 (content) warn ok 0.112s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1_e1_846_e1_1317.ec.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_1.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_all.ec.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_3.ec.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_2.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_1.ec.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_976.ec.smt2 (content) ok ok 0.103s