SAT Race 2019

Just a single track

SAT Race 2019 will have only one track which is comparable to the Main Track of a SAT Competition. The track will focus on sequential SAT solvers. We will use 300-600 benchmark problems, the time limit will be 5000 seconds. All solvers participating are required to provide certificates in both SAT and UNSAT cases. For more information about the UNSAT certificates see this page.

Execution Environment

The race will be run on the StarExec cluster. The time limit for solving an instance will be 5000 seconds (in each track). The solvers will be allowed to use up to 128GB of RAM.