Important Dates:

  • July 31th, 2022:
       Final submission, sequential
  • May 31st, 2022:
       Sequential problems
  • April 4th, 2022:
       Training problems

Challenge Rules

In order to participate in the RERS Challenge 2022, 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.