Property ResIsolation-PT-N10P4-LTLCardinality-00
  "Automatically generated"
  is:
    A ((F X F X ((3) <= (#tokens("p282"))) U (((3) <= (#tokens("p314"))) U G ((#tokens("p246")) <= (#tokens("p422"))))) U X (((3) <= (#tokens("p314"))) | ((3) <= (#tokens("p282")))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-01
  "Automatically generated"
  is:
    A !(((#tokens("p172")) <= (#tokens("p0"))) & (!((3) <= (#tokens("p141"))) | F ((1) <= (#tokens("p87")))) & (F ((#tokens("p330")) <= (#tokens("p139"))) U F ((3) <= (#tokens("p141")))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-02
  "Automatically generated"
  is:
    A (((2) <= (#tokens("p57"))) | X (((3) <= (#tokens("p355"))) U (X F ((3) <= (#tokens("p355"))) U X ((2) <= (#tokens("p57"))))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-03
  "Automatically generated"
  is:
    A (X ((3) <= (#tokens("p192"))) | X ((((2) <= (#tokens("p8"))) U ((#tokens("p20")) <= (#tokens("p356")))) & !(G X ((#tokens("p20")) <= (#tokens("p356"))) U X ((2) <= (#tokens("p8"))))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-04
  "Automatically generated"
  is:
    A (!X X X ((#tokens("p109")) <= (#tokens("p119"))) U (!F ((#tokens("p81")) <= (#tokens("p251"))) U (((#tokens("p381")) <= (#tokens("p62"))) U ((2) <= (#tokens("p255"))))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-05
  "Automatically generated"
  is:
    A (!((3) <= (#tokens("p57"))) & (F ((#tokens("p284")) <= (#tokens("p362"))) | G (F ((3) <= (#tokens("p252"))) U X X ((3) <= (#tokens("p218"))))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-06
  "Automatically generated"
  is:
    A (F ((#tokens("p15")) <= (#tokens("p298"))) & G ((3) <= (#tokens("p68"))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-07
  "Automatically generated"
  is:
    A (X G ((#tokens("p443")) <= (#tokens("p157"))) | G (((#tokens("p443")) <= (#tokens("p157"))) | !X X (((#tokens("p208")) <= (#tokens("p443"))) | X ((#tokens("p401")) <= (#tokens("p239"))))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-08
  "Automatically generated"
  is:
    A X ((F ((#tokens("p420")) <= (#tokens("p418"))) & (F ((2) <= (#tokens("p288"))) U X ((#tokens("p171")) <= (#tokens("p135"))))) U ((3) <= (#tokens("p28"))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-09
  "Automatically generated"
  is:
    A F (G ((#tokens("p226")) <= (#tokens("p264"))) U G F G (F ((#tokens("p99")) <= (#tokens("p325"))) & !X ((3) <= (#tokens("p246")))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-10
  "Automatically generated"
  is:
    A !G ((2) <= (#tokens("p57")))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-11
  "Automatically generated"
  is:
    A G !((#tokens("p365")) <= (#tokens("p397")))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-12
  "Automatically generated"
  is:
    A F X F G !(X ((3) <= (#tokens("p213"))) & (G ((#tokens("p295")) <= (#tokens("p417"))) U ((#tokens("p339")) <= (#tokens("p78")))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-13
  "Automatically generated"
  is:
    A G (G X X X X X (((#tokens("p123")) <= (#tokens("p320"))) | G ((#tokens("p23")) <= (#tokens("p351")))) U (((#tokens("p23")) <= (#tokens("p351"))) & ((#tokens("p367")) <= (#tokens("p418")))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-14
  "Automatically generated"
  is:
    A G (((2) <= (#tokens("p278"))) | ((#tokens("p75")) <= (#tokens("p207"))) | G !(G (((2) <= (#tokens("p79"))) | F !((3) <= (#tokens("p104")))) U ((#tokens("p75")) <= (#tokens("p207")))))
  end.
Property ResIsolation-PT-N10P4-LTLCardinality-15
  "Automatically generated"
  is:
    A (((#tokens("p301")) <= (#tokens("p135"))) | !(((#tokens("p216")) <= (#tokens("p388"))) | ((#tokens("p301")) <= (#tokens("p135"))) | F ((#tokens("p40")) <= (#tokens("p270")))) | (((#tokens("p216")) <= (#tokens("p388"))) U ((3) <= (#tokens("p440")))))
  end.
