detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e1_1303.ec.smt2 (content) ok ok 0.499s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799.ec.smt2 (content) ok ok 0.507s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e1_4312.ec.smt2 (content) ok ok 0.552s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4.ec.smt2 (content) ok ok 0.561s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e7_3211.ec.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e3_5422_e2_3135.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e3_5422_e1_2288.ec.smt2 (content) warn ok 0.168s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e3_3846.ec.smt2 (content) warn ok 0.109s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e1_4783_e7_4070.ec.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e1_4783_e3_511.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e1_4783_e2_158.ec.smt2 (content) warn ok 0.155s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e1_4783_e1_3755.ec.smt2 (content) warn ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_3_e1_4783.ec.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e7_25_e7_4469.ec.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e7_25_e3_829.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e7_25_e2_5340.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e7_25_e1_154.ec.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e7_25.ec.smt2 (content) warn ok 0.111s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e2_4481.ec.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e2_3183_e3_5972.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e2_3183_e2_3580.ec.smt2 (content) warn ok 0.106s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e2_3183_e1_2644.ec.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_2_e1_2316.ec.smt2 (content) warn ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e3_11891_e7_4569_e4_4881.ec.smt2 (content) warn ok 0.496s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e2_1997_e7_3613_e2_3409.ec.smt2 (content) ok ok 0.488s