System Evaluation

Clear and Meaningful

• Precise recognition of system status using SZS ontologies
• Ranking scheme with clear semantics
• Commonly acceptable

Evaluation in Divisions

Number of problems solved (assurance)
• Proof/model/answer output
• Average runtimes over solutions found
• Specialist measures
  • State-of-the-art contribution
  • Efficiency