Hello, I have a small question below about the seed used in ECJ and hope someone can help. 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. Many thanks Zheng