The TPTP Problem Library

A Library of Test Problems

• Aim
  • A simple, unambiguous, source and reference mechanism
  • Centralize problem collection and maintenance
  • Improve ATP system testing and evaluation

• Motivation
  • Statistically significant results
  • Repeatability of testing
  • Meaningful system evaluations and comparisons

Features

• First released Fri Nov 12 15:30:54 +1000 1993
• TPTP v5.0.0 - 46 domains, 18480 problems
• Documented: References, Status, Rating, Statistics,
• Human and computer readable: Name, Role, Logic, Annotations
• A key - the TPTP language
• tptp2X and tptp4X utilities for transformations and formatting

Tarball and browsing available online at www.tptp.org