SAT07 Competition

Slides

The slides of the presentation at SAT2007

Detailed results

Please, select the results which you are interested in:

Individual results as a text file

These text files contains the results of each solver on each instance.