detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8_e3_786.ec.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8_e2_3896_e3_3125.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_8.ec.smt2 (content) ok ok 0.642s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7_e7_3157_e2_2082.ec.smt2 (content) ok ok 0.557s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7_e2_2872_e3_2640.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7_e2_2872_e2_5844.ec.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_7.ec.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_6_e7_5046_e7_3623.ec.smt2 (content) ok ok 0.643s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_6.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e7_2017_e7_2326.ec.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e7_2017_e1_5832.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e7_2017.ec.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e3_1503_e7_1879.ec.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e2_3018_e7_2443.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e2_3018_e2_936.ec.smt2 (content) ok ok 0.643s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5_e1_1835.ec.smt2 (content) ok ok 0.721s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_5.ec.smt2 (content) ok ok 0.726s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e7_2329_e7_3856.ec.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e7_2329_e3_4574.ec.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e7_2077.ec.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e3_4133.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e3_1540_e1_5048.ec.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e7_2499.ec.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e3_1915.ec.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e2_2251.ec.smt2 (content) ok ok 0.646s