detailed results (330073 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_4.ec.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_3.ec.smt2 (content) ok ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_2.ec.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/steam_boiler_no_arr2_e8_21449_e5_18210.ec.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/steam_boiler_no_arr2_e1_17214_e5_18600.ec.smt2 (content) ok ok 0.182s