Inside the TSTP

Structure

• Solutions
  • Domains: ALG ANA BOO ... TOP
    • Problems: ... GRP194+1.p ...
      • Examples: Otter---3.2.s ... MUSCADET---2.3.f
• Documents
  • BNF
  • Standards for result status

Utilities

• X2tstp
  • Converts solutions in formats used by existing ATP systems to TSTP format
• JJParser
  • Parses TSTP files and builds data structures (written in C)

Online Access

• http://tptp.org/TSTP/