Benchmark tests for autogenerated 200 event fault tree.