Optimal time to repair a broken server · Study