| Variable | Enabling Range | State Transformation | Remarks |
|---|---|---|---|
| p1.schwarz(a9.schwarz) | = 0 | not modified | |
| p2.schwarz(a11.schwarz) | = 1 | not modified | |
| p3.schwarz(a16.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p4.schwarz(a18.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p5.schwarz(a31.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p6.schwarz(a33.schwarz) | = 0 | not modified | |
| p7.schwarz(a38.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p8.schwarz(a51.schwarz) | = 0 | v'=v+1 | |
| p9.schwarz(a49.schwarz) | = 1 | v'=v-1 | |
| p10.schwarz(a68.schwarz) | = 0 | v'=v+1 | |
| p11.schwarz(b145.schwarz) | = 1 | v'=v-1 | |
| p12.schwarz(a127.schwarz) | = 0 | not modified | |
| p13.schwarz(a169.schwarz) | = 1 | v'=v-1 | |
| p14.schwarz(a95.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p15.schwarz(a100.schwarz) | = 0 | not modified | |
| p16.schwarz(a132.schwarz) | = 0 | not modified | |
| p17.schwarz(a105.schwarz) | = 0 | not modified | |
| p18.schwarz(a137.schwarz) | = 0 | not modified | |
| p19.schwarz(a84.schwarz) | = 0 | not modified | |
| p20.schwarz(a110.schwarz) | = 0 | not modified | |
| p21.schwarz(a142.schwarz) | = 0 | not modified | |
| p22.schwarz(a89.schwarz) | = 0 | not modified | |
| p23.schwarz(a115.schwarz) | = 0 | not modified | |
| p24.schwarz(a147.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |