next up previous
Next: Some lessons Up: The SAT2002 Competition (preliminary Previous: Cumulative CPU analysis of

Difficulties and future competitions

Despite a good maturity level in solvers, pure-SAT competitions are not so frequent (the previous one took place 7 years ago). In some aspect, this competition has surpassed all previous competitions (in the number of benchmarks and solvers, the availability of results on the web), but some choices were hard to take. Some of them were good, some were not. Because another competition will be held next year, it is important to take stock of this one, in order to think about the next one.


LE BERRE Daniel 2002-09-16