I have two questions:

- CHC-COMP website��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