CADE-14 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-14 ATP System Competition were chosen from TPTP v2.0.0, as described in the Call for Participation.

The eligible problems in each division were as follows:

The selected problems in each division were as follows: