A better test case would be several arbitrary pieces of code which do not change between the the benchmarks. Even if just a few lines change in the test case of

A better test case would be several arbitrary pieces of code which do not change between the the benchmarks. Even if just a few lines change in the test case of thousands of lines of code, you cannot expect the change in analysis time required to be proportional. It might not matter in this particular case though, who knows.