CHC-COMP 2023: Competition Report
Emanuele De Angelis (IASI-CNR, Rome, Italy), Hari Govind V K, (University of Waterloo, Canada)
TL;DR
CHC-COMP 2023 is a competition evaluating solvers for Constrained Horn Clauses across six tracks, providing insights into solver performance and advancements in the field.
Contribution
This report details the organization, participating solvers, and results of the sixth CHC-COMP, highlighting progress in solver capabilities for different classes of clauses.
Findings
Seven solvers participated in six tracks.
Results show varying solver effectiveness across classes.
The competition advances understanding of solver strengths and weaknesses.
Abstract
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.