tptp-6.0.0
- Conditions of use ----------------- The principal motivation for the TPTP is to support the testing and evaluation of ATP systems, to help ensure that performance results accurately reflect capabilities of the ATP systems being considered. You should abide by the following conditions when using TPTP problems and presenting your results. + The TPTP release number must be stated. + Each problem must be referenced by its unambiguous name. + The problem formulae should, as far as is possible, not be changed in any way. Any changes made (addition, removal, reordering, reformatting, etc.) must be explicitly noted. + Any information given to the ATP system, other than that in the formulae, must be explicitly noted. All system switches and settings must be recorded. The header information in TPTP problems may not be used by the ATP system without explicit notice.