detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_3_e2_2236.ec.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_3.ec.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11_e1_3457.ec.smt2 (content) ok ok 0.657s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11.ec.smt2 (content) ok ok 0.659s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_10_e7_919_e2_3192.ec.smt2 (content) ok ok 0.585s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_10.ec.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_9_e7_1843_e7_2225.ec.smt2 (content) ok ok 0.522s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_9_e7_1843_e2_1145.ec.smt2 (content) ok ok 0.494s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_9_e7_1843_e1_5434.ec.smt2 (content) ok ok 0.511s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_9_e7_1843.ec.smt2 (content) ok ok 0.511s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_9.ec.smt2 (content) ok ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8_e7_3752.ec.smt2 (content) ok ok 0.513s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8.ec.smt2 (content) ok ok 0.561s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7_e7_3157_e2_2082.ec.smt2 (content) ok ok 0.551s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7_e2_2872_e2_5844.ec.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_6_e7_5046_e7_3623.ec.smt2 (content) ok ok 0.508s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_6.ec.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e7_2017_e7_2326.ec.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e7_2017_e1_5832.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e7_2017.ec.smt2 (content) ok ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e2_3018_e7_2443.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e2_3018_e2_936.ec.smt2 (content) ok ok 0.602s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e1_1835.ec.smt2 (content) ok ok 0.569s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5.ec.smt2 (content) ok ok 0.539s