Our purpose is to provide a benchmark suite, so that researchers can use a large and diverse number of fault trees to test and validate their methods and tools. For each fault tree, we provide:

    - Models given in standard Galileo format.

    - Results from earlier analyses.

    - Statistics about the fault trees in FFORT.