detailed results (363750 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counters.ec.smt2 (content) ok ok 0.108s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6countern.ec.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counter2.ec.smt2 (content) ok ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/_6counter.ec.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_i1.ec.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e3_1472.ec.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e2_1053.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e1_1852.ec.smt2 (content) warn ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907_e7_1363.ec.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e7_251.ec.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e5_1637.ec.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e4_34.ec.smt2 (content) warn ok 0.170s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e3_495.ec.smt2 (content) warn ok 0.138s