CASC-23 - the 16th CASC
35 Systems & variants
- 9 new systems (2 TNT, 4 TFA, 1 FOF, 2 FNT)
- 5 winners from CASC-J5
Major Changes from CASC-J5
- TFA as a competition division;
TNT demonstration division
- No assurance ranking class for FOF or FNT
- LTB with multiple batches
- Question answering in SMO category
Resources
- 28 Dell PowerEdge blade computers, each having:
twin Intel Xeon E5620, quad-core, 2.40GHz CPUs,
48GB memory
- 1675 problems
300 THF;
100 TFA
300 FOF;
200 FNT;
200 CNF;
150 EPR;
200 UEQ;
225 LTB;
100 TNT;
- 300s CPU per problem in non-LTB
30-120s wall clock per problem in LTB