Property ServersAndClients-PT-400080-LTLCardinality-00
  "Automatically generated"
  is:
    A F X G !X F G (((#tokens("sv16_c225")) <= (#tokens("sv50_c162"))) & G (((#tokens("sv29_c227")) <= (#tokens("sv48_c239"))) & ((#tokens("sys_rep247")) <= (#tokens("sv71_c276")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-01
  "Automatically generated"
  is:
    A (((1) <= (#tokens("sv14_c133"))) & F ((#tokens("sv1_c117")) <= (#tokens("att68"))) & X ((1) <= (#tokens("sv14_c133"))) & (!X (((#tokens("sv54_c117")) <= (#tokens("sv3_c339"))) & ((#tokens("sv49_c31")) <= (#tokens("sv63_c224")))) U ((#tokens("sv1_c117")) <= (#tokens("att68")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-02
  "Automatically generated"
  is:
    A (((#tokens("sv42_c355")) <= (#tokens("sv24_c264"))) | (((0) <= (#tokens("sv56_c277"))) U ((#tokens("sv6_c357")) <= (#tokens("sv3_c19")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-03
  "Automatically generated"
  is:
    A G X ((0) <= (#tokens("sv55_c149")))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-04
  "Automatically generated"
  is:
    A ((X (F (((#tokens("sv28_c376")) <= (#tokens("sv74_c323"))) U ((1) <= (#tokens("sv32_c109")))) & !F ((3) <= (#tokens("sys_req353")))) U ((1) <= (#tokens("sv7_c173")))) & F !((3) <= (#tokens("sys_req353"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-05
  "Automatically generated"
  is:
    A X (G (((3) <= (#tokens("sv35_c252"))) | G ((0) <= (#tokens("sv34_c160")))) U X ((0) <= (#tokens("sv22_c299"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-06
  "Automatically generated"
  is:
    A (!((#tokens("sv38_c171")) <= (#tokens("sv14_c96"))) | G !X ((2) <= (#tokens("sv77_c385"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-07
  "Automatically generated"
  is:
    A F X G X !((2) <= (#tokens("sv7_c256")))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-08
  "Automatically generated"
  is:
    A X (X ((#tokens("sv13_c95")) <= (#tokens("sv54_c241"))) & !F (((#tokens("sv13_c95")) <= (#tokens("sv54_c241"))) & !((3) <= (#tokens("sv52_c300"))) & X ((#tokens("sv35_c205")) <= (#tokens("sv32_c374")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-09
  "Automatically generated"
  is:
    A F (!(!(!((#tokens("sv50_c294")) <= (#tokens("sv72_c88"))) & !((#tokens("sv69_c215")) <= (#tokens("sv40_c70")))) & F ((#tokens("sv73_c346")) <= (#tokens("sv77_c68")))) U ((#tokens("sv73_c346")) <= (#tokens("sv77_c68"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-10
  "Automatically generated"
  is:
    A G (F X F G X (((#tokens("sv78_c77")) <= (#tokens("sv21_c49"))) U F ((#tokens("sv13_c301")) <= (#tokens("sv54_c215")))) U G X ((#tokens("sv78_c77")) <= (#tokens("sv21_c49"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-11
  "Automatically generated"
  is:
    A F X !F X !F X ((2) <= (#tokens("sv67_c301")))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-12
  "Automatically generated"
  is:
    A F G !((G !(((1) <= (#tokens("sv24_c227"))) & ((#tokens("sv42_c17")) <= (#tokens("sv23_c296")))) U ((1) <= (#tokens("sv24_c227")))) U (X ((#tokens("sys_rep358")) <= (#tokens("sv29_c354"))) U ((3) <= (#tokens("sv30_c214")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-13
  "Automatically generated"
  is:
    A F G X (X ((#tokens("sv2_c21")) <= (#tokens("sv67_c216"))) | F ((#tokens("sv10_c254")) <= (#tokens("sv32_c315"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-14
  "Automatically generated"
  is:
    A !(((#tokens("sv73_c241")) <= (#tokens("sv24_c173"))) & F X ((#tokens("sv73_c241")) <= (#tokens("sv24_c173"))) & G F ((0) <= (#tokens("sv41_c76"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-15
  "Automatically generated"
  is:
    A ((((#tokens("sv31_c91")) <= (#tokens("sv59_c65"))) | !((1) <= (#tokens("sv47_c239"))) | X !F X !((1) <= (#tokens("sv47_c239")))) U X !((2) <= (#tokens("sv45_c326"))))
  end.
