User-agent: *
Disallow: /ben/
Disallow: /jayray/
Disallow: /benchmark/