  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.
