We should stop reporting saturated benchmarks.