2 ms·

They don't just stop, they cut off arbitrary subtrees if there's compelling heuristical evidence they won't affect the result.