This is a repository of benchmarks in LIA and ADT logics. The benchmarks in this repository were obtained by transforming benchmarks from SMT-COMP LIA.
The benchmarks in this repository are distributed under the Creative Commons Attribution 4.0 International License.