detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e2_1997.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_5070.ec.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_3184_e7_1888.ec.smt2 (content) ok ok 0.574s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_14612_e2_2653_e7_4370.ec.smt2 (content) ok ok 0.573s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e1_14612_e1_268_e7_501.ec.smt2 (content) ok ok 0.571s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162_e7_3528.ec.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162_e3_4298.ec.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162_e1_3998.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e7_3162.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e3_5120.ec.smt2 (content) fatal ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e3_1259_e1_5798.ec.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e2_3606_e7_4891.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e2_3606.ec.smt2 (content) ok ok 0.259s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e1_5710.ec.smt2 (content) ok ok 0.396s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14.ec.smt2 (content) ok ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e7_685.ec.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e3_3117.ec.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e2_1255.ec.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e1_541.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336.ec.smt2 (content) ok ok 0.328s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e3_1418_e3_2761.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13.ec.smt2 (content) ok ok 0.642s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e7_4732.ec.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e3_2012.ec.smt2 (content) fatal ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e2_138.ec.smt2 (content) ok ok 0.638s