The AArch64 model allows the six basic tests, as can be checked as follows, using the summary of observations present in the somehow verbose output of herd:

% herd7 sc-tests/@all | grep Observation
Observation MP Sometimes 1 3
Observation S Sometimes 1 3
Observation LB Sometimes 1 3
Observation SB Sometimes 1 3
Observation R Sometimes 1 3
Observation 2+2W Sometimes 1 3

One can also use the mcompare tool:

% herd7 sc-tests/@all > LOG && mcompare7 -show v LOG