Downloads

Text Documents

• Announcement / Call for Participation (PDF)

Sample Benchmark Instances

• First benchmark test set (50 instances): SAT-Race_TS_1.tgz (230 MB)
• Second benchmark test set (50 instances): SAT-Race_TS_2.tgz (293 MB)
• Further instances—that we may also use for SAT-Race 2006—can be downloaded from the IBM Formal Verification page (license agreement required).

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).