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 LTL Problems

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

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. Training problems are available and feature corresponding solutions. Please note that the syntax and semantics of LTL properties varies from the parallel problems.


The problems are provided as a .zip archive.


Sequential LTL Problems

The following table provides an overview of this year's challenge problems in the Sequential LTL track. Bronze, silver, and gold backgrounds refer to the corresponding achievements.
size plain, simple arithmetic, medium data structures, hard
small Problem1 Problem2 Problem3
medium Problem4 Problem5 Problem6
large Problem7 Problem8 Problem9