SMT-LIB The Satisfiability Modulo Theories Library

Benchmarks

The latest release of the SMT-LIB benchmark library is hosted on Zenodo under the SMT-LIB community. Also available there are all previous releases starting from 2023.

StarExec

Historical releases of the benchmark library, from 2013 to 2023, are available on StarExec.

Submitting Benchmarks

For details on how to submit benchmarks to SMT-LIB, please refer to the README file in the benchmark-submission SMT-LIB GitHub repository.

Latest News

September 20, 2024

A new release of the the SMT-LIB 2.6 reference document is now available. This is a minor release. The main changes concern the verbosity of the output.

Previous News

April 2, 2024

Starting today, the benchmark library will no longer be publicly available from the University of Iowa's GitLab server. Official yearly releases of the library will be available Zenodo.

Older News

Feb 13, 2024

The latest release (2023) of the SMT-LIB benchmark library is now available on Zenodo in the form of compressed archives.

[More]