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 Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump.