• Apr. 18, 2019:
        Results online
  • Mar. 13, 2019:
        C code of industrial training     problems and reachability
        problem m106 updated
  • Mar. 09, 2019:
       IMPORTANT: C99 code of    sequential and industrial    challenge problems replaced
  • Feb. 27, 2019:
       Parallel LTL/CTL problems &     training problems released
  • Feb. 01, 2019:
       Sequential and industrial
       challenge problems released
  • Feb. 01, 2019:
       Parallel challenge problems    will be released asap
  • Jan. 25, 2019:
       Training problems
       now available

Important Dates:

  • Apr. 06 – 7, 2019:
       RERS at TACAS'19
  • Mar. 22, 2019:
       Solution submission
  • Feb. 01, 2019:
       Release of challenge
  • Jan. 25, 2019:
       Training problems

Download CTL 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.

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

CTL properties are available as a separate .zip archive.

Parallel CTL Problems

The following table provides an overview of this year's challenge problems in the Parallel CTL 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