The CADE ATP System Competition -- CASC