CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over linear integer arithmetic, linear real arithmetic, arrays, and algebraic data types. This report provides an overview of the organization behind the competition runs: it includes the technical details of the competition setup as well as presenting the results of the 2022 edition.

翻译：CHC-COMP 2022是《受约束的非洲之角条款解决者竞赛》第五版,竞争于2022年3月进行,结果在2022年4月3日在德国慕尼黑举行的第九次《关于核实和合成的非洲之角条款研讨会》上作了介绍,共有6个解决者,8个轨道,包括线性和非线性条款,限制线性算术、线性实际算术、阵列和代数数据类型。本报告概述了竞争运行背后的组织:其中包括竞争设置的技术细节,并介绍了2022年版的结果。