Text Documents

  • Announcement / Call for Participation (ASCII / PDF)

Benchmark Instances used in the Qualification Round

We used the instances from the SAT-Race 2008 finals for the 2010 qualification round. They can be downloaded here:

Benchmark Instances used in the SAT-Race Finals

Additional Material

  • Presentation of SAT-Race results at the SAT'10 conference (PDF)
  • SAT-Race posters displayed at the SAT'10 conference (Main Track / Special Tracks)