detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e3_291.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e2_80.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e1_1115.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_1251.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e7_529.ec.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e6_1315.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e5_846.ec.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e4_164.ec.smt2 (content) fatal ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e3_640.ec.smt2 (content) fatal ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e2_454.ec.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1275_e1_1350.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e3_1117.ec.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e3_112.ec.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e7_810.ec.smt2 (content) fatal ok 0.326s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e3_76.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e2_13.ec.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704_e1_389.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e2_704.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_190.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_2_e1_1116_e7_1440.ec.smt2 (content) fatal ok 0.166s
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