| ||||
| ||||
![]() Title:A Catalog of SMT-LIB Benchmarks Authors:Hans-Jörg Schurr, Mathias Preiner, Aina Niemetz, Clark Barrett, Pascal Fontaine and Cesare Tinelli Conference:SMT 2025 Tags:automated reasoning, benchmarks, data integration, database, SMT and SQLite Abstract: The SMT-LIB benchmark library is a large set of benchmarks for SMT solvers. It is used by the annual SMT competition to evaluate SMT solvers, and by researchers to study novel solving techniques. Effective use of the benchmark library often requires access to benchmark metadata, such as as the number of user defined symbols. We present a comprehensive metadata catalog for the SMT-LIB benchmark library. It combines benchmark features with the results of all past SMT competition. Concretely, the catalog is implemented as a SQLite database. This allows users to use standard industry tools to perform queries, and the database to be distributed as a single file. In the future, the catalog will be distributed with the annual benchmark library release. | ||||
Copyright © 2002 – 2025 EasyChair |