detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e1_301.ec.smt2 (content) ok ok 0.482s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2.ec.smt2 (content) ok ok 0.409s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cruise_controller_24.ec.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cruise_controller_14.ec.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cruise_controller_12.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cd_e7_621_e7_669.ec.smt2 (content) ok ok 0.257s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cd_e7_621.ec.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/cd.ec.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp16.ec.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e7_578.ec.smt2 (content) ok ok 0.468s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e3_180.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e2_585.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856_e1_217.ec.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e8_856.ec.smt2 (content) ok ok 0.262s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e7_188_e7_743.ec.smt2 (content) ok ok 0.483s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e5_882.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e4_275.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e3_163.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e2_13.ec.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e1_178.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e2_142_e7_209.ec.smt2 (content) ok ok 0.434s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e2_142.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e1_618_e3_303.ec.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e1_388.ec.smt2 (content) ok ok 0.174s