Redundancy removed after random restarts