#3 no está mal, es una mezcla a DuckDuckGo y Google en algunos aspectos, además acepta bangs así que cuando algo no lo encuentro rehago las búsquedas añadiéndole !ddg-> duckduckgo o !g -> google y hace las búsquedas allí. Tienen cosas que mejorar eso si y en búsquedas sobre mi trabajo muchas veces no me devuelve resultados, pero para mi día a día me es funcional. Pruebalo y si no te convence pues a otro