A Theory of Dynamic Benchmarks