SMT Solver Competition

To promote the SMT-LIB standard and it benchmarks collection SMT-LIB has an associated competition for SMT solvers, SMT-COMP. This competition was developed along the lines of similar competitions for SAT solvers and for first-order theorem provers.

SMT-COMP has a number of divisions, based on the background theory and the input language supported by the solvers, and consists in verifying benchmarks from the SMT-LIB collection.

SMT-COMP is currently organized by Roberto Bruttomesso, David Cok and Alberto Griggio.