Dear CHC Competition Community,
We are pleased to announce CHC-Comp 2026. This year’s competition will reuse the benchmark set from last year. The competition tracks remain unchanged and are as follows: LIA, LIA-Lin, LIA-Arrays, LIA-Lin-Arrays, ADT-LIA, ADT-LIA-Arrays, BV, LRA-Lin. The schedule for this year’s competition is:
*
April 25: CHC solver submission deadline for smoke testing (recommended)
*
April 25: Benchmark submission deadline
*
May 2: Final CHC solver submission deadline
*
July 25: Presentation of results at HCVS
The website with more information about this year's CHC-comp can be reached via this link: https://chc-comp.github.io/
Best regards,
Levente Bajczi and Konstantin Britikov
