Parallel and Cloud Track Submissions

The Parallel and Cloud tracks will be run on Amazon Web Services. Participants of these tracks are required to submit their solver via a GitHub repository (which can be private). The repository should contain a docker file that compiles the solver. Scripts for account configuration and instructions to construct a solver in the default configuration are available at: https://github.com/aws-samples/aws-batch-comp-infrastructure-sample. We also provide an example repository that builds a Docker image with the mallob-mono solver that runs on the sat comp infrastructure here: https://github.com/aws-samples/aws-satcomp-solver-sample.

Solver Registration and Submission

In order to participate in the Parallel or Cloud Track please send an email to "sat-comp-2022@amazon.com" and to "organizers@satcompetition.org" containing the following:

1. name of the solver and a list of the authors
2. your AWS account number
3. the URL of the GitHub repository including the branch
4. the full, 40-character SHA-1 hash of the commit

After the submission deadline, set your repository to public. Leave it public at least until after the results have been announced. Also make sure to adhere to the General Rules.