The competition ran on two clusters of Linux boxes. The first one, from the ``Laboratoire de Recherche en Informatique'' (LRI, Orsay, France) was composed of 15 Athlon 1800+ with 1Gb of RAM. The second one, from ``Dipartimento di Informatica Sistemica e Telematica'' (DIST Genoa, Italy), was composed of 8 PIV 2.4GHz with 1Gb of RAM. Both clusters were using RedHat Linux 7.2. During the first stage, industrial and handmade categories ran on LRI's cluster while most of the random category ran in Italy. All the second stage is running on LRI's cluster while the QBF evaluation is running in Italy.