- toy contains several small examples mainly used for testing features.
- toy-repair contains several small examples mainly used for testing features related to repairable fault trees.
- rewritten contains rewritten benchmarks as were produced in the paper Fault Trees on a Diet.
- Sebastian Junges [email protected]
- Matthias Volk [email protected]