detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e7_592.ec.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e7_350.ec.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e5_999.ec.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e4_1047.ec.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_556.ec.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4.ec.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e7_220.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e2_1010.ec.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e1_856.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e7_626_e1_305.ec.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e7_626.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e2_695.ec.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e1_586.ec.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3.ec.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e8_491_e7_826.ec.smt2 (content) ok ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e7_1027_e7_359.ec.smt2 (content) ok ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e7_1027_e1_1047.ec.smt2 (content) ok ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2.ec.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_1_e7_184_e3_299.ec.smt2 (content) ok ok 0.472s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_1.ec.smt2 (content) ok ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e7_304.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e3_224.ec.smt2 (content) ok ok 0.337s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e2_80.ec.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e1_448.ec.smt2 (content) ok ok 0.310s