Comparison with herd default model

There are 281 such tests

	Flowing	Model	ARM-Model	Q	Op	PLDI11	ARM
DETOUR0158	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/66G
							Allow unseen
LB0064	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/71G
							Allow unseen
DETOUR0160	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 12k/57G
DETOUR0169	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/65G
							Allow unseen
DETOUR0212	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 114k/66G
DETOUR0238	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 122k/66G
DETOUR0264	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 128k/66G
DETOUR0288	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0359	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/65G
							Allow unseen
DETOUR0457	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0668	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 92k/67G
DETOUR0692	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1081	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 77k/66G
DETOUR1107	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 73k/66G
DETOUR1133	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 68k/66G
DETOUR1157	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1291	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
LB+data+fri-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 109k/26G
LB+data+fri-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 123k/26G
LB+data+fri-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 124k/26G
LB0007	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 163k/176G
LB0027	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 150k/176G
LB0047	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 165k/176G
LB0066	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 61k/86G
MP+PPO404	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 134k/64G
MP+dmb+fri-rfi-ctrlisb	Allow	Forbid	Allow	Allow	Forbid	Forbid	Ok, 153k/193G
MP0105	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 64k/153G
S+PPO190	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.2M/63G
S+PPO473	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.8M/63G
S+PPO756	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.0M/63G
S+dmb+fri-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 391k/26G
S+dmb+fri-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 373k/26G
S+dmb+fri-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 367k/26G
S0076	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 375k/176G
S0096	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 537k/176G
S0116	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 521k/176G
DETOUR0110	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0215	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.8k/66G
DETOUR0217	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 106k/66G
DETOUR0220	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3/67G
DETOUR0241	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0243	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 111k/66G
DETOUR0246	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/67G
							Allow unseen
DETOUR0267	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.8k/66G
DETOUR0269	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 111k/66G
DETOUR0272	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/67G
							Allow unseen
DETOUR0302	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0305	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0306	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0465	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0671	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0673	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 85k/67G
DETOUR0676	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1/67G
DETOUR0706	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/67G
							Allow unseen
DETOUR1035	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1084	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 56/66G
DETOUR1086	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 83k/66G
DETOUR1089	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/67G
							Allow unseen
DETOUR1110	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1112	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 78k/66G
DETOUR1115	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 7/67G
DETOUR1136	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 108/66G
DETOUR1138	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 79k/66G
DETOUR1141	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 9/67G
DETOUR1171	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1174	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1175	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1299	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/66G
							Allow unseen
LB+data+RDWI+addr+RW	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 48k/63G
LB+data+RDWI+addr+WW	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 35k/63G
LB+data+data-wsi-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 7.1k/24G
LB+data+data-wsi-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 7.4k/20G
LB+data+data-wsi-rfi-ctrl+BIS	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.7k/20G
LB+data+data-wsi-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/20G
							Allow unseen
LB+data+fri-wsi-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 103k/23G
LB+data+fri-wsi-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 105k/23G
LB+data+fri-wsi-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 113k/23G
LB+data+pos-fri-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2/29G
LB+data+pos-fri-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 17/29G
LB+data+pos-fri-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 17/29G
MOREDETOUR0154	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/63G
							Allow unseen
MP+PPO253	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 536/63G
MP+PPO383	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/61G
							Allow unseen
MP+PPO489	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 62k/63G
MP+PPO558	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 372k/63G
MP+PPO650	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 397k/63G
MP+dmb+data-wsi-rfi-ctrlisb	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/113G
							Allow unseen
MP+dmb+fri-rfi-addr-rfi	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 393k/23G
MP+dmb+fri-rfi-data-rfi	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 394k/23G
MP+dmb+fri-rfi-pos-ctrlisb	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 50k/95G
MP+dmb+fri-wsi-rfi-ctrlisb	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 86k/122G
MP+dmb+pos-fri-rfi-ctrlisb	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 13/97G
PPO015	Allow	Forbid	Allow	Allow	Forbid	Forbid	No, 0/99G
							Allow unseen
S+PPO039	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 50k/63G
S+PPO169	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 726/63G
S+PPO275	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 365k/63G
S+PPO322	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 25k/63G
S+PPO452	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 68/63G
S+PPO558	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 370k/63G
S+PPO605	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 78k/63G
S+PPO735	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 841/63G
S+PPO841	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 380k/63G
S+PPO887	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 751k/63G
S+dmb+fri-rfi-addr-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 17k/23G
S+dmb+fri-rfi-addr-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 22k/23G
S+dmb+fri-rfi-addr-fri	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 751k/23G
S+dmb+fri-rfi-pos-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 357k/23G
S+dmb+fri-rfi-pos-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 355k/23G
S+dmb+pos-fri-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1/27G
S+dmb+pos-fri-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6/26G
S+dmb+pos-fri-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 9/26G
DETOUR0395	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0416	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0437	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR0852	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 294/67G
DETOUR1229	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1250	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
DETOUR1271	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/66G
							Allow unseen
