Comparison with herd default model

Comparison applies to all behaviours. However notice that behaviours that could result from the occurrence of Read after Read hazard anomaly have been removed from the hardware logs.

There are 471 such tests

	Kind	Flowing	Model	ARM-Model	Q	Op	PLDI11	Hardware
DETOUR0158	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/69G
								Allow unseen
LB0064	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/73G
								Allow unseen
LB+data+data-wsi	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/290G
								Allow unseen
S+dmb+data-wsi	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/190G
								Allow unseen
DETOUR0160	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/38G
								Allow unseen
DETOUR0169	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/67G
								Allow unseen
DETOUR0288	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/69G
								Allow unseen
DETOUR0212	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/43G
								Allow unseen
DETOUR0238	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/43G
								Allow unseen
DETOUR0264	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/43G
								Allow unseen
DETOUR0359	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/67G
								Allow unseen
DETOUR0457	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/69G
								Allow unseen
DETOUR0668	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/50G
								Allow unseen
DETOUR0692	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/135G
								Allow unseen
S+dmb+data-wsi+LOCAL	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/176G
								Allow unseen
DETOUR1081	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/53G
								Allow unseen
DETOUR1107	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/54G
								Allow unseen
DETOUR1133	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/54G
								Allow unseen
DETOUR1157	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/69G
								Allow unseen
DETOUR1291	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/69G
								Allow unseen
LB+data+fri-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 110k/28G
LB+data+fri-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 126k/28G
LB+data+fri-rfi-ctrl+REAL	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 46k/2.7G
LB+data+fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 129k/28G
LB+data+pos-data-wsi	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/287G
								Allow unseen
LB0007	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/113G
								Allow unseen
LB0027	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/115G
								Allow unseen
LB0047	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/115G
								Allow unseen
LB0066	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/58G
								Allow unseen
MP+dmb+fri-rfi-ctrlisb	Allow	Allow	Forbid	Allow	Allow	Forbid	Forbid	Ok, 153k/310G
MP+dmb+fri-rfi-ctrlisb+REAL	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 1.9k/4.0G
MP0105	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/110G
								Allow unseen
MP+PPO404	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+dmb+data-wsi+LOCALDMB	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/176G
								Allow unseen
S+dmb+fri-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 392k/28G
S+dmb+fri-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 375k/28G
S+dmb+fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 370k/28G
S0076	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/137G
								Allow unseen
S+PPO190	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/52G
								Allow unseen
S0096	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/138G
								Allow unseen
S+PPO473	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/52G
								Allow unseen
S0116	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/139G
								Allow unseen
S+PPO756	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/52G
								Allow unseen
DETOUR0215	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.9k/69G
DETOUR0217	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/42G
								Allow unseen
DETOUR0220	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/41G
								Allow unseen
DETOUR0241	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 11/69G
DETOUR0243	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/42G
								Allow unseen
DETOUR0246	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/41G
								Allow unseen
DETOUR0267	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.9k/69G
DETOUR0269	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/43G
								Allow unseen
DETOUR0272	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/41G
								Allow unseen
DETOUR0302	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/185G
								Allow unseen
DETOUR0671	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/69G
								Allow unseen
DETOUR0673	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
DETOUR0676	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/48G
								Allow unseen
DETOUR0706	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/69G
								Allow unseen
DETOUR1084	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 70/68G
DETOUR1086	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/53G
								Allow unseen
DETOUR1089	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/51G
								Allow unseen
DETOUR1110	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/68G
								Allow unseen
DETOUR1112	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/53G
								Allow unseen
DETOUR1115	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/51G
								Allow unseen
DETOUR1136	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 115/68G
DETOUR1138	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/53G
								Allow unseen
DETOUR1141	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/51G
								Allow unseen
DETOUR1171	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/69G
								Allow unseen
LB+data+RDWI+addr+RW	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 50k/65G
LB+data+RDWI+addr+WW	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 36k/65G
LB+data+data-wsi-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 768k/140G
LB+data+data-wsi-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.0M/308G
LB+data+data-wsi-rfi-ctrl+BIS	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.2M/308G
LB+data+data-wsi-rfi-ctrl+REAL	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 23k/4.0G
LB+data+data-wsi-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 207/320G
LB+data+data-wsi-rfi-fri	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/49G
								Allow unseen
