Competition Tracks

Main Track

Main track is the track for sequential SAT solvers. This track as well as its subtracks will be run on an instance of BenchCloud hosted by the Software and Computational Systems Lab in Munich. Consider the general submission guidelines and the submission instructions. We will use 300-600 benchmark problems, the time limit will be 5000 seconds. Solvers in all tracks will be ranked based on the PAR-2 score, which is the sum of the runtime plus twice the timeout for unsolved instances. The solvers will be allowed to use up to 30GB of RAM. All solvers participating in the Main track are required to provide certificates in both SAT and UNSAT cases. We offer to choose from different proof checkers. For more information about the UNSAT certificates see this page.

Parallel Track

The Parallel track will be run on Amazon Web Services (AWS). Consider the general submission guidelines and the AWS submission instructions. All solvers participating in the Parallel track are required to provide a model in the SAT case. The solvers participating in this track will be executed with a wall-clock time limit of 5000 seconds. Each solver will be run an a single AWS machine of the type m6i.16xlarge, which has 64 virtual cores and 256GB of memory. More details about m6i.16xlarge nodes can be found here.