Submission

Submission of Benchmarks:

  1. Submit an issue in the SYNTCOMP benchmark repository with your new benchmarks attached.
  2. We will review your submission and add the benchmarks to the repository.
  3. 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.

Leave a Reply