Changes for CASC-JC

Competition Divisions

• The SEM division has not been continued.
• A new EPR division has been added to the competition divisions.
• The MIX division has been divided into two classes, one ranked by the number of problems solved, and one ranked by the number of acceptable proof objects output. To be eligible to win this class, sample proof objects have to be supplied in advance, and the winner's proof objects are checked after the competition.
• The SAT division has been divided into two categories, one with equality and one without.
• The problems are taken from an unreleased version of the TPTP.
• Incomplete and augmented TPTP problems are eligible.
• The required system properties have changed.