Property ServersAndClients-PT-200160-LTLFireability-00
  "Automatically generated"
  is:
    A (G "rep84_c169"? U ("req77_c195"? | ("req77_c195"? U F "rep86_c83"?)))
  end.
Property ServersAndClients-PT-200160-LTLFireability-01
  "Automatically generated"
  is:
    A G "req43_c198"?
  end.
Property ServersAndClients-PT-200160-LTLFireability-02
  "Automatically generated"
  is:
    A G ("rep136_c175"? | "req17_c139"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-03
  "Automatically generated"
  is:
    A !(("req4_c80"? | G "req4_c80"?) U F ("req146_c7"? U !"rep58_c120"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-04
  "Automatically generated"
  is:
    A (X !F ("rep69_c55"? | "rep144_c106"?) U "rec_rep78"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-05
  "Automatically generated"
  is:
    A (G (X "req139_c63"? | G !(!"req139_c63"? U "rep61_c22"?)) U ("rep61_c22"? | G "req29_c30"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-06
  "Automatically generated"
  is:
    A ("rep9_c168"? | !X G X F X "req133_c110"? | (G F "req27_c147"? U "req27_c147"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-07
  "Automatically generated"
  is:
    A (X G (!"rep104_c157"? | G F G "rep67_c160"?) U "rep67_c160"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-08
  "Automatically generated"
  is:
    A F G ("rep25_c186"? | !F "rep43_c151"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-09
  "Automatically generated"
  is:
    A !X X ("req83_c91"? U X (G "req22_c0"? U !("req154_c33"? & G "req83_c91"?)))
  end.
Property ServersAndClients-PT-200160-LTLFireability-10
  "Automatically generated"
  is:
    A X ("rep38_c46"? & ("req65_c129"? | "req111_c50"? | (("req65_c129"? & "req111_c50"?) U F "rep58_c99"?)))
  end.
Property ServersAndClients-PT-200160-LTLFireability-11
  "Automatically generated"
  is:
    A (X !F X F ("rep109_c38"? U "rep15_c119"?) U F "rep109_c38"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-12
  "Automatically generated"
  is:
    A !G ("req27_c43"? & "rep26_c41"? & !X !F "rep26_c41"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-13
  "Automatically generated"
  is:
    A !((F G "rep129_c104"? & X "req0_c150"?) | G (("req0_c150"? & F "rep129_c104"?) U "rep86_c166"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-14
  "Automatically generated"
  is:
    A (G (F "rep112_c17"? U "rep112_c17"?) & G X ("rep148_c118"? & F !"rep21_c169"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-15
  "Automatically generated"
  is:
    A ("rep90_c12"? & X G ("rep144_c75"? & F "rep7_c171"?))
  end.
