Rules

This Section presents the rules and competition format for SMT-COMP.

• Entrants
• Machine Specifications
• Input Format
• Execution of Solvers
• Judging and Scoring
• Problem Divisions
• Proofs and Models

Last modified: Sun 13 Nov 2005 11:13 PST