Property ServersAndClients-PT-100320-LTLCardinality-00
  "Automatically generated"
  is:
    A !G X G F X F ((0) <= (#tokens("sv245_c71")))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-01
  "Automatically generated"
  is:
    A F ((((#tokens("sv254_c43")) <= (#tokens("sv113_c3"))) U G ((#tokens("sv194_c35")) <= (#tokens("sv73_c89")))) & (!F ((#tokens("sv88_c49")) <= (#tokens("sv190_c15"))) U X ((#tokens("sv88_c49")) <= (#tokens("sv190_c15")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-02
  "Automatically generated"
  is:
    A X X X !((((#tokens("sv316_c57")) <= (#tokens("sv4_c29"))) | G ((2) <= (#tokens("sv125_c75")))) U (!((1) <= (#tokens("sv37_c32"))) U ((#tokens("sv316_c57")) <= (#tokens("sv4_c29")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-03
  "Automatically generated"
  is:
    A (((#tokens("sv122_c44")) <= (#tokens("sv74_c73"))) | F ((1) <= (#tokens("sv309_c0"))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-04
  "Automatically generated"
  is:
    A (G ((#tokens("sv53_c97")) <= (#tokens("sv36_c41"))) & F !X G ((#tokens("sv254_c88")) <= (#tokens("sv23_c1"))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-05
  "Automatically generated"
  is:
    A G (F ((1) <= (#tokens("sv122_c35"))) | (((#tokens("sv267_c88")) <= (#tokens("sv20_c44"))) U ((#tokens("sv0_c19")) <= (#tokens("sv58_c80")))) | F (((#tokens("sv171_c96")) <= (#tokens("sv104_c11"))) | G ((1) <= (#tokens("sv122_c35")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-06
  "Automatically generated"
  is:
    A G (((2) <= (#tokens("sv227_c53"))) U (G ((#tokens("sv54_c94")) <= (#tokens("sv194_c36"))) & F G X X F ((2) <= (#tokens("sv227_c53")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-07
  "Automatically generated"
  is:
    A F ((G ((3) <= (#tokens("sv228_c66"))) | F ((3) <= (#tokens("sv228_c66")))) U (((0) <= (#tokens("sv23_c8"))) | X G (((#tokens("sv154_c42")) <= (#tokens("sv319_c61"))) & G ((3) <= (#tokens("sv228_c66"))))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-08
  "Automatically generated"
  is:
    A G ((#tokens("sv140_c49")) <= (#tokens("sv157_c59")))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-09
  "Automatically generated"
  is:
    A !(G ((2) <= (#tokens("sv278_c11"))) | !G X ((#tokens("sv7_c67")) <= (#tokens("sv284"))) | (F ((2) <= (#tokens("sv278_c11"))) & X ((2) <= (#tokens("sv278_c11")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-10
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("sv31_c96"))) | F X !X X !X (((1) <= (#tokens("sv193_c49"))) | F ((1) <= (#tokens("sv137_c54")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-11
  "Automatically generated"
  is:
    A X G ((((#tokens("sv29_c97")) <= (#tokens("sv294_c47"))) | ((#tokens("sv192_c57")) <= (#tokens("sv163_c91")))) & (((#tokens("sv294_c41")) <= (#tokens("sv243_c32"))) | X G X F ((2) <= (#tokens("sv315_c69")))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-12
  "Automatically generated"
  is:
    A ((F ((#tokens("sv240_c66")) <= (#tokens("sv131_c0"))) U F (X ((#tokens("sv7_c85")) <= (#tokens("sv317_c36"))) U F ((#tokens("sv240_c66")) <= (#tokens("sv131_c0"))))) | !X ((2) <= (#tokens("sv154_c15"))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-13
  "Automatically generated"
  is:
    A G X ((!F ((#tokens("sv200_c56")) <= (#tokens("sv194_c60"))) U G ((#tokens("sv200_c56")) <= (#tokens("sv194_c60")))) | X !((1) <= (#tokens("sv206_c15"))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-14
  "Automatically generated"
  is:
    A X X ((!((0) <= (#tokens("sv275_c17"))) | F X !G F ((#tokens("sv227_c41")) <= (#tokens("sv44_c39")))) U F !((0) <= (#tokens("sv275_c17"))))
  end.
Property ServersAndClients-PT-100320-LTLCardinality-15
  "Automatically generated"
  is:
    A F (((#tokens("sv63_c44")) <= (#tokens("sv203_c29"))) & G !(((#tokens("sv94_c43")) <= (#tokens("sv63_c91"))) & G ((#tokens("sv63_c44")) <= (#tokens("sv203_c29")))))
  end.
