Property ResIsolation-PT-N11P2-UpperBounds-00
  "Automatically generated"
  is:
    bound("p160")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-01
  "Automatically generated"
  is:
    bound("p16")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-02
  "Automatically generated"
  is:
    bound("p13")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-03
  "Automatically generated"
  is:
    bound("p284")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-04
  "Automatically generated"
  is:
    bound("p80")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-05
  "Automatically generated"
  is:
    bound("p178")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-06
  "Automatically generated"
  is:
    bound("p373")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-07
  "Automatically generated"
  is:
    bound("p337")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-08
  "Automatically generated"
  is:
    bound("p395")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-09
  "Automatically generated"
  is:
    bound("p14")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-10
  "Automatically generated"
  is:
    bound("p54")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-11
  "Automatically generated"
  is:
    bound("p163")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-12
  "Automatically generated"
  is:
    bound("p290")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-13
  "Automatically generated"
  is:
    bound("p100")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-14
  "Automatically generated"
  is:
    bound("p173")
  end.
Property ResIsolation-PT-N11P2-UpperBounds-15
  "Automatically generated"
  is:
    bound("p107")
  end.
