Property ServersAndClients-PT-200160-LTLCardinality-00
  "Automatically generated"
  is:
    A X ((((#tokens("sv87_c98")) <= (#tokens("sv85_c52"))) & !(((#tokens("sv29_c15")) <= (#tokens("sv2_c37"))) & G X !((2) <= (#tokens("sv42_c16"))))) U !((#tokens("sv87_c98")) <= (#tokens("sv85_c52"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-01
  "Automatically generated"
  is:
    A !F (!X (!((#tokens("sv119_c189")) <= (#tokens("sv51_c152"))) U G ((2) <= (#tokens("sv77_c167")))) U !F (((#tokens("sv119_c189")) <= (#tokens("sv51_c152"))) & ((#tokens("sv35_c55")) <= (#tokens("sv99_c100")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-02
  "Automatically generated"
  is:
    A X (F (!((0) <= (#tokens("sv94_c180"))) & F !((#tokens("init5")) <= (#tokens("sv67_c14")))) & F ((3) <= (#tokens("sv93_c55"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-03
  "Automatically generated"
  is:
    A (X F ((#tokens("sv9_c187")) <= (#tokens("sv4_c188"))) U F (F ((2) <= (#tokens("sv33_c154"))) | (!((#tokens("sys_rep188")) <= (#tokens("sv85_c3"))) U !((#tokens("sv9_c187")) <= (#tokens("sv4_c188"))))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-04
  "Automatically generated"
  is:
    A X X G (G F G F (G ((1) <= (#tokens("sv31_c0"))) U ((#tokens("sv51_c161")) <= (#tokens("sv135_c185")))) U G ((3) <= (#tokens("sv101_c135"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-05
  "Automatically generated"
  is:
    A (X (!((#tokens("sv158_c84")) <= (#tokens("sv150_c43"))) | X F X G ((#tokens("sv118_c25")) <= (#tokens("sv129_c197")))) & X G !X ((#tokens("sv158_c84")) <= (#tokens("sv150_c43"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-06
  "Automatically generated"
  is:
    A X G F G (((1) <= (#tokens("sv156_c103"))) U ((3) <= (#tokens("sv28_c128"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-07
  "Automatically generated"
  is:
    A X (((#tokens("sv36_c135")) <= (#tokens("sv80_c149"))) & G (((0) <= (#tokens("sv79_c139"))) U F ((#tokens("sv36_c135")) <= (#tokens("sv80_c149")))) & X !(((1) <= (#tokens("sv123_c32"))) | F ((#tokens("sv86_c11")) <= (#tokens("sv110_c3")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-08
  "Automatically generated"
  is:
    A !G ((((3) <= (#tokens("sv14_c185"))) & !G ((#tokens("sv69_c140")) <= (#tokens("sv110_c182")))) | (G ((#tokens("att8")) <= (#tokens("sv110_c118"))) U ((#tokens("sv159_c73")) <= (#tokens("sv11_c75")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-09
  "Automatically generated"
  is:
    A (G ((G ((3) <= (#tokens("sv93_c198"))) U ((#tokens("sv124_c186")) <= (#tokens("sv91_c138")))) & X !((3) <= (#tokens("sv93_c198")))) | X F ((2) <= (#tokens("sv78_c49"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-10
  "Automatically generated"
  is:
    A (G ((#tokens("sv85_c148")) <= (#tokens("sv109_c84"))) & (((2) <= (#tokens("sv10_c80"))) U ((3) <= (#tokens("sv142_c9")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-11
  "Automatically generated"
  is:
    A (!((3) <= (#tokens("sv147_c100"))) | ((((#tokens("sv154_c96")) <= (#tokens("sv65_c174"))) | ((#tokens("init147")) <= (#tokens("sv92_c178")))) & G ((#tokens("sv76_c51")) <= (#tokens("sv134_c119")))) | (G ((#tokens("sv154_c96")) <= (#tokens("sv65_c174"))) U ((#tokens("init147")) <= (#tokens("sv92_c178")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-12
  "Automatically generated"
  is:
    A !(((1) <= (#tokens("sv97_c196"))) & G F ((1) <= (#tokens("sv115_c5"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-13
  "Automatically generated"
  is:
    A !F X ((#tokens("sv144_c123")) <= (#tokens("sv99_c84")))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-14
  "Automatically generated"
  is:
    A G !F ((#tokens("sv33_c135")) <= (#tokens("sv14_c8")))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-15
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("sv66_c95"))) & G (!((#tokens("sv39_c164")) <= (#tokens("sv138_c5"))) | ((#tokens("sv90_c191")) <= (#tokens("sv144_c35"))) | G F !((3) <= (#tokens("sv66_c95")))))
  end.
