detailed results (330073 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e8_1055.ec.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e7_1028.ec.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e3_473.ec.smt2 (content) ok ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e2_1083.ec.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118_e7_178.ec.smt2 (content) ok ok 0.382s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118_e3_514.ec.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118.ec.smt2 (content) ok ok 0.158s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e7_592_e7_265.ec.smt2 (content) ok ok 0.337s