Dear all,
To participate in CHC-COMP 2025, we kindly ask you to register your solver via this form, the earlier the better, so we can check for technical issues, but no later than Friday, April 25:
https://forms.gle/Lh6VmRjRDaknZ4xU9
Submission should include a download link pointing to the tool archive, such as a public release on a code-hosting platform.
Note, you may update your response later, for example in case you want to make a new release between initial submission and submission of the final version for the competition.
Please indicate the desired command line, too, as well as a command line that produces evidence (models, proofs), which can be the same as the main command line.
Please also indicate the categories you wish to be evaluated in. LRA and BV are up to the availability of benchmarks.
If you wish to contribute benchmarks still, please get in touch.
Best,
Dear Gidon,
for those of us not attending SPIN: Do you think there's a chance of live-streaming your presentation of the competition results?
Best Florian
On 4/17/25 10:11, Gidon Ernst wrote:
Dear all,
To participate in CHC-COMP 2025, we kindly ask you to register your solver via this form, the earlier the better, so we can check for technical issues, but no later than Friday, April 25:
https://forms.gle/Lh6VmRjRDaknZ4xU9
Submission should include a download link pointing to the tool archive, such as a public release on a code-hosting platform.
Note, you may update your response later, for example in case you want to make a new release between initial submission and submission of the final version for the competition.
Please indicate the desired command line, too, as well as a command line that produces evidence (models, proofs), which can be the same as the main command line.
Please also indicate the categories you wish to be evaluated in. LRA and BV are up to the availability of benchmarks.
If you wish to contribute benchmarks still, please get in touch.
Best,
Yes this will be possible, I will send the link around sometime this week.
On 5/3/25 3:28 AM, Florian Frohn wrote:
Dear Gidon,
for those of us not attending SPIN: Do you think there's a chance of live-streaming your presentation of the competition results?
Best Florian
On 4/17/25 10:11, Gidon Ernst wrote:
Dear all,
To participate in CHC-COMP 2025, we kindly ask you to register your solver via this form, the earlier the better, so we can check for technical issues, but no later than Friday, April 25:
https://forms.gle/Lh6VmRjRDaknZ4xU9
Submission should include a download link pointing to the tool archive, such as a public release on a code-hosting platform.
Note, you may update your response later, for example in case you want to make a new release between initial submission and submission of the final version for the competition.
Please indicate the desired command line, too, as well as a command line that produces evidence (models, proofs), which can be the same as the main command line.
Please also indicate the categories you wish to be evaluated in. LRA and BV are up to the availability of benchmarks.
If you wish to contribute benchmarks still, please get in touch.
Best,
-
Florian Frohn -
Gidon Ernst