# diy7 -arch AArch64 -safe Pod**,Rfe,Fre,Coe -relax [Pos*R,PosR*],[Pos*W,PosW*] -mix true -size 5 -nprocs 2 -cond observe -mode free -ins 4 -num false -metadata false
# Version 7.56+03, Revision: 0d2618c15372514c72a90b12caa6b5ca4f144e42
SB+po+posW-posW-po.litmus
R+posW-posW-po+po.litmus
R+posW-pos+poW-po.litmus
MP+posW-pos+poW-po.litmus
MP+posW-posW-po+po.litmus
R+posW-pos+poR-po.litmus
MP+posW-pos+poR-po.litmus
R+po+posW-posW-po.litmus
2+2W+po+posW-posW-po.litmus
2+2W+posW-pos+poW-po.litmus
S+posW-pos+poW-po.litmus
S+posW-posW-po+po.litmus
2+2W+posW-pos+poR-po.litmus
S+posW-pos+poR-po.litmus
R+poW-posW-pos+po.litmus
MP+poW-posW-pos+po.litmus
2+2W+po+poW-posW-pos.litmus
S+poW-posW-pos+po.litmus
S+po+poW-posW-pos.litmus
LB+po+poW-posW-pos.litmus
SB+po+posW-posR-po.litmus
R+posW-posR-po+po.litmus
SB+posW-pos+poW-po.litmus
MP+posW-posR-po+po.litmus
SB+posW-pos+poR-po.litmus
R+po+posW-posR-po.litmus
2+2W+po+posW-posR-po.litmus
R+poW-po+posW-pos.litmus
S+posW-posR-po+po.litmus
R+poR-po+posW-pos.litmus
SB+po+poW-posW-pos.litmus
R+po+poW-posW-pos.litmus
MP+po+poW-posW-pos.litmus
SB+po+posR-posW-po.litmus
R+posR-posW-po+po.litmus
R+posR-pos+poW-po.litmus
MP+posR-pos+poW-po.litmus
MP+posR-posW-po+po.litmus
R+posR-pos+poR-po.litmus
MP+posR-pos+poR-po.litmus
R+po+posR-posW-po.litmus
2+2W+po+posR-posW-po.litmus
2+2W+posR-pos+poW-po.litmus
S+posR-pos+poW-po.litmus
S+posR-posW-po+po.litmus
2+2W+posR-pos+poR-po.litmus
S+posR-pos+poR-po.litmus
R+poW-posR-pos+po.litmus
MP+poW-posR-pos+po.litmus
2+2W+po+poW-posR-pos.litmus
S+poW-posR-pos+po.litmus
S+po+poW-posR-pos.litmus
LB+po+poW-posR-pos.litmus
SB+po+posR-posR-po.litmus
R+posR-posR-po+po.litmus
SB+posR-pos+poW-po.litmus
MP+posR-posR-po+po.litmus
SB+posR-pos+poR-po.litmus
R+po+posR-posR-po.litmus
2+2W+po+posR-posR-po.litmus
R+poW-po+posR-pos.litmus
S+posR-posR-po+po.litmus
R+poR-po+posR-pos.litmus
SB+po+poW-posR-pos.litmus
R+po+poW-posR-pos.litmus
MP+po+poW-posR-pos.litmus
MP+po+posW-posW-po.litmus
S+po+posW-posW-po.litmus
S+poW-po+posW-pos.litmus
LB+posW-pos+poW-po.litmus
LB+po+posW-posW-po.litmus
S+poR-po+posW-pos.litmus
LB+posW-pos+poR-po.litmus
R+poR-posW-pos+po.litmus
MP+poR-posW-pos+po.litmus
2+2W+po+poR-posW-pos.litmus
S+poR-posW-pos+po.litmus
S+po+poR-posW-pos.litmus
LB+po+poR-posW-pos.litmus
MP+po+posW-posR-po.litmus
S+po+posW-posR-po.litmus
MP+poW-po+posW-pos.litmus
LB+po+posW-posR-po.litmus
MP+poR-po+posW-pos.litmus
SB+po+poR-posW-pos.litmus
R+po+poR-posW-pos.litmus
MP+po+poR-posW-pos.litmus
MP+po+posR-posW-po.litmus
S+po+posR-posW-po.litmus
S+poW-po+posR-pos.litmus
LB+posR-pos+poW-po.litmus
LB+po+posR-posW-po.litmus
S+poR-po+posR-pos.litmus
LB+posR-pos+poR-po.litmus
R+poR-posR-pos+po.litmus
MP+poR-posR-pos+po.litmus
2+2W+po+poR-posR-pos.litmus
S+poR-posR-pos+po.litmus
S+po+poR-posR-pos.litmus
LB+po+poR-posR-pos.litmus
MP+po+posR-posR-po.litmus
S+po+posR-posR-po.litmus
MP+poW-po+posR-pos.litmus
LB+po+posR-posR-po.litmus
MP+poR-po+posR-pos.litmus
SB+po+poR-posR-pos.litmus
R+po+poR-posR-pos.litmus
MP+po+poR-posR-pos.litmus
