detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e8_1055.ec.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e7_1028.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e3_473.ec.smt2 (content) ok ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e2_1083.ec.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118_e7_178.ec.smt2 (content) ok ok 0.382s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118_e3_514.ec.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118.ec.smt2 (content) ok ok 0.158s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e7_592_e7_265.ec.smt2 (content) ok ok 0.337s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e7_592.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e7_350.ec.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e5_999.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e4_1047.ec.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_556.ec.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4.ec.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e7_220.ec.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e2_1010.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e1_856.ec.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e7_626_e1_305.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e7_626.ec.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e2_695.ec.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e1_586.ec.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3.ec.smt2 (content) ok ok 0.129s