SAT09 Competition


Results as text files

Instances used in the competition

Here are 7z archives of the instances used in the SAT 2009 competition

Instances submitted to the competition, but unselected

Here are 7z archives instances which were submitted to the SAT 2009 competition, but were not selected for the competition: