[chc-comp] Questions about CHC-COMP

Dear Gidon, Jose

I have two questions:

- CHC-COMP website https://chc-comp.github.io says the competition is associated with HCVS, but that the results will be presented at SPIN this year. CHC-COMP will not be part of HCVS program this year? - In the form there is only one entry for command line. There won't be an option to use different arguments for different tracks? I mean for, e.g., LIA-Lin vs LIA-Nonlin.

I am also looking into generating some benchmarks, I'll let you know if I succeed within the deadline.

Best, Martin