This repository has been archived by the owner on Jul 1, 2020. It is now read-only.
Collection of TPTP Problems and Solutions
In this occasion, The PDF version of both, problems and solutions has been polished removing empty lines in the problems. We also generate the solutions for each TPTP problem using the last release of Metis ATP (2.3 - release 20170315) due to a bug in the printing module of Metis.