The collection of SMT-LIB benchmarks is co-managed by
Clark Barrett,
Martin Brain,
Pascal Fontaine,
Leonardo de Moura,
and
Christoph Wintersteiger.
The collection is currently hosted on a GitLab server at the University of Iowa.
The server was initially set up and populated by Alain Mebsout.
Until 2013, the benchmark collection was co-managed by
Clark Barrett and Morgan Deters.
The querying and browsing interface for that collection was developed and maintained by Morgan Deters.

Suggestions and Feedback

The following additional people have contributed to the initiative over the years
with their suggestions and feedback on the SMT-LIB standard, the library, or
the solver competition (we apologize in advance for any omissions):

Benchmarks

The following people have also directly or indirectly contributed to SMT-LIB by
providing benchmarks natively in SMT-LIB format, or
translating existing benchmarks for us into SMT-LIB or similar formats, or
more generally making their benchmarks available to the research community
(we apologize in advance for any omissions):