detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389.ec.smt2 (content) warn ok 0.338s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e2_3.ec.smt2 (content) warn ok 0.371s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e1_197_e7_289.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e1_197.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1.ec.smt2 (content) warn ok 0.284s
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/ccp18.ec.smt2 (content) warn ok 0.179s
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/ccp08.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp05.ec.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp04.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp03.ec.smt2 (content) warn ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp02.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp01.ec.smt2 (content) warn ok 0.135s
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