Sequential Problem Download
Training Problems
In preparation for the main challenge we strongly recommend to try your approach on the training problems and the problems of former challenges, which you can find on the training problem page and the sites of earlier challenges!Sequential Challenge Problems
The RERS Challenge 2016 will provide Benchmark problems of increasing complexity, the more involved of which will probably be beyond any individual state-of-the-art method or tool. The Benchmarks will be synthesized to exhibit chosen properties, and then enhanced in an automated process to cover dedicated dimensions of difficulty, including:
- conceptual complexity of the exhibited properties (reachability, safety, liveness),
- size of the systems (from a few hundred lines of code to millions of them), and
- language features (arrays, indirect addressing, floating point arithmetics, virtual method calls).
The following table lists the categories with the corresponding challenge phases.
| Phase | Problem Category | |
|---|---|---|
| 01/05/16 - 15/09/16 | LTL problems | |
| 01/05/16 - 15/09/16 | Reachability problems | |