v5677_swarning72
with {tF_07.01, default: null, interval: false}: {r*, c*} >= 0
v903638_hwarning12
Generated by subcategory(ies): FI_agg_24.
v09629_mwarning3
sum({F 07.01, r0060, (c0100-0120)}) <= {F 04.03.1, r0050, c0041} + {F 04.03.1, r0050, c0071} + {F 04.04.1, r0010, c0041} + {F 04.04.1, r0010, c0071}
v09630_mwarning3
sum({F 07.01, r0070, (c0100-0120)}) <= {F 04.03.1, r0060, c0041} + {F 04.03.1, r0060, c0071} + {F 04.04.1, r0020, c0041} + {F 04.04.1, r0020, c0071}
v09631_mwarning3
sum({F 07.01, r0080, (c0100-0120)}) <= {F 04.03.1, r0070, c0041} + {F 04.03.1, r0070, c0071} + {F 04.04.1, r0030, c0041} + {F 04.04.1, r0030, c0071}
v09632_mwarning3
sum({F 07.01, r0090, (c0100-0120)}) <= {F 04.03.1, r0080, c0041} + {F 04.03.1, r0080, c0071} + {F 04.04.1, r0040, c0041} + {F 04.04.1, r0040, c0071}
v09633_mwarning3
sum({F 07.01, r0100, (c0100-0120)}) <= {F 04.03.1, r0090, c0041} + {F 04.03.1, r0090, c0071} + {F 04.04.1, r0050, c0041} + {F 04.04.1, r0050, c0071}
v09634_mwarning3
sum({F 07.01, r0110, (c0100-0120)}) <= {F 04.03.1, r0100, c0041} + {F 04.03.1, r0100, c0071} + {F 04.04.1, r0060, c0041} + {F 04.04.1, r0060, c0071}
v5385_mwarning3
sum({F 07.01, r0060, (c0010-0030)}) <= {F 04.03.1, r0050, c0015} + {F 04.03.1, r0050, c0050} + {F 04.04.1, r0010, c0015} + {F 04.04.1, r0010, c0050}
v5386_mwarning3
sum({F 07.01, r0070, (c0010-0030)}) <= {F 04.03.1, r0060, c0015} + {F 04.03.1, r0060, c0050} + {F 04.04.1, r0020, c0015} + {F 04.04.1, r0020, c0050}
v5387_mwarning3
sum({F 07.01, r0080, (c0010-0030)}) <= {F 04.03.1, r0070, c0015} + {F 04.03.1, r0070, c0050} + {F 04.04.1, r0030, c0015} + {F 04.04.1, r0030, c0050}
v5388_mwarning3
sum({F 07.01, r0090, (c0010-0030)}) <= {F 04.03.1, r0080, c0015} + {F 04.03.1, r0080, c0050} + {F 04.04.1, r0040, c0015} + {F 04.04.1, r0040, c0050}
v5389_mwarning3
sum({F 07.01, r0100, (c0010-0030)}) <= {F 04.03.1, r0090, c0015} + {F 04.03.1, r0090, c0050} + {F 04.04.1, r0050, c0015} + {F 04.04.1, r0050, c0050}
v5390_mwarning3
sum({F 07.01, r0110, (c0010-0030)}) <= {F 04.03.1, r0100, c0015} + {F 04.03.1, r0100, c0050} + {F 04.04.1, r0060, c0015} + {F 04.04.1, r0060, c0050}
v5399_mwarning3
sum({F 07.01, r0060, (c0040-0060)}) <= {F 04.03.1, r0050, c0030} + {F 04.03.1, r0050, c0060} + {F 04.04.1, r0010, c0030} + {F 04.04.1, r0010, c0060}
v5400_mwarning3
sum({F 07.01, r0070, (c0040-0060)}) <= {F 04.03.1, r0060, c0030} + {F 04.03.1, r0060, c0060} + {F 04.04.1, r0020, c0030} + {F 04.04.1, r0020, c0060}
v5401_mwarning3
sum({F 07.01, r0080, (c0040-0060)}) <= {F 04.03.1, r0070, c0030} + {F 04.03.1, r0070, c0060} + {F 04.04.1, r0030, c0030} + {F 04.04.1, r0030, c0060}
v5402_mwarning3
sum({F 07.01, r0090, (c0040-0060)}) <= {F 04.03.1, r0080, c0030} + {F 04.03.1, r0080, c0060} + {F 04.04.1, r0040, c0030} + {F 04.04.1, r0040, c0060}
v5403_mwarning3
sum({F 07.01, r0100, (c0040-0060)}) <= {F 04.03.1, r0090, c0030} + {F 04.03.1, r0090, c0060} + {F 04.04.1, r0050, c0030} + {F 04.04.1, r0050, c0060}
v5404_mwarning3
sum({F 07.01, r0110, (c0040-0060)}) <= {F 04.03.1, r0100, c0030} + {F 04.03.1, r0100, c0060} + {F 04.04.1, r0060, c0030} + {F 04.04.1, r0060, c0060}
v5412_mwarning3
sum({F 07.01, r0060, (c0070-0090)}) <= {F 04.03.1, r0050, c0040} + {F 04.03.1, r0050, c0070} + {F 04.04.1, r0010, c0040} + {F 04.04.1, r0010, c0070}
v5413_mwarning3
sum({F 07.01, r0070, (c0070-0090)}) <= {F 04.03.1, r0060, c0040} + {F 04.03.1, r0060, c0070} + {F 04.04.1, r0020, c0040} + {F 04.04.1, r0020, c0070}
v5414_mwarning3
sum({F 07.01, r0080, (c0070-0090)}) <= {F 04.03.1, r0070, c0040} + {F 04.03.1, r0070, c0070} + {F 04.04.1, r0030, c0040} + {F 04.04.1, r0030, c0070}
v5415_mwarning3
sum({F 07.01, r0090, (c0070-0090)}) <= {F 04.03.1, r0080, c0040} + {F 04.03.1, r0080, c0070} + {F 04.04.1, r0040, c0040} + {F 04.04.1, r0040, c0070}
v5416_mwarning3
sum({F 07.01, r0100, (c0070-0090)}) <= {F 04.03.1, r0090, c0040} + {F 04.03.1, r0090, c0070} + {F 04.04.1, r0050, c0040} + {F 04.04.1, r0050, c0070}