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. In particular, 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 May 17 for the first one, and June 16 for the second one.

First Qualification Round

The first qualification round has taken place on and after May 17. Each solver had to tackle all 50 instances of the first benchmark test set. 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 2006. These solvers are:

Second Qualification Round

The second qualification has taken place on and after June 16. Each solver had to tackle all 50 instances of the second benchmark test set. In contrast to the SAT-Race itself, the run-time limit was set to 20 minutes per solver and instance. Solvers that participated successfully—and thus are qualified for SAT-Race 2006—are:

The scores have been calculated using the scoring scheme described on the Rules page. These 13 solvers, besides the three solvers that already qualified in the first round and did not participate in the second, are now qualified for SAT-Race 2006.