Property ResIsolation-PT-N11P2-LTLFireability-00
  "Automatically generated"
  is:
    A F G !(F "t16710"? U !G ("t46259"? | "t38780"?))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-01
  "Automatically generated"
  is:
    A G (F "t60273"? & X X F ("t19078"? & G (!"t69851"? & "t3201"?)))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-02
  "Automatically generated"
  is:
    A (!F G F "t31280"? U G X "t2179"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-03
  "Automatically generated"
  is:
    A ("t13426"? & (G X G X G !"t44528"? U !("t45164"? | X "t50603"?)))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-04
  "Automatically generated"
  is:
    A G (G !F "t35969"? U X X X "t15531"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-05
  "Automatically generated"
  is:
    A !F ("t55986"? U X X "t24994"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-06
  "Automatically generated"
  is:
    A F !G !F ("t69795"? | "t8939"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-07
  "Automatically generated"
  is:
    A (X X (F "t62256"? & ("t5034"? | !X "t55364"?)) U "t5034"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-08
  "Automatically generated"
  is:
    A (!X "t59969"? & X ("t12352"? | F "t59969"? | F X X "t25598"?))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-09
  "Automatically generated"
  is:
    A X (X "t37420"? | F G (G !F "t15999"? U !"t45840"?))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-10
  "Automatically generated"
  is:
    A (G ("t58232"? & !G "t67223"?) U F G !X X F G "t13294"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-11
  "Automatically generated"
  is:
    A (X (("t47080"? U "t27448"?) U !"t6791"?) U !("t47080"? U !X !"t27448"?))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-12
  "Automatically generated"
  is:
    A ((G "t51764"? & X "t51764"?) U X "t28034"?)
  end.
Property ResIsolation-PT-N11P2-LTLFireability-13
  "Automatically generated"
  is:
    A !F G (!("t50523"? U "t37313"?) | ("t41752"? & G "t50523"?))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-14
  "Automatically generated"
  is:
    A (G X ("t36793"? | "t51553"?) & G !F X F ("t34730"? U "t49928"?))
  end.
Property ResIsolation-PT-N11P2-LTLFireability-15
  "Automatically generated"
  is:
    A F G ("t17137"? | X F ("t16107"? & G ("t17137"? U F "t6512"?)))
  end.
