Acknowledgements

We would like to thank John Franco, Michal Kouril, and the University of Cincinnati for providing us the computers and local maintenance. We also thank Hans van Maaren and the computational logic group of the Technical University of Delft for providing the awards. Of course, not to forget the many benchmarks and solvers authors. We are also very grateful to all SAT2002 conference participants for their feedback.