detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e2_267.ec.smt2 (content) warn ok 0.143s
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_e3_5316.ec.smt2 (content) warn ok 0.491s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8_e3_786_e7_4541.ec.smt2 (content) warn ok 0.460s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8_e3_786.ec.smt2 (content) warn ok 0.540s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8_e2_3896_e3_3125.ec.smt2 (content) warn ok 0.558s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7_e2_2872_e3_2640.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e3_1503_e7_1879.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e7_2329_e3_4574.ec.smt2 (content) warn ok 0.177s