The TPTP Problem Library

Thousands of Problems for Theorem Provers

by	and
Geoff Sutcliffe Department of Computer Science James Cook University Australia geoff@cs.miami.edu	Christian Suttner Institut für Informtik Technische Universität München Germany suttner@informatik.tu-muenchen.de