CASC-22
- 14th CASC
- 26 systems and variants
- Only 1 new system in existing divisions (BORING)
- 3 systems in new THF division
- 1 demonstration system
- 5 winners from CASC-J4
- Changes from CASC-J4
- Raw TPTP syntax (change in obfuscation)
- Efficiancy measure
- Sequential LTB division
- THF division
- 85 AMD Opteron computers (2390MHz CPU, 4GB RAM) at MPII
- 1100 problems
- 300 FOF - 100 FNE; 200 FEQ
- 100 FNT - 60 FNN; 40 FNQ
- 200 CNF - 30 HEQ, HNE, NNE, PEQ; 80 NEQ
- 100 SAT - 40 SNE; 60 SEQ
- 100 EPR - 50 EPT; 50 EPS
- 200 UEQ
- 100 LTB - 35 CYC; 40 MZR; 25 SMO
- 300 seconds per problem in non-LTB
400 econds per problem in LTB