PLDI11 vs. Power

Notice that ppcmem (PLDI’11 simulator) terminates in decent time and memory space for 4704 tests out of 8121.

Forbidden by PLDI11 and observed

The table below demonstrates that the PLDI’11 model is invalidated by hardware experiments.

	PLDI11	Power	PowerG5	Power6	Power7
MP+sync+ctrl-detr	Forbid	Ok, 12k/37G	No, 0/3.1G	—	Ok, 12k/34G
			Allow unseen
DETOUR0821	Forbid	Ok, 25k/50G	Ok, 2/3.6G	No, 0/3.4G	Ok, 25k/43G
				Allow unseen
MP+lwsync+addr-po-detr	Forbid	Ok, 21k/34G	Ok, 3/2.9G	—	Ok, 21k/31G
MP+sync+addr-po-detr	Forbid	Ok, 17k/34G	Ok, 1/2.9G	—	Ok, 17k/31G

Allowed by PLDI11 and unobserved

There are 450 such tests

	PLDI11	Power	PowerG5	Power6	Power7
LB	Allow	No, 0/363G	No, 0/13G	No, 0/44G	No, 0/306G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+addr+po	Allow	No, 0/171G	No, 0/11G	No, 0/19G	No, 0/141G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+ctrl+po	Allow	No, 0/171G	No, 0/11G	No, 0/19G	No, 0/141G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+ctrlisync+po	Allow	No, 0/171G	No, 0/11G	No, 0/19G	No, 0/141G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+data+po	Allow	No, 0/171G	No, 0/11G	No, 0/19G	No, 0/141G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+addr	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+ctrl	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+ctrlisync	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+data	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+isync	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+lwsync	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+po	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieio+sync	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+eieios	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+isync+addr	Allow	No, 0/163G	No, 0/10G	No, 0/17G	No, 0/135G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+isync+ctrl	Allow	No, 0/163G	No, 0/10G	No, 0/17G	No, 0/135G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+isync+ctrlisync	Allow	No, 0/163G	No, 0/10G	No, 0/17G	No, 0/135G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+isync+data	Allow	No, 0/163G	No, 0/10G	No, 0/17G	No, 0/135G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+isync+po	Allow	No, 0/165G	No, 0/10G	No, 0/17G	No, 0/137G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+isyncs	Allow	No, 0/165G	No, 0/10G	No, 0/17G	No, 0/137G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+lwsync+isync	Allow	No, 0/175G	No, 0/13G	No, 0/17G	No, 0/145G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+lwsync+po	Allow	No, 0/183G	No, 0/13G	No, 0/19G	No, 0/150G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+rs	Allow	No, 0/977G	No, 0/9.5G	No, 0/26G	No, 0/942G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+sync+isync	Allow	No, 0/163G	No, 0/10G	No, 0/17G	No, 0/135G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+sync+po	Allow	No, 0/171G	No, 0/11G	No, 0/19G	No, 0/141G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+eieio+isync	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+eieios	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+lwsync+eieio	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+lwsync+isync	Allow	No, 0/178G	No, 0/13G	No, 0/17G	No, 0/147G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+sync+eieio	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+sync+isync	Allow	No, 0/165G	No, 0/10G	No, 0/17G	No, 0/138G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
R+eieio+sync	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
R+lwsync+sync	Allow	No, 0/118G	No, 0/11G	No, 0/17G	No, 0/89G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
R01	Allow	No, 0/285G	No, 0/10G	No, 0/30G	No, 0/245G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+eieio+po	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+eieios	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+lwsync+eieio	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+lwsync+isync	Allow	No, 0/64G	No, 0/7.2G	No, 0/3.6G	No, 0/53G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+lwsync+po	Allow	No, 0/115G	No, 0/11G	No, 0/12G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+sync+eieio	Allow	No, 0/79G	No, 0/7.8G	No, 0/10G	No, 0/61G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+sync+isync	Allow	No, 0/64G	No, 0/7.2G	No, 0/3.6G	No, 0/53G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
S+sync+po	Allow	No, 0/108G	No, 0/8.1G	No, 0/18G	No, 0/82G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
b4	Allow	No, 0/75G	No, 0/7.0G	No, 0/2.4G	No, 0/66G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
d1	Allow	No, 0/789G	No, 0/7.1G	No, 0/3.4G	No, 0/778G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
d3	Allow	No, 0/75G	No, 0/7.0G	No, 0/2.4G	No, 0/66G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
g3	Allow	No, 0/76G	No, 0/7.0G	No, 0/3.4G	No, 0/66G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
podrw000	Allow	No, 0/73G	No, 0/7.0G	No, 0/3.6G	No, 0/63G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ppc-iwp2.2/amd2	Allow	No, 0/75G	No, 0/7.0G	No, 0/2.6G	No, 0/66G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0179	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0199	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0487	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1321	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DataWW	Allow	No, 0/288G	No, 0/35G	No, 0/650M	No, 0/252G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0139	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0535	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
podrwposwr019	Allow	No, 0/71G	No, 0/6.3G	No, 0/1.6G	No, 0/63G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0156	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0161	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0166	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0173	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0175	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0177	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0178	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0181	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0182	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0186	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0193	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0195	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0197	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0198	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0201	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0213	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0239	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0265	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0290	Allow	No, 0/97G	No, 0/8.2G	No, 0/10G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0292	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0300	Allow	No, 0/97G	No, 0/8.2G	No, 0/10G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0316	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0318	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0319	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0321	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0322	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0330	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0332	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0333	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0384	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0402	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0423	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0444	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0461	Allow	No, 0/97G	No, 0/8.2G	No, 0/10G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0468	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0479	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0485	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0497	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0499	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0669	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0694	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0696	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0704	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0859	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0876	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1082	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1108	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1134	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1159	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1161	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1169	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1185	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1187	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1188	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1190	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1191	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1199	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1201	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1202	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1236	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1257	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1278	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1295	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1302	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1313	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1319	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1331	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1333	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DataRW	Allow	No, 0/288G	No, 0/35G	No, 0/650M	No, 0/252G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0198	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0326	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0407	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0518	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+datas+WW	Allow	No, 0/296G	No, 0/35G	No, 0/9.2G	No, 0/252G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
podrwposwr041	Allow	No, 0/71G	No, 0/6.3G	No, 0/1.6G	No, 0/63G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0218	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0221	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0244	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0247	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0270	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0273	Allow	No, 0/82G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0304	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0306	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0335	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0337	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0338	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0340	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0341	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0483	Allow	No, 0/97G	No, 0/8.2G	No, 0/10G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0488	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0645	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0674	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0677	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0708	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0710	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1087	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1090	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1113	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1116	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1139	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1142	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1173	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1175	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1204	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1206	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1207	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1209	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1210	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1317	Allow	No, 0/97G	No, 0/8.2G	No, 0/10G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1322	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0169	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0347	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0428	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0469	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0491	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0565	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+data+RDWI+data+WW	Allow	No, 0/61G	No, 0/14G	No, 0/2.6G	No, 0/44G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO091	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0490	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0492	Allow	No, 0/81G	No, 0/7.2G	No, 0/5.2G	No, 0/69G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0175	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0188	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0196	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0208	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0336	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0417	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0475	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0528	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0571	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0584	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0592	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO092	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO098	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO129	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO196	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO831	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0173	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0190	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0210	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0215	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0218	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0338	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0343	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0346	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0351	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0419	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0424	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0427	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0432	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0473	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0495	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0530	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0569	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
LB+PPO0586	Allow	No, 0/58G	No, 0/6.2G	No, 0/352M	No, 0/52G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO018	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO048	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO093	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO094	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO095	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO130	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO131	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO142	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO197	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO198	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO209	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO832	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO833	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO844	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
MP+PPO866	Allow	No, 0/98G	No, 0/10G	No, 0/1.6G	No, 0/86G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
R02	Allow	No, 0/92G	No, 0/5.2G	No, 0/7.6G	No, 0/80G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
R03	Allow	No, 0/92G	No, 0/5.2G	No, 0/7.6G	No, 0/80G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+eieio+addr	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+eieio+ctrlisync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+eieio+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+eieio+lwsync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+eieio+sync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+eieios	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+lwsync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+lwsync+isync	Allow	No, 0/107G	No, 0/6.6G	No, 0/8.7G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+sync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRC+sync+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.7G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRR+2W+eieio+lwsync	Allow	No, 0/23G	No, 0/3.9G	No, 0/231M	No, 0/19G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRR+2W+eieio+sync	Allow	No, 0/23G	No, 0/3.9G	No, 0/248M	No, 0/19G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRR+2W+eieios	Allow	No, 0/23G	No, 0/3.9G	No, 0/226M	No, 0/19G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRR+2W+sync+eieio	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRR+2W+sync+lwsync	Allow	No, 0/66G	No, 0/5.5G	No, 0/6.3G	No, 0/54G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+2W+eieio+lwsync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+2W+eieios	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+2W+po+eieio	Allow	No, 0/37G	No, 0/3.9G	No, 0/4.5G	No, 0/28G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+2W+po+lwsync	Allow	No, 0/74G	No, 0/6.4G	No, 0/5.7G	No, 0/62G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+2W+po+sync	Allow	No, 0/73G	No, 0/5.0G	No, 0/5.7G	No, 0/63G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+WR+eieio+sync	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WRW+WR+lwsync+sync	Allow	No, 0/66G	No, 0/5.5G	No, 0/6.3G	No, 0/54G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC	Allow	No, 0/91G	No, 0/4.4G	No, 0/9.2G	No, 0/77G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+addr+eieio	Allow	No, 0/38G	No, 0/3.9G	No, 0/4.8G	No, 0/29G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+addr+po	Allow	No, 0/91G	No, 0/4.3G	No, 0/9.1G	No, 0/77G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+eieio+addr	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+eieio+lwsync	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+eieio+po	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+eieio+sync	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+eieios	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+lwsync+eieio	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+lwsync+po	Allow	No, 0/119G	No, 0/5.7G	No, 0/11G	No, 0/102G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+po+addr	Allow	No, 0/91G	No, 0/4.3G	No, 0/9.1G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+po+eieio	Allow	No, 0/38G	No, 0/3.9G	No, 0/4.9G	No, 0/29G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+po+lwsync	Allow	No, 0/92G	No, 0/5.7G	No, 0/9.1G	No, 0/77G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+po+sync	Allow	No, 0/91G	No, 0/4.3G	No, 0/9.1G	No, 0/78G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+sync+eieio	Allow	No, 0/48G	No, 0/3.9G	No, 0/5.8G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
WWC+sync+po	Allow	No, 0/111G	No, 0/4.3G	No, 0/11G	No, 0/96G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
bb7	Allow	No, 0/47G	No, 0/3.8G	No, 0/1.2G	No, 0/42G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
bb8	Allow	No, 0/43G	No, 0/3.8G	No, 0/1.2G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
bb9	Allow	No, 0/43G	No, 0/3.8G	No, 0/1.2G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
dx1	Allow	No, 0/45G	No, 0/4.0G	No, 0/1.8G	No, 0/39G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
gg3	Allow	No, 0/47G	No, 0/3.8G	No, 0/1.2G	No, 0/42G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
l3	Allow	No, 0/47G	No, 0/3.8G	No, 0/1.9G	No, 0/42G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
o5ls	Allow	No, 0/46G	No, 0/3.8G	No, 0/1.2G	No, 0/41G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB	Allow	No, 0/44G	No, 0/3.8G	No, 0/3.6G	No, 0/37G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+addr+addr+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+addr+eieio+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+addr+lwsync+po	Allow	No, 0/45G	No, 0/5.0G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+addr+po+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+addr+sync+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+addr+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+addr+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+lwsync+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+lwsync+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+po+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+sync+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+eieio+sync+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+lwsync+addr+po	Allow	No, 0/45G	No, 0/5.0G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+lwsync+eieio+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+lwsync+lwsync+po	Allow	No, 0/45G	No, 0/5.0G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+lwsync+po+po	Allow	No, 0/45G	No, 0/5.0G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+lwsync+sync+po	Allow	No, 0/45G	No, 0/5.0G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+sync+addr+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+sync+eieio+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+sync+eieio+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+sync+lwsync+po	Allow	No, 0/45G	No, 0/5.0G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+sync+po+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
3.LB+sync+sync+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0351	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0790	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1220	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+addr+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+addr+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+ctrl+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+ctrl+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+ctrlisync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+ctrlisync+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+data+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+data+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+eieio+addr	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+eieio+ctrlisync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+eieio+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+eieio+sync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+isync+addr	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+isync+ctrlisync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+isync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+isync+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+isync+lwsync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+isync+sync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+lwsync+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+po+addr	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+po+ctrlisync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+po+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+po+lwsync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+po+sync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+eieio+sync+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+addr+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+addr+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+ctrl+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+ctrl+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+ctrlisync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+ctrlisync+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+data+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+data+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+eieio+addr	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+eieio+ctrlisync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+eieio+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+eieio+sync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+isync+addr	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+isync+ctrlisync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+isync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+isync+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+isync+lwsync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+isync+sync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+lwsync+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+po+addr	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+po+ctrlisync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+po+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+po+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+po+lwsync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+po+sync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+lwsync+sync+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+addr+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+addr+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+ctrl+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+ctrl+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+ctrlisync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+ctrlisync+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+data+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+data+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+eieio+addr	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+eieio+ctrlisync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+eieio+isync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+eieio+lwsync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+eieio+sync	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+isync+addr	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+isync+ctrlisync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+isync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+isync+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+isync+lwsync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+isync+sync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+lwsync+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+lwsync+isync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+po+addr	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+po+ctrlisync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+po+eieio	Allow	No, 0/47G	No, 0/3.9G	No, 0/4.9G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+po+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+po+lwsync	Allow	No, 0/106G	No, 0/6.6G	No, 0/8.6G	No, 0/91G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+po+sync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ISA2+sync+sync+isync	Allow	No, 0/99G	No, 0/5.1G	No, 0/8.6G	No, 0/85G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
R04	Allow	No, 0/43G	No, 0/3.2G	No, 0/480M	No, 0/39G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.0+eieio+addr+sync	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.0+eieio+po+sync	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.0+lwsync+addr+sync	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.0+sync+po+sync	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.1+sync+eieio+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+eieio+addr+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+eieio+po+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+eieio+po+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+eieio+sync+po	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+lwsync+addr+po	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+lwsync+po+addr	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+lwsync+po+lwsync	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+lwsync+po+po	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+lwsync+po+sync	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+lwsync+sync+po	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+addr+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+lwsync+po	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+po+addr	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+po+lwsync	Allow	No, 0/45G	No, 0/4.9G	No, 0/1.7G	No, 0/38G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+po+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+po+sync	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.2+sync+sync+po	Allow	No, 0/38G	No, 0/3.5G	No, 0/1.7G	No, 0/32G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.3+eieio+sync+addr	Allow	No, 0/32G	No, 0/3.9G	No, 0/1.0G	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
Z6.3+lwsync+sync+ctrlisync	Allow	No, 0/31G	No, 0/2.9G	No, 0/425M	No, 0/27G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
aclwdrr022	Allow	No, 0/43G	No, 0/3.2G	No, 0/501M	No, 0/39G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
i1	Allow	No, 0/46G	No, 0/3.5G	No, 0/1.2G	No, 0/42G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
podrw002	Allow	No, 0/45G	No, 0/3.5G	No, 0/2.1G	No, 0/40G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
ppc-bcumul1	Allow	No, 0/47G	No, 0/3.9G	No, 0/1.3G	No, 0/41G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
safe154	Allow	No, 0/46G	No, 0/3.5G	No, 0/2.8G	No, 0/40G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
safe184	Allow	No, 0/46G	No, 0/3.5G	No, 0/2.8G	No, 0/40G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
safe538	Allow	No, 0/46G	No, 0/3.5G	No, 0/2.8G	No, 0/40G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0202	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0225	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0230	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0234	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0251	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0256	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0260	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0277	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0282	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0286	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0296	Allow	No, 0/60G	No, 0/4.1G	No, 0/6.8G	No, 0/49G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0308	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0312	Allow	No, 0/60G	No, 0/4.1G	No, 0/6.8G	No, 0/49G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0314	Allow	No, 0/60G	No, 0/4.1G	No, 0/6.8G	No, 0/49G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0325	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0327	Allow	No, 0/60G	No, 0/4.1G	No, 0/6.8G	No, 0/49G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0344	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0345	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0347	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0349	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0353	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0354	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0446	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0681	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0690	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0763	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0767	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0772	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0777	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0784	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1103	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1129	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1155	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR1183	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
podrwposwr029	Allow	No, 0/43G	No, 0/3.2G	No, 0/805M	No, 0/40G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
podrwposwr058	Allow	No, 0/43G	No, 0/3.2G	No, 0/805M	No, 0/40G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0342	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0401	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0422	Allow	No, 0/50G	No, 0/3.6G	No, 0/3.4G	No, 0/43G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen
DETOUR0429	Allow	No, 0/60G	No, 0/4.1G	No, 0/6.8G	No, 0/49G
		Allow unseen	Allow unseen	Allow unseen	Allow unseen

PLDI11 vs. Power

Contents

Forbidden by PLDI11 and observed

Allowed by PLDI11 and unobserved