chc-comp Goto Github PK

adt-purified-benchmarks

ADT benchmarks from various sources, purified using the RInGen tool

adtrem

ADT-LIA benchmarks from ADTRem tool

aeval-benchmarks

Benchmarks from https://github.com/grigoryfedyukovich/aeval

aeval-unsafe

Unsafe version of AE-VAL benchmarks

chc-comp.github.io

chc-comp18-benchmarks

Benchmarks fo CHC-COMP 2018

chc-comp19-benchmarks

Benchmarks from the CHC-COMP 2019

chc-comp20-benchmarks

Benchmarks selected for CHC-COMP 20

chc-comp21-benchmarks

The benchmarks selected at CHC-COMP 2021

chc-comp22-benchmarks

chc-comp23-benchmarks

The benchmarks selected at CHC-COMP 2023

chc-comp24-benchmarks

The benchmarks selected at CHC-COMP 2024

chc-ldv-lia-nonlin-arrays

chc-tools

Tools for manipulating CHC and related files

eldarica-misc

Collection of LIA benchmarks from various sources

extra-small-lia

LIA (sat)

hcai-bench

hopv

CHC benchmarks coming from Higher-Order Program Verification

jayhorn-benchmarks

Benchmarks generated with JayHorn

kind2-chc-benchmarks

Bechmarks based on Kind2 Lustre verification problems

ldv-ant-med

llreve-bench

Benchmarks from LLREVE project

quic3

Quic3 experiments

ringen-adt-benchmarks

ADT benchmarks generated by the RInGen tool

rust-horn

Benchmarks generated by RustHorn from verifying small rust programs

sally-chc-benchmarks

CHC benchmarks from Sally projects

scripts

Scripts used in CHC-COMP

solidity

Benchmarks from Solidity model checker

synthesis

Benchmarks generated by different synthesis tools

tip-adt-lia

Benchmarks from TIP encoded in the ADT-LIA fragment