v8372_swarning6
with {tF_08.01.a, default: null, interval: false}: {r0050-0445, (c0030, c0035)} >= 0
v3925_serror3
with {tF_08.01.b, r0450, default: null, interval: false}: {c0010-0037} >= 0
v08995_mwarning3
{P 01.02, r340, c010} = {F 08.01.a, r0360, c0010} + {F 08.01.a, r0360, c0020} + {F 08.01.a, r0360, c0030} + {F 08.01.a, r0360, c0034} + {F 08.01.a, r0360, c0035}
v1032_mwarning3
sum({F 31.01, r0070, (c0010-0050)}) <= sum({F 08.01.a, r0050, (c0010-0035)}) - sum({F 08.01.a, r0060, (c0010-0035)}) - sum({F 08.01.a, r0110, (c0010-0035)})
v1033_mwarning3
sum({F 31.01, r0080, (c0010-0050)}) <= sum({F 08.01.a, r0360, (c0010-0035)})
v1742_mwarning3
sum({F 20.06, r0070, c0010, (sNNN)}) = sum({F 08.01.a, r0050, (c0010-0035)})
v2277_mwarning3
{r0360} = +{r0380} + {r0370} + {r0390} + {r0400} + {r0410}
v2857_mwarning3
{F 32.04.a, r0070, c0010} <= sum({F 08.01.a, r0050, (c0010-0035)}) - xsum({F 08.01.a, (r0100, r0150, r0200, r0250, r0300, r0350, c0010-0035)})
v2859_mwarning3
with {default: 0, interval: true}: {tF_32.04.a, r0090, c0010} <= sum ({tF_08.01.a, r0360, c0010-0035})
v3922_swarning3
with {tF_08.01.a, c0020, default: null, interval: false}: {r0050-0440} >= 0
v7785_mwarning2
{r0445} <= {r0440}
v23416_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0020} = {tF_20.02, r0080, c0010} + {tF_20.02, r0080, c0020}
v23417_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0030} = {tF_20.02, r0120, c0010} + {tF_20.02, r0120, c0020}
v23418_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0035} = {tF_20.02, r0142, c0010} + {tF_20.02, r0142, c0020}
v23419_hwarning1
with{default: 0, interval: true}: {tF_08.01.b, r0450, c0020} = {tF_20.02, r0070, c0010} + {tF_20.02, r0070, c0020}
v23420_hwarning1
with{default: 0, interval: true}: {tF_08.01.b, r0450, c0030} = {tF_20.02, r0110, c0010} + {tF_20.02, r0110, c0020}
v23421_hwarning1
with{default: 0, interval: true}: {tF_08.01.b, r0450, c0035} = {tF_20.02, r0141, c0010} + {tF_20.02, r0141, c0020}
v23424_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0440, c0020} = {tF_20.02, r0100, c0010} + {tF_20.02, r0100, c0020}
v23425_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0440, c0030} = {tF_20.02, r0140, c0010} + {tF_20.02, r0140, c0020}
v23426_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0440, c0035} = {tF_20.02, r0144, c0010} + {tF_20.02, r0144, c0020}