Comparison with operational model

There are 310 such tests

	Herd	Op	Exp	Power
PPOCXA	Allow	Forbid	Allow	No, 0/5.4G
				Allow unseen
MP+lwsync+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
MP+sync+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/3.0G
				Allow unseen
PPOCA+A	Allow	Forbid	Allow	No, 0/5.4G
				Allow unseen
PPOCA+B	Allow	Forbid	Allow	No, 0/5.4G
				Allow unseen
PPOCXXA	Allow	Forbid	Allow	No, 0/5.4G
				Allow unseen
WRR+2W+addrar+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncap+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncar+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+poar+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+lwsync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poap+lwsync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poap+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+addr	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+addrrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+lwsync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+lwsyncrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+syncrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+addr	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+addrrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+lwsync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+lwsyncrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+sync	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+syncrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+lwsync+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/1.8G
				Allow unseen
WRC+sync+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/1.8G
				Allow unseen
WRR+2W+addr-fri-rfipr-addrrp+lwsync	Allow	Forbid	Allow	No, 0/284M
				Allow unseen
WRR+2W+addr-fri-rfipr-addrrp+sync	Allow	Forbid	Allow	No, 0/148M
				Allow unseen
WRR+2W+addraa+lwsync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+addraa+sync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+poaa+lwsync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+poaa+sync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+2W+addraa+sync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+2W+poaa+lwsync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+2W+poaa+sync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+addr	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+addrrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+lwsync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+lwsyncrp	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+sync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+syncrp	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+addr	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaa+addrrp	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaa+lwsync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+lwsyncrp	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+sync	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+syncrp	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
ISA2+lwsync+addr+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/1.8G
				Allow unseen
ISA2+lwsync+data+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/1.8G
				Allow unseen
ISA2+sync+addr+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/1.8G
				Allow unseen
ISA2+sync+data+addr-fri-rfipr-addrrp	Allow	Forbid	Allow	No, 0/1.8G
				Allow unseen
RWC+addrar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+ctrlar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+isyncap+syncpa	Allow	Forbid	Allow	No, 0/1.1G
				Allow unseen
RWC+isyncar+syncpa	Allow	Forbid	Allow	No, 0/1.1G
				Allow unseen
RWC+lwsyncap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+lwsyncar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+poar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+lwsyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+lwsyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+syncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+lwsyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+lwsyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+syncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlisyncap+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlisyncap+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+lwsyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+lwsyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+syncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+lwsyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+lwsyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+pora	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRC+poap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+syncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+addrar+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+addrar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncap+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncar+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+poar+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+poar+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+lwsyncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+poap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poap+lwsyncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poap+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poaps	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRW+WR+addrap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+WR+poap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+lwsyncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+lwsyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+lwsyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+poap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+syncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraps	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+addrap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+lwsyncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+lwsyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+lwsyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+pora	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WWC+poap+syncap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+syncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+syncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaps	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
RWC+addrar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+ctrlar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+isyncap+syncaa	Allow	Forbid	Allow	No, 0/1.1G
				Allow unseen
RWC+isyncar+syncaa	Allow	Forbid	Allow	No, 0/1.1G
				Allow unseen
RWC+lwsyncap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+lwsyncar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+poaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+poar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+lwsyncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraa+lwsyncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraa+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addraa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraa+syncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addrap+addraa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+ctrlaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+ctrlisyncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+poaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+addrap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+lwsyncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+lwsyncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+syncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlap+addraa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+ctrlaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+ctrlisyncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+poaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlisyncaa+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlisyncaa+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+ctrlisyncap+ctrlisyncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+lwsyncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataaa+lwsyncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataaa+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataaa+syncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataap+addraa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+ctrlaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+ctrlisyncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+dataap+poaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+ctrlisyncpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+ctrlisyncra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+ctrlpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+ctrlra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poaa+lwsyncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+lwsyncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+pora	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRC+poaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+syncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poap+addraa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+ctrlaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+ctrlisyncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRC+poap+poaa	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRC+poap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+addraa+poap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+addraa+syncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+addrar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRR+2W+poaa+poap	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRR+2W+poaa+syncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+poar+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addraa+poap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addraa+syncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+poaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+addrap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+2W+poaa+poap	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRW+2W+poaa+syncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+2W+poap+poaa	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRW+2W+poap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+WR+addraa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+addrap+poaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+WR+addrap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WRW+WR+poaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+poap+poaa	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WRW+WR+poap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+addrap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+lwsyncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+lwsyncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+poap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+pora	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addraa+syncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraa+syncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addrap+addraa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+poaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+addrap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaa+addrap	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaa+addrpa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaa+addrra	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poaa+lwsyncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+lwsyncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+lwsyncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+poap	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WWC+poaa+pora	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WWC+poaa+syncap	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+syncpa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+syncra	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poap+addraa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
WWC+poap+poaa	Allow	Forbid	Allow	No, 0/3.1G
				Allow unseen
WWC+poap+syncaa	Allow	Forbid	Allow	No, 0/2.9G
				Allow unseen
RWC+addraa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+addraa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+ctrlaa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncaa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+ctrlisyncaa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+poaa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
RWC+poaas	Allow	Forbid	Forbid	No, 0/3.1G
				Allow unseen
WRC+addraa+ctrlaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraa+ctrlisyncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+addraas	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+addraa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+ctrlisyncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlaa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+ctrlisyncaas	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataaa+addraa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataaa+ctrlaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+dataaa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+addraa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+ctrlaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+ctrlisyncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRC+poaas	Allow	Forbid	Forbid	No, 0/3.1G
				Allow unseen
WRR+2W+addraa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+poaas	Allow	Forbid	Forbid	No, 0/3.1G
				Allow unseen
WRW+2W+addraa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+2W+poaas	Allow	Forbid	Forbid	No, 0/3.1G
				Allow unseen
WRW+WR+addraa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+addraa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+poaa+syncaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+poaas	Allow	Forbid	Forbid	No, 0/3.1G
				Allow unseen
WWC+addraa+poaa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+addraas	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaa+addraa	Allow	Forbid	Forbid	No, 0/2.9G
				Allow unseen
WWC+poaas	Allow	Forbid	Forbid	No, 0/3.1G
				Allow unseen

Comparison with operational model

More behaviours

Less behaviours

	Herd	Op	Exp	Power
R+lwsync+lwsyncpa	Forbid	Allow	Forbid	No, 0/4.7G
				Allow unseen
R+sync+lwsyncpa	Forbid	Allow	Forbid	No, 0/4.7G
				Allow unseen
R+lwsyncpa+syncpa	Forbid	Allow	Forbid	No, 0/4.7G
				Allow unseen
R+lwsyncpas	Forbid	Allow	Forbid	No, 0/4.7G
				Allow unseen
R+syncpa+lwsyncpa	Forbid	Allow	Forbid	No, 0/4.8G
				Allow unseen
SB+lwsyncpas	Forbid	Allow	Forbid	No, 0/4.7G
				Allow unseen
SB+syncpa+lwsyncpa	Forbid	Allow	Forbid	No, 0/4.0G
				Allow unseen
WRR+2W+lwsyncpa+lwsync	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncpa+sync	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncra+lwsync	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncra+sync	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+lwsync+lwsyncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+lwsyncrp+lwsyncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+sync+lwsyncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+syncrp+lwsyncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
RWC+lwsyncpa+syncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
RWC+lwsyncra+syncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncpa+syncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRR+2W+lwsyncra+syncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+lwsyncpa+syncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen
WRW+WR+lwsyncra+syncpa	Forbid	Allow	Forbid	No, 0/2.9G
				Allow unseen