R1
TF + VII = TF_VII
R10
IIa + VIII > IIa + VIIIa
R11
IXa + VIIIa = IXa_VIIIa
R12
IXa_VIIIa + X = IXa_VIIIa_X
R12b
IXa_VIIIa_X > IXa_VIIIa + Xa
R13
VIIIa = VIIIa1_L + VIIIa2
R14
IXa_VIIIa_X > VIIIa1_L + VIIIa2 + X + IXa
R15
IXa_VIIIa > VIIIa1_L + VIIIa2 + IXa
R16
IIa + V > IIa + Va
R17
Xa + Va = Xa_Va
R18
Xa_Va + II = Xa_Va_II
R18b
Xa_Va_II > Xa_Va + mIIa
R19
mIIa + Xa_Va > IIa + Xa_Va
R2
TF + VIIa = TF_VIIa
R20
Xa + TFPI = Xa_TFPI
R21
TF_VIIa_Xa + TFPI = TF_VIIa_Xa_TFPI
R22
TF_VIIa + Xa_TFPI > TF_VIIa_Xa_TFPI
R23
Xa + ATIII > Xa_ATIII
R24
mIIa + ATIII > mIIa_ATIII
R25
IXa + ATIII > IXa_ATIII
R26
IIa + ATIII > IIa_ATIII
R27
TF_VIIa + ATIII > TF_VIIa_ATIII
R3
TF_VIIa + VII > TF_VIIa + VIIa
R4
Xa + VII > Xa + VIIa
R5
VII + IIa > IIa + VIIa
R6
TF_VIIa + X = TF_VIIa_X
R6b
TF_VIIa_X > TF_VIIa_Xa
R7
TF_VIIa + Xa = TF_VIIa_Xa
R8
TF_VIIa + IX = TF_VIIa_IX
R8b
TF_VIIa_IX > TF_VIIa + IXa
R9
Xa + II > Xa + IIa
IIa_plus_1_2mIIa = IIa + 1.2 * mIIa
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.