detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e7_2194.ec.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e6_2281.ec.smt2 (content) ok ok 0.412s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e5_2444.ec.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e2_1098.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_2143.ec.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i2.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e4_1986_e1_1519.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e4_1986.ec.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e8_2325.ec.smt2 (content) warn ok 0.171s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e7_1847.ec.smt2 (content) warn ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e6_500.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e5_2391.ec.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e4_1717.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e3_977.ec.smt2 (content) warn ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e2_2228.ec.smt2 (content) warn ok 0.151s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e1_2667.ec.smt2 (content) warn ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_188.ec.smt2 (content) warn ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e2_2656.ec.smt2 (content) warn ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e2_1758_e8_12.ec.smt2 (content) warn ok 0.151s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_all.ec.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_4.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e3_2669.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e8_1896.ec.smt2 (content) warn ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e7_1665.ec.smt2 (content) warn ok 0.144s