What are the Criteria?

Evaluation of ATP systems ...

• Classical 1st order
• Fully automatic
• Sound
• Not necessarily theoretically or implementation complete
• Producing an assurance that a solution exists