LB+PPO0028	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 5.2k/63G
LB+PPO0108	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.3k/63G
LB+PPO0268	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.5k/63G
LB+data+data-wsi-rfi-addr-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.3k/23G
LB+data+data-wsi-rfi-addr-po001	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.4k/23G
LB+data+data-wsi-rfi-ctrl-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.4k/23G
LB+data+fri-rfi-fri-rfi-addr+OK	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 413k/22G
LB+data+pos-data-wsi-rfi-addr	Allow	Forbid	Allow	Allow	—	—	Ok, 1/3.4G
LB+data+pos-data-wsi-rfi-ctrl	Allow	Forbid	Allow	Allow	—	—	Ok, 2/3.4G
LB+data+pos-data-wsi-rfi-data	Allow	Forbid	Allow	Allow	—	—	No, 0/3.4G
							Allow unseen
LB+data+pos-fri-rfi-addr-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/26G
							Allow unseen
LB+data+pos-fri-rfi-addr-po001	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/26G
							Allow unseen
LB+data+pos-fri-rfi-ctrl-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/23G
							Allow unseen
MP+PPO246	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
MP+PPO281	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 452/63G
MP+PPO304	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 51k/63G
MP+PPO334	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.6k/63G
MP+PPO390	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 86/63G
MP+PPO442	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 416/63G
MP+PPO482	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
MP+PPO603	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 23k/63G
MP+PPO643	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
MP+dmb+data-wsi-rfi-pos-ctrlisb	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/97G
							Allow unseen
MP+dmb+pos-fri-rfi-data-rfi	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3/23G
S+PPO032	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
S+PPO090	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 41k/63G
S+PPO120	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 121k/63G
S+PPO176	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.8k/63G
S+PPO315	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
S+PPO373	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 104k/63G
S+PPO403	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 123k/63G
S+PPO459	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.7k/63G
S+PPO511	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 132k/63G
S+PPO551	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
S+PPO598	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
S+PPO633	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 56k/63G
S+PPO656	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 104k/63G
S+PPO686	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 124k/63G
S+PPO742	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 6.5k/63G
S+PPO794	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 124k/63G
S+PPO834	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
S+PPO880	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 165k/63G
S+PPO915	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 726k/63G
S+PPO931	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.2M/63G
S+dmb+data-wsi-rfi-addr-fri	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 105k/23G
S+dmb+fri-rfi-addr-pos-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 266k/23G
S+dmb+fri-rfi-addr-pos-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 78k/25G
S+dmb+fri-rfi-addr-pos-fri	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.4M/23G
S+dmb+fri-rfi-data-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 38k/23G
S+dmb+fri-rfi-data-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 36k/23G
S+dmb+fri-rfi-data-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 38k/23G
S+dmb+fri-rfi-pos-addr-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 25k/23G
S+dmb+fri-rfi-pos-addr-fri	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 525k/23G
S+dmb+fri-wsi-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.7M/24G
S+dmb+fri-wsi-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4M/24G
S+dmb+fri-wsi-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4M/24G
S+dmb+pos-fri-rfi-addr-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1/25G
S+dmb+pos-fri-rfi-addr-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/23G
							Allow unseen
S+dmb+pos-fri-rfi-addr-data	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/25G
							Allow unseen
S+dmb+pos-fri-rfi-addr-fri	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/25G
							Allow unseen
S+dmb+pos-fri-rfi-pos-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 4/23G
LB+PPO0110	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 23k/63G
LB+PPO0135	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 293/63G
LB+PPO0151	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
LB+PPO0231	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/63G
							Allow unseen
LB+PPO0270	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4k/63G
LB+PPO0295	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 125/63G
LB+PPO0316	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 353/63G
LB+PPO0370	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.2k/63G
LB+PPO0508	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 703/63G
LB+data+data-wsi-rfi-addr-fri-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1.0k/23G
LB+data+data-wsi-rfi-addr-wsi-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 466/23G
LB+data+data-wsi-rfi-ctrl-wsi-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.4k/23G
LB+data+data-wsi-rfi-pos-addr-po001	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 419/23G
LB+data+pos-data-wsi-rfi-addr-po001	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.8k/23G
LB+data+pos-data-wsi-rfi-ctrl-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2.5k/23G
LB+data+pos-fri-rfi-addr-addr-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/26G
							Allow unseen
