detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e1_1115.ec.smt2 (content) warn ok 0.226s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_1251.ec.smt2 (content) warn ok 0.236s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e7_529.ec.smt2 (content) warn ok 0.201s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e6_1315.ec.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e5_846.ec.smt2 (content) warn ok 0.233s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e4_164.ec.smt2 (content) warn ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e3_640.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e2_454.ec.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e1_1350.ec.smt2 (content) warn ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1117.ec.smt2 (content) warn ok 0.239s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e3_112.ec.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e7_810.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e3_76.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e2_13.ec.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e1_389.ec.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704.ec.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_190.ec.smt2 (content) warn ok 0.240s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e7_1440.ec.smt2 (content) warn ok 0.142s
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