detailed results (363750 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all.ec.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e3_294_e5_979.ec.smt2 (content) ok ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e3_294_e3_47.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e3_294_e1_956.ec.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e2_893.ec.smt2 (content) ok ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e2_589_e3_349.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e2_589_e2_506.ec.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e1_152_e1_391.ec.smt2 (content) ok ok 0.223s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e1_152.ec.smt2 (content) ok ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6.ec.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e7_244_e1_823.ec.smt2 (content) ok ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e7_244.ec.smt2 (content) ok ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11_e7_693.ec.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11_e5_24.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11_e1_429.ec.smt2 (content) ok ok 0.157s