This family corresponds to litmus tests involving pairs exercising typical Power scenarios. Therefore they should answer Yes in litmus terms, or Verification Failed in verification terms as soon as the model is Power. It involves several diy cycles instead of one.

Name SC TSO (all delay/cyc) TSO (1 delay/cyc) Expected (TSO) PSO (all delay/cyc) PSO (1 delay/cyc) Expected (PSO) RMO (all delay/cyc) RMO (1 delay/cyc) Expected (RMO) Power (all delay/cyc) Power (1 delay/cyc) Expected (Power)