Downloads

Text Documents

• Announcement / Call for Participation (txt)

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 2008—can be downloaded from the IBM Formal Verification page (license agreement required).
• Test instances for the AIG track (50 instances): AIG-SAT-Race-TS.tgz (74 MB)

Benchmark Instances used in SAT-Race Finals

• Main / Parallel Track (CNF, 100 instances): SAT-Race-2008-CNF.tar (566 MB)
• Structural SAT Track (AIG, 100 instances): SAT-Race-2008-AIG.tar (143 MB)

Additional Material

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