  This paper presents a MaxSAT benchmark focused on the identification of
Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the
MPMCS problem by transforming the input fault tree into a weighted logical
formula that is then used to build and solve a Weighted Partial MaxSAT problem.
The benchmark includes 80 cases with fault trees of different size and
composition as well as the optimal cost and solution for each case.
