Property ResIsolation-PT-N10P4-LTLFireability-00
  "Automatically generated"
  is:
    A (!F !X "t86144"? U !F X X F X X X "t10085"?)
  end.
Property ResIsolation-PT-N10P4-LTLFireability-01
  "Automatically generated"
  is:
    A !X (X ("t69268"? & (X "t69268"? | G "t38415"?)) U ("t125067"? | !"t21475"?))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-02
  "Automatically generated"
  is:
    A X X X (!"t61162"? U G "t89720"?)
  end.
Property ResIsolation-PT-N10P4-LTLFireability-03
  "Automatically generated"
  is:
    A !(G ("t109981"? U "t47379"?) U (X "t109981"? U G "t7437"?))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-04
  "Automatically generated"
  is:
    A X X (("t55171"? | !(G "t106890"? U "t91855"?)) U X X "t55171"?)
  end.
Property ResIsolation-PT-N10P4-LTLFireability-05
  "Automatically generated"
  is:
    A G (("t124684"? & !F "t80953"?) | ("t80953"? & !F "t80953"?))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-06
  "Automatically generated"
  is:
    A X (X X "t135607"? & (G "t131205"? | !("t135607"? & F "t135607"?)))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-07
  "Automatically generated"
  is:
    A G (X "t15001"? | (!"t112828"? & G "t5798"?))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-08
  "Automatically generated"
  is:
    A (F "t34261"? U (X "t105181"? & (X G (G "t105181"? | F "t97493"?) U "t105181"?)))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-09
  "Automatically generated"
  is:
    A F X !X G (!"t56225"? & X "t66334"?)
  end.
Property ResIsolation-PT-N10P4-LTLFireability-10
  "Automatically generated"
  is:
    A G F X "t47996"?
  end.
Property ResIsolation-PT-N10P4-LTLFireability-11
  "Automatically generated"
  is:
    A X F G (X "t101628"? U X "t123643"?)
  end.
Property ResIsolation-PT-N10P4-LTLFireability-12
  "Automatically generated"
  is:
    A (!X !X "t33377"? U ("t40408"? & X "t33377"?))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-13
  "Automatically generated"
  is:
    A (("t71998"? | "t23778"?) U ((!"t71998"? & "t19408"?) | (G "t23778"? U "t15632"?)))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-14
  "Automatically generated"
  is:
    A G !X (F "t15998"? | G F ("t23789"? & "t98069"?))
  end.
Property ResIsolation-PT-N10P4-LTLFireability-15
  "Automatically generated"
  is:
    A F G (X !G ("t77681"? U X X F "t58911"?) U G "t15156"?)
  end.
