The online phase of the RERS challenge has started! Below you find the six problems for the online phase, which have to be completed by October 17, 6 p.m.. Again, a tarball is provided.
NOTICE: In the integer-only-variants of the problems, the error code -2 was used instead of a silent output (-1). This has been fixed as of October 5, 2:00 a.m.. We deeply apologize for the inconvenience.
UPDATE: We have added four additional example problems, which are to be solved in the usual fashion, yet structurally slightly more complex. For self-evaluation purposes, we will publish the complete solutions for problems 10 and 11 on October 1, 2012.
A tarball with the new problems is available for download here.
Below you can find problems for all nine categories together with properties to be checked. General instructions / explanations can be found here. Additionally there is some info on the Java problems and on the C problems
IMPORTANT NOTICE: Unfortunately, there has been a mix-up of the provided examples. The files below have been replaced with their correct versions as of July 31, 02:00 a.m. CET. In case you downloaded the old versions, please overwrite them with the new ones. We apologize for any inconvenience caused.
You can also download a tarball with all problems.