Property ResIsolation-PT-N09P2-LTLFireability-00
  "Automatically generated"
  is:
    A G "t6104"?
  end.
Property ResIsolation-PT-N09P2-LTLFireability-01
  "Automatically generated"
  is:
    A !(("t7748"? U "t15877"?) U F G (!"t3365"? & G "t7748"?))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-02
  "Automatically generated"
  is:
    A !G !G !(G ("t14381"? U ("t2609"? | "t9778"? | "t14228"?)) U "t14228"?)
  end.
Property ResIsolation-PT-N09P2-LTLFireability-03
  "Automatically generated"
  is:
    A F X F X X X (!"t9184"? U "t9927"?)
  end.
Property ResIsolation-PT-N09P2-LTLFireability-04
  "Automatically generated"
  is:
    A X (!"t14847"? | (X X "t14847"? U !(("t17975"? & F "t12509"?) U "t14454"?)))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-05
  "Automatically generated"
  is:
    A X (!("t5023"? U X "t7645"?) U !("t18032"? U "t7645"?))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-06
  "Automatically generated"
  is:
    A !(G ("t8122"? U !X "t2688"?) U (G "t12937"? U G "t14994"?))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-07
  "Automatically generated"
  is:
    A ("t1650"? & (("t8599"? U X "t4354"?) | !F X "t8599"?))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-08
  "Automatically generated"
  is:
    A X X G !"t13078"?
  end.
Property ResIsolation-PT-N09P2-LTLFireability-09
  "Automatically generated"
  is:
    A (F G ("t13710"? & "t10466"?) & !F G X X !"t6685"?)
  end.
Property ResIsolation-PT-N09P2-LTLFireability-10
  "Automatically generated"
  is:
    A (("t2302"? U !("t17526"? | !"t15820"?)) U F "t15820"?)
  end.
Property ResIsolation-PT-N09P2-LTLFireability-11
  "Automatically generated"
  is:
    A (G !"t14959"? & (F "t9064"? | ((F "t3112"? U "t3112"?) U "t14959"?)))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-12
  "Automatically generated"
  is:
    A (X F "t3742"? & F (!"t13420"? & "t3742"?))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-13
  "Automatically generated"
  is:
    A !(!"t7111"? & G X X "t18537"? & G ("t15287"? | "t8722"?))
  end.
Property ResIsolation-PT-N09P2-LTLFireability-14
  "Automatically generated"
  is:
    A !F X X X X !X !"t3975"?
  end.
Property ResIsolation-PT-N09P2-LTLFireability-15
  "Automatically generated"
  is:
    A (!G ("t8442"? | "t13198"?) | G ("t15911"? | X "t13220"?))
  end.
