Next: Industrial
Up: SAT 2003: the competition
Previous: Random
The solvers are ranked according to the number of series solved (i.e.
at least one benchmark from the series solved), then the total number of
benchmarks solved.
Ties are ranked in reverse alphabetical order.
Subsections
LE BERRE Daniel
2003-05-02