Why Does it Work?

A Homogeneous Environment

• TPTP, TSTP, CASC - resources for ATP developers
• TPTP2T, TPTP2X and TPTP4X, SystemOnTPTP, GDV, SSCPA, Prophet, SRASS, MANSEX, AGInT, IDV - tools for ATP developers and users
• Consistent use of the TPTP language and SZS ontology

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

A Focus on Developers and Users

• Many users, many contributions
• Feedback always welcome

A Curious Effect