Submission Instructions

All sequential tracks will be run on the BenchCloud Instance of SoSy Lab in Munich using compute nodes with an 8 cores Intel Xeon E3-1230 v5 @ 3.40 GHz CPU. The solvers will be executed with a time limit of 5000 seconds and memory limit of 30GB.

Testing and Requirements

We will provide a Docker image for testing the build and running the solver. The top-level directory of your solver should contain two scripts:

Submission

The submission of the final version of a solver is via a private GitHub repository, which is to be made available to the organizers by the solver authors. After the solver submission deadline we will ask all the participants to make their repositories public.

Emailing your System Description Document

After you have submitted the final version of your solver send an email to the organizers (organizers@satcompetition.org) containing your system description document (see General Rules for more information).