CASC-J3
- 11th CASC
- 20 systems and variants
- 4 new systems
- 4 winners from CASC-J2
- 2 demonstration systems
- Changes from CASC-20
- FOF division to primary place
- Full TPTP language
- MIX renamed to CNF
- No entrants access to competition computers
- 41 P4 1.8MHz computers at the University of Manchester
- 600 problems
- 150 FOF - 35 FNE; 115 FEQ
- 150 CNF - 20 HEQ, HNE, NNE; 20 PEQ; 70 NEQ
- 100 SAT - 50 SNE; 50 SEQ
- 100 EPR - 50 EPT; 50 EPS
- 100 UEQ
- 400 seconds per problem