Rerun experiments with fixed DfsPruneChecker