Property RERS2020-PT-pb104-LTLFireability-00
  "Automatically generated"
  is:
    A F (X "t_139193_l4"? U G ("t_122051_l24"? & (F "t_139193_l4"? U F "t_107349_l9"?)))
  end.
Property RERS2020-PT-pb104-LTLFireability-01
  "Automatically generated"
  is:
    A (G "t_134786_l3"? | !F ("t_88877_l41"? U "t_134786_l3"?))
  end.
Property RERS2020-PT-pb104-LTLFireability-02
  "Automatically generated"
  is:
    A (("t_117825_l40"? U G "t_66870_l23"?) U ("t_117825_l40"? | !"t_93280_l41"?))
  end.
Property RERS2020-PT-pb104-LTLFireability-03
  "Automatically generated"
  is:
    A (("t_66025_l6"? | F X "t_105835_l41"?) & X (F "t_3176_l8"? U "t_3176_l8"?))
  end.
Property RERS2020-PT-pb104-LTLFireability-04
  "Automatically generated"
  is:
    A G F ("t_68082_l23"? & G "t_41572_l25"?)
  end.
Property RERS2020-PT-pb104-LTLFireability-05
  "Automatically generated"
  is:
    A F G !("t_107925_l9"? & F X G "t_107925_l9"?)
  end.
Property RERS2020-PT-pb104-LTLFireability-06
  "Automatically generated"
  is:
    A F !("t_138078_l4"? U F "t_10196_l20"?)
  end.
Property RERS2020-PT-pb104-LTLFireability-07
  "Automatically generated"
  is:
    A (X !F ("t_46667_l5"? | F "t_46667_l5"?) | !F X X G "t_45167_l5"?)
  end.
Property RERS2020-PT-pb104-LTLFireability-08
  "Automatically generated"
  is:
    A (G "t_23008_l2"? & F ("t_106649_l9"? | X G (X "t_106649_l9"? & G "t_106649_l9"?)))
  end.
Property RERS2020-PT-pb104-LTLFireability-09
  "Automatically generated"
  is:
    A X X G "t_48158_l5"?
  end.
Property RERS2020-PT-pb104-LTLFireability-10
  "Automatically generated"
  is:
    A ("t_129645_l39"? | "t_105398_l41"? | !(!"t_129645_l39"? U "t_24136_l2"?))
  end.
Property RERS2020-PT-pb104-LTLFireability-11
  "Automatically generated"
  is:
    A (("t_83608_l41"? | "t_95872_l41"?) U !("t_59494_l22"? & !"t_95872_l41"?))
  end.
Property RERS2020-PT-pb104-LTLFireability-12
  "Automatically generated"
  is:
    A !F G X F X F ("t_73963_l0"? U "t_113195_l40"?)
  end.
Property RERS2020-PT-pb104-LTLFireability-13
  "Automatically generated"
  is:
    A (F "t_50508_l19"? U F G "t_19956_l42"?)
  end.
Property RERS2020-PT-pb104-LTLFireability-14
  "Automatically generated"
  is:
    A (G !"t_70263_l23"? | (G "t_135232_l3"? & (("t_70263_l23"? | X F "t_112278_l40"?) U !"t_21860_l2"?)))
  end.
Property RERS2020-PT-pb104-LTLFireability-15
  "Automatically generated"
  is:
    A F X (X X !"t_104178_l41"? U F !("t_104178_l41"? & G "t_10340_l20"?))
  end.
