Updates

  • Jan. 12th, 2021:
        Results online
  • Oct. 2nd, 2020:
       Parallel problems released
  • Sept 8th, 2020:
       Submission dates changed    (see below)
  • July 27th, 2020:
       Sequential challenge    problems released. Parallel    problems will follow soon.
  • July 17th, 2020:
       Submission dates changed    (August → September)
  • May 18th, 2020:
       Sequential training problems    released
  • May 5th, 2020:
       Important dates announced

Important Dates:

  • Dec. 14th, 2020:
       RERS event (held virtually)
  • Nov. 15th, 2020:
       Submission, parallel tracks
  • Oct. 9th, 2020:
       Final submission, sequential
  • Oct. 2nd, 2020:
       Initial submission, sequential
  • Oct. 2nd, 2020:
       Parallel problems
  • July 27th, 2020:
       Sequential problems
  • May 18th, 2020:
       Training problems

Download Reachability Problems

Each participating team is invited to briefly present their approach to the RERS benchmarks at the corresponding event.

Note that these problems cannot be compiled as downloaded because of a missing implementation of the __VERIFIER_error(int). Please read the Java-code and C99-code description for compilation assistance. Other useful information can be found on the problem description page. Training problems are available and feature corresponding solutions.


The problems are provided as a .zip archive.


Sequential Reachability Problems

The following table provides an overview of this year's challenge problems in the Sequential Reachability track. Bronze, silver, and gold backgrounds refer to the corresponding achievements.
size plain, simple arithmetic, medium data structures, hard
small Problem11 Problem12 Problem13
medium Problem14 Problem15 Problem16
large Problem17 Problem18 Problem19