Use max instead of sum for thunktimes