chc-comp April 2026

chc-comp@software.imdea.org

3 participants
2 discussions

CHC Competition 2026 Submission Procedure
by konstantin.britikov＠usi.ch 27 Apr '26

27 Apr '26

Dear CHC Competition Community, We would like to explain the procedure for solver submission for the CHC Competition this year. To reiterate, we will start the smoke tests on April 25th, and the hard submission deadline is May 2nd. To submit a CHC solver, please submit a pull request to the chc-comp-2026 repository: https://github.com/chc-comp/chc-comp-2026 Instructions on submission are provided in the README file of the repository. You can also find a sample tool submission for reference here: https://github.com/chc-comp/chc-comp-2026/pull/5 In case of any questions, don't hesitate to ask us! We would also like to announce that the Golem and Theta CHC solvers will participate in this year's competition. While the organisers have contributed to both of these solvers, we would like to clarify that this does not present a conflict of interest: as in last year’s competition, all solvers will be evaluated on the complete set of available benchmarks without exception, ensuring a fully fair and transparent competition for all participants. Also, to answer Philip's question, there will be a BV track this year. We've added the information on the webpage. Best regards, Levente Bajzi and Konstantin Britikov

2 1

CHC Competition 2026
by konstantin.britikov＠usi.ch 22 Apr '26

22 Apr '26

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

2 1

2026

2025

chc-comp April 2026 ----- 2026 ----- May 2026 April 2026 March 2026 February 2026 January 2026 ----- 2025 ----- December 2025 November 2025 October 2025 September 2025 August 2025 July 2025 June 2025 May 2025 April 2025

chc-comp April 2026