Updates

  • 26/07/17 results and solutions uploaded
  • 12/06/17 parallel problems updated
  • 26/05/17 parallel problems released
  • 01/03/17 parallel training problems released
  • 15/02/17 sequential problems released
  • 01/02/17 training sequential up, challenge problems postponed
  • 27/01/17 update on parallel problems

Important Dates:

  • 12/07/17
       RERS at ISSTA/SPIN
  • 01/02/17
       Release Sequential Training    Problems
  • 15/02/17
       Release Sequential    Problems
  • 01/03/17
       Release Parallel Training    Problems
  • 26/05/17
       Release Parallel Problems
  • 01/02/17 - 01/07/17
       Challenge Phase
  • 15/02/17 - 01/07/17
       Solution Submission

Download Reachability Problems

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. Other useful information can be found on the problem description page. Please not 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 downloaded 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 Problem10 Problem11 Problem12
medium Problem13 Problem14 Problem15
large Problem16 Problem17 Problem18

Please remember that the problems can not be compiled as they are provided. Please read the Java-code and C99-code description for compilation assistance.