User-agent: *
Disallow: /nav/
Disallow: /benchmarksindex.html