SAT09 Competition

Results

• Archive containing the solver sources (25 MiB)
• Archive containing the solver binaries used in the competition (33 MiB)
• Booklet containing the description of solvers and instances
• Details on the selection of instances
• Results of the first phase of the main track
• Results of the second phase of the main track
• Results of the preprocessor track
• Results of the minisat hack track
• Results of the multithread track

Results as text files

• phase1.txt
• phase2.txt

Instances used in the competition

• All instances of the SAT 2009 competition in the APPLICATIONS category (385 MiB)
• All instances of the SAT 2009 competition in the CRAFTED category (171 MiB)
• Initial set of instances of the SAT 2009 competition in the RANDOM category (46 MiB)
• Additional random instances used in the SAT 2009 competition (28 MiB)

Instances submitted to the competition, but unselected

• unselected benchmarks in the APPLICATIONS category (82 MiB)
• unselected benchmarks in the CRAFTED category (87 MiB)