detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2607.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e7_619.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e5_1826.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e4_578.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e3_2294.ec.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e2_2421.ec.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e1_2319.ec.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e7_1597.ec.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e3_1658.ec.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e2_1815.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e1_2383.ec.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599.ec.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e1_1753_e7_1626.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e1_1753_e3_2021.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e1_1753_e2_615.ec.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e1_1753_e1_1510.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e1_1753.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_1_e3_1884_e7_1875.ec.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_1_e2_982_e7_492.ec.smt2 (content) ok ok 0.496s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_1.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i4_e4_1689_e8_290.ec.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i4_e4_1689.ec.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i4_e1_1023_e8_2498.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i4.ec.smt2 (content) ok ok 0.233s