detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e3_59_e7_2122.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e2_2724_e7_524.ec.smt2 (content) ok ok 0.564s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e1_2192_e1_1852.ec.smt2 (content) ok ok 0.575s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_6_e7_1096_e7_2688.ec.smt2 (content) ok ok 0.577s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_6.ec.smt2 (content) ok ok 0.393s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_5_e7_3307.ec.smt2 (content) ok ok 0.570s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_5.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_4_e7_1775_e7_3320.ec.smt2 (content) ok ok 0.562s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_4.ec.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312_e8_1916.ec.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312_e7_1495.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_2.ec.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_1_e7_1669.ec.smt2 (content) ok ok 0.500s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_1.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/switch2.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_9.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_8.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_7.ec.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10_e8_1713.ec.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10_e7_341.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_5.ec.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_4_e7_2197.ec.smt2 (content) ok ok 0.230s