detailed results (363750 total)

prover file res expected time
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
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e3_2931.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e2_3395.ec.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e1_1895.ec.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_3758.ec.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_1.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/Gas.ec.smt2 (content) fatal ok 0.157s
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_e3_1770_e2_637.ec.smt2 (content) fatal ok 0.170s
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_rt_e3_1549.ec.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e2_3460_e2_2670.ec.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e2_3460_e1_1455.ec.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e2_1315.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e1_913_e2_3353.ec.smt2 (content) fatal ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_5.ec.smt2 (content) fatal ok 0.227s
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