Report on the CHC competition
The CHC competition (CHC-COMP) compares state-of-the-art tools for CHC solving with respect to performance and effectiveness on a set of publicly available benchmarks. The winners among participating solvers are recognized by measuring the number of correctly solved benchmarks. This report will announce the winners and will give an opportunity to discuss the next competitions.
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 18:00
|Decomposing Farkas Interpolants|
Martin Blicha USI Lugano, Switzerland, Antti Hyvärinen , Jan Kofroň Charles University, Natasha Sharygina USI Lugano, SwitzerlandFile Attached
|Report on the CHC competition|
Grigory Fedyukovich Princeton University