Parallel Training Problems
The training phase for benchmarks concerning parallel programs is based on problems from previous years.
Please note that in contrast to this year's actual challenge problems, at most two parallel components share an alphabet symbol (action label) in the training problems below.
LTL Problems
In order to familiarize yourself with problems from the Parallel LTL track, please test your approach based on:
CTL Problems
In order to test your approach regarding the new Parallel CTL track, you can analyze the following six CTL properties based on last year's smallest parallel problem and compare your results to the provided solution. The solution can be found within the property file.
- Parallel CTL training problem (.zip archive)