https://5dok.net/document/8ydr1l6z-on-the-organisation-of-program-verification-competitions.html