The TPTP Problem Library


Geoff Sutcliffe
Department of Computer Science
University of Miami


This report provides a detailed description of the TPTP Problem Library for automated theorem proving systems. The library forms a common basis for development of and experimentation with automated theorem provers. This report provides:

If you're new to all this and don't want to wade through the details provided in this manual, you might want to start at the TPTP and TSTP Quick Guide.
You could also work your way through the slides of the TPTP World Tutorial.

Table of Contents