4 ms·

True, because that was already a hard problem by itself. And it got even worst with the recent additions.