SAT-Race 2010

SAT-Race
2010

Overview
Rules
Important Dates
Organizers
Qualification
Solvers
Results
Downloads
Previous Events

Downloads

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:

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)

Benchmark Instances used in the SAT-Race Finals

Main / Parallel Track (CNF, 100 instances): SAT-Race-2010-CNF.tar (793 MB)
Structural SAT Track (AIG, 100 instances): SAT-Race-2010-AIG.tar (104 MB)

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)