Yes, everything excluded in the robots.txt is excluded by all Google searches including those done by our Google Search Appliance (GSA). If you would like something indexed by Google but excluded by the GSA, please Contact Support and reference this article.