The model's main program initializes the random number generator's seed to (uint64_t)time(NULL) and then adds 1 to get the next seed for the subsequent iteration, so that the seeds are predictable. This presents a problem if Evergreen starts two tests at about the same time: They both end up evaluating mostly the same seeds, thus duplicating work and having less-than-ideal test coverage.