CADE-13 ATP System Competition
Problem Lists
The shortened, randomized, and formatted
problems, precisely as used in the competition, are all available.
The problems for the CADE-13 ATP System Competition have been chosen from
TPTP v1.2.1.
As described in the
Competition Technical Report:
- Only theorems have been used.
- Problems with difficulty rating 2 have been used.
- Only standard versions of problems have been used.
The eligible problems for each of the two problem categories
in the competition were:
The selected problems for each of the two problem categories in the competition
were:
Geoff Sutcliffe, Christian Suttner, 13.6.96, 20.8.96