Property RERS2020-PT-pb107-LTLFireability-00
  "Automatically generated"
  is:
    A F (G "t_51456_l36"? & ("t_100837_l11"? | G "t_51456_l36"? | G ("t_100837_l11"? | X "t_87368_l54"?)))
  end.
Property RERS2020-PT-pb107-LTLFireability-01
  "Automatically generated"
  is:
    A (("t_1929_l12"? U G !G "t_70043_l9"?) & !("t_70043_l9"? & F X "t_70043_l9"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-02
  "Automatically generated"
  is:
    A !G F (F G "t_73775_l15"? & !F X G "t_83208_l54"?)
  end.
Property RERS2020-PT-pb107-LTLFireability-03
  "Automatically generated"
  is:
    A !G (G F "t_96038_l39"? & (F "t_96038_l39"? U "t_96038_l39"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-04
  "Automatically generated"
  is:
    A X ((("t_62691_l20"? | "t_15939_l26"?) U "t_87350_l54"?) & G (G "t_72040_l9"? & G !"t_62691_l20"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-05
  "Automatically generated"
  is:
    A X !F G X ("t_37876_l5"? | F (("t_67506_l62"? & "t_55321_l23"?) U "t_55321_l23"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-06
  "Automatically generated"
  is:
    A G !X F "t_3258_l12"?
  end.
Property RERS2020-PT-pb107-LTLFireability-07
  "Automatically generated"
  is:
    A !F G !G !G X F ("t_5967_l12"? & "t_64810_l14"?)
  end.
Property RERS2020-PT-pb107-LTLFireability-08
  "Automatically generated"
  is:
    A X ("t_50667_l1"? U F "t_93943_l37"?)
  end.
Property RERS2020-PT-pb107-LTLFireability-09
  "Automatically generated"
  is:
    A F X "t_2198_l12"?
  end.
Property RERS2020-PT-pb107-LTLFireability-10
  "Automatically generated"
  is:
    A X (F "t_47244_l27"? | !F ("t_86254_l54"? | "t_47244_l27"?) | F ("t_86254_l54"? & X "t_47244_l27"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-11
  "Automatically generated"
  is:
    A G F X "t_64508_l10"?
  end.
Property RERS2020-PT-pb107-LTLFireability-12
  "Automatically generated"
  is:
    A (G "t_17543_l26"? | F X ("t_17543_l26"? U F X !X G "t_40253_l5"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-13
  "Automatically generated"
  is:
    A ("t_12845_l26"? & G X ("t_94303_l37"? & X "t_41093_l27"?))
  end.
Property RERS2020-PT-pb107-LTLFireability-14
  "Automatically generated"
  is:
    A X ("t_75749_l13"? & ("t_75749_l13"? | X !"t_75749_l13"?) & G "t_37642_l5"?)
  end.
Property RERS2020-PT-pb107-LTLFireability-15
  "Automatically generated"
  is:
    A (G "t_7458_l12"? U F "t_7458_l12"?)
  end.
