Parallel Track

The Parallel Track will be run on Amazon Web Services. The solvers participating in this track will be executed with a wall-clock time limit of 5000 seconds, thus similar to the Main Track. Each solver will be run an a single AWS machine of the type m4.16xlarge, which has 64 virtual cores and 256GB of memory. More details about m4.16xlarge nodes can be found here.

Similar to the Cloud Track, participants of this track 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 run HordeSAT in the default configuration are available at: https://github.com/aws-samples/aws-batch-comp-infrastructure-sample. We also provide an exmaple repository using the HordeSAT solver: https://github.com/aws-samples/aws-batch-hordesat-sample.

Solver Submission

In order to participate in the Parallel Track please send an email to "sat-comp-2021@amazon.com" 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