Solving Constraint Horn Clauses Modulo Algebraic Data Types and Recursive Functions

This repository contains the benchmark instances used for the evaluation of a new CHC solving algorithm. There are 4 folders:

1. leon-original. Contains original benchmarks generated by Leon
2. leon-with-rdf. leon-original benchmarks modified by adding RDFs
3. rust-horn-original. Contains original benchmarks generated by RustHorn
4. rust-horn-with-rdf. rust-horn-original benchmarks modified by adding RDFs

The publisher is named anonymous to respect double blind review process