```**Note**: Benchmarks with a size of 10MB+ are stored via[Git LFS](https://git-lfs.github.com/).Make sure to install and setup Git LFS before cloning the repository.## LicenseThe benchmarks in this repository are distributed under the[Creative Commons Attribution 4.0 International License](https://creativecommons.org/licenses/by/4.0/),unless otherwise specified in the benchmark itself(see `:license` info attribute in the file).If your benchmarks are included in this repository and you do not agree withthis licence, please contact the[SMT-LIB co-ordinators](http://smtlib.org/contact.shtml).