论文标题
竞争报告：CHC-Comp-20
Competition Report: CHC-COMP-20
论文作者
论文摘要
CHC-COMP-20是针对约束角子句的第三次求解器。在今年，有9个求解器参加了比赛，并在四个单独的曲目中评估了线性整数算术，线性真实算术和阵列的问题。比赛是在2020年5月的第一周使用Starexec计算集群进行的。该报告概述了竞争设计，解释了竞争的组织，并提出了竞争结果。
CHC-COMP-20 is the third competition of solvers for Constrained Horn Clauses. In this year, 9 solvers participated at the competition, and were evaluated in four separate tracks on problems in linear integer arithmetic, linear real arithmetic, and arrays. The competition was run in the first week of May 2020 using the StarExec computing cluster. This report gives an overview of the competition design, explains the organisation of the competition, and presents the competition results.
