Total number of seeds in the final queue.

The following table shows the average results about the total number of seeds that are kept in the final queue.

Different coverage guidance will keep different number of seeds in the queue. For example, Random strategy keeps all mutants that satisfy the metamorphic relation. NC keeps very few seeds because it is non-trivial to increase the coverage by the mutants. For large models, it will keep more seeds. Since the model is large,i.e, the model contains more neurons, it becomes easier to increase the neuron-level coverage.