History

Conceived in a park in Nancy, after CADE-12

A Difficult and Arguable Venture

• ATP community had "never [been] able to formulate an acceptable mechanism for comparing different systems" [Overbeek] ...
  • Different input formats
  • Based on and designed for different logics
  • Designed for specific purposes
  • Run on specialized hardware
  • Require different amounts of user interaction
  • No generally accepted work profile
• ... but we had the TPTP

Some Inevitable Constraints, some Decisions

• The fundamental nature of ATP
• Common practice in ATP research
• The application of ATP systems
• Related to the competition

CASC Evolution

• First CASC at CADE-13
• Organization updated with experience
• Great T-shirts