detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_460_e8_1920.ec.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_460_e7_43.ec.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e7_2526_e7_2736.ec.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e7_1871.ec.smt2 (content) ok ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2.ec.smt2 (content) ok ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e8_751.ec.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e8_747_e8_1041.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e8_747_e7_692.ec.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e7_2044_e7_1287.ec.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e7_1035.ec.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e8_220_e7_249.ec.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e8_220.ec.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e7_74_e8_302.ec.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e7_74_e7_740.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e7_55.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e8_381_e8_477.ec.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e8_381_e7_224.ec.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e8_381.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e7_655.ec.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e7_590_e7_590.ec.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3.ec.smt2 (content) ok ok 0.132s
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