Gries program, new input

15.1.1:::LOOP 986 samples

N = size(B)

S = sum(B[0..I-1])

B (96 values)

All elements in [-6005..7680] (784 values)

N in [0..35] (24 values)

I >= 0 (36 values)

sum(B) in [-15006..21144] (95 values)

B[0..I-1] (887 values)

All elements in [-6005..7680] (784 values)

I <= N (363 values)

Previous slide

Next slide

Back to first slide

View graphic version