detailed results (33316 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1750.ec.smt2 (content) warn ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all.ec.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6_e3_1666_e5_1558.ec.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e8_320.ec.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e7_1062.ec.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e2_236.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e1_1270.ec.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329.ec.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e7_425.ec.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e7_1444_e7_638.ec.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e3_518_e8_922.ec.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e3_1041.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e7_193.ec.smt2 (content) warn ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e3_1191.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e2_753.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1416_e1_1675.ec.smt2 (content) warn ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e1_1303.ec.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3.ec.smt2 (content) warn ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_656.ec.smt2 (content) warn ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e8_1177.ec.smt2 (content) warn ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e7_1043.ec.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e3_1216.ec.smt2 (content) warn ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_2_e8_1118_e2_237.ec.smt2 (content) warn ok 0.100s