Property ServersAndClients-PT-400080-LTLFireability-00
  "Automatically generated"
  is:
    A F G ("req16_c381"? | F "req31_c234"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-01
  "Automatically generated"
  is:
    A (("rep27_c265"? U (!"req32_c354"? | G "rep63_c110"?)) U "req49_c396"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-02
  "Automatically generated"
  is:
    A (G !G "rep64_c168"? | !("req37_c37"? U "req2_c145"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-03
  "Automatically generated"
  is:
    A F X F X F !("rep13_c133"? U F "rep46_c230"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-04
  "Automatically generated"
  is:
    A (X F "rep20_c95"? & X (X "rep9_c23"? | X !F "rep46_c62"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-05
  "Automatically generated"
  is:
    A X !(X G X "rep69_c265"? U !"rep56_c1"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-06
  "Automatically generated"
  is:
    A (("req79_c372"? | ("req26_c97"? & F "req79_c372"?)) & F (("req26_c97"? | "req39_c13"?) U "req79_c372"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-07
  "Automatically generated"
  is:
    A G !F "rep72_c168"?
  end.
Property ServersAndClients-PT-400080-LTLFireability-08
  "Automatically generated"
  is:
    A F (F G ("rep43_c253"? & ("rep43_c253"? | "req72_c102"? | "rep30_c26"?)) & G X G "req72_c102"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-09
  "Automatically generated"
  is:
    A (F !("rep7_c242"? | ("req58_c6"? & "rep46_c275"?)) & G (!"rep48_c155"? & ("rep48_c155"? | "rep46_c275"?)))
  end.
Property ServersAndClients-PT-400080-LTLFireability-10
  "Automatically generated"
  is:
    A X G !"rep54_c384"?
  end.
Property ServersAndClients-PT-400080-LTLFireability-11
  "Automatically generated"
  is:
    A (G X "rep21_c103"? & !("req35_c15"? & G (G "req60_c377"? | G F X "rep21_c103"?)))
  end.
Property ServersAndClients-PT-400080-LTLFireability-12
  "Automatically generated"
  is:
    A (X (("req30_c308"? | "req48_c63"?) & F "req33_c297"?) U X ("req33_c297"? U !"rep47_c107"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-13
  "Automatically generated"
  is:
    A ((X F !("rep24_c304"? & F "rep24_c304"?) | !X G X "req4_c139"?) U "req4_c139"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-14
  "Automatically generated"
  is:
    A X X F G (G "req64_c118"? & G ("req64_c118"? U "rep24_c337"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-15
  "Automatically generated"
  is:
    A G !X ("rep22_c108"? & F (!G X G "req55_c21"? | G "rep22_c108"?))
  end.
