Failure-based Equivalences Are Faster Than Many Believe