Property DLCflexbar-PT-8b-LTLFireability-00
  "Automatically generated"
  is:
    A (G F "t69185"? | ("t13210"? U "t46310"?) | X F X ("t13210"? | X "t69185"?))
  end.
Property DLCflexbar-PT-8b-LTLFireability-01
  "Automatically generated"
  is:
    A F G (F "t7018"? U X (G "t7018"? U !X "t24709"?))
  end.
Property DLCflexbar-PT-8b-LTLFireability-02
  "Automatically generated"
  is:
    A G F G ("t43383"? & F "t13923"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-03
  "Automatically generated"
  is:
    A G F X (("t13654"? U "t16090"?) & X !X (G "t65265"? | X "t16090"?))
  end.
Property DLCflexbar-PT-8b-LTLFireability-04
  "Automatically generated"
  is:
    A !F G !("t58513"? & F "t8610"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-05
  "Automatically generated"
  is:
    A ((F !"t8266"? U !"t73699"?) U G !F X X X "t14306"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-06
  "Automatically generated"
  is:
    A !X X G ("t53102"? U X "t44740"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-07
  "Automatically generated"
  is:
    A G ("t52765"? & "t45798"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-08
  "Automatically generated"
  is:
    A ("t74591"? | !X F (X X "t6218"? & (F "t6805"? U "t6805"?)))
  end.
Property DLCflexbar-PT-8b-LTLFireability-09
  "Automatically generated"
  is:
    A !(F !G X "t11783"? U X "t27864"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-10
  "Automatically generated"
  is:
    A F (G "t19985"? U "t32078"?)
  end.
Property DLCflexbar-PT-8b-LTLFireability-11
  "Automatically generated"
  is:
    A X X ((F "t43251"? U "t68315"?) & (!X X ("t68315"? | "t29424"?) U "t30403"?))
  end.
Property DLCflexbar-PT-8b-LTLFireability-12
"Automatically generated"
is:
A (F ("t4991"? | X X "t3249"?) U (("t5074"? | X X "t32821"?) U X "t4991"?))
end.
Property DLCflexbar-PT-8b-LTLFireability-13
"Automatically generated"
is:
A !F G F (F !"t30274"? & ("t30274"? | X ("t11451"? & "t23452"?)))
end.
Property DLCflexbar-PT-8b-LTLFireability-14
"Automatically generated"
is:
A !X (F "t66265"? & F ("t61588"? | G ("t61588"? U "t2493"?)))
end.
Property DLCflexbar-PT-8b-LTLFireability-15
"Automatically generated"
is:
A X (X "t9570"? & (X G "t36467"? | F X "t58649"?))
end.
