Property PhaseVariation-PT-D30CS100-UpperBounds-00
  "Automatically generated"
  is:
    bound("cell___27_14__A_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-01
  "Automatically generated"
  is:
    bound("pool__25_7_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-02
  "Automatically generated"
  is:
    bound("cell___23_14__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-03
  "Automatically generated"
  is:
    bound("cell___1_15__A_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-04
  "Automatically generated"
  is:
    bound("cell___5_3__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-05
  "Automatically generated"
  is:
    bound("cell___18_25__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-06
  "Automatically generated"
  is:
    bound("pool__4_17_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-07
  "Automatically generated"
  is:
    bound("cell___15_14__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-08
  "Automatically generated"
  is:
    bound("cell___4_28__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-09
  "Automatically generated"
  is:
    bound("pool__14_15_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-10
  "Automatically generated"
  is:
    bound("cell___14_2__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-11
  "Automatically generated"
  is:
    bound("cell___12_28__A_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-12
  "Automatically generated"
  is:
    bound("cell___15_19__A_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-13
  "Automatically generated"
  is:
    bound("cell___28_24__B_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-14
  "Automatically generated"
  is:
    bound("cell___4_13__A_")
  end.
Property PhaseVariation-PT-D30CS100-UpperBounds-15
  "Automatically generated"
  is:
    bound("cell___12_3__A_")
  end.
