Benchmark in Milliseconds

A micro benchmark should run for about 300 milliseconds, according to a rule of thumb that involves adjusting input size to reach that duration.