detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums_e8_1032.ec.smt2 (content) ok ok 0.964s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums_e7_1700.ec.smt2 (content) ok ok 0.107s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ums.ec.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e7_222.ec.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e3_325.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e2_3.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters_e1_268.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/two_counters.ec.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway_e7_3304.ec.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway_e7_1834_e7_2363.ec.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/tramway.ec.smt2 (content) ok ok 0.719s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic_e7_46_e7_171.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic_e7_348.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/traffic.ec.smt2 (content) ok ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e8_505_e7_2450.ec.smt2 (content) ok ok 0.516s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e7_591.ec.smt2 (content) ok ok 0.432s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e2_1117_e7_553.ec.smt2 (content) ok ok 0.483s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e1_2706_e7_1776.ec.smt2 (content) ok ok 0.448s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e7_3176_e1_2924.ec.smt2 (content) ok ok 0.421s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e7_3176.ec.smt2 (content) ok ok 0.445s
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