TPTP Documents

• ReadMe - General information about the TPTP
• History - A history of the changes made to the TPTP
• ProblemList - A list of all the abstract problems in the TPTP
• AxiomList - A list of the axiomatizations in the TPTP
• GeneratorList - A list of the generic problems in the TPTP
• ReverseIndex - An index from existing known names for problems to their TPTP file names.
• Bibliography.bib - BibTeX references for all cited material
• FOFProblemStatistics and CNFProblemStatistics - Lists of the FOF and CNF problems in the TPTP, summarizing status and syntax information
• ProblemAndSolutionStatistics - Lists all the problems in the TPTP, giving information about the problem as in the FOFProblemStatistics and CNFProblemStatistics, and also information about ATP systems' performances on the problems
• FOFSynopsis and CNFSynopsis - Statistics on the FOF and CNF parts of the TPTP
• OverallSynopsis - Statistics on the overall TPTP
• VerySimilarProblemsLists - A directory containing lists of very similar problems
• SyntaxBNF - BNF of the TPTP syntax
• SZSOntology - The SZS onotology
• Template - A template for submitting new TPTP problems.
• Users - A list of registered TPTP users

@Article{SS98,
    Author       = "Sutcliffe, G. and Suttner, C.B.",
    Year         = "1998",
    Title        = "{The TPTP Problem Library: CNF Release v1.2.1}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "21",
    Number       = "2",
    Pages        = "177-203",
    Comment      = "REAL,ATPProgress,SystemOnTPTP,TPTPCite"
}