The CHC-COMP 2023 was the sixth edition of the annual competition for Constrained Horn Clause (CHC) solvers. The competition featured seven solvers, six of which were competing and one was entered as hors concours. The competition was organized into six tracks, each dealing with a class of CHCs with different background theories and constraints:
The competition was run on the StarExec platform, with each solver given a time limit of 1800 seconds for the competition runs. The results were evaluated based on the number of satisfiable and unsatisfiable benchmarks solved by each solver in each track. In case of a tie, the total CPU time was used to determine the ranking.
The winners of the competition were:
The report also discusses some issues encountered during the competition runs and how they were resolved in collaboration with the participants. Finally, it outlines some open issues and proposals for future editions of the competition.
다른 언어로
소스 콘텐츠 기반
arxiv.org
더 깊은 질문