detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e1_301.ec.smt2 (content) ok ok 0.278s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2.ec.smt2 (content) ok ok 0.278s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cruise_controller_24.ec.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cruise_controller_14.ec.smt2 (content) ok ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cruise_controller_12.ec.smt2 (content) ok ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cd_e7_621_e7_669.ec.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cd_e7_621.ec.smt2 (content) ok ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cd.ec.smt2 (content) ok ok 0.164s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp16.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e7_578.ec.smt2 (content) ok ok 0.384s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e3_180.ec.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e2_585.ec.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e1_217.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856.ec.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e7_188_e7_743.ec.smt2 (content) ok ok 0.394s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e5_882.ec.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e4_275.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e3_163.ec.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e2_13.ec.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e1_178.ec.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e2_142_e7_209.ec.smt2 (content) ok ok 0.397s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e2_142.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e1_618_e3_303.ec.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e1_388.ec.smt2 (content) ok ok 0.179s