Dear all,

please find a detailed and brand-new presentation of the results of CHC-COMP 2025 on the website: https://chc-comp.github.io/

Congratulations to all participants for making this competition exciting! As you can see, results are close in some categories, wheres in others there is still lots of potential for improvement. I will shortly include an acknowledgement all tool authors.

Action item: Solver archives! - it would be really really cool to have all solver archives available on Zenodo, and I strongly encourage all participants to do this - ensure the archive has a License and Readme - please patch your submitted archive with these files if present: https://github.com/chc-comp/chc-comp25-scripts/tree/main/participants - consider entering your tool here: https://gitlab.com/sosy-lab/benchmarking/fm-tools/ with an entry for the Zenodo archive

Follow-up: decide on ground truth, model validation, parallel track (TBD)

Benchmarks are available here: https://github.com/chc-comp/chc-comp25-benchmarks

Scripts are available here (pending documentation): https://github.com/chc-comp/chc-comp25-scripts

Please let me know if you have any questions.

Kind regards,