[janalsncm]

I think so, but they do rerank the results. The only major engines that run their own indexes are Google, Bing, Yandex, and Baidu.