Hello @trolando, @adl, and @5nizza,
It's that time of the year again! I propose the following set of benchmarks for this year's edition of SYNTCOMP. Suggestions or modifications are welcome.
Full Changelog: v2025.1...v2026
Contributors
trolando, adl, and 5nizza