Property ServersAndClients-PT-400080-LTLFireability-00
  "Automatically generated"
  is:
    A X (G F "req56_c238"? & F G F "req44_c385"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-01
  "Automatically generated"
  is:
    A X (F !G "rep0_c377"? U !(G "rep0_c377"? U "rep33_c249"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-02
  "Automatically generated"
  is:
    A X F !(X X X X "req79_c251"? U !(("rep31_c283"? | "rep20_c79"?) U "rep76_c119"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-03
  "Automatically generated"
  is:
    A (("rep49_c150"? U ((F "rep8_c136"? | G "rep66_c340"?) U "req72_c227"?)) U "rep79_c178"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-04
  "Automatically generated"
  is:
    A G ("rep72_c30"? & G ("rep24_c377"? & "req69_c52"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-05
  "Automatically generated"
  is:
    A !(X X F "req45_c237"? & !("rep13_c227"? & G ("req45_c237"? | !X "req45_c237"?)))
  end.
Property ServersAndClients-PT-400080-LTLFireability-06
  "Automatically generated"
  is:
    A F G ("req50_c143"? & (F X "rep73_c32"? | (X "req50_c143"? & F "rep73_c32"?)))
  end.
Property ServersAndClients-PT-400080-LTLFireability-07
  "Automatically generated"
  is:
    A G F X !G F !X "req41_c14"?
  end.
Property ServersAndClients-PT-400080-LTLFireability-08
  "Automatically generated"
  is:
    A (("req45_c319"? U G "rep36_c265"?) U X X X X "rep20_c246"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-09
  "Automatically generated"
  is:
    A F ("rep20_c96"? & "req27_c151"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-10
  "Automatically generated"
  is:
    A (X "rep58_c100"? | (!"rep29_c334"? U !G (G F "rep58_c100"? U "rep29_c334"?)))
  end.
Property ServersAndClients-PT-400080-LTLFireability-11
  "Automatically generated"
  is:
    A ((G !G "rep68_c326"? U ("rep42_c189"? U "rep29_c372"?)) U !("req75_c198"? & "req26_c44"?))
  end.
Property ServersAndClients-PT-400080-LTLFireability-12
  "Automatically generated"
  is:
    A (!F !"rep78_c211"? U (!"req46_c231"? | F (F "req46_c231"? U F "req71_c156"?)))
  end.
Property ServersAndClients-PT-400080-LTLFireability-13
  "Automatically generated"
  is:
    A G F X F X X F G X "rep77_c59"?
  end.
Property ServersAndClients-PT-400080-LTLFireability-14
  "Automatically generated"
  is:
    A F G (F X G (!"rep66_c300"? U "rep66_c300"?) | X !"req48_c225"?)
  end.
Property ServersAndClients-PT-400080-LTLFireability-15
  "Automatically generated"
  is:
    A G (!"req24_c139"? & X G "req31_c172"?)
  end.