LB+data+fri-wsi-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 104k/26G
LB+data+fri-wsi-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 106k/26G
LB+data+fri-wsi-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 114k/26G
LB+data+pos-fri-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 105k/31G
LB+data+pos-fri-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 124k/31G
LB+data+pos-fri-rfi-ctrl+REAL	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 177k/868M
LB+data+pos-fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 116k/31G
MP+PPO253	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO422	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO489	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO558	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/50G
								Allow unseen
MP+PPO650	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/51G
								Allow unseen
MP+PPO742	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/51G
								Allow unseen
MP+dmb+data-wsi-rfi-ctrlisb	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/115G
								Allow unseen
MP+dmb+fri-rfi-addr-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 393k/26G
MP+dmb+fri-rfi-data-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 395k/26G
MP+dmb+fri-rfi-pos-ctrlisb	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 50k/97G
MP+dmb+fri-wsi-rfi-ctrlisb	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 86k/125G
MP+dmb+pos-fri-rfi-ctrlisb	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 65k/214G
MP+dmb+pos-fri-rfi-ctrlisb+REAL	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 6.1k/3.9G
PPO015	Allow	Allow	Forbid	Allow	Allow	Forbid	Forbid	No, 0/101G
								Allow unseen
MP+PPO383	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/64G
								Allow unseen
S+PPO039	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/48G
								Allow unseen
S+PPO169	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 747/65G
S+PPO208	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO275	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO322	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO452	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 74/65G
S+PPO491	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO558	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO605	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO735	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 845/65G
S+PPO774	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO841	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO887	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/51G
								Allow unseen
S+dmb+fri-rfi-addr-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 17k/26G
S+dmb+fri-rfi-addr-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 22k/26G
S+dmb+fri-rfi-addr-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 751k/26G
S+dmb+fri-rfi-pos-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 358k/26G
S+dmb+fri-rfi-pos-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 357k/26G
S+dmb+pos-fri-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 367k/29G
S+dmb+pos-fri-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 359k/28G
S+dmb+pos-fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 367k/28G
DETOUR0395	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
DETOUR0416	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
DETOUR0437	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
DETOUR0852	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
DETOUR1229	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
DETOUR1250	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
DETOUR1271	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0028	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 5.3k/65G
LB+PPO0036	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0108	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4k/65G
LB+PPO0116	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0268	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.5k/65G
LB+PPO0276	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+data+data-wsi-rfi-addr-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.9k/26G
LB+data+data-wsi-rfi-addr-po001	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.6k/26G
LB+data+data-wsi-rfi-ctrl-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.6k/26G
LB+data+fri-rfi-fri-rfi-addr+OK	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/45G
								Allow unseen
LB+data+pos-data-wsi-rfi-addr	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 372/4.6G
LB+data+pos-data-wsi-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 441/4.6G
LB+data+pos-data-wsi-rfi-data	Allow	Allow	Forbid	Allow	Allow	—	—	No, 0/4.6G
								Allow unseen
LB+data+pos-fri-rfi-addr-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 234k/28G
LB+data+pos-fri-rfi-addr-po001	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 150k/28G
LB+data+pos-fri-rfi-ctrl-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 157k/26G
MP+PPO246	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
MP+PPO259	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO281	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO304	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO334	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO364	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO390	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO442	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/46G
								Allow unseen
MP+PPO482	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO495	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO511	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO551	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 58/65G
MP+PPO564	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO586	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO603	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/48G
								Allow unseen
MP+PPO643	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
MP+PPO656	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO678	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO786	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/32G
								Allow unseen
MP+PPO922	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/30G
								Allow unseen
MP+dmb+data-wsi-rfi-pos-ctrlisb	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/99G
								Allow unseen
MP+dmb+fri-rfi-addr-addr-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 66k/28G
MP+dmb+fri-rfi-addr-fri-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 542k/28G
MP+dmb+fri-rfi-data-rfi-pos	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 161k/26G
MP+dmb+fri-rfi-pos-addr-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 172k/26G
MP+dmb+fri-rfi-pos-data-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 151k/26G
MP+dmb+pos-fri-rfi-addr-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 179k/26G
MP+dmb+pos-fri-rfi-data-rfi	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 167k/26G
S+PPO032	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO045	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO067	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO090	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO120	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO150	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO176	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO228	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/48G
								Allow unseen
