• 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 parallel problems please refer to the problem description. Please note that the syntax of provided LTL properties varies from the sequential problems.

The models (Petri net, Promela, .dot) and corresponding property files are provided as a .zip archive.

Parallel LTL Problems

The following table provides an overview of this year's challenge problems in the Parallel LTL track. Bronze, silver, and gold backgrounds refer to the corresponding achievements. There are three achievement categories in this track: small, medium, and large. The names of these categories refer to the number of reachable states in the parallel composition of a given problem.
small medium large
problem101 problem104 problem107
problem102 problem105 problem108
problem103 problem106 problem109