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: Tue 17 Feb 2015 14:59 UTC