Intentions of submission were requested by the end of September.
Final versions of model checkers were due on October 8.
The competition runs were started in the second week of October.
900 seconds wall clock time limit, 7 GB memory limit.
32 node cluster, Intel Quad Core 2.6 GHz processors, 8 GB, Ubuntu 9.04.
Each solver has full access to one node (4 cores).
Working-directory = home-directory on NFS, /tmp/ for temporary files.
Output should go to stdout or stderr.