Property ARMCacheCoherence-PT-none-00
  "Automatically generated"
  is:
    A (!"t2916"? | G "t24229"? | F (X "t2916"? & ("t3532"? U "t24229"?)))
  end.
Property ARMCacheCoherence-PT-none-01
  "Automatically generated"
  is:
    A (F ("t11976"? & G ("t23787"? U "t6276"?)) & F !G X "t28564"?)
  end.
Property ARMCacheCoherence-PT-none-02
  "Automatically generated"
  is:
    A (!"t7694"? U !(!G "t22019"? & X ("t22019"? | ("t7694"? & G "t7694"?))))
  end.
Property ARMCacheCoherence-PT-none-03
  "Automatically generated"
  is:
    A G F (F (F !F "t29597"? U "t32464"?) | X "t29597"?)
  end.
Property ARMCacheCoherence-PT-none-04
  "Automatically generated"
  is:
    A !(F ("t11885"? U !"t5476"?) & !F (("t5476"? | "t28561"?) U !"t23005"?))
  end.
Property ARMCacheCoherence-PT-none-05
  "Automatically generated"
  is:
    A X F (G X F "t16807"? & G X !F "t506"?)
  end.
Property ARMCacheCoherence-PT-none-06
  "Automatically generated"
  is:
    A !F X ("t2108"? U X "t7829"?)
  end.
Property ARMCacheCoherence-PT-none-07
  "Automatically generated"
  is:
    A F G F X X (G X "t20619"? & G "t15354"? & G X "t15354"?)
  end.
Property ARMCacheCoherence-PT-none-08
  "Automatically generated"
  is:
    A G ("t3949"? & "t33364"? & ("t29386"? | "t10526"? | G "t3949"? | X X "t29386"?))
  end.
Property ARMCacheCoherence-PT-none-09
  "Automatically generated"
  is:
    A !("t23110"? | !((("t33043"? U "t26050"?) | F "t26050"?) & X ("t33043"? & "t23110"?)))
  end.
Property ARMCacheCoherence-PT-none-10
  "Automatically generated"
  is:
    A (("t26697"? U (X !"t24150"? U G !"t16399"?)) U ("t26743"? & X G "t8423"?))
  end.
Property ARMCacheCoherence-PT-none-11
  "Automatically generated"
  is:
    A ("t15283"? | !("t16361"? & G !"t15283"?))
  end.
Property ARMCacheCoherence-PT-none-12
  "Automatically generated"
  is:
    A F (("t1909"? & !G ("t22039"? U "t21993"?)) U "t1909"?)
  end.
Property ARMCacheCoherence-PT-none-13
  "Automatically generated"
  is:
    A (("t29468"? U "t4665"?) | G X "t29468"?)
  end.
Property ARMCacheCoherence-PT-none-14
  "Automatically generated"
  is:
    A X F X X (F "t29449"? | G "t3572"? | F G "t20184"?)
  end.
Property ARMCacheCoherence-PT-none-15
  "Automatically generated"
  is:
    A G (X !X G ("t7054"? | F G "t10538"?) U F "t10538"?)
  end.
