## Sequential Training Problems

The problems listed here represent smaller versions of the actual problems used during the RERS Challenge 2019. Problems 1 – 3 resemble problems from the Sequential LTL track, whereas those enumerated 11 – 13 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.

### 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 |

Problem11 | Problem12 | Problem13 |