Motivations for the TSTP

Strong ATP Systems

• Solution analysis
• Solution library
• TSTP

Usable ATP Systems

• Automatic operation
• System selection
• Performance data
• Solution library
• TSTP

Trusted ATP Systems

• Certified ATP systems
• Verify representative sample
• Solution library
• TSTP