CASC-21
- 12th CASC
- 20 systems and variants
- 4 new systems
- 4 winners from CASC-J3
- 2 demonstration systems (1 intuitionistic)
- Changes from CASC-J3
- FNT division
- More TPTP roles
- SZS standardization
- 37 2.0Mhz computers, 41 1.8MHz computers, at the University of Manchester
- 900 problems
- 300 FOF - 60 FNE; 240 FEQ
- 200 CNF - 30 HEQ, HNE, NNE, PEQ; 80 NEQ
- 100 FNT - 50 FNN; 50 FNQ
- 100 SAT - 50 SNE; 50 SEQ
- 100 EPR - 50 EPT; 50 EPS
- 100 UEQ
- 360 seconds per problem