Pith. sign in

REVIEW

Competition Report: CHC-COMP-21

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2109.04635 v1 pith:UEHIQ6KZ submitted 2021-09-10 cs.LO cs.SC

Grigory Fedyukovich (Florida State University , USA) , Philipp Rümmer (Uppsala University , Sweden) This is my paper · ORCID
classification cs.LOcs.SC
keywords competitionarithmeticchc-comp-21linearreportsolversalgebraicarrays
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

CHC-COMP-21 is the fourth competition of solvers for Constrained Horn Clauses. In this year, 7 solvers participated at the competition, and were evaluated in 7 separate tracks on problems in linear integer arithmetic, linear real arithmetic, arrays, and algebraic data-types. The competition was run in March 2021 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.

Discussion (0). Continue with ORCID to comment.

Pith tools