| 1213 |
v1 >= v2 |
|
| 1214 |
v3 >= v4 |
|
| 1403 |
r01 = r1.1 + r1.3 + r1.4 + r1.5 + r1.6 + r1.7 + r1.8 + r1.9 + r1.10 + r1.11 + r1.12 + r1.13 + r1.14 + r1.15 + r1.16 + r1.17 + r1.18 + r1.19 + r1.20 + r1.21 + r1.22+ r1.23 + r1.24 + r1.25 + r1.26 + r1.27 + r1.28 + r1.29 + r1.30 + r1.31 + r1.32 + r1.33 + r1.34 + r1.35 + r1.36 + r1.37 + r1.38 + r1.39 + r1.40 |
|
| 3133 |
Kui v3 > 0 siis v1 > 0 |
|
| 3134 |
Kui v4 > 0 siis v2 > 0 |
|
| 8008 |
r16 = r01 + r03 + r04 + r06 + r07 + r08 + r09 + r10 +r11 + r12 + r13 + r14 + r15 |
|
| 8009 |
r1.1.1 <= r01 |
|
| 8010 |
r2.1 <= r02 |
|
| 8012 |
r4.1 <= r04 |
|
| 8015 |
r05 <= r04 |
|
| 8016 |
r03 >= r3.1 + r3.2 + r3.3 + r3.4 + r3.5 + r3.6 + r3.7 |
|
| 8090 |
R02 <= r01 |
|
| 9007 |
r04 = r4.2 + r4.3 + r4.4 + r4.5 + r4.6 + r4.7 + r4.8 + r4.9 + r4.10 + r4.11 + r4.12 + r4.13 + r4.14 + r4.15 + r4.16 + r4.17 + r4.18 + r4.19 + r4.20 + r4.21 + r4.22 |
|
| 9014 |
r6.1 <= r6 |
|
| 9015 |
r12.1 <= r12 |
|
