Abstract
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic, Automated Theorem Proving (ATP) systems-the world championship for such systems. CASC-30 was the 30th competition in the CASC series. Nineteen ATP systems competed in the various divisions. This article presents an outline of the competition design and a commentated summary of the results.