VerifyThis Competition https://www.pm.inf.ethz.ch/research/verifythis.html