Use and Future Work

System recommendations
- Determine problem's SPC
- Uses system evaluation within the SPC to recommend ATP systems
- Recommendations using Current Data
The switched ATP system SSCPA
- Runs recommended systems in multi-tasking competition
- SSCPA using current recommendations and some ATP systems
The CADE ATP System Competitions (CASC)
- Divisions and categories corrsponding to the SPCs
- Non-biased TPTP problems
- CPU time limit beyond PPPs
- Ranking scheme
  - Number of problems solved,
    and if the numbers of problems solved is equal,
  - Average CPU time taken over solved problems.
  - Acknowledgement of solutions output