Published July 21, 2025
| Version v1
Dataset
Open
SMT-LIB Catalog 2025
Authors/Creators
-
1.
University of Iowa
-
2.
Stanford University
-
3.
University of Liège
- 4. The University of Iowa
Description
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.