The SZS No-Success Ontology

Background

• Success happens less often than desired
• Productive reaction requires information
• Reasons for and nature of lack of success
• N.B. "No success" ≠ "Failure"

The Ontology

• The Meanings

Commonly Useful Values

• Stopped due to CPU limit: Timeout
• Stopped due to incompleteness: GaveUp
• Stopped due to error: Error