detailed results (33316 total)

prover file res expected time
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/durationThm_3_e7_334_e7_118.ec.smt2 (content) warn ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_334_e3_42.ec.smt2 (content) warn ok 0.358s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_334_e2_62.ec.smt2 (content) warn ok 0.341s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_201.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_442_e5_260.ec.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_442_e4_165.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_207.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e2_148.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e1_36_e7_432.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e1_36.ec.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3.ec.smt2 (content) warn ok 0.287s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e7_31.ec.smt2 (content) warn ok 0.140s