ATTac-2000 adapts its allocation strategy based on the amount of time it takes for the integer linear programming approach to determine optimal allocations in the current game instance (see Section 3.2).