Property RERS2020-PT-pb108-LTLFireability-00
  "Automatically generated"
  is:
    A X G !(("t_61366_l65"? & !"t_120175_l57"?) | ("t_61366_l65"? U F "t_50850_l15"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-01
  "Automatically generated"
  is:
    A X !F X "t_91051_l39"?
  end.
Property RERS2020-PT-pb108-LTLFireability-02
  "Automatically generated"
  is:
    A X !X X G X G (!"t_57798_l65"? & G ("t_25593_l30"? & X "t_25593_l30"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-03
  "Automatically generated"
  is:
    A !G (X "t_96682_l4"? | ("t_80084_l67"? & G "t_108905_l56"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-04
  "Automatically generated"
  is:
    A (G ("t_16934_l30"? | (G "t_104408_l46"? & !F "t_122784_l9"?)) U X X X "t_104408_l46"?)
  end.
Property RERS2020-PT-pb108-LTLFireability-05
  "Automatically generated"
  is:
    A G !(G (G "t_94993_l4"? U "t_91128_l39"?) | X (F "t_70688_l32"? & !X "t_91128_l39"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-06
  "Automatically generated"
  is:
    A F !X ("t_72443_l32"? | "t_111412_l2"?)
  end.
Property RERS2020-PT-pb108-LTLFireability-07
  "Automatically generated"
  is:
    A !X (F X X X F X "t_81183_l67"? | !X "t_81183_l67"?)
  end.
Property RERS2020-PT-pb108-LTLFireability-08
  "Automatically generated"
  is:
    A F ("t_130073_l9"? & !F !F X !("t_50980_l15"? U F X !"t_130073_l9"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-09
  "Automatically generated"
  is:
    A F X (F "t_47271_l23"? & !G F X F G ("t_47271_l23"? & "t_130862_l9"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-10
  "Automatically generated"
  is:
    A (F G "t_100498_l4"? & (F "t_100498_l4"? | F "t_44567_l19"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-11
  "Automatically generated"
  is:
    A !("t_83221_l34"? | G ((F "t_102439_l4"? U "t_102439_l4"?) | !F ("t_86137_l34"? | !"t_115639_l2"?)))
  end.
Property RERS2020-PT-pb108-LTLFireability-12
  "Automatically generated"
  is:
    A (G X "t_94567_l39"? U ("t_24087_l30"? & "t_76782_l32"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-13
  "Automatically generated"
  is:
    A (X X X ("t_89296_l39"? & F "t_85873_l34"?) | (F "t_89296_l39"? & G "t_54576_l29"?))
  end.
Property RERS2020-PT-pb108-LTLFireability-14
  "Automatically generated"
  is:
    A F !("t_53435_l29"? & F X G "t_75769_l32"?)
  end.
Property RERS2020-PT-pb108-LTLFireability-15
  "Automatically generated"
  is:
    A F ("t_83499_l34"? | "t_111873_l2"? | G F G ("t_47016_l23"? U (!"t_67585_l32"? U "t_74633_l32"?)))
  end.
