detailed results (8452 total)

prover file res expected time
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/durationThm_3_e7_334_e7_118.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_334_e3_42.ec.smt2 (content) fatal ok 0.331s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_334_e2_62.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_201.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_442_e5_260.ec.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_442_e4_165.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_207.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e2_148.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e1_36_e7_432.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e1_36.ec.smt2 (content) fatal ok 0.238s