- 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 sebastian.junges@cs.rwth-aachen.de
- Matthias Volk matthias.volk@cs.rwth-aachen.de