Abstract. The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The evaluation is in terms of the number of problems solved, the number of acceptable proofs and models produced, and the average runtime for problems solved, in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts. The 6th IJCAR ATP System Competition (CASC-J6) was held on 24th and 28th June 2012. The design of the competition and its rules, and information regarding the competing systems, are provided in this report. |