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: leon-original. Contains original benchmarks generated by Leon leon-with-rdf. leon-original benchmarks modified by adding RDFs rust-horn-original. Contains original benchmarks generated by RustHorn rust-horn-with-rdf. rust-horn-original benchmarks modified by adding RDFs The publisher is named anonymous to respect double blind review proces