Related Sites

SMT-COMP
The SMT solver competition
SMT workshop
The International Workshop on Satisfiability Modulo Theories
StarExec
The benchmark repository and execution service current used by SMT-LIB and SMT-COMP
SMT-EXEC
The benchmark repository and execution service previouly used by SMT-LIB and SMT-COMP.
This service is no longer active although it still contains historical data.
The following sites are related or have similar objectives to those of SMT-LIB.
SATLIB
A collection of benchmark problems, solvers, and tools for propositional satisfiability.
QBFLIB
A collection of benchmark problems, solvers, and tools related to Quantified Boolean Formula (QBF) satisfiability.
CSPLib
A library of test problems for constraint solvers.
TPTP
A library of test problems for (first-order) automated theorem proving.