Property ServersAndClients-PT-200160-LTLFireability-00
  "Automatically generated"
  is:
    A (F "req70_c173"? & X !"rep4_c158"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-01
  "Automatically generated"
  is:
    A (G X G "req65_c165"? | !X !("rep5_c59"? & F X !X "rep152_c32"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-02
  "Automatically generated"
  is:
    A ("req65_c189"? | (X !("req3_c15"? & "rep9_c103"?) & G "req3_c15"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-03
  "Automatically generated"
  is:
    A !G "req17_c194"?
  end.
Property ServersAndClients-PT-200160-LTLFireability-04
  "Automatically generated"
  is:
    A F X !F (!"rep16_c16"? | G X G "req94_c126"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-05
  "Automatically generated"
  is:
    A ((!F "rep52_c156"? | !X X "rep52_c156"?) U (F "rep46_c126"? U "req12_c43"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-06
  "Automatically generated"
  is:
    A G ("rep113_c140"? & F G X G F X "rep146_c89"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-07
  "Automatically generated"
  is:
    A !X ((G "req51_c110"? | G X X F X F "req33_c14"?) U "rep31_c76"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-08
  "Automatically generated"
  is:
    A !F ("req75_c155"? U "rep4_c142"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-09
  "Automatically generated"
  is:
    A (G "rep97_c157"? & F ("rep157_c14"? U (X "rep97_c157"? U "req93_c148"?)))
  end.
Property ServersAndClients-PT-200160-LTLFireability-10
  "Automatically generated"
  is:
    A F G X ((("rep69_c111"? U "rep112_c119"?) U X X "req93_c165"?) U !"rep31_c147"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-11
  "Automatically generated"
  is:
    A (((X "rep76_c192"? U "req44_c85"?) U X "rep103_c132"?) & X ("req44_c85"? | G "rep148_c63"?))
  end.
Property ServersAndClients-PT-200160-LTLFireability-12
  "Automatically generated"
  is:
    A (G !X F X G "rep65_c144"? | !F G "rep65_c144"? | G "req9_c30"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-13
  "Automatically generated"
  is:
    A ("rep62_c150"? | "rep151_c135"? | X "rep151_c135"? | X !F X !"rep144_c141"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-14
  "Automatically generated"
  is:
    A (X X ("rep3_c11"? U "req86_c186"?) U !F "req101_c160"?)
  end.
Property ServersAndClients-PT-200160-LTLFireability-15
  "Automatically generated"
  is:
    A F ("req58_c32"? & !"rep129_c77"?)
  end.
