What you get to benchmark with really depends on the PR release that you're running. I have no clue which version Anand is using, but here goes anyways:
Bring down the console
type "/timedemo 1"
If you know the name of the demo you're planning to bench with, type:
"demo XXX" where XXX is the name of the demo, minus the extension.
I think the last PR release that had a demo included was 1.30...