detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i4_e1_1023_e8_2498.ec.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i4.ec.smt2 (content) ok ok 0.140s
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_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_2.ec.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_1.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_u1_e7_3318.ec.smt2 (content) ok ok 0.219s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_u1_e2_3403_e2_957.ec.smt2 (content) ok ok 0.486s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_u1.ec.smt2 (content) ok ok 0.486s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_rt.ec.smt2 (content) ok ok 0.558s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_4_e2_325.ec.smt2 (content) ok ok 0.579s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_4.ec.smt2 (content) ok ok 0.644s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_3_e1_2217_e3_1200.ec.smt2 (content) ok ok 0.472s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_3.ec.smt2 (content) ok ok 0.486s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_2_e7_1826_e8_126.ec.smt2 (content) ok ok 0.485s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_2_e2_1375_e1_418.ec.smt2 (content) ok ok 0.496s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_2.ec.smt2 (content) ok ok 0.488s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_1a_e2_284_e7_998.ec.smt2 (content) ok ok 0.190s