Abstract
This paper provides a description of the TPTP library of problems for automated theorem provers. The library is available via Internet, and is intended to form a common basis for the development of and experimentation with automated theorem provers. To support this goal, this paper provides:- the motivations for building the library;- a description of the library structure including overview information;- a description of the tptp2X utility program;- guidelines for obtaining and using the library.