SAT Competition 2013
affiliated with the SAT 2013 conference, July 8-12 in Helsinki, Finland
jointly organized by Ulm University, University of Helsinki,
University College Dublin, University of Texas at Austin,
The submitted solver and benchmark description have been published as proceedings collection at the University of Helsinki. The proceedings have a permanent URI and can be downloaded here:

Proceedings of SAT Competition 2013

If you encounter serious semantical errors in some of the description you can send us an email and we will post the correction in the following table.