Important Dates:

  • July 31th, 2022:
       Final submission, sequential
  • May 31st, 2022:
       Sequential problems
  • April 4th, 2022:
       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 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 arithmetic, hard
small Problem11 Problem12 Problem13
medium Problem14 Problem15 Problem16
large Problem17 Problem18 Problem19