Downloads

Text Documents

  • Announcement / Call for Participation (PDF)

Sample Benchmark Instances

SAT-Race Resources

  • SAT-Race benchmark set (100 instances): SAT-Race-Benchmarks.tgz (488 MB)
  • Presentation of SAT-Race results on SAT'06 conference (PDF).