SAT Competition 2002: Automatically submitted benchmarks

The pool of benchmarks used in the competition will be automatically enriched after the deadline. Depending on the number of new submitted benchmarks, a greater or smaller number of good-old benchmarks will be added to the pool.

Families of benchmarks to be added

Many thanks to satlib, SIM and Joao and Miroslav web pages!

Competition homepage

[SAT Competition 2002] [SAT 2002] [SAT-Ex] [SATLIB] [SAT Live!]