Property ResIsolation-PT-N11P2-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (A (X (! (A ((A (G (1 <= tokens-count("p113")))) U (E ((tokens-count("p92") <= tokens-count("p13")) U (1 <= tokens-count("p254"))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (F (((A ((A ((! (1 <= tokens-count("p272"))) U (A (G (tokens-count("p147") <= 1))))) U (E (F ((tokens-count("p39") <= tokens-count("p382")) & (1 <= tokens-count("p381"))))))) | ((! ((A (F (tokens-count("p93") <= tokens-count("p145")))) | (E (X (1 <= tokens-count("p368")))))) & (E (F (E ((tokens-count("p395") <= 1) U (1 <= tokens-count("p279")))))))) | (A ((A (G (A (F (tokens-count("p146") <= tokens-count("p139")))))) U ((A (G (tokens-count("p6") <= tokens-count("p38")))) & (((! (tokens-count("p310") <= 0)) & (tokens-count("p246") <= tokens-count("p6"))) & ((tokens-count("p312") <= 1) | (A (X (1 <= tokens-count("p317")))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E ((E (X (E (F (A ((1 <= tokens-count("p260")) U ((tokens-count("p26") <= tokens-count("p144")) & (tokens-count("p23") <= 0)))))))) U (E ((E (X ((! ((tokens-count("p207") <= tokens-count("p143")) | (tokens-count("p161") <= 1))) & (! (E (X (tokens-count("p273") <= tokens-count("p19")))))))) U (A (G (! ((A ((tokens-count("p308") <= tokens-count("p22")) U (tokens-count("p384") <= 1))) & (A (F (1 <= tokens-count("p169")))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (E (G ((((tokens-count("p80") <= 0) & (tokens-count("p119") <= tokens-count("p51"))) | (E ((1 <= tokens-count("p101")) U (tokens-count("p126") <= tokens-count("p281"))))) | ((A (F (tokens-count("p250") <= 1))) | (1 <= tokens-count("p70"))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F (1 <= tokens-count("p26")))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (F (A (G ((E (F (tokens-count("p46") <= tokens-count("p43")))) & (E (F (1 <= tokens-count("p224"))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      (E (G (E (F ((A (G (! (tokens-count("p245") <= 0)))) | (A (X (! (tokens-count("p48") <= tokens-count("p289")))))))))) & (! (E (X (A (((tokens-count("p158") <= tokens-count("p239")) | (1 <= tokens-count("p321"))) U (A (F (1 <= tokens-count("p297")))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      (A (F (! (E (((E ((tokens-count("p160") <= 1) U (tokens-count("p292") <= 1))) & (((tokens-count("p114") <= 0) | (tokens-count("p70") <= 1)) & (! (tokens-count("p139") <= 0)))) U (1 <= tokens-count("p125"))))))) & (A (F (((A (F (A (X (tokens-count("p369") <= 0))))) & (! (((A (F (tokens-count("p25") <= 1))) | (! (tokens-count("p392") <= tokens-count("p172")))) & (E (F (1 <= tokens-count("p130"))))))) & ((E (X (tokens-count("p320") <= 0))) | (! (1 <= tokens-count("p195")))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (X (A (G (E ((tokens-count("p217") <= tokens-count("p251")) U ((A ((tokens-count("p378") <= 1) U (tokens-count("p323") <= 0))) | (E (F (1 <= tokens-count("p360"))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (((E (G ((tokens-count("p138") <= tokens-count("p146")) | (E (G (1 <= tokens-count("p179"))))))) | (! (E (X (E (F (tokens-count("p259") <= 1))))))) & ((E (F (! (((tokens-count("p322") <= 0) & (1 <= tokens-count("p262"))) | (! (tokens-count("p148") <= tokens-count("p2"))))))) | ((tokens-count("p315") <= 0) | (((! (E ((1 <= tokens-count("p69")) U (1 <= tokens-count("p8"))))) | ((A ((tokens-count("p52") <= tokens-count("p127")) U (tokens-count("p76") <= 0))) | (! (1 <= tokens-count("p183"))))) & (E ((E ((tokens-count("p170") <= tokens-count("p57")) U (tokens-count("p305") <= tokens-count("p163")))) U ((tokens-count("p200") <= tokens-count("p163")) & (tokens-count("p154") <= tokens-count("p103"))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      (A ((E (F (! (E (G (tokens-count("p167") <= tokens-count("p358"))))))) U (((! (1 <= tokens-count("p261"))) | (A (G (! (1 <= tokens-count("p280")))))) & (((((tokens-count("p246") <= tokens-count("p111")) & (A (G (tokens-count("p303") <= tokens-count("p24"))))) & ((A ((tokens-count("p158") <= 1) U (1 <= tokens-count("p229")))) & (tokens-count("p228") <= tokens-count("p249")))) | (! (tokens-count("p345") <= 0))) | (((A (X (tokens-count("p257") <= 0))) | (tokens-count("p356") <= tokens-count("p166"))) & (A (G (E (F (tokens-count("p208") <= 1)))))))))) | (! (E (X (! (A (G (((1 <= tokens-count("p327")) | (1 <= tokens-count("p257"))) | (tokens-count("p187") <= tokens-count("p253")))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (E ((E (X (! ((A ((tokens-count("p354") <= 1) U (1 <= tokens-count("p80")))) & (E (F (1 <= tokens-count("p97")))))))) U (1 <= tokens-count("p48")))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-12
   "Automatically generated by Citili v2024"
   is:
      E (F (((E (F (! ((tokens-count("p148") <= 0) | (tokens-count("p331") <= tokens-count("p21")))))) & (A (G ((A ((tokens-count("p266") <= 0) U (tokens-count("p368") <= 1))) | ((tokens-count("p136") <= 0) & ((1 <= tokens-count("p162")) | (1 <= tokens-count("p317")))))))) & ((((E (G ((tokens-count("p115") <= tokens-count("p205")) | (tokens-count("p39") <= tokens-count("p111"))))) | (E (G ((tokens-count("p77") <= 1) & (tokens-count("p212") <= 1))))) & (E (X (tokens-count("p178") <= tokens-count("p310"))))) & ((! (((E (F (1 <= tokens-count("p290")))) & (! (1 <= tokens-count("p274")))) & (((1 <= tokens-count("p267")) | (tokens-count("p361") <= 0)) | (A (G (tokens-count("p179") <= 1)))))) & (E (X ((A (X (tokens-count("p121") <= tokens-count("p44")))) | (tokens-count("p131") <= tokens-count("p242")))))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-13
   "Automatically generated by Citili v2024"
   is:
      A (G (E (F (E (G (tokens-count("p271") <= 0))))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-14
   "Automatically generated by Citili v2024"
   is:
      E ((tokens-count("p231") <= 0) U (! ((A (F (tokens-count("p61") <= tokens-count("p348")))) | (tokens-count("p195") <= tokens-count("p220")))))
   end.
Property ResIsolation-PT-N11P2-CTLCardinality-15
   "Automatically generated by Citili v2024"
   is:
      A (G (E (G (tokens-count("p329") <= tokens-count("p166")))))
   end.
