What do most people use for benchmarking? The benchmarking functionality in nightly? Criterion? Something else?
Criterion is almost certainly the most common.
That's what I figured -- I just wanted to make sure. I'm going to take this as the canonical answer (unless, of course, hordes of people jump in and disagree with you ). Thanks!