detailed results (8452 total)

prover file res expected time
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/MESI_i1_e4_1986_e1_1519.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e4_1986.ec.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e8_2325.ec.smt2 (content) fatal ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e7_1847.ec.smt2 (content) fatal ok 0.326s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e6_500.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e5_2391.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e4_1717.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e3_977.ec.smt2 (content) fatal ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e2_2228.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_2145_e1_2667.ec.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e3_188.ec.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e2_2656.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i1_e2_1758_e8_12.ec.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e3_2669.ec.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e8_1896.ec.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e7_1665.ec.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e6_1459.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e5_2554.ec.smt2 (content) fatal ok 0.233s