Revised random restarts