LB+data+pos-fri-rfi-addr-ctrl-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/23G
							Allow unseen
LB+data+pos-fri-rfi-addr-data-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2/23G
LB+data+pos-fri-rfi-addr-fri-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 2/26G
LB+data+pos-fri-rfi-addr-rfi-po	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 1/23G
LB+data+pos-fri-rfi-addr-wsi-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/25G
							Allow unseen
LB+data+pos-fri-rfi-ctrl-wsi-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/23G
							Allow unseen
LB+data+pos-fri-rfi-pos-ctrl-po	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/26G
							Allow unseen
MP+PPO231	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 38/63G
MP+PPO380	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 65k/63G
S+PPO449	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 42k/63G
S+PPO583	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 4.5k/63G
S+PPO732	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 39k/63G
S+dmb+fri-rfi-addr-wsi-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 28k/23G
S+dmb+fri-rfi-addr-wsi-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29k/23G
S+dmb+fri-rfi-data-rfi-addr-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 3.4k/23G
S+dmb+pos-fri-rfi-data-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/25G
							Allow unseen
ISA2+dmb+fri+addr	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/41G
							Allow unseen
DETOUR0162	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 654/17G
DETOUR0229	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 432k/17G
DETOUR0255	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 434k/17G
DETOUR0281	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 443k/17G
DETOUR0294	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 594/17G
DETOUR0685	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 9/17G
DETOUR0759	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/17G
							Allow unseen
DETOUR0780	Allow	Forbid	Forbid	Forbid	Forbid	—	No, 0/17G
							Allow unseen
DETOUR1098	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 265k/17G
DETOUR1124	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 244k/17G
DETOUR1150	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 244k/17G
DETOUR1163	Allow	Forbid	Forbid	Forbid	Forbid	—	Ok, 1.5k/17G
LB+data+fri-detw-addr	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 77k/7.8G
LB+data+fri-detw-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 71k/7.8G
LB+data+fri-detw-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 70k/7.8G
MOREDETOUR0234	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0240	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/18G
							Allow unseen
MOREDETOUR0246	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MP+dmb+fri-rfi-ctrlisb+BIS	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 29/31G
DETOUR0222	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/17G
							Allow unseen
DETOUR0248	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/17G
							Allow unseen
DETOUR0274	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/17G
							Allow unseen
DETOUR0362	Allow	Forbid	Allow	Forbid	—	—	No, 0/17G
							Allow unseen
DETOUR0458	Allow	Forbid	Allow	Forbid	—	—	No, 0/17G
							Allow unseen
LB+data+data-detww+LOCAL	Allow	Forbid	Allow	Forbid	—	—	No, 0/1.8G
							Allow unseen
LB+data+detr-fri-rfi-addr	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.8G
							Allow unseen
LB+data+detr-fri-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.8G
							Allow unseen
LB+data+detr-fri-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	No, 0/7.8G
							Allow unseen
MOREDETOUR0121	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 185k/16G
MOREDETOUR0124	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 59k/16G
MOREDETOUR0129	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 167k/16G
MOREDETOUR0132	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 60k/16G
MOREDETOUR0137	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 171k/16G
MOREDETOUR0140	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 59k/16G
MOREDETOUR0197	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0199	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0231	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0233	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0235	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0236	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 883/16G
MOREDETOUR0239	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0241	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0242	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 11k/16G
MOREDETOUR0245	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0247	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0248	Allow	Forbid	Allow	Forbid	Forbid	—	Ok, 26k/16G
MOREDETOUR0251	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0252	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0253	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0254	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0256	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0258	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0259	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
							Allow unseen
MOREDETOUR0261	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
							Allow unseen
MOREDETOUR0266	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0350	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0354	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0358	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0730	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 87k/16G
MOREDETOUR0733	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 86k/16G
MOREDETOUR0833	Allow	Forbid	Forbid	Forbid	—	—	No, 0/16G
							Allow unseen
LB+data+detrw-rfi-ctrl	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 139k/7.8G
LB+data+detrw-rfi-data	Allow	Forbid	Allow	Allow	Forbid	—	Ok, 147k/7.8G
MOREDETOUR0150	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
							Allow unseen
MOREDETOUR0151	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
							Allow unseen
MOREDETOUR0152	Allow	Forbid	Allow	Forbid	—	—	No, 0/16G
							Allow unseen
MOREDETOUR0185	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0189	Allow	Forbid	Allow	Forbid	Forbid	—	No, 0/16G
							Allow unseen
MOREDETOUR0250	Allow	Forbid	Allow	Forbid	—	—	Ok, 8/16G

Comparison with herd default model

More behaviours

Less behaviours