Important Dates:

  • Nov. 08, 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 22, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks


Tool Download!

To make initial hurdle for RERS-beginners easier you can download a self evaluation tool to compare you generated results with the solutions of the training problems. The format of your solutions should be compatible with the submission format

The tool requires Java 7 and can be executed using java without any prerequisites.

    $ java -jar RERS-SelfEvaluation.jar #1 #2

Please forward as the first argument (#1) the path to your solution file and as the second argument (#2) the path to the original solution file you want to compare your solution with. The tool will report your points, calculate the number of correct and wrong answers and finally print all wrong answers to the console.

If you have any problems using the evaluation tool please feel free to contact us!