Published July 21, 2025
| Version v1
Dataset
Open
SMT-LIB Catalog 2025
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.
Files
README.md
Files
(1.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:236cfd0ee8a90f811c36f22e7d73c458
|
10.5 kB | Preview Download |
|
md5:50b0ff03107a4f0c3274d48d2b556705
|
1.2 GB | Download |