Property ErlangenMainframeV0-PT-1106-LTLFireability-00
  "Automatically generated"
  is:
    A G (X (X "t15324"? | G "t69927"?) | ("t15324"? U F ("t29302"? & G "t55958"?)))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-01
  "Automatically generated"
  is:
    A (!F "t13952"? | G ("t6232"? | X X "t20304"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-02
  "Automatically generated"
  is:
    A ("t50400"? & X X F ("t7990"? & !G ("t50400"? & !"t33092"?)))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-03
  "Automatically generated"
  is:
    A G !(G "t68073"? & X X (G !"t51475"? U "t40507"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-04
  "Automatically generated"
  is:
    A G (X !"t5092"? U (F "t18940"? U F X F X "t52003"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-05
  "Automatically generated"
  is:
    A (F "t46231"? & !F ("t44270"? U F "t44270"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-06
  "Automatically generated"
  is:
    A !X X !(F "t52365"? & !("t52365"? & !G "t52365"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-07
  "Automatically generated"
  is:
    A X G !(F "t37807"? | X F ("t56985"? | F !"t22526"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-08
  "Automatically generated"
  is:
    A F ((X "t34563"? | ("t66590"? & F (X "t46488"? | X G "t66590"?))) U "t7588"?)
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-09
  "Automatically generated"
  is:
    A G F X (G "t6005"? & F ("t6005"? U F "t10533"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-10
  "Automatically generated"
  is:
    A G "t57313"?
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-11
  "Automatically generated"
  is:
    A F X F G (X "t69426"? & X "t43702"? & X !"t46264"?)
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-12
  "Automatically generated"
  is:
    A (F "t14355"? & F X F G "t4156"? & F X ("t28745"? & F "t28745"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-13
  "Automatically generated"
  is:
    A ((("t36251"? U "t21341"?) U X X ("t21341"? & "t58330"?)) U ("t70040"? U "t58330"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-14
  "Automatically generated"
  is:
    A !F X X ((F "t39639"? U X "t54624"?) & ("t62532"? | G F "t47527"?))
  end.
Property ErlangenMainframeV0-PT-1106-LTLFireability-15
  "Automatically generated"
  is:
    A (F "t51540"? & !G "t6601"? & X ("t19891"? | X G X "t67474"?))
  end.
