Property ServersAndClients-PT-200160-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (X (A ((! ((E (X (E (G (tokens-count("sv72_c176") <= tokens-count("sv74_c154")))))) & ((E (G (tokens-count("sv14_c172") <= tokens-count("sv76_c35")))) | (! (E (G (tokens-count("sv90_c109") <= tokens-count("sv43_c81")))))))) U ((A ((A ((tokens-count("sv91_c100") <= tokens-count("sv137_c160")) U (tokens-count("sv70_c175") <= tokens-count("sv156_c178")))) U (1 <= tokens-count("sv29_c147")))) | (A ((! (tokens-count("sv88_c30") <= tokens-count("sv24_c66"))) U (! ((tokens-count("sv45_c48") <= tokens-count("sv38_c8")) | (1 <= tokens-count("sv152_c153"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (X (A (F (A ((tokens-count("sv90_c126") <= tokens-count("sv25_c193")) U (! (A (X (tokens-count("sv41_c84") <= tokens-count("sv42_c80"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (X (E (X ((((tokens-count("sv106_c7") <= 0) | (A ((tokens-count("sys_req124") <= tokens-count("sv77_c80")) U (tokens-count("sv37_c100") <= tokens-count("sv49_c13"))))) & (A (G ((1 <= tokens-count("sv138_c5")) & (1 <= tokens-count("sv158_c181")))))) & (! (E (F (! (tokens-count("sv34_c69") <= tokens-count("sv95_c135"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G (E ((! ((tokens-count("sv6_c147") <= 1) & ((((1 <= tokens-count("sv19_c97")) | (tokens-count("sv53_c98") <= 0)) & (! (tokens-count("sys_rep74") <= 0))) | (A (F (tokens-count("sv117_c83") <= tokens-count("sv14_c60"))))))) U (! (((! ((tokens-count("sv61_c136") <= tokens-count("sv16_c103")) | (tokens-count("sv110_c164") <= 0))) | ((A (X (tokens-count("sv17_c25") <= 1))) | ((tokens-count("sv157_c64") <= 1) & (1 <= tokens-count("sv67_c51"))))) & (! (E (X (tokens-count("sv41_c80") <= tokens-count("sv68_c40"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      (E ((A (G (((! (A (F (tokens-count("sv104_c2") <= 1)))) | (tokens-count("sv65_c79") <= tokens-count("sv34_c109"))) & (E ((E (F (1 <= tokens-count("sv111_c146")))) U (E (F (1 <= tokens-count("sv42_c34"))))))))) U (A ((! ((((1 <= tokens-count("sv24_c93")) | (tokens-count("sv12_c95") <= tokens-count("sv16_c128"))) & ((tokens-count("sv39_c180") <= tokens-count("sv48_c138")) & (tokens-count("sv159_c100") <= 0))) & (1 <= tokens-count("sv22_c114")))) U (tokens-count("sv44_c186") <= 1))))) & (A ((((! ((! (1 <= tokens-count("sv45_c103"))) | ((tokens-count("sv89_c15") <= tokens-count("sv117_c112")) | (1 <= tokens-count("sv19_c182"))))) | (E (G (E (G (tokens-count("sv18_c55") <= tokens-count("sv21_c129"))))))) | (1 <= tokens-count("sv148_c41"))) U (1 <= tokens-count("sv72_c14"))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (A ((1 <= tokens-count("sv90_c91")) U (A ((A (X (1 <= tokens-count("sv134_c0")))) U (E (F (1 <= tokens-count("sv95_c122"))))))))) & (! (((! (A ((tokens-count("sv126_c87") <= 1) U (tokens-count("sv115_c25") <= tokens-count("sv125_c69"))))) | (tokens-count("sv92_c37") <= tokens-count("sv112_c10"))) & (A (F (! (tokens-count("sv77_c82") <= 1))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (X ((A (G ((A (F (A (G (tokens-count("sv155_c5") <= tokens-count("sv73_c157")))))) | ((! (E ((tokens-count("sv49_c4") <= 0) U (tokens-count("sv118_c186") <= 1)))) | (A (G (tokens-count("sv58_c65") <= tokens-count("sv11_c90")))))))) & (! (A (F (A (F (1 <= tokens-count("sv136_c94")))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (X (E (F (1 <= tokens-count("sv53_c24")))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (A (X ((E (G (E (X (tokens-count("sv61_c60") <= tokens-count("sv34_c5")))))) | (1 <= tokens-count("sv102_c79")))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (X ((A (X ((E (X (! (tokens-count("sv92_c30") <= tokens-count("sv155_c24"))))) & (! (((1 <= tokens-count("sv84_c34")) & (tokens-count("sv143_c170") <= 1)) & (! (tokens-count("sv21_c86") <= tokens-count("sv125_c20")))))))) | (! (tokens-count("sv58_c159") <= 0))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F (! (((! (A ((1 <= tokens-count("sv141_c127")) U (tokens-count("sv93_c112") <= 1)))) | ((A (G ((tokens-count("sv116_c192") <= tokens-count("sv35_c156")) | (tokens-count("sv9_c124") <= 0)))) | ((tokens-count("sv131_c105") <= 0) & (E (F (tokens-count("sv155_c146") <= tokens-count("sv36_c134"))))))) | (A (G ((A ((1 <= tokens-count("sv83_c173")) U (1 <= tokens-count("sv43_c178")))) | ((! (1 <= tokens-count("sv135_c37"))) & ((1 <= tokens-count("sv81_c76")) | (1 <= tokens-count("sv42_c136"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (G (1 <= tokens-count("init171")))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      A (X (E (X (A (F (A (((tokens-count("sv56_c100") <= tokens-count("sv63_c42")) & (tokens-count("sv130_c197") <= tokens-count("sv24_c104"))) U ((1 <= tokens-count("sv113_c193")) | (tokens-count("sv34_c144") <= tokens-count("sv140_c72"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      A ((A (X (E (F (! ((A (X (tokens-count("sv28_c7") <= tokens-count("sv155_c190")))) & (E (X (1 <= tokens-count("sv109_c174")))))))))) U (E (X (1 <= tokens-count("sv42_c73")))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      E (F ((1 <= tokens-count("sv28_c198")) & (E (F (tokens-count("sv118_c100") <= tokens-count("sv91_c176"))))))
   end.
Property ServersAndClients-PT-200160-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      A (F (E ((A ((A ((E (G (1 <= tokens-count("sv80_c115")))) U (! (tokens-count("sv115_c129") <= 0)))) U (1 <= tokens-count("sv42_c194")))) U ((E (X (A (G (tokens-count("sv33_c33") <= tokens-count("sv140_c44")))))) | (A (F (A ((tokens-count("sv126_c156") <= 1) U (1 <= tokens-count("sv37_c158"))))))))))
   end.
