Rules for Entry

Entry

• Systems can be entered at only the division level
• Systems can be entered into more than one division
• Systems not entered assumed to perform worse

System Properties

• Robust installation
• Automatic and clean operation
• No storing information for individual TPTP problems
• Repeatable performance

Quality Assurance

• Soundness testing before and after competition
• Solutions checked before and after competition
• System descriptions expose features, strategies, and implementation
• Sources made publicly available on WWW