The slides of the presentation at SAT2007
Please, select the results which you are interested in:
SAT 2007 Competition Phase 2
SAT 2007 Competition Phase 1
SAT 2007 Competition AIG special track
Individual results as a text file
These text files contains the results of each solver on each instance.