Contents

Introduction

• The Bad Old Days
• Aims and Motivations

TPTP Problems

• Sources
• Domains
• Examples
  • Domains
  • FOF problem: GRP194+1.p (online)
  • FOF axioms: GRP004+0.ax (online)
  • CNF problem: GRP039-1.p (online)
  • CNF axioms: GRP004-0.ax (online)
  • Synopsis
• Synopsis

Problem Ratings

• Specialist Problem Classes
• Results Collection
• Problem Evaluation

TPTP Documents

• Problem, Axioms, and Generator Lists
• Synopses
• Statistics
• Reference Documents

TPTP Utilities

• tptp2X
• tptp1T

Getting and Using the TPTP

• Accessing the TPTP
• Running an ATP System

Conclusion

• The Good New Days