detailed results (363750 total)

prover file res expected time
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_2_e7_145_e7_154.ec.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145_e3_222.ec.smt2 (content) ok ok 0.296s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145_e2_169.ec.smt2 (content) ok ok 0.272s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145.ec.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e3_329_e5_124.ec.smt2 (content) ok ok 0.294s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e3_329_e4_1.ec.smt2 (content) ok ok 0.326s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e3_329.ec.smt2 (content) ok ok 0.286s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e2_63.ec.smt2 (content) ok ok 0.281s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e1_301_e7_64.ec.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e1_301.ec.smt2 (content) ok ok 0.278s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2.ec.smt2 (content) ok ok 0.278s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e7_31.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e2_352.ec.smt2 (content) warn ok 0.330s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_12.ec.smt2 (content) warn ok 0.124s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e7_358.ec.smt2 (content) warn ok 0.301s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e5_5.ec.smt2 (content) warn ok 0.381s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e4_294.ec.smt2 (content) warn ok 0.341s