detailed results (363750 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_834_e1_1895.ec.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_2_e1_3758.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ILLINOIS_1.ec.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/Gas.ec.smt2 (content) warn ok 0.321s
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_e3_1770_e2_637.ec.smt2 (content) warn ok 0.459s
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_rt_e3_1549.ec.smt2 (content) warn ok 0.175s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e2_3460_e2_2670.ec.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e2_3460_e1_1455.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e2_1315.ec.smt2 (content) warn ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_rt_e1_913_e2_3353.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_5.ec.smt2 (content) warn ok 0.549s
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