CSSCPA

Principle

• Different systems solve different problems at different speeds
• ATP systems quickly solve most problems that they can solve
• Different systems solve the same problem in different ways
• Take advantage of individual system strengths

Architecture

• Runs SSCPA
• Augments a copy of the problem with selected logical consequences
• Restart when the augmented problem is significantly easier

Performance

• Results from 1745 TPTP problems, 918 of rating 1.00

  	CSSCPA	E	Otter	SPASS	SSCPA
  Solved by	686	616	364	630	673

• CSSCPA solved 25 with rating 1.00