S+PPO268	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO281	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO315	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO328	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO350	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO373	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO403	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO433	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO459	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/50G
								Allow unseen
S+PPO511	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO551	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO564	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO598	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO611	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO633	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO656	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO686	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO716	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO742	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/50G
								Allow unseen
S+PPO794	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO834	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO847	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO880	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 165k/65G
S+PPO893	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO915	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO931	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+dmb+data-wsi-rfi-addr-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 105k/26G
S+dmb+data-wsi-rfi-fri+LOCAL	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/134G
								Allow unseen
S+dmb+data-wsi-rfi-fri+LOCALDMB	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/145G
								Allow unseen
S+dmb+fri-rfi-addr-pos-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 809k/26G
S+dmb+fri-rfi-addr-pos-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 281k/26G
S+dmb+fri-rfi-addr-pos-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 105k/28G
S+dmb+fri-rfi-addr-pos-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.5M/26G
S+dmb+fri-rfi-ctrl-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 38k/26G
S+dmb+fri-rfi-ctrl-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 37k/26G
S+dmb+fri-rfi-ctrl-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 38k/26G
S+dmb+fri-rfi-data-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 40k/26G
S+dmb+fri-rfi-data-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 36k/26G
S+dmb+fri-rfi-data-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 38k/26G
S+dmb+fri-rfi-pos-addr-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 14k/26G
S+dmb+fri-rfi-pos-addr-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 25k/26G
S+dmb+fri-rfi-pos-addr-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 525k/26G
S+dmb+fri-wsi-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.7M/26G
S+dmb+fri-wsi-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4M/26G
S+dmb+fri-wsi-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4M/26G
S+dmb+pos-fri-rfi-addr-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 19k/28G
S+dmb+pos-fri-rfi-addr-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 33k/26G
S+dmb+pos-fri-rfi-addr-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 37k/28G
S+dmb+pos-fri-rfi-addr-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 590k/28G
S+dmb+pos-fri-rfi-pos-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 162k/26G
S+dmb+pos-fri-rfi-pos-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 157k/26G
LB+PPO0030	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/39G
								Allow unseen
LB+PPO0055	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0058	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0074	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0110	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/39G
								Allow unseen
LB+PPO0135	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0138	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0151	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
LB+PPO0154	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0231	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
LB+PPO0234	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0270	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/40G
								Allow unseen
LB+PPO0295	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0298	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0316	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 353/65G
LB+PPO0319	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0370	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4k/65G
LB+PPO0373	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0397	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 789/65G
LB+PPO0400	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0508	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 703/65G
LB+PPO0511	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+PPO0547	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.4k/65G
LB+PPO0550	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
LB+data+data-wsi-rfi-addr-fri-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.0k/26G
LB+data+data-wsi-rfi-addr-pos-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 23k/26G
LB+data+data-wsi-rfi-addr-rfi-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 690/26G
LB+data+data-wsi-rfi-addr-wsi-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 466/26G
LB+data+data-wsi-rfi-ctrl-wsi-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.6k/26G
LB+data+data-wsi-rfi-pos-addr-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.9k/26G
LB+data+data-wsi-rfi-pos-addr-po001	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 877/26G
LB+data+pos-data-wsi-rfi-addr-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 13k/26G
LB+data+pos-data-wsi-rfi-addr-po001	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.7k/26G
LB+data+pos-data-wsi-rfi-ctrl-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.2k/26G
LB+data+pos-fri-rfi-addr-addr-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 20k/28G
LB+data+pos-fri-rfi-addr-ctrl-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 32k/26G
LB+data+pos-fri-rfi-addr-data-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 47k/26G
LB+data+pos-fri-rfi-addr-fri-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 138k/28G
LB+data+pos-fri-rfi-addr-pos-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 990k/26G
LB+data+pos-fri-rfi-addr-rfi-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 129k/26G
LB+data+pos-fri-rfi-addr-wsi-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 122k/28G
LB+data+pos-fri-rfi-ctrl-wsi-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 119k/26G
LB+data+pos-fri-rfi-pos-addr-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 165k/28G
LB+data+pos-fri-rfi-pos-ctrl-po	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 119k/28G
MP+PPO222	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
MP+PPO231	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
MP+PPO248	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
MP+PPO266	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/43G
								Allow unseen
MP+PPO283	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO289	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/43G
								Allow unseen
MP+PPO302	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
MP+PPO306	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO319	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
MP+PPO332	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
MP+PPO336	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO343	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO380	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
MP+PPO387	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
MP+PPO409	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO440	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
MP+PPO444	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
MP+PPO605	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO017	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
S+PPO034	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/45G
								Allow unseen
S+PPO088	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO092	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO105	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
S+PPO118	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO122	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO166	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/48G
								Allow unseen
S+PPO173	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO195	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO226	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO230	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO291	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/45G
								Allow unseen
S+PPO300	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/46G
								Allow unseen
S+PPO317	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/46G
								Allow unseen
S+PPO335	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
S+PPO352	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO358	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
S+PPO371	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO375	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO388	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/46G
								Allow unseen
S+PPO401	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO405	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO412	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO449	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO456	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO478	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO509	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO513	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO574	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/45G
								Allow unseen
S+PPO583	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/45G
								Allow unseen
S+PPO600	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/46G
								Allow unseen
S+PPO618	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
S+PPO635	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO641	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/44G
								Allow unseen
S+PPO654	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 13/65G
S+PPO658	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO671	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/45G
								Allow unseen
S+PPO684	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO688	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO695	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO732	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO739	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO761	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO792	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/65G
								Allow unseen
S+PPO796	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO856	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
S+PPO882	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/49G
								Allow unseen
S+PPO900	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/47G
								Allow unseen
S+PPO913	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO917	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+PPO933	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/0
								Allow unseen
S+dmb+fri-rfi-addr-data-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.6k/25G
S+dmb+fri-rfi-addr-data-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 8.1k/25G
S+dmb+fri-rfi-addr-fri-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 44k/25G
S+dmb+fri-rfi-addr-fri-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 33k/25G
S+dmb+fri-rfi-addr-fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 32k/28G
S+dmb+fri-rfi-addr-rfi-addr-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.5k/25G
S+dmb+fri-rfi-addr-wsi-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 24k/25G
S+dmb+fri-rfi-addr-wsi-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29k/25G
S+dmb+fri-rfi-addr-wsi-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29k/25G
S+dmb+fri-rfi-data-rfi-addr-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.7k/25G
S+dmb+fri-rfi-data-rfi-addr-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.6k/25G
S+dmb+fri-rfi-data-rfi-addr-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.2k/25G
S+dmb+fri-rfi-pos-data-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 28k/25G
S+dmb+pos-data-wsi-rfi-addr-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 68k/25G
S+dmb+pos-fri-rfi-addr-pos-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 240k/26G
S+dmb+pos-fri-rfi-addr-pos-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 267k/26G
S+dmb+pos-fri-rfi-addr-pos-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 375k/28G
S+dmb+pos-fri-rfi-addr-pos-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.0M/28G
S+dmb+pos-fri-rfi-addr-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 69k/25G
S+dmb+pos-fri-rfi-addr-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 47k/25G
S+dmb+pos-fri-rfi-data-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29k/25G
S+dmb+pos-fri-rfi-data-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 34k/28G
S+dmb+pos-fri-rfi-pos-addr-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29k/25G
S+dmb+pos-fri-rfi-pos-addr-fri	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 777k/28G
DETOUR0661	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/20G
								Allow unseen
ISA2+dmb+fri+addr	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/41G
								Allow unseen
MP+dmb+[fr-rf]-addr	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/1.4G
								Allow unseen
DETOUR0162	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/17G
								Allow unseen
DETOUR0294	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/17G
								Allow unseen
DETOUR0229	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.3G
								Allow unseen
DETOUR0255	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.2G
								Allow unseen
DETOUR0281	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.3G
								Allow unseen
DETOUR0654	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/5.6G
								Allow unseen
DETOUR0659	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/7.6G
								Allow unseen
DETOUR0663	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/17G
								Allow unseen
DETOUR0685	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.7G
								Allow unseen
DETOUR0711	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/11G
								Allow unseen
DETOUR0759	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/17G
								Allow unseen
DETOUR0780	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/17G
								Allow unseen
DETOUR1098	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.9G
								Allow unseen
DETOUR1124	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.2G
								Allow unseen
DETOUR1150	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.1G
								Allow unseen
DETOUR1163	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/17G
								Allow unseen
LB+data+fri-detw-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 74k/6.7G
LB+data+fri-detw-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 71k/6.7G
LB+data+fri-detw-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 70k/6.8G
MOREDETOUR0234	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0240	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/28G
								Allow unseen
MOREDETOUR0246	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MP+dmb+fri-rfi-ctrlisb+BIS	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29/25G
DETOUR0222	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.2G
								Allow unseen
DETOUR0248	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.2G
								Allow unseen
DETOUR0274	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.2G
								Allow unseen
DETOUR0362	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/17G
								Allow unseen
DETOUR0458	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/17G
								Allow unseen
DETOUR0653	Allow	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/7.4G
								Allow unseen
DETOUR0678	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.5G
								Allow unseen
DETOUR1091	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.6G
								Allow unseen
DETOUR1117	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.6G
								Allow unseen
DETOUR1143	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.5G
								Allow unseen
DETOUR1292	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/17G
								Allow unseen
LB+data+data-detww+LOCAL	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/104G
								Allow unseen
LB+data+detr-fri-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 200k/7.0G
LB+data+detr-fri-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 178k/7.0G
LB+data+detr-fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 184k/7.0G
MOREDETOUR0121	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 81k/13G
MOREDETOUR0124	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.1G
								Allow unseen
MOREDETOUR0129	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 76k/13G
MOREDETOUR0132	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.1G
								Allow unseen
MOREDETOUR0137	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 76k/13G
MOREDETOUR0140	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.1G
								Allow unseen
MOREDETOUR0197	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0199	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0231	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0233	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0235	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0236	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/11G
								Allow unseen
MOREDETOUR0239	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0241	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0242	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/12G
								Allow unseen
MOREDETOUR0245	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0247	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0248	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/12G
								Allow unseen
MOREDETOUR0251	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0252	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0253	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0254	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0256	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0258	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0259	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0261	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0266	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0270	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0350	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0354	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0358	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0443	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/13G
								Allow unseen
MOREDETOUR0451	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 13/13G
MOREDETOUR0454	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.7G
								Allow unseen
MOREDETOUR0714	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 35k/13G
MOREDETOUR0717	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.9G
								Allow unseen
MOREDETOUR0722	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29k/13G
MOREDETOUR0725	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.9G
								Allow unseen
MOREDETOUR0730	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 32k/13G
MOREDETOUR0733	Allow	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/8.9G
								Allow unseen
MOREDETOUR0833	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/13G
								Allow unseen
DETOUR0418	Allow	Allow	Forbid	Allow	Allow	—	—	No, 0/0
								Allow unseen
DETOUR0439	Allow	Allow	Forbid	Allow	Allow	—	—	No, 0/0
								Allow unseen
LB+data+detrw-rfi-addr	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 70k/5.0G
LB+data+detrw-rfi-ctrl	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 67k/5.1G
LB+data+detrw-rfi-data	Allow	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 68k/5.1G
MOREDETOUR0150	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/12G
								Allow unseen
MOREDETOUR0151	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/12G
								Allow unseen
MOREDETOUR0152	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/12G
								Allow unseen
MOREDETOUR0185	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0186	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0187	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
								Allow unseen
MOREDETOUR0189	Allow	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/7.8G
								Allow unseen
MOREDETOUR0282	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0289	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0296	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0744	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/13G
								Allow unseen
MOREDETOUR0835	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/12G
								Allow unseen
MOREDETOUR0846	Allow	Allow	Forbid	Forbid	Forbid	—	—	No, 0/13G
								Allow unseen
S+dmb+detr-fri-rfi-data	Allow	Allow	Forbid	Allow	Allow	—	—	Ok, 2.8M/7.1G
MOREDETOUR0215	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0219	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0238	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen
MOREDETOUR0250	Allow	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
								Allow unseen

Comparison with herd default model

More behaviours

Less behaviours