detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_all.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e3_314_e4_897.ec.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e3_314_e2_2812.ec.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e3_314_e1_1979.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2952.ec.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e7_2614.ec.smt2 (content) warn ok 0.107s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e3_2542.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e2_2689.ec.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e1_3235.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e7_906.ec.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e3_2970.ec.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e2_2392.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e1_3123.ec.smt2 (content) warn ok 0.191s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_195.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_9_e7_170_e3_3647.ec.smt2 (content) warn ok 0.477s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e7_3568.ec.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e5_3248.ec.smt2 (content) warn ok 0.572s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e4_1464.ec.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e3_422.ec.smt2 (content) warn ok 0.507s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e2_1923.ec.smt2 (content) warn ok 0.555s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e1_2375.ec.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511.ec.smt2 (content) warn ok 0.581s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4.ec.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e7_1776_e2_3202.ec.smt2 (content) warn ok 0.100s