Property ARMCacheCoherence-PT-none-ReachabilityFireability-00
  "Automatically generated"
  is:
    A G ! (("t32457"?) & (! ! "t16027"?))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F (((((((("t2379"?) & ("t26629"?))) & ((("t16698"?) | ("t25042"?))))) & ((((("t9689"?) | ("t9631"?))) | (! "t26576"?))))) | (((! (("t20946"?) | ("t33078"?))) & (((! "t3064"?) & ((("t24042"?) & ("t27717"?))))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F ((((((! "t19023"?) | ((("t4389"?) & ("t32881"?))))) & ((((("t16061"?) | ("t21355"?))) & ("t4906"?))))) & ((((("t10475"?) | ("t14815"?))) & ((("t31607"?) & ((("t17321"?) | ("t6653"?))))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-03
  "Automatically generated"
  is:
    A G ((! (((("t9651"?) | ("t10453"?))) & ((("t31043"?) & ("t20559"?))))) | (! (("t9623"?) | ("t1670"?))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F "t14728"?
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F "t26655"?
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-06
  "Automatically generated"
  is:
    A G ! "t23271"?
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-07
  "Automatically generated"
  is:
    A G ! "t12926"?
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F (((((((("t263"?) & ("t7271"?))) | ((("t30747"?) & ("t13619"?))))) & (! (("t32459"?) | ("t24018"?))))) | ((("t1220"?) & (((! "t31927"?) & ((("t29237"?) | ("t3216"?))))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F ! ! (((("t8527"?) | ("t13037"?))) & ((("t2255"?) & ("t20804"?))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G ! ! ! "t3210"?
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F (("t3962"?) & ((("t21347"?) & ((((("t16667"?) | ("t7320"?))) | (! "t19079"?))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F ((! ! "t17325"?) & (! (((("t22865"?) | ("t4024"?))) | ("t20569"?))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F ((((((! "t1670"?) & ((("t22921"?) | ("t12918"?))))) & ("t5774"?))) & ("t21624"?))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G (("t8236"?) | (! (((("t20487"?) & ("t4490"?))) & ((("t18355"?) & ("t4476"?))))))
  end.
Property ARMCacheCoherence-PT-none-ReachabilityFireability-15
  "Automatically generated"
  is:
    A G (((((((("t17421"?) & ("t16063"?))) | ((("t16543"?) & ("t32196"?))))) | (((! "t7212"?) | (! "t30575"?))))) | ("t20458"?))
  end.
