detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_all.ec.smt2 (content) warn ok 0.122s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_3.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_all_e3_2032_e3_2788.ec.smt2 (content) warn ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_all.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e8_2138.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e7_961.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e3_1758.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e1_1065.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2910_e8_2590.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2910_e7_1804.ec.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2607.ec.smt2 (content) warn ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e7_619.ec.smt2 (content) warn ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e5_1826.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e4_578.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e3_2294.ec.smt2 (content) warn ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e2_2421.ec.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e1_2319.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e7_1597.ec.smt2 (content) warn ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e3_1658.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e2_1815.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e1_2383.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e1_1753_e7_1626.ec.smt2 (content) warn ok 0.097s