detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e7_592.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e7_350.ec.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e5_999.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_57_e4_1047.ec.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e3_556.ec.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4.ec.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e7_220.ec.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e2_1010.ec.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33_e1_856.ec.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e8_33.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e7_626_e1_305.ec.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e7_626.ec.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e2_695.ec.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3_e1_586.ec.smt2 (content) ok ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_3.ec.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e8_491_e7_826.ec.smt2 (content) ok ok 0.342s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e7_1027_e7_359.ec.smt2 (content) ok ok 0.376s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e7_1027_e1_1047.ec.smt2 (content) ok ok 0.371s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2.ec.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_1_e7_184_e3_299.ec.smt2 (content) ok ok 0.411s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_1.ec.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e7_304.ec.smt2 (content) ok ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e3_224.ec.smt2 (content) ok ok 0.274s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e2_80.ec.smt2 (content) ok ok 0.111s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e1_448.ec.smt2 (content) ok ok 0.296s