detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e7_2329_e7_3856.ec.smt2 (content) ok ok 0.191s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e7_2077.ec.smt2 (content) ok ok 0.162s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e7_2499.ec.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e2_2251.ec.smt2 (content) ok ok 0.515s
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_1_e2_1997_e7_3613_e2_3409.ec.smt2 (content) ok ok 0.488s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e2_1997.ec.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_5070.ec.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_3184_e7_1888.ec.smt2 (content) ok ok 0.478s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_14612_e2_2653_e7_4370.ec.smt2 (content) ok ok 0.483s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_14612_e1_268_e7_501.ec.smt2 (content) ok ok 0.497s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162_e7_3528.ec.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162_e1_3998.ec.smt2 (content) ok ok 0.191s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162.ec.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e2_3606_e7_4891.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e2_3606.ec.smt2 (content) ok ok 0.250s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e1_5710.ec.smt2 (content) ok ok 0.225s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14.ec.smt2 (content) ok ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e7_685.ec.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e2_1255.ec.smt2 (content) ok ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e1_541.ec.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336.ec.smt2 (content) ok ok 0.104s