SAT Race 2019

Affiliated with the The 22nd International Conference on Theory and Applications of Satisfiability Testing
taking place July 7 - 12, Lisboa, Portugal.

The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22nd International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges.

SAT Race

The SAT Race 2019 is a lean competitive event that evaluates the state-of-the-art SAT solvers. Compared to SAT Competitions, a SAT Race has only one track which is comparable to the Main Track of a SAT Competition.

New benchmarks welcome

Each participant (team) is encouraged to submit 20 new benchmark instances (not seen in previous competitions). Ideally, the benchmarks should be "interesting": not too easy (solvable by MiniSat in a minute) or too hard (unsolvable by the participants own solver within one hour on a computer similar to the nodes of the StarExec cluster). See the benchmarks page for more information.

Objective

The area of SAT Solving has seen tremendous progress over the last years. Many problems (e.g. in hardware and software verification) that seemed to be completely out of reach a decade ago can now be handled routinely. Besides new algorithms and better heuristics, refined implementation techniques turned out to be vital for this success.

To keep up the driving force in improving SAT solvers, we want to motivate implementors to present their work to a broader audience and to compare it with that of others.

Important Dates

Organization

Researchers from both academia and industry are invited to submit their solvers and benchmarks to SAT Race 2019.