论文标题
CHC-COMP 2022：比赛报告
CHC-COMP 2022: Competition Report
论文作者
论文摘要
CHC-COMP 2022是第五版《求解者》竞赛，该竞赛是针对受限的喇叭条款的。比赛于2022年3月举行；该结果在2022年4月3日在德国慕尼黑举行的第9个关于验证和合成的Horn条款的研讨会上介绍。该版本具有六个求解器，以及八个曲目，包括一组线性和非线性条件，其中包含与线性整数，线性算术算术，真实算术，真实算术，驱动器，驱动器，以及Alays andge Data类型的约束。该报告概述了竞争范围内的组织：它包括竞争设置的技术细节以及介绍2022版的结果。
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.
