Property RERS2020-PT-pb105-LTLFireability-00
  "Automatically generated"
  is:
    A (X F X "t_5255_l6"? | ("t_30572_l7"? & X G "t_16257_l14"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-01
  "Automatically generated"
  is:
    A G (X ("t_142408_l37"? U "t_149263_l28"?) | !F ("t_10290_l18"? | "t_149263_l28"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-02
  "Automatically generated"
  is:
    A (G "t_129578_l39"? U ("t_128366_l39"? & !"t_106753_l42"? & X "t_128366_l39"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-03
  "Automatically generated"
  is:
    A X !X F X (!"t_127745_l39"? & F "t_111235_l42"?)
  end.
Property RERS2020-PT-pb105-LTLFireability-04
  "Automatically generated"
  is:
    A F (!X G "t_82605_l40"? | (F "t_82605_l40"? U F "t_116994_l43"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-05
  "Automatically generated"
  is:
    A ("t_39209_l5"? & "t_13879_l14"? & X "t_99148_l42"? & (F !G X "t_13879_l14"? U !"t_99148_l42"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-06
  "Automatically generated"
  is:
    A (X G ("t_74409_l40"? | "t_148628_l28"?) U F G ("t_74409_l40"? | F G !"t_29999_l7"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-07
  "Automatically generated"
  is:
    A G X !X X !G !G F "t_82544_l40"?
  end.
Property RERS2020-PT-pb105-LTLFireability-08
  "Automatically generated"
  is:
    A F X ("t_102033_l42"? & F "t_136966_l3"?)
  end.
Property RERS2020-PT-pb105-LTLFireability-09
  "Automatically generated"
  is:
    A !G X G F !("t_51990_l13"? U (X "t_11157_l14"? & G F "t_121628_l43"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-10
  "Automatically generated"
  is:
    A (G !G "t_17676_l14"? | F !("t_5186_l6"? | X F ("t_1937_l6"? U "t_5186_l6"?)))
  end.
Property RERS2020-PT-pb105-LTLFireability-11
  "Automatically generated"
  is:
    A ("t_370_l36"? & (X !"t_370_l36"? U "t_13758_l14"?) & G ("t_22808_l14"? U "t_13758_l14"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-12
  "Automatically generated"
  is:
    A ("t_104177_l42"? U G X F G "t_146455_l29"?)
  end.
Property RERS2020-PT-pb105-LTLFireability-13
  "Automatically generated"
  is:
    A (F X X F "t_110230_l42"? | G ("t_62253_l13"? | !F X "t_130675_l39"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-14
  "Automatically generated"
  is:
    A !(G "t_138843_l10"? U (F "t_16062_l14"? & F "t_138843_l10"?))
  end.
Property RERS2020-PT-pb105-LTLFireability-15
  "Automatically generated"
  is:
    A G X !"t_82688_l40"?
  end.
