Submission of Benchmarks:
- Submit an issue in the SYNTCOMP benchmark repository with your new benchmarks attached.
- We will review your submission and add the benchmarks to the repository.
- Note that all accepted benchmarks will be copyrighted using the Creative Commons CC-BY license.
Make sure to add a description of how you obtained your benchmarks in the form of a technical report or a thorough README and, if relevant, a link to a repository or tool.
Submission of Tools:
From 2025, submissions will only be accepted via email to the organizers. The email should explicitly state
- which track(s) the tool(s) is meant to participate in and
- it should include the address to the docker image with the tool(s). In addition,
- please clearly state the license under which the source code of the tool is released (or not) and
- attach the required tool description.