v1
NFkB + IKKIkBa > IKKIkBaNFkB
v10
IkBb + IKK > IKKIkBb
v11
IKKIkBb > IKK
v12
IKKIkBb > IKK + IkBb
v13
NFkB + IKKIkBe > IKKIkBeNFkB
v14
IKKIkBeNFkB > NFkB + IKK
v15
IKKIkBeNFkB > NFkB + IKKIkBe
v16
IkBe + IKK > IKKIkBe
v17
IKKIkBe > IKK
v18
IKKIkBe > IkBe + IKK
v19
IkBaNFkB + IKK > IKKIkBaNFkB
v2
IKKIkBaNFkB > NFkB + IKK
v20
IKKIkBaNFkB > IkBaNFkB + IKK
v21
IkBbNFkB + IKK > IKKIkBbNFkB
v22
IKKIkBbNFkB > IkBbNFkB + IKK
v23
IKK + IkBeNFkB > IKKIkBeNFkB
v24
IKKIkBeNFkB > IKK + IkBeNFkB
v25
IkBa + NFkB > IkBaNFkB
v26
{2.0}source > IkBat + {2.0}sink
v27
IkBaNFkB > IkBa + NFkB
v28
NFkBn + IkBan > IkBanNFkBn
v29
IkBanNFkBn > NFkBn + IkBan
v3
IKKIkBaNFkB > NFkB + IKKIkBa
v30
IkBanNFkBn > IkBaNFkB
v31
IkBaNFkB > NFkB
v32
IkBat > sink
v33
IkBan > IkBa
v34
IkBa > IkBan
v35
source > IkBa + sink
v36
IkBb + NFkB > IkBbNFkB
v37
IkBbNFkB > IkBb + NFkB
v38
IkBbn + NFkBn > IkBbnNFkBn
v39
IkBbnNFkBn > IkBbn + NFkBn
v4
IKK + IkBa > IKKIkBa
v40
IkBbnNFkBn > IkBbNFkB
v41
IkBbNFkB > NFkB
v42
IkBbt > sink
v43
IkBbn > IkBb
v44
IkBb > IkBbn
v45
source > IkBb + sink
v46
NFkB + IkBe > IkBeNFkB
v47
IkBeNFkB > NFkB + IkBe
v48
NFkBn + IkBen > IkBenNFkBn
v49
IkBenNFkBn > IkBen + NFkBn
v5
IKKIkBa > IKK
v50
IkBenNFkBn > IkBeNFkB
v51
IkBeNFkB > NFkB
v52
IkBet > sink
v53
IkBen > IkBe
v54
IkBe > IkBen
v55
source > IkBe + sink
v56
NFkBn > NFkB
v57
NFkB > NFkBn
v58
source > IkBat
v59
source > IkBbt
v6
IKKIkBa > IKK + IkBa
v60
source > IkBet
v61
IkBa > sink
v62
IkBb > sink
v63
IkBe > sink
v64
IKK > sink
v7
IKKIkBb + NFkB > IKKIkBbNFkB
v8
IKKIkBbNFkB > IKK + NFkB
v9
IKKIkBbNFkB > IKKIkBb + NFkB
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.