We implemented a new distribution for the number of benchmarks, we should test that it works for many seeds.
