Property ResIsolation-PT-N09P5-LTLFireability-00
  "Automatically generated"
  is:
    A G ("t70036"? | G F ("t70036"? & !X F G F "t70036"?))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-01
  "Automatically generated"
  is:
    A !G (G "t101055"? U X G X (G "t139818"? U X !"t82726"?))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-02
  "Automatically generated"
  is:
    A (!X "t91122"? & G ("t145035"? | G "t119261"? | (G "t91122"? & X "t35777"?)))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-03
  "Automatically generated"
  is:
    A ("t119953"? & G "t122297"? & ("t6678"? | X "t76210"?))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-04
  "Automatically generated"
  is:
    A (F "t64346"? U X (X G "t3989"? | F X ("t77137"? U ("t137400"? & "t18746"?))))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-05
  "Automatically generated"
  is:
    A F G ("t95744"? & X X !X F G X G "t87697"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-06
  "Automatically generated"
  is:
    A !F X (("t104250"? U "t85891"?) U G "t71401"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-07
  "Automatically generated"
  is:
    A F (F ("t20212"? U "t13784"?) U "t125700"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-08
  "Automatically generated"
  is:
    A ((X "t63425"? & !F !"t3307"?) U X X X (X "t3307"? U "t52157"?))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-09
  "Automatically generated"
  is:
    A (G "t61799"? & !F !"t61799"? & !G "t82534"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-10
  "Automatically generated"
  is:
    A G X !("t48936"? & F "t2641"? & !X F !X X "t56361"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-11
  "Automatically generated"
  is:
    A X (X ("t100649"? U X "t19706"?) & !G ("t19706"? | G "t50778"?))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-12
  "Automatically generated"
  is:
    A G (G !("t57255"? | X "t111308"?) U G F "t111308"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-13
  "Automatically generated"
  is:
    A X !G ((!"t54930"? | "t57760"?) & ("t57760"? U ("t22079"? U ("t54930"? & "t57760"?))))
  end.
Property ResIsolation-PT-N09P5-LTLFireability-14
  "Automatically generated"
  is:
    A !(!(!"t37111"? & G X "t28416"?) | X X F "t45695"?)
  end.
Property ResIsolation-PT-N09P5-LTLFireability-15
  "Automatically generated"
  is:
    A X X G X "t17180"?
  end.
