I have a small question below about the seed used in ECJ and hope someone
There are 10 runs and first seed is 8000 then what is the seed for the next 9
runs? Does the seed increase by 1 each time? ie. the seed in these 10 run are
8000, 8001, 8002,.......8009. This is my understanding and hope it is correct.