detailed results (330073 total)

prover file res expected time
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
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e7_2194.ec.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e6_2281.ec.smt2 (content) ok ok 0.472s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e5_2444.ec.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_447_e2_1098.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3_e1_2143.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i3.ec.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_i2.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_all.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_4.ec.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_2.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MESI_1.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_u1_e7_3318.ec.smt2 (content) ok ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_u1_e2_3403_e2_957.ec.smt2 (content) ok ok 0.638s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_u1.ec.smt2 (content) ok ok 0.550s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_rt.ec.smt2 (content) ok ok 0.592s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_4_e2_325.ec.smt2 (content) ok ok 0.637s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_4.ec.smt2 (content) ok ok 0.722s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_3_e1_2217_e3_1200.ec.smt2 (content) ok ok 0.498s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_3.ec.smt2 (content) ok ok 0.580s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_2_e7_1826_e8_126.ec.smt2 (content) ok ok 0.567s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_2_e2_1375_e1_418.ec.smt2 (content) ok ok 0.553s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_2.ec.smt2 (content) ok ok 0.576s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_1a_e2_284_e7_998.ec.smt2 (content) ok ok 0.325s