detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e4_1595.ec.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e3_2698.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e2_562.ec.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e1_1145.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_1872.ec.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e1_2517_e8_2163.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3.ec.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_r4a.ec.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_all.ec.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_a1.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_5_e7_692_e7_2865.ec.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_5.ec.smt2 (content) fatal ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_4_e7_2651_e7_2847.ec.smt2 (content) fatal ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_4.ec.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e7_3447.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e3_979.ec.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e2_2545.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e1_1130.ec.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367_e7_2728.ec.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367_e3_1601.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367_e2_1561.ec.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367.ec.smt2 (content) fatal ok 0.262s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e7_3738.ec.smt2 (content) fatal ok 0.157s