Updates

  • 12/06/17 parallel problems updated
  • 26/05/17 parallel problems released
  • 01/03/17 parallel training problems released
  • 15/02/17 sequential problems released
  • 01/02/17 training sequential up, challenge problems postponed
  • 27/01/17 update on parallel problems

Important Dates:

  • 12/07/17
       RERS at ISSTA/SPIN
  • 01/02/17
       Release Sequential Training    Problems
  • 15/02/17
       Release Sequential    Problems
  • 01/03/17
       Release Parallel Training    Problems
  • 26/05/17
       Release Parallel Problems
  • 01/02/17 - 01/07/17
       Challenge Phase
  • 15/02/17 - 01/07/17
       Solution Submission

Parallel Training Problems for RERS 2017

The training phase for parallel problems is based on benchmarks from last year’s challenge, but introduces a new available format. For each of the problems 101 to 120, a petri net version is now available in PNML syntax. The benchmarks are further described on the parallel problem description page.

A zip archive containing the RERS 2017 training problems in all available formats including solutions can be downloaded here.

Complexity increases with problem number
Problem101 Problem102 Problem103 Problem104 Problem105
Problem106 Problem107 Problem108 Problem109 Problem110
Problem111 Problem112 Problem113 Problem114 Problem115
Problem116 Problem117 Problem118 Problem119 Problem120