I thought their search was powered by Yahoo's BOSS service combined with their own crawler.