Updates

  • 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:

  • Oct. 20th – 30th, 2020:
       RERS at ISoLA'20
  • Sept. 20th, 2020:
       Final submission
  • Sept. 10th, 2020:
       Initial submission
  • July 27th, 2020:
       Challenge problems
  • May 18th, 2020:
       Training problems

Challenge Rules

In order to participate in the RERS Challenge 2020, please submit your results according to the instructions on the submission page. There are no constraints on the application of methods, so participants can modify the source code in any way imaginable. In particular, participants are not constrained to their own tools.

The submission page also explains options for opting-out of individual tracks or rankings. The scoring scheme is explained on the rewards page.

Because RERS only requires the submission of proposed "true" / "false" solutions to the verification tasks that are contained within each problem, no tool has to be submitted. As the correct solutions are unknown to participants during the challenge, there is furthermore no need to provide any verification witnesses such as error traces. For winning an evaluation-based award however (see rewards), it is necessary to also describe the employed approach that was used to generate the submitted "true" / "false" answers.