detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e1_1759.ec.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e8_5504_e7_579.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e8_4626.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e7_5406_e7_6697.ec.smt2 (content) warn ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e7_5322.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e8_5861.ec.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e7_2291.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e5_3642.ec.smt2 (content) warn ok 0.603s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e4_3719.ec.smt2 (content) warn ok 0.595s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e3_1543.ec.smt2 (content) warn ok 0.604s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e2_5774.ec.smt2 (content) warn ok 0.587s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e3_4612_e1_6463.ec.smt2 (content) warn ok 0.633s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e2_2073_e8_3691.ec.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e2_2073_e7_1864.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e1_2636_e8_5957.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2_e1_2636_e7_4699.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all2.ec.smt2 (content) warn ok 0.612s
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_e3_5316.ec.smt2 (content) warn ok 0.491s
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_e3_786_e7_4541.ec.smt2 (content) warn ok 0.460s