Equivalent Mutants Analysed via Deductive Verification

This is the (anonymous) reproduction package complementing the paper "Equivalent Mutants: Deductive Verification to the Rescue" submitted to the Mutation 2025 Workshop.In that paper we investigated the (supposedly) equivalent mutants from, MutantBench an open-source dataset designed for comparing the performance of tools for detecting equivalent mutants [https://github.com/MutantBench/]. The dataset comes with 4,400 mutants injected into 18 C and 18 Java programs where 1,416 are marked as equivalent. The equivalence status itself was drawn from previously published papers concerning tools that detect equivalent mutants. This status has not been confirmed by independent authors and as we show in our analysis, several equivalent mutants were in fact false positives.