I had such an presumption many years ago with another Registrar. My guess is that they check manually all searched (yet free) domains and register the best ones

I had such an presumption many years ago with another Registrar. My guess is that they check manually all searched (yet free) domains and register the best ones after a while, it wouldn't even surprise me if this is the standard.