[chc-comp] Re: CHC-COMP 2025 results presentation