Domain models, generators and testing problems can be downloaded here.
A description of the domains is available at:here .
In addition to the domains used in the competition, other people have contributed with domains that finally have not been included. The descriptions of the domains will be available soon. Even if they were not finally used, we want to thanks the authors for having submitted them.