The CADE ATP System Competition — CASC

One purpose of CASC is to provide a public evaluation of the relative capabilities of ATP systems. The TPTP version used for CASC is released beyond the ATP community. Fulfillment of these after the competition, so that new problems have not objectives provides insight and stimulus for the been seen by the entrants. In some divisions the systems development of more powerful ATP systems, leading are ranked according to the number of problems to increased and more effective use. The most recent CASC, accompanied by a proof or model (thus giving only held at CADE-25 in Berlin, Germany, in 2015, was an assurance of the existence of a proof/model).