This report was generated with Americium 1.5.1
Americium currently uses a fixed internal randomisation seed, so always yields the same shrinkage:
[[[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]]- casesLimit = 500
517 cases were run.
78 successful runs were performed out of a limit of 500 successful cases, prior to the first failing case.
1 + 5 = 6 runs then failed out of a subsequent shrinkage sequence of 517 - 78 = 439 runs, including the first failing case.
The best shrunk case was followed by 517 - 515 = 2 successful cases in the shrinkage sequence.