Adjusting CPU time for Windows platform