CASC-20
- 10th CASC
- 16 systems and variants
- 1 (impressive) new system
- 5 winners from CASC-J2
- 2 demonstration systems
- 42 computers at the University of Manchester
- 660 problems
- 150 MIX - 20 HEQ, HNE, NNE; 30 PEQ; 60 NEQ
- 150 FOF - 35 FNE; 115 FEQ
- 120 SAT - 60 SNE; 60 SEQ
- 120 EPR - 60 EPT; 60 EPS
- 120 UEQ
- 10 minutes per problem