detailed results (363750 total)

prover file res expected time
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_11_e1_3457.ec.smt2 (content) ok ok 0.704s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11.ec.smt2 (content) ok ok 0.730s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_10_e7_919_e2_3192.ec.smt2 (content) ok ok 0.627s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_10.ec.smt2 (content) ok ok 0.172s
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
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e7_2886.ec.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e3_3628.ec.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4022_e2_267.ec.smt2 (content) fatal ok 0.304s