detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e3_59_e7_2122.ec.smt2 (content) warn ok 0.444s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e2_2724_e7_524.ec.smt2 (content) ok ok 0.425s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e1_2192_e1_1852.ec.smt2 (content) ok ok 0.520s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7.ec.smt2 (content) ok ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_6_e7_1096_e7_2688.ec.smt2 (content) ok ok 0.508s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_6.ec.smt2 (content) ok ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_5_e7_3307.ec.smt2 (content) ok ok 0.481s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_5.ec.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_4_e7_1775_e7_3320.ec.smt2 (content) ok ok 0.478s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_4.ec.smt2 (content) ok ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312_e8_1916.ec.smt2 (content) ok ok 0.108s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312_e7_1495.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_3_e7_1312.ec.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_2.ec.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_1_e7_1669.ec.smt2 (content) ok ok 0.510s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_1.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/switch2.ec.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_9.ec.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_8.ec.smt2 (content) ok ok 0.162s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_7.ec.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10_e8_1713.ec.smt2 (content) ok ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10_e7_341.ec.smt2 (content) ok ok 0.217s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_6_e7_10.ec.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_5.ec.smt2 (content) ok ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_4_e7_2197.ec.smt2 (content) ok ok 0.148s