The CADE ATP System Competition

A Difficult and Arguable Venture

• Conceived in a park in Nancy, after CADE-12 in 1994
• We had the TPTP
• Aims and Motivations: 50% evaluation, 50% stimuation
• Some inevitable constraints, some decisions
• First CASC at CADE-13 in 1996, now an annual event
• Not all positive responses

Organization

• Divisions and categories (based on SPCs)
• Non-biased TPTP problems rated 0.21-0.99 (why?)
  • New problems preferred, old problems disguised
• Sound, fully automatic systems
• Resource limits beyond systems' PPPs
• Ranking by number of problems solved

Outcomes

• Results
• Cons and Pros
• Great T-shirts