A Formal Framework for Predicting Distributed System Performance under Faults

This artifact supports the experimental evaluation presented in the paper "A Formal Framework for Predicting Distributed System Performance under Faults", covering all six case studies in Figure 3: Two-Phase Commit with CTP, Raft, PowerDNS, Cassandra Quorum, RAMP, and Fast-HotStuff. The submission includes the source code of the artifact, a Docker image file, and documentation with instructions for setting up the environment and running experiments. We apply for the available and functional badges. The artifact is licensed under GPLv2, which permits evaluation.