detailed results (363750 total)

prover file res expected time
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_e3_4298.ec.smt2 (content) warn ok 0.194s
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_e3_5120.ec.smt2 (content) warn ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e3_1259_e1_5798.ec.smt2 (content) warn ok 0.191s
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_e3_3117.ec.smt2 (content) warn ok 0.136s
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e3_1418_e3_2761.ec.smt2 (content) warn ok 0.476s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13.ec.smt2 (content) ok ok 0.490s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e7_4732.ec.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e3_2012.ec.smt2 (content) warn ok 0.476s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e2_138.ec.smt2 (content) ok ok 0.511s