Each participant is invited to shortly present his or her approach on the challenge at the RERS meeting.

The bronze, silver and gold problems mark the level of difficulty. One Achievement is possible for each color, the most difficult level will be awarded. For further information please take a look at the rewards and achievements page.

For further information about the code layout please read the Java-code and C99-code description. Please take note of our behavioral semantics when analyzing the problems, a detailed description can be found on the problem description page. Please note that the syntax and semantic of the properties varies from the parallel problems.

---

The problems are provided as a .zip archive. Detailed solutions for these problems (with counterexamples) can also be donwloaded as a .zip archive.

The table provides an overview of this year challenge set up and difficulty of each problem.

size	plain, simple	arithmetic, medium	data structures, hard
small	Problem1	Problem2	Problem3
medium	Problem4	Problem5	Problem6
large	Problem7	Problem8	Problem9