Property ResIsolation-PT-N11P2-LTLCardinality-00
  "Automatically generated"
  is:
    A F (G ((#tokens("p105")) <= (#tokens("p8"))) | !(((#tokens("p167")) <= (#tokens("p321"))) & !X !((1) <= (#tokens("p239")))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-01
  "Automatically generated"
  is:
    A !F X F X F X F (((1) <= (#tokens("p11"))) | F ((2) <= (#tokens("p0"))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-02
  "Automatically generated"
  is:
    A G X X F ((!(((1) <= (#tokens("p298"))) & ((3) <= (#tokens("p291")))) & X F ((1) <= (#tokens("p140")))) U ((1) <= (#tokens("p298"))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-03
  "Automatically generated"
  is:
    A (((3) <= (#tokens("p376"))) U G !((2) <= (#tokens("p250"))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-04
  "Automatically generated"
  is:
    A (F ((#tokens("p89")) <= (#tokens("p26"))) & G ((1) <= (#tokens("p205"))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-05
  "Automatically generated"
  is:
    A (!(X ((3) <= (#tokens("p118"))) U (G ((3) <= (#tokens("p145"))) & (((#tokens("p121")) <= (#tokens("p257"))) U ((#tokens("p214")) <= (#tokens("p331")))))) U !F !((#tokens("p214")) <= (#tokens("p331"))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-06
  "Automatically generated"
  is:
    A (((3) <= (#tokens("p147"))) & G ((((3) <= (#tokens("p358"))) & ((#tokens("p13")) <= (#tokens("p292")))) | X X X X ((#tokens("p211")) <= (#tokens("p188")))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-07
  "Automatically generated"
  is:
    A (F ((#tokens("p364")) <= (#tokens("p42"))) | X !X F (G ((3) <= (#tokens("p255"))) U ((#tokens("p73")) <= (#tokens("p313")))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-08
  "Automatically generated"
  is:
    A F ((2) <= (#tokens("p49")))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-09
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("p298"))) & F (((3) <= (#tokens("p298"))) | F (((3) <= (#tokens("p298"))) | ((#tokens("p181")) <= (#tokens("p38"))) | F ((3) <= (#tokens("p298"))))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-10
  "Automatically generated"
  is:
    A (((3) <= (#tokens("p34"))) | X ((F ((1) <= (#tokens("p321"))) U X !X ((1) <= (#tokens("p239")))) U !(((#tokens("p251")) <= (#tokens("p88"))) & ((1) <= (#tokens("p239"))))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-11
  "Automatically generated"
  is:
    A (F (F ((#tokens("p349")) <= (#tokens("p347"))) U (F ((#tokens("p175")) <= (#tokens("p365"))) U X ((#tokens("p349")) <= (#tokens("p347"))))) U X (((2) <= (#tokens("p384"))) | !((1) <= (#tokens("p106")))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-12
  "Automatically generated"
  is:
    A X (X ((#tokens("p96")) <= (#tokens("p102"))) | G ((#tokens("p21")) <= (#tokens("p295"))) | F (((#tokens("p96")) <= (#tokens("p102"))) | (((#tokens("p254")) <= (#tokens("p96"))) U ((3) <= (#tokens("p332"))))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-13
  "Automatically generated"
  is:
    A (F ((3) <= (#tokens("p341"))) & X (!((3) <= (#tokens("p136"))) & (((3) <= (#tokens("p136"))) | G ((1) <= (#tokens("p269"))))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-14
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p281"))) & ((2) <= (#tokens("p334")))) | G (G (G ((2) <= (#tokens("p96"))) & F ((2) <= (#tokens("p96")))) U G ((2) <= (#tokens("p96")))))
  end.
Property ResIsolation-PT-N11P2-LTLCardinality-15
  "Automatically generated"
  is:
    A G (F G ((#tokens("p271")) <= (#tokens("p41"))) U ((#tokens("p47")) <= (#tokens("p234"))))
  end.
