The SAFEST tool has been validated against multiple fault trees in the [FFORT fault tree forest], a DFT benchmark suite maintained at University of Twente. FFORT is a collection of fault trees gathered from scientific literature and open industrial reports. One can find the analysis results for the fault trees verifiable by our tool in the suite in comparison with other tools (if any).