Why Does it Work?

Evaluation, Benefits and Requirements

• Determines which systems and techniques work well for what problems
• Provides information to potential system users

• Simplifies problem selection according to users' intentions
• Provides a quantitative indicator of progress in ATP

• Requires a cohesive underlying infrastructure
• Requires significant committment
• Requires community support

Why Does TPTP/TSTP/CASC Work?

• Consistent use of the TPTP language and SZS ontology

  Elegance is not optional - Richard O'Keefe
  TPTP compliance is not optional - Geoff Sutcliffe

• Fifteen years of fun and games!
• A focus on ATP system developers and users
• Many (many, many) contributions
• Feedback always welcome

A Curious Effect