Use a smaller Interval value in benchmarks