Sequential Training Problems
The problems listed here represent smaller versions of the actual problems used during the RERS Challenge 2018. Problems 1 – 3 resemble problems from the Sequential LTL track, whereas those enumerated 4 – 6 represent problems from the Sequential Reachability track. As with the challenge problems, C99 and Java versions are available for each training problem.
For further information on these problems, please refer to the problem description and the Java code and C99 code description.
Self-Evaluation Tool
To ease the entry hurdle you can use our Self-Evaluation Tool to compare your results for the training problems with the provided solutions. It will calculate your points and point out your mistakes.
LTL Training Problems
A zip containing the LTL training problems and solutions can be downloaded here.
plain, small | arithmetic, small | data structures, small |
Problem1 | Problem2 | Problem3 |
Reachability Training Problems
A zip containing the reachability training problems and solutions can be downloaded here.
plain, small | arithmetic, small | data structures, small |
Problem4 | Problem5 | Problem6 |