Repositories list

• chc-comp.github.io

  Public
  HTML

  •0•0•0•0•Updated May 16, 2024May 16, 2024

• chc-comp24-benchmarks

  Public
  The benchmarks selected at CHC-COMP 2024

  SMT

  •0•0•0•0•Updated Apr 14, 2024Apr 14, 2024

• tricera-adt-arr

  Public
  Benchmarks from SV-Comp encoded by Tricera. Nonlinear clauses; LIA + Arrays + non-recursive ADTs

  SMT

  •1•0•0•0•Updated Mar 18, 2024Mar 18, 2024

• chc-comp23-benchmarks

  Public
  The benchmarks selected at CHC-COMP 2023

  0•0•0•0•Updated May 29, 2023May 29, 2023

• tip-adt-lia

  Public
  Benchmarks from TIP encoded in the ADT-LIA fragment

  SMT

  •0•0•0•0•Updated Apr 24, 2023Apr 24, 2023

• chc-tools

  Public
  Tools for manipulating CHC and related files

  Python

  •6•13•2•1•Updated Apr 21, 2023Apr 21, 2023

• rust-horn

  Public
  Benchmarks generated by RustHorn from verifying small rust programs

  SMT

  •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

• ADTRem

  Public
  ADT-LIA benchmarks from ADTRem tool

  SMT

  •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

• aeval-unsafe

  Public
  Unsafe version of AE-VAL benchmarks

  SMT

  •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

• ringen-adt-benchmarks

  Public
  ADT benchmarks generated by the RInGen tool

  SMT

  •0•2•1•0•Updated Apr 21, 2023Apr 21, 2023

• scripts

  Public
  Scripts used in CHC-COMP

  Python

  •3•3•0•0•Updated Apr 14, 2023Apr 14, 2023

• chc-comp22-benchmarks

  Public
  0•2•0•0•Updated Aug 10, 2022Aug 10, 2022

• ultimate

  Public
  Benchmarks submitted for CHC-COMP 22. Generated by Ultimate framework

  SMT

  •1•1•0•0•Updated Mar 1, 2022Mar 1, 2022

• solidity

  Public
  Benchmarks from Solidity model checker

  SMT

  •1•0•0•0•Updated Feb 8, 2022Feb 8, 2022

• chc-comp21-benchmarks

  Public
  The benchmarks selected at CHC-COMP 2021

  0•0•0•0•Updated Apr 7, 2021Apr 7, 2021

• adt-purified-benchmarks

  Public
  ADT benchmarks from various sources, purified using the RInGen tool

  SMT

  •0•1•0•0•Updated Mar 27, 2021Mar 27, 2021

• synthesis

  Public
  Benchmarks generated by different synthesis tools

  SMT

  •0•0•0•0•Updated Mar 13, 2021Mar 13, 2021

• aeval-benchmarks

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

  SMT

  •0•1•0•0•Updated Mar 9, 2021Mar 9, 2021

• chc-ldv-LIA-NonLin-Arrays

  Public
  1•0•0•0•Updated Feb 26, 2021Feb 26, 2021

• chc-comp20-benchmarks

  Public
  Benchmarks selected for CHC-COMP 20

  0•0•0•0•Updated May 14, 2020May 14, 2020

• tricera-benchmarks

  Public
  1•0•0•0•Updated Apr 15, 2020Apr 15, 2020

• jayhorn-benchmarks

  Public
  Benchmarks generated with JayHorn

  0•0•0•0•Updated Apr 13, 2020Apr 13, 2020

• eldarica-misc

  Public
  Collection of LIA benchmarks from various sources

  SMT

  •1•0•0•0•Updated Dec 16, 2019Dec 16, 2019

• chc-comp19-benchmarks

  Public
  Benchmarks from the CHC-COMP 2019

  SMT

  •0•1•1•0•Updated Apr 23, 2019Apr 23, 2019

• quic3

  Public
  Quic3 experiments

  SMT

  •0•0•0•0•Updated Jul 30, 2018Jul 30, 2018

• chc-comp18-benchmarks

  Public
  Benchmarks fo CHC-COMP 2018

  1•1•0•0•Updated Jul 13, 2018Jul 13, 2018

• extra-small-lia

  Public
  LIA (sat)

  SMT

  •0•0•0•0•Updated Jun 7, 2018Jun 7, 2018

• hcai-bench

  Public
  SMT

  •1•0•1•1•Updated Jun 5, 2018Jun 5, 2018

• llreve-bench

  Public
  Benchmarks from LLREVE project

  SMT

  •2•0•1•0•Updated May 11, 2018May 11, 2018

• hopv

  Public
  CHC benchmarks coming from Higher-Order Program Verification

  SMT

  •0•1•0•0•Updated May 11, 2018May 11, 2018