Qualification

There will be two qualification rounds for registered solvers, where successful participation in at least one of them is mandatory to be accredited for SAT-Race.

In each round, we check the following requirements:

Requirements

• Conformance to I/O specification. Solvers have to respect the I/O requirements (CNF, AIG). In particular, for CNF-based solvers, the output must contain a solution line (starting with "s ") and—in case of a satisfiable instance—at least one values line (starting with "v "). Exit codes also must be set correctly (10 for satisfiable, 20 for unsatisfiable, 0 for unknown).
• Correctness of results. The solvers are not allowed to produce wrong answers (e.g. 'satisfiable' for an unsatisfiable instance, but of course they may time-out).
• Sufficient performance. Solvers must meet some minimal speed requirements. We will set the level of required performance particularly high for the first qualification round to stimulate improvement of solvers.

Cheating (e.g. pre-computing results) is not allowed. We will check all solvers on additional instances, and fraudulent solvers will be disqualified (the organizing committee will decide on this).

Dates

The dead-lines for the qualification rounds are February 10 for the first one, and March 12 for the second one.

First Qualification Round

The first qualification round has taken place on and after February 10. Each solver had to tackle 50 instances. In contrast to the SAT-Race itself, the run-time limit was set to 20 minutes per solver and instance. Solvers which were able to solve at least 40 instances are already qualified for SAT-Race 2008. These solvers are:

Second Qualification Round

The second qualification round has taken place on and after March 12. Each solver had to tackle 50 instances, the instances were the same as in the first qualification round. In contrast to the SAT-Race itself, the run-time limit was set to 20 minutes per solver and instance. Solvers which were able to solve at least 20 instances (in either the first or second qualification round) are qualified for SAT-Race 2008. These solvers are (in addition to the ones that already passed the first qualification round):