CHC-COMP 2022: Competition Report

11/22/2022
by   Emanuele De Angelis, et al.
0

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.

READ FULL TEXT
research
09/10/2021

Competition Report: CHC-COMP-21

CHC-COMP-21 is the fourth competition of solvers for Constrained Horn Cl...
research
08/07/2020

Competition Report: CHC-COMP-20

CHC-COMP-20 is the third competition of solvers for Constrained Horn Cla...
research
08/31/2021

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

This report summarizes the second International Verification of Neural N...
research
01/09/2015

Introduction and Ranking Results of the ICSI 2014 Competition on Single Objective Optimization

This technical report includes the introduction and ranking results of t...
research
04/15/2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...
research
06/03/2011

ATTac-2000: An Adaptive Autonomous Bidding Agent

The First Trading Agent Competition (TAC) was held from June 22nd to Jul...
research
09/26/2011

The Deterministic Part of IPC-4: An Overview

We provide an overview of the organization and results of the determinis...

Please sign up or login with your details

Forgot password? Click here to reset