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: Fri 26 Jan 2007 11:31 CST