detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e8_491_e7_826.ec.smt2 (content) ok ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e7_1027_e7_359.ec.smt2 (content) ok ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2_e7_1027_e1_1047.ec.smt2 (content) ok ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_2.ec.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_1_e7_184_e3_299.ec.smt2 (content) ok ok 0.472s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/car_1.ec.smt2 (content) ok ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e7_304.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e3_224.ec.smt2 (content) ok ok 0.337s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e2_80.ec.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters_e8_371_e1_448.ec.smt2 (content) ok ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6countern.ec.smt2 (content) ok ok 0.324s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counter2.ec.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counter.ec.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_i1.ec.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e3_1472.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e2_1053.ec.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e1_1852.ec.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907_e7_1363.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907.ec.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e7_251.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e5_1637.ec.smt2 (content) fatal ok 0.331s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e4_34.ec.smt2 (content) fatal ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e3_495.ec.smt2 (content) fatal ok 0.232s