SSCPA - Competitive Parallelism

Principle

• Different systems solve different problems at different speeds
  • Deduction techniques match Problem characteristics
• ATP systems quickly solve most problems that they can solve
• Take advantage of individual system strengths

Architecture

• Classify problem into Specialist Problem Class
• Use TSTP system performance data to select ATP systems
• Run the ATP systems concurrently, in competition, without cooperation

Results from CASC-16