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 27 Jan 2012 02:05 UTC