Property ServersAndClients-PT-100320-LTLFireability-00
  "Automatically generated"
  is:
    A (X ("rep253_c13"? & !X G "rep246_c64"?) & ("rep246_c64"? U G "rep49_c12"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-01
  "Automatically generated"
  is:
    A G F G !X ("req83_c19"? | ("rep72_c54"? & G "rep144_c35"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-02
  "Automatically generated"
  is:
    A (G X "rep182_c24"? & F !G F G F "req20_c37"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-03
  "Automatically generated"
  is:
    A !(X "rep188_c14"? U !X X F X (G "rep188_c14"? U F "rep188_c14"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-04
  "Automatically generated"
  is:
    A X G !F ("req223_c33"? | X ("req96_c9"? U F G X "req223_c33"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-05
  "Automatically generated"
  is:
    A !("req82_c16"? U "send_req5"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-06
  "Automatically generated"
  is:
    A X G ("rep80_c41"? | !F "req181_c85"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-07
  "Automatically generated"
  is:
    A F (!G "req68_c98"? | F !G "req206_c26"? | !G X G "req17_c11"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-08
  "Automatically generated"
  is:
    A ("req220_c68"? & (F ("rep256_c50"? & F "rep256_c50"?) U F "req167_c65"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-09
  "Automatically generated"
  is:
    A !("send_req64"? | X (!G "req224_c19"? & X G "req224_c19"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-10
  "Automatically generated"
  is:
    A F G !(F X ("rep305_c69"? | !"req70_c3"?) | G F G "req24_c10"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-11
  "Automatically generated"
  is:
    A G F !X X G !G X (G "req193_c76"? & X !"req8_c91"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-12
  "Automatically generated"
  is:
    A (F "req275_c45"? | G F !G X (!"rep297_c91"? | G X "rep297_c91"?))
  end.
Property ServersAndClients-PT-100320-LTLFireability-13
  "Automatically generated"
  is:
    A X (("rep81_c85"? & G "rep67_c19"?) U (!F "rep81_c85"? & ("rep65_c12"? U "rep125_c31"?)))
  end.
Property ServersAndClients-PT-100320-LTLFireability-14
  "Automatically generated"
  is:
    A (("rep73_c78"? | X F X F "req300_c3"? | G "req58_c65"?) & G X F "rep73_c78"?)
  end.
Property ServersAndClients-PT-100320-LTLFireability-15
  "Automatically generated"
  is:
    A X F ((!"req107_c79"? | F G "req51_c51"?) U F !(G "req37_c93"? U "req222_c86"?))
  end.
