User-agent: *
Disallow: /benchmarks/
Disallow: /statistics/
Disallow: /htdig/