SMT-LIB Catalog 2025

This artifact is a metadatadata database for the SMT-LIB benchmark library. Effective use of this benchmark library often requires access to benchmark metadata, such as as the number of user defined symbols. This artifact is a comprehensive metadata catalog for the SMT-LIB benchmark library. It combines features extracted from the SMT-LIB benchmarks with the results of all past SMT-COMP competitions since 2005. The catalog is implemented as a SQLite database. We also provide a simple webapp that can be exectued locally to explore the database.