detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e1_956.ec.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_532.ec.smt2 (content) warn ok 0.213s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e1_917.ec.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e1_821_e5_911.ec.smt2 (content) warn ok 0.204s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4.ec.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e3_291.ec.smt2 (content) warn ok 0.223s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e2_80.ec.smt2 (content) warn ok 0.197s
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