detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e7_837_e2_1394.ec.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e3_302_e1_1141.ec.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e3_302.ec.smt2 (content) warn ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e2_1653.ec.smt2 (content) warn ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e2_1350_e8_1354.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123.ec.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_1.ec.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019.ec.smt2 (content) warn ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMMER_luke_1.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_vt_e3_507.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_vt_e2_1352.ec.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_vt.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_all.ec.smt2 (content) warn ok 0.122s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_3.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_2.ec.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_1.ec.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_all_e3_2032_e3_2788.ec.smt2 (content) warn ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_all.ec.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e8_2138.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e7_961.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e3_1758.ec.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e1_1065.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2910_e8_2590.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2910_e7_1804.ec.smt2 (content) warn ok 0.134s