detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e5_882.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e4_275.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e3_163.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e2_13.ec.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068_e1_178.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e3_1068.ec.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e2_142_e7_209.ec.smt2 (content) ok ok 0.434s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e2_142.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e1_618_e3_303.ec.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_all_e1_388.ec.smt2 (content) ok ok 0.174s
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