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.


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.