Property ServersAndClients-PT-400160-LTLFireability-00
  "Automatically generated"
  is:
    A X (F "req73_c20"? & ("rep21_c138"? | G "req37_c224"? | (G "req37_c224"? U G !"req73_c20"?)))
  end.
Property ServersAndClients-PT-400160-LTLFireability-01
  "Automatically generated"
  is:
    A G ("rep64_c285"? | !"rep19_c20"? | (F G "req111_c134"? U F "req122_c196"?))
  end.
Property ServersAndClients-PT-400160-LTLFireability-02
  "Automatically generated"
  is:
    A (("rep4_c263"? & G "rep4_c263"?) U X ("req41_c243"? U "req144_c54"?))
  end.
Property ServersAndClients-PT-400160-LTLFireability-03
  "Automatically generated"
  is:
    A ("rep78_c372"? | (F "rep78_c372"? & ("rep78_c372"? | G "rep88_c163"?)))
  end.
Property ServersAndClients-PT-400160-LTLFireability-04
  "Automatically generated"
  is:
    A !(F X X ("req94_c166"? U "req84_c233"?) | F "req84_c233"?)
  end.
Property ServersAndClients-PT-400160-LTLFireability-05
  "Automatically generated"
  is:
    A G !X (G ("rep82_c15"? | !"rep82_c15"?) U F X X F "rep109_c239"?)
  end.
Property ServersAndClients-PT-400160-LTLFireability-06
  "Automatically generated"
  is:
    A (!"req61_c192"? & F X "req61_c192"? & X ("rep73_c131"? & "req129_c297"?))
  end.
Property ServersAndClients-PT-400160-LTLFireability-07
  "Automatically generated"
  is:
    A X X (!F ("req68_c323"? U (X X "rep149_c197"? U "rep153_c233"?)) U F !"req68_c323"?)
  end.
Property ServersAndClients-PT-400160-LTLFireability-08
  "Automatically generated"
  is:
    A (F "rep111_c55"? U (!"rep45_c350"? U !"req69_c40"?))
  end.
Property ServersAndClients-PT-400160-LTLFireability-09
  "Automatically generated"
  is:
    A ((F "req66_c296"? U G ("req66_c296"? U F G "req141_c299"?)) & G X X "req141_c299"?)
  end.
Property ServersAndClients-PT-400160-LTLFireability-10
  "Automatically generated"
  is:
    A X X ((F "req16_c120"? U G F "req8_c5"?) | ("rep87_c168"? U ("rep46_c352"? & "rep87_c168"?)))
  end.
Property ServersAndClients-PT-400160-LTLFireability-11
  "Automatically generated"
  is:
    A G ("rep125_c112"? U G (!("req34_c56"? & "req54_c389"?) | X "rep159_c10"?))
  end.
Property ServersAndClients-PT-400160-LTLFireability-12
  "Automatically generated"
  is:
    A F G ("req151_c357"? | "req125_c54"?)
  end.
Property ServersAndClients-PT-400160-LTLFireability-13
  "Automatically generated"
  is:
    A G !(F X F G F "rep117_c76"? | F ("req39_c233"? U G "req39_c233"?))
  end.
Property ServersAndClients-PT-400160-LTLFireability-14
  "Automatically generated"
  is:
    A G F !X F G ("req140_c138"? U "req77_c353"?)
  end.
Property ServersAndClients-PT-400160-LTLFireability-15
  "Automatically generated"
  is:
    A !X (X "rep14_c53"? U G F "rep119_c304"?)
  end.
