detailed results (330073 total)

prover file res expected time
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_2077.ec.smt2 (content) ok ok 0.171s
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_e2_2251.ec.smt2 (content) ok ok 0.646s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799_e1_1303.ec.smt2 (content) ok ok 0.575s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e2_2799.ec.smt2 (content) ok ok 0.566s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4_e1_4312.ec.smt2 (content) ok ok 0.631s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_4.ec.smt2 (content) ok ok 0.548s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1_e2_1997_e7_3613_e2_3409.ec.smt2 (content) ok ok 0.646s
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_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_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_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