S1-S6, the machines which run the university search engine