Optional
Wall-clock budget per attempt, in ms. Default 90 s.
Maximum number of repair attempts. Default 4.
Optional clock for tests.
Total wall-clock budget for the whole repair, in ms. Default 6 min.
Wall-clock budget per attempt, in ms. Default 90 s.