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
Dear organizers,
could you clarify whether there will be a BV track? (It is not listed on the web page).
Best wishes, Philipp
On 2026-03-27 13:48, konstantin.britikov--- via chc-comp wrote:
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/ <https://chc- comp.github.io/>
Best regards, Levente Bajczi and Konstantin Britikov
chc-comp mailing list -- chc-comp(a)software.imdea.org To unsubscribe send an email to chc-comp-leave(a)software.imdea.org
-
konstantin.britikov＠usi.ch -
Philipp Ruemmer