next up previous
Next: The rules Up: The SAT2002 Competition (preliminary Previous: A revolution?

Rules and submissions

In order to ensure fairness, all the rules concerning the competition were available a few months before the competition on the web4, after public discussions on a SATLive! forum.

The solver and benchmark submission processes were running in parallel. The submitters did not know who else submitted solvers or benchmarks, and what was submitted. All submissions were received and processed by Laurent Simon who kept them in secret from everybody including the two other organizers. After that, he alone ($ +$system administrators) was running the competition computers. That allowed Edward A. Hirsch to participate in the competition despite of being among the organizers.


LE BERRE Daniel 2002-09-16