detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4.ec.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e7_1776_e2_3202.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e3_151_e3_1540.ec.smt2 (content) fatal ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e2_3244_e3_1305.ec.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099_e7_1817.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099_e3_2660.ec.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099_e1_3277.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e7_1119.ec.smt2 (content) fatal ok 0.327s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e3_389.ec.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e2_1853.ec.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e1_1486.ec.smt2 (content) fatal ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11_e3_2076_e1_1270.ec.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1.ec.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e7_4065.ec.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_5957.ec.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_4821_e2_1089.ec.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_4821_e1_1318.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e7_5856.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e3_2607.ec.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e2_3308.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4037.ec.smt2 (content) fatal ok 0.158s