Dear Martin,

• 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?

Maybe. I won't be at HCVS/CAV so if somebody would like to present the results there, too, and perhaps discuss some future perspectives, they are more than welcome to do so.

• 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.

Good point. I think it is fair to allow this, and you may indicate this in the Google form. You will be able to cross-check which command line was used for which run in the results.

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

Cool!

Best, Gidon