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:

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.