int time = int(std::min(1.0, ratio) * std::max(0, myTime - moveOverhead));
if (type == OptimumTime && ponder)
- time *= 1.25;
+ time = 5 * time / 4;
- if (type == MaxTime)
- time -= 10; // Keep always at least 10 millisecs on the clock
-
- return std::max(0, time);
+ return time;
}
} // namespace