detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e1_667.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e3_216.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e1_1239_e2_74.ec.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e1_1239_e1_1331.ec.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e1_1239.ec.smt2 (content) warn ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2.ec.smt2 (content) warn ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e8_953_e8_941.ec.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e8_953_e7_1465.ec.smt2 (content) warn ok 0.195s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e8_953_e3_271.ec.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e8_953_e1_1128.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e8_748.ec.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e7_856.ec.smt2 (content) warn ok 0.214s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e7_837_e7_1262.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_123_e7_837_e3_135.ec.smt2 (content) warn ok 0.096s
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/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