Property ARMCacheCoherence-PT-none-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("p26")))) & (((((((3) <= (#tokens("p45")))) | (((#tokens("p21")) <= (#tokens("p8")))))) | (((((3) <= (#tokens("p39")))) | (((1) <= (#tokens("p62")))))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p23")))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((! ((((1) <= (#tokens("p59")))) | (((3) <= (#tokens("p31")))))) | (((#tokens("p18")) <= (#tokens("p45")))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ! ((((((2) <= (#tokens("p31")))) | (((3) <= (#tokens("p65")))))) & (! ((#tokens("p19")) <= (#tokens("p80")))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p61")))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((((((((1) <= (#tokens("p32")))) & (((#tokens("p50")) <= (#tokens("p34")))))) | (((3) <= (#tokens("p28")))))) & (((3) <= (#tokens("p51")))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ((((((3) <= (#tokens("p73")))) & (! ((#tokens("p83")) <= (#tokens("p7")))))) | (! ((((2) <= (#tokens("p30")))) | (((#tokens("p36")) <= (#tokens("p1")))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((((((2) <= (#tokens("p0")))) & (((((#tokens("p7")) <= (#tokens("p57")))) & (((#tokens("p70")) <= (#tokens("p7")))))))) | (! ((3) <= (#tokens("p10")))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ! ! ((2) <= (#tokens("p51")))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((! ((((2) <= (#tokens("p82")))) & (((#tokens("p59")) <= (#tokens("p32")))))) | (((((2) <= (#tokens("p40")))) & (((((#tokens("p23")) <= (#tokens("p42")))) & (((2) <= (#tokens("p21")))))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p33")))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p0")))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((((#tokens("p15")) <= (#tokens("p13")))) & (((((1) <= (#tokens("p62")))) & (((((2) <= (#tokens("p43")))) | (((1) <= (#tokens("p60")))))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ! ((! ((#tokens("p13")) <= (#tokens("p86")))) & (((1) <= (#tokens("p55")))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((! ((3) <= (#tokens("p18")))) & (((((((1) <= (#tokens("p24")))) | (((#tokens("p46")) <= (#tokens("p28")))))) & (! ((2) <= (#tokens("p15")))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((((((3) <= (#tokens("p34")))) & (((3) <= (#tokens("p5")))))) & (((! ((3) <= (#tokens("p44")))) | (((((#tokens("p80")) <= (#tokens("p49")))) | (((#tokens("p28")) <= (#tokens("p84")))))))))
  end.
