detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e2_562.ec.smt2 (content) warn ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_819_e1_1145.ec.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e2_1872.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3_e1_2517_e8_2163.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_3.ec.smt2 (content) warn ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_r4a.ec.smt2 (content) warn ok 0.415s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_all.ec.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_a1.ec.smt2 (content) warn ok 0.441s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_5_e7_692_e7_2865.ec.smt2 (content) warn ok 0.598s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_5.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_4_e7_2651_e7_2847.ec.smt2 (content) warn ok 0.571s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_4.ec.smt2 (content) warn ok 0.106s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e7_3447.ec.smt2 (content) warn ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e3_979.ec.smt2 (content) warn ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e2_2545.ec.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581_e1_1130.ec.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3_e3_2581.ec.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_3.ec.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367_e7_2728.ec.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367_e3_1601.ec.smt2 (content) warn ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367_e2_1561.ec.smt2 (content) warn ok 0.084s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e2_2367.ec.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e7_3738.ec.smt2 (content) warn ok 0.106s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e3_2931.ec.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e2_3395.ec.smt2 (content) warn ok 0.183s