Switch Model
- HAND : Hand-written tests
- MP: Message Passing
- SB: Store Buffer forwarding
- LB: Load Buffering
- IRIW: Independent Reads of Independent Writes
- WRC: Write to Read Causality
- RWC: Read to Write Causality
- ISA2: B cumulativity
- R :
- S :
- WWC :
- WRW+2W :
- PPO : Preserved Program Order

- HAND : Hand-written tests
- MP: Message Passing
- SB: Store buffer forwarding
- LB: Load Buffering
- IRIW: Independent Reads of Independent Writes
- WRC: Write to Read Causality
- RWC: Read to Write Causality
- ISA2 : B cumulativity
- R :
- S :
- 2+2W :
- WWC :
- WRW+2W :
- WRW+WR :
- WRR+2W :
- PPO : Preserved Program Order
- 3.SB:
- 3.LB:
- 3.2W:
- Z6.0:
- Z6.1:
- Z6.2:
- Z6.3:
- Z6.4:
- Z6.5:
- W+RWC:
- IRWIW:
- IRRWIW:
