Skip to content

Latest commit

 

History

History
56 lines (44 loc) · 4.39 KB

bound5.md

File metadata and controls

56 lines (44 loc) · 4.39 KB
Raw

Report for Americium Shrinking on "bound5"

This report was generated with Americium 1.8.2

Normalization

Americium currently uses a fixed internal randomisation seed, but the shrinkage may vary due to the increasing variation in the timed number of cycles in each shrinkage attempt, two examples are shown here...

  • (List(),List(-16805),List(),List(-15974),List()) - 1 second budget and then increasing in steps of 1 second for each successive shrinkage cycle.
  • (List(),List(-16759),List(),List(-16042),List())

Shrinkage does not favour either of the two negative integer values that comprise a failing shrunk test case, so the resulting cases tend to balance the magnitude of the values more or less evenly.

Performance

414344 cases were run.

Failing cases...

0 - Shrinkage has found a failing case: (List(),List(),List(-28595),List(-23886, -30303, -22013),List(30386, 18619)) after 4 trials including this one.
1 - Shrinkage has found a failing case: (List(),List(),List(),List(-23279, -5840),List(-10545, -23779, 17415)) after 5 trials including this one.
2 - Shrinkage has found a failing case: (List(-26702),List(),List(-26693),List(),List()) after 6 trials including this one.
3 - Shrinkage has found a failing case: (List(),List(-22671),List(),List(-23924),List()) after 24 trials including this one.
4 - Shrinkage has found a failing case: (List(-25809),List(),List(),List(-9943),List()) after 47 trials including this one.
5 - Shrinkage has found a failing case: (List(),List(-19653),List(),List(),List(-13515)) after 50 trials including this one.
6 - Shrinkage has found a failing case: (List(),List(-16292),List(),List(-16771),List()) after 5076 trials including this one.
7 - Shrinkage has found a failing case: (List(),List(-16292),List(),List(-16771),List()) after 18575 trials including this one.
8 - Shrinkage has found a failing case: (List(),List(-16549),List(),List(-16445),List()) after 18732 trials including this one.
9 - Shrinkage has found a failing case: (List(),List(-16549),List(),List(-16445),List()) after 33865 trials including this one.
10 - Shrinkage has found a failing case: (List(),List(-16768),List(),List(-16096),List()) after 35240 trials including this one.
11 - Shrinkage has found a failing case: (List(),List(-16768),List(),List(-16096),List()) after 50571 trials including this one.
12 - Shrinkage has found a failing case: (List(),List(-16759),List(),List(-16088),List()) after 61259 trials including this one.
13 - Shrinkage has found a failing case: (List(),List(-16759),List(),List(-16088),List()) after 77813 trials including this one.
14 - Shrinkage has found a failing case: (List(),List(-16805),List(),List(-15974),List()) after 181895 trials including this one.
15 - Shrinkage has found a failing case: (List(),List(-16805),List(),List(-15974),List()) after 198841 trials including this one.

297847 cases were run.

Failing cases...

0 - Shrinkage has found a failing case: (List(),List(),List(-28595),List(-23886, -30303, -22013),List(30386, 18619)) after 4 trials including this one.
1 - Shrinkage has found a failing case: (List(),List(),List(),List(-23279, -5840),List(-10545, -23779, 17415)) after 5 trials including this one.
2 - Shrinkage has found a failing case: (List(-26702),List(),List(-26693),List(),List()) after 6 trials including this one.
3 - Shrinkage has found a failing case: (List(),List(-22671),List(),List(-23924),List()) after 24 trials including this one.
4 - Shrinkage has found a failing case: (List(-25809),List(),List(),List(-9943),List()) after 47 trials including this one.
5 - Shrinkage has found a failing case: (List(),List(-19653),List(),List(),List(-13515)) after 50 trials including this one.
6 - Shrinkage has found a failing case: (List(),List(-16292),List(),List(-16771),List()) after 5076 trials including this one.
7 - Shrinkage has found a failing case: (List(),List(-16292),List(),List(-16771),List()) after 20247 trials including this one.
8 - Shrinkage has found a failing case: (List(),List(-16291),List(),List(-16522),List()) after 21057 trials including this one.
9 - Shrinkage has found a failing case: (List(),List(-16291),List(),List(-16522),List()) after 37772 trials including this one.
10 - Shrinkage has found a failing case: (List(),List(-16759),List(),List(-16042),List()) after 73897 trials including this one.
11 - Shrinkage has found a failing case: (List(),List(-16759),List(),List(-16042),List()) after 91014 trials including this one.