detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e3_294_e5_979.ec.smt2 (content) ok ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e3_294_e3_47.ec.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e3_294_e1_956.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e2_893.ec.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e2_589_e3_349.ec.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e2_589_e2_506.ec.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e1_152_e1_391.ec.smt2 (content) ok ok 0.326s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6_e1_152.ec.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_6.ec.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e7_244_e1_823.ec.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e7_244.ec.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11_e7_693.ec.smt2 (content) ok ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11_e5_24.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11_e1_429.ec.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e3_11.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e8_1055.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e7_1028.ec.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e3_473.ec.smt2 (content) ok ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5_e2_405_e2_1083.ec.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_5.ec.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118_e7_178.ec.smt2 (content) ok ok 0.490s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118_e3_514.ec.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e8_118.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_4_e7_592_e7_265.ec.smt2 (content) ok ok 0.401s