detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099.ec.smt2 (content) warn ok 0.110s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e7_1119.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e3_389.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e2_1853.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e1_1486.ec.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092.ec.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11_e3_2076_e1_1270.ec.smt2 (content) warn ok 0.609s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11_e1_3457.ec.smt2 (content) ok ok 0.657s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11.ec.smt2 (content) ok ok 0.659s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_10_e7_919_e2_3192.ec.smt2 (content) ok ok 0.585s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_10.ec.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e7_4065.ec.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_5957.ec.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_4821_e2_1089.ec.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_4821_e1_1318.ec.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e7_5856.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e3_2607.ec.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e2_3308.ec.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104.ec.smt2 (content) warn ok 0.170s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4037.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e7_2886.ec.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e3_3628.ec.smt2 (content) warn ok 0.112s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e2_267.ec.smt2 (content) warn ok 0.143s