Specific behaviours

There are 67 such tests

	Model	SC	Power8	ARMv8	X86	ARMv7
auto/RW-G+RW-R1I	Allow	Allow	No, 0/256M	Ok, 101/310M	No, 0/25M	No, 0/15M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R2I	Allow	Allow	No, 0/256M	Ok, 46/310M	No, 0/25M	No, 0/15M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R3I	Allow	Allow	No, 0/256M	Ok, 133/310M	No, 0/25M	No, 0/15M
			Allow unseen		Allow unseen	Allow unseen
LISAStern.2016.02.24a	Allow	Forbid	No, 0/228M	Ok, 1/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-G+RR-G	Allow	Allow	No, 0/228M	Ok, 5/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-G+RR-R	Allow	Allow	No, 0/228M	Ok, 6/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GH+RR-R	Allow	Allow	No, 0/228M	Ok, 14/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GR1+RR-R	Allow	Allow	No, 0/228M	Ok, 9/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GR2+RR-R	Allow	Allow	No, 0/228M	Ok, 3/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GR3+RR-R	Allow	Allow	No, 0/228M	Ok, 7/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-H+RR-R	Allow	Allow	No, 0/228M	Ok, 12/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-G+RW-R1I	Allow	Allow	No, 0/228M	Ok, 2/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-G+RW-R3I	Allow	Allow	No, 0/228M	Ok, 3/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
Alan09	Allow	Allow	No, 0/228M	Ok, 1.1k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
rcu-relacq2	Allow	Allow	No, 0/28M	Ok, 75/129M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA2Rec1G	Allow	Allow	No, 0/28M	Ok, 1/103M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA2Rftx1GM	Allow	Allow	No, 0/228M	Ok, 21/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA2Rtx1GM	Allow	Allow	No, 0/228M	Ok, 10/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA2Rtx1GM-C	Allow	Allow	No, 0/228M	Ok, 235/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA2Rtxf1GM	Allow	Allow	No, 0/228M	Ok, 15/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
rcu-barrier-vs-relacq	Allow	Allow	No, 0/228M	Ok, 199/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
IRIW+rl-o-o-rul+o-srcu-o	Allow	Allow	No, 0/228M	Ok, 612/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA2R2G	Allow	Allow	No, 0/228M	Ok, 1.6k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA3R1Gq	Allow	Allow	No, 0/228M	Ok, 2.3k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA3R2G	Allow	Allow	No, 0/228M	Ok, 3.2k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA3R3G	Allow	Allow	No, 0/228M	Ok, 4.1k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA3Rq1G	Allow	Allow	No, 0/228M	Ok, 916/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISAq3R1G	Allow	Allow	No, 0/228M	Ok, 1.7k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
Weak-RCU-Readers-With-More-Grace	Allow	Allow	No, 0/228M	Ok, 116/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/C-WW-G+WW-B+WW-G+WW-R	Allow	Allow	No, 0/28M	Ok, 23/91M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/C-WW-G+WW-B+WW-R+WW-R	Allow	Allow	No, 0/28M	Ok, 1.1k/91M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/C-WW-G+WW-G+WW-R+WW-R	Allow	Allow	No, 0/28M	Ok, 1/91M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/C-WW-G+WW-R+WW-R+WW-R	Allow	Allow	No, 0/28M	Ok, 6/91M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/C-WW-GH+WW-R+WW-R+WW-R	Allow	Allow	No, 0/28M	Ok, 1.8k/91M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/C-WW-H+WW-R+WW-R+WW-R	Allow	Allow	No, 0/28M	Ok, 4.2k/91M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-B+RW-G+RW-B	Allow	Allow	No, 0/228M	Ok, 29/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-G+RW-G+RW-B	Allow	Allow	No, 0/228M	Ok, 12k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R+RW-G+RW-R	Allow	Allow	No, 0/228M	Ok, 18/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R+RW-R+RW-R	Allow	Allow	No, 0/228M	Ok, 7/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R1+RW-G+RW-R1	Allow	Allow	No, 0/228M	Ok, 20/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R1I+RW-G+RW-R1I	Allow	Allow	No, 0/228M	Ok, 20/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R2+RW-G+RW-R2	Allow	Allow	No, 0/228M	Ok, 15/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R2I+RW-G+RW-R2I	Allow	Allow	No, 0/228M	Ok, 15/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R2I+RW-R2I+RW-R2I	Allow	Allow	No, 0/228M	Ok, 79/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R3+RW-G+RW-R3	Allow	Allow	No, 0/228M	Ok, 16/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R3I+RW-G+RW-R3I	Allow	Allow	No, 0/228M	Ok, 21/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R3I+RW-R3I+RW-R3I	Allow	Allow	No, 0/228M	Ok, 159/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-RB+RW-G+RW-R	Allow	Allow	No, 0/228M	Ok, 21/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-RB+RW-R+RW-R	Allow	Allow	No, 0/228M	Ok, 9/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-RI+RW-G+RW-RI	Allow	Allow	No, 0/228M	Ok, 12/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-r+RW-a+RW-B	Allow	Allow	No, 0/228M	Ok, 8/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-H+RW-R+RW-R+RW-R	Allow	Allow	No, 0/228M	Ok, 21/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/WR-G+WR-R+WR-G+WR-R	Allow	Allow	No, 0/228M	Ok, 16/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/WW-G+WW-B+WW-G+WW-R	Allow	Allow	No, 0/228M	Ok, 25/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/WW-G+WW-R+WW-G+WW-R	Allow	Allow	No, 0/228M	Ok, 21/207M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-G+RR-G+RR-G	Allow	Allow	No, 0/228M	Ok, 3/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-G+RR-G+RR-R	Allow	Allow	No, 0/228M	Ok, 11/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-G+RR-R+RR-R	Allow	Allow	No, 0/228M	Ok, 1.1k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GH+RR-R+RR-R	Allow	Allow	No, 0/228M	Ok, 400/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GR1+RR-R+RR-R	Allow	Allow	No, 0/228M	Ok, 417/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GR2+RR-R+RR-R	Allow	Allow	No, 0/228M	Ok, 996/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-GR3+RR-R+RR-R	Allow	Allow	No, 0/228M	Ok, 1.8k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RR-H+RR-R+RR-R	Allow	Allow	No, 0/228M	Ok, 640/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA3Rqq1G	Allow	Allow	No, 0/228M	Ok, 3.5k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
LISA3qRq1G	Allow	Allow	No, 0/228M	Ok, 1.0k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
rcu-heuristics-failure	Allow	Allow	No, 0/228M	Ok, 1.2k/217M	No, 0/12M	No, 0/7.6M
			Allow unseen		Allow unseen	Allow unseen
auto/RW-G+RW-R+RW-G+RW-R-Auxiliary	Allow	Allow	No, 0/7.5G	Ok, 20/4.9G	No, 0/16G	No, 0/1.2G
			Allow unseen		Allow unseen	Allow unseen

There are 272 such tests

	Model	SC	Power8	ARMv8	X86	ARMv7
C-rddep	Allow	Forbid	Ok, 8.9M/15G	No, 0/9.4G	No, 0/32G	No, 0/2.6G
				Allow unseen	Allow unseen	Allow unseen
Luc16	Allow	Forbid	Ok, 4.6M/15G	No, 0/10G	No, 0/33G	No, 0/2.6G
				Allow unseen	Allow unseen	Allow unseen
C-ManfredSpraul-L1G1locknr	Allow	Allow	Ok, 12k/12G	No, 0/5.2G	No, 0/24G	No, 0/660M
				Allow unseen	Allow unseen	Allow unseen
C-ManfredSpraul-L1G1xchgnr	—	—	Ok, 10k/10G	No, 0/5.2G	No, 0/22G	No, 0/654M
				Allow unseen	Allow unseen	Allow unseen
C-atomic-00	Allow	Forbid	Ok, 535M/6.2G	No, 0/2.7G	No, 0/14G	No, 0/330M
				Allow unseen	Allow unseen	Allow unseen
RWC+poacquireacquire+fencembonceonce+Once	Allow	Forbid	Ok, 142k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
RWC+poacquireacquire+fencembonceonce+Release	Allow	Forbid	Ok, 443k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
RWC+poacquireonce+fencembonceonce+Once	Allow	Forbid	Ok, 140k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
RWC+poacquireonce+fencembonceonce+Release	Allow	Forbid	Ok, 452k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+ctrlonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 3.0k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+ctrlonceonce+poacquireacquire+Once	Allow	Forbid	Ok, 2.7k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+ctrlonceonce+poacquireacquire+Release	Allow	Forbid	Ok, 8.1k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+ctrlonceonce+poacquireonce+Once	Allow	Forbid	Ok, 2.9k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+ctrlonceonce+poacquireonce+Release	Allow	Forbid	Ok, 8.2k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+data+rmb	Allow	Forbid	Ok, 1.1k/7.7G	No, 0/5.3G	No, 0/17G	No, 0/1.6G
				Allow unseen	Allow unseen	Allow unseen
WRC+poonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 2.7k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+poonceonce+poacquireacquire+Once	Allow	Forbid	Ok, 3.5k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+poonceonce+poacquireacquire+Release	Allow	Forbid	Ok, 5.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+poonceonce+poacquireonce+Once	Allow	Forbid	Ok, 3.2k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRC+poonceonce+poacquireonce+Release	Allow	Forbid	Ok, 7.8k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireacquire+fencembonceonce+Once	Allow	Forbid	Ok, 24k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireacquire+fencembonceonce+Release	Allow	Forbid	Ok, 169k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireacquire+pooncerelease+Once	Allow	Forbid	Ok, 43k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireacquire+pooncerelease+Release	Allow	Forbid	Ok, 229k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireacquire+poreleaserelease+Once	Allow	Forbid	Ok, 37k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireacquire+poreleaserelease+Release	Allow	Forbid	Ok, 152k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireonce+fencembonceonce+Once	Allow	Forbid	Ok, 39k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireonce+fencembonceonce+Release	Allow	Forbid	Ok, 170k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireonce+pooncerelease+Once	Allow	Forbid	Ok, 35k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireonce+pooncerelease+Release	Allow	Forbid	Ok, 207k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireonce+poreleaserelease+Once	Allow	Forbid	Ok, 44k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRR+2W+poacquireonce+poreleaserelease+Release	Allow	Forbid	Ok, 156k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+ctrlonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 4.7k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+ctrlonceonce+pooncerelease+Once	Allow	Forbid	Ok, 3.1k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+ctrlonceonce+pooncerelease+Release	Allow	Forbid	Ok, 14k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+ctrlonceonce+poreleaserelease+Once	Allow	Forbid	Ok, 868/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+ctrlonceonce+poreleaserelease+Release	Allow	Forbid	Ok, 4.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+poonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 5.0k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+poonceonce+pooncerelease+Once	Allow	Forbid	Ok, 3.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+poonceonce+pooncerelease+Release	Allow	Forbid	Ok, 14k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+poonceonce+poreleaserelease+Once	Allow	Forbid	Ok, 834/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+2W+poonceonce+poreleaserelease+Release	Allow	Forbid	Ok, 2.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+WR+ctrlonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 39k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WRW+WR+poonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 56k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 964/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+poacquireonce+Once	Allow	Forbid	Ok, 940/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+poacquireonce+Release	Allow	Forbid	Ok, 1.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+poacquirerelease+Once	Allow	Forbid	Ok, 965/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+poacquirerelease+Release	Allow	Forbid	Ok, 1.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+poonceonce+Release	Allow	Forbid	Ok, 1.8k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+pooncerelease+Once	Allow	Forbid	Ok, 1.0k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonce+pooncerelease+Release	Allow	Forbid	Ok, 1.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+ctrlonceonces+Release	Allow	Forbid	Ok, 1.5k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+o-branch-o+o-branch-o	Allow	Forbid	Ok, 1/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+ctrlonceonce+Release	Allow	Forbid	Ok, 1.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+fencembonceonce+Release	Allow	Forbid	Ok, 1.0k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+poacquireonce+Once	Allow	Forbid	Ok, 1.1k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+poacquireonce+Release	Allow	Forbid	Ok, 1.4k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+poacquirerelease+Once	Allow	Forbid	Ok, 779/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+poacquirerelease+Release	Allow	Forbid	Ok, 718/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+pooncerelease+Once	Allow	Forbid	Ok, 1.3k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonce+pooncerelease+Release	Allow	Forbid	Ok, 1.3k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
WWC+poonceonces+Release	Allow	Forbid	Ok, 2.7k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Wo+Ro-rb-Ro+Wo-mb-Ro	Allow	Forbid	Ok, 138k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
rwc+fencermbonceonce+fencembonceonce+Once	Allow	Forbid	Ok, 145k/7.7G	No, 0/5.5G	No, 0/17G	No, 0/1.6G
				Allow unseen	Allow unseen	Allow unseen
wrr+2w+fencermbonceonce+fencewmbonceonce+Once	Allow	Forbid	Ok, 38k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
3.2W+fencembonceonce+fencembonceonce+poreleaseonce	Allow	Forbid	Ok, 7.8k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
3.2W+fencembonceonce+pooncerelease+poreleaseonce	Allow	Forbid	Ok, 22k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
3.2W+fencembonceonce+poreleaseonce+pooncerelease	Allow	Forbid	Ok, 17k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
3.2W+fencembonceonce+poreleaseonce+poreleaserelease	Allow	Forbid	Ok, 19k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
3.2W+pooncerelease+poreleaseonce+poreleaserelease	Allow	Forbid	Ok, 35k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Luc04	Allow	Forbid	Ok, 348k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
W+RWC+pooncerelease+poacquireacquire+fencembonceonce	Allow	Forbid	Ok, 664k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
W+RWC+pooncerelease+poacquireonce+fencembonceonce	Allow	Forbid	Ok, 609k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
W+RWC+poreleaserelease+poacquireacquire+fencembonceonce	Allow	Forbid	Ok, 1.1M/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
W+RWC+poreleaserelease+poacquireonce+fencembonceonce	Allow	Forbid	Ok, 915k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z3-relacq	Allow	Forbid	Ok, 28k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.1+fencembonceonce+poreleaseonce+poacquirerelease	Allow	Forbid	Ok, 1.3k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.1+pooncerelease+poreleaseonce+poacquirerelease	Allow	Forbid	Ok, 6.0k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.1+poreleaserelease+poreleaseonce+poacquirerelease	Allow	Forbid	Ok, 7.3k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+fencembonceonce+pooncerelease+poacquireacquire	Allow	Forbid	Ok, 109k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+fencembonceonce+pooncerelease+poacquireonce	Allow	Forbid	Ok, 121k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+fencembonceonce+poreleaserelease+poacquireacquire	Allow	Forbid	Ok, 395k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+fencembonceonce+poreleaserelease+poacquireonce	Allow	Forbid	Ok, 304k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+pooncerelease+pooncerelease+poacquireacquire	Allow	Forbid	Ok, 181k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+pooncerelease+pooncerelease+poacquireonce	Allow	Forbid	Ok, 196k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+pooncerelease+poreleaserelease+poacquireacquire	Allow	Forbid	Ok, 585k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+pooncerelease+poreleaserelease+poacquireonce	Allow	Forbid	Ok, 518k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+poreleaserelease+pooncerelease+poacquireacquire	Allow	Forbid	Ok, 144k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+poreleaserelease+pooncerelease+poacquireonce	Allow	Forbid	Ok, 135k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+poreleaserelease+poreleaserelease+poacquireacquire	Allow	Forbid	Ok, 434k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z6.3+poreleaserelease+poreleaserelease+poacquireonce	Allow	Forbid	Ok, 362k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GRR+R-Oc	Allow	Forbid	Ok, 151/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-A	Allow	Forbid	Ok, 685k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-Dd	Allow	Forbid	Ok, 474k/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-Oc	Allow	Forbid	Ok, 596k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-A+R-Oc	Allow	Forbid	Ok, 27k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-Dd+R-Oc	Allow	Forbid	Ok, 318/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-Oc+R-Oc	Allow	Forbid	Ok, 75/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
w+rwc+fencewmbonceonce+fencermbonceonce+fencembonceonce	Allow	Forbid	Ok, 646k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
z6.3+fencewmbonceonce+fencewmbonceonce+fencermbonceonce	Allow	Forbid	Ok, 171k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
LISA-ppo-weakness	Allow	Forbid	Ok, 379k/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
LISA-ppo-weakness2	Allow	Forbid	Ok, 252k/7.5G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Luc17	Allow	Forbid	Ok, 731k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z3-floating	Allow	Forbid	Ok, 4.1M/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Z3-floating-relacq	Allow	Forbid	Ok, 15k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Alan09	Allow	Forbid	Ok, 402k/228M	No, 0/217M	No, 0/12M	No, 0/7.6M
				Allow unseen	Allow unseen	Allow unseen
rcu-relacq2	Allow	Forbid	Ok, 2.1k/28M	No, 0/129M	No, 0/12M	No, 0/7.6M
				Allow unseen	Allow unseen	Allow unseen
Luc14	Allow	Forbid	Ok, 2.6M/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
Luc15	Allow	Forbid	Ok, 665k/7.7G	No, 0/5.2G	No, 0/17G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
rcu-barrier-vs-relacq	Allow	Forbid	Ok, 591k/228M	No, 0/217M	No, 0/12M	No, 0/7.6M
				Allow unseen	Allow unseen	Allow unseen
C-ManfredSpraul-L1G2xchg	—	—	Ok, 36k/5.0G	No, 0/2.6G	No, 0/11G	No, 0/320M
				Allow unseen	Allow unseen	Allow unseen
IRIW+fencembonceonce+poacquireacquire+OnceRelease	Allow	Forbid	Ok, 76k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+fencembonceonce+poacquireonce+OnceRelease	Allow	Forbid	Ok, 72k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+o-mb-o+o-rmb-o	Allow	Forbid	Ok, 414/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+o-rmb-o+o-mb-o	Allow	Forbid	Ok, 346/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquire+fencembonceonce+OnceOnce	Allow	Forbid	Ok, 17k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquire+fencembonceonce+OnceRelease	Allow	Forbid	Ok, 15k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquire+fencembonceonce+ReleaseRelease	Allow	Forbid	Ok, 63k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquire+poacquireonce+OnceOnce	Allow	Forbid	Ok, 130k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquire+poacquireonce+OnceRelease	Allow	Forbid	Ok, 289k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquire+poacquireonce+ReleaseRelease	Allow	Forbid	Ok, 453k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquires+OnceOnce	Allow	Forbid	Ok, 155k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquires+OnceRelease	Allow	Forbid	Ok, 318k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireacquires+ReleaseRelease	Allow	Forbid	Ok, 410k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonce+fencembonceonce+OnceOnce	Allow	Forbid	Ok, 17k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonce+fencembonceonce+OnceRelease	Allow	Forbid	Ok, 12k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonce+fencembonceonce+ReleaseRelease	Allow	Forbid	Ok, 66k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonce+poacquireacquire+OnceRelease	Allow	Forbid	Ok, 293k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonces+OnceOnce	Allow	Forbid	Ok, 142k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonces+OnceRelease	Allow	Forbid	Ok, 290k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRIW+poacquireonces+ReleaseRelease	Allow	Forbid	Ok, 378k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+fencembonceonce+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 9.2k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+fencembonceonce+ctrlonceonce+ReleaseOnce	Allow	Forbid	Ok, 372/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+fencembonceonce+ctrlonceonce+ReleaseRelease	Allow	Forbid	Ok, 6.3k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+fencembonceonce+poonceonce+OnceRelease	Allow	Forbid	Ok, 5.2k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+fencembonceonce+poonceonce+ReleaseOnce	Allow	Forbid	Ok, 357/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+fencembonceonce+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 4.3k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+ctrlonceonce+OnceOnce	Allow	Forbid	Ok, 16k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 40k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+ctrlonceonce+ReleaseOnce	Allow	Forbid	Ok, 52k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+ctrlonceonce+ReleaseRelease	Allow	Forbid	Ok, 67k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+fencembonceonce+OnceOnce	Allow	Forbid	Ok, 7.1k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+fencembonceonce+OnceRelease	Allow	Forbid	Ok, 6.2k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+fencembonceonce+ReleaseOnce	Allow	Forbid	Ok, 32k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+fencembonceonce+ReleaseRelease	Allow	Forbid	Ok, 28k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquireonce+OnceOnce	Allow	Forbid	Ok, 6.8k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquireonce+OnceRelease	Allow	Forbid	Ok, 8.1k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquireonce+ReleaseOnce	Allow	Forbid	Ok, 33k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquireonce+ReleaseRelease	Allow	Forbid	Ok, 36k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquirerelease+OnceOnce	Allow	Forbid	Ok, 5.3k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquirerelease+OnceRelease	Allow	Forbid	Ok, 6.4k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquirerelease+ReleaseOnce	Allow	Forbid	Ok, 32k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poacquirerelease+ReleaseRelease	Allow	Forbid	Ok, 79k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poonceonce+OnceOnce	Allow	Forbid	Ok, 23k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poonceonce+OnceRelease	Allow	Forbid	Ok, 50k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poonceonce+ReleaseOnce	Allow	Forbid	Ok, 123k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 165k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+pooncerelease+OnceOnce	Allow	Forbid	Ok, 13k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+pooncerelease+OnceRelease	Allow	Forbid	Ok, 13k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+pooncerelease+ReleaseOnce	Allow	Forbid	Ok, 77k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireacquire+pooncerelease+ReleaseRelease	Allow	Forbid	Ok, 38k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+ctrlonceonce+OnceOnce	Allow	Forbid	Ok, 23k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 47k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+ctrlonceonce+ReleaseOnce	Allow	Forbid	Ok, 46k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+ctrlonceonce+ReleaseRelease	Allow	Forbid	Ok, 64k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+fencembonceonce+OnceOnce	Allow	Forbid	Ok, 4.1k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+fencembonceonce+OnceRelease	Allow	Forbid	Ok, 4.9k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+fencembonceonce+ReleaseOnce	Allow	Forbid	Ok, 24k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+fencembonceonce+ReleaseRelease	Allow	Forbid	Ok, 27k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poacquirerelease+OnceOnce	Allow	Forbid	Ok, 4.5k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poacquirerelease+OnceRelease	Allow	Forbid	Ok, 5.8k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poacquirerelease+ReleaseOnce	Allow	Forbid	Ok, 24k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poacquirerelease+ReleaseRelease	Allow	Forbid	Ok, 15k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poonceonce+OnceOnce	Allow	Forbid	Ok, 11k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poonceonce+OnceRelease	Allow	Forbid	Ok, 38k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poonceonce+ReleaseOnce	Allow	Forbid	Ok, 55k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 92k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+pooncerelease+OnceOnce	Allow	Forbid	Ok, 7.7k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+pooncerelease+OnceRelease	Allow	Forbid	Ok, 5.6k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+pooncerelease+ReleaseOnce	Allow	Forbid	Ok, 35k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonce+pooncerelease+ReleaseRelease	Allow	Forbid	Ok, 57k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonces+OnceOnce	Allow	Forbid	Ok, 7.4k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonces+OnceRelease	Allow	Forbid	Ok, 6.3k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonces+ReleaseOnce	Allow	Forbid	Ok, 48k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRRWIW+poacquireonces+ReleaseRelease	Allow	Forbid	Ok, 60k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+fencembonceonce+OnceRelease	Allow	Forbid	Ok, 83/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+poacquireonce+OnceRelease	Allow	Forbid	Ok, 129/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+poacquirerelease+OnceRelease	Allow	Forbid	Ok, 108/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+poonceonce+OnceRelease	Allow	Forbid	Ok, 6.9k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 14k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+pooncerelease+OnceOnce	Allow	Forbid	Ok, 249/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+pooncerelease+OnceRelease	Allow	Forbid	Ok, 144/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonce+pooncerelease+ReleaseRelease	Allow	Forbid	Ok, 634/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonces+OnceRelease	Allow	Forbid	Ok, 5.4k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+ctrlonceonces+ReleaseRelease	Allow	Forbid	Ok, 13k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+fencembonceonce+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 265/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+fencembonceonce+ctrlonceonce+ReleaseRelease	Allow	Forbid	Ok, 177/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+fencembonceonce+poonceonce+OnceRelease	Allow	Forbid	Ok, 254/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+fencembonceonce+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 256/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquireonce+ctrlonceonce+OnceOnce	Allow	Forbid	Ok, 229/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquireonce+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 401/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquireonce+ctrlonceonce+ReleaseRelease	Allow	Forbid	Ok, 296/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquireonce+poonceonce+OnceOnce	Allow	Forbid	Ok, 431/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquireonce+poonceonce+OnceRelease	Allow	Forbid	Ok, 492/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquireonce+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 427/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquirerelease+ctrlonceonce+OnceOnce	Allow	Forbid	Ok, 216/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquirerelease+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 251/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquirerelease+ctrlonceonce+ReleaseRelease	Allow	Forbid	Ok, 184/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquirerelease+poonceonce+OnceOnce	Allow	Forbid	Ok, 486/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquirerelease+poonceonce+OnceRelease	Allow	Forbid	Ok, 321/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poacquirerelease+poonceonce+ReleaseRelease	Allow	Forbid	Ok, 247/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 6.7k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+fencembonceonce+OnceRelease	Allow	Forbid	Ok, 89/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+poacquireonce+OnceRelease	Allow	Forbid	Ok, 199/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+poacquirerelease+OnceRelease	Allow	Forbid	Ok, 172/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+pooncerelease+OnceOnce	Allow	Forbid	Ok, 198/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+pooncerelease+OnceRelease	Allow	Forbid	Ok, 169/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonce+pooncerelease+ReleaseRelease	Allow	Forbid	Ok, 658/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonces+OnceRelease	Allow	Forbid	Ok, 7.7k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+poonceonces+ReleaseRelease	Allow	Forbid	Ok, 15k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+pooncerelease+ctrlonceonce+OnceRelease	Allow	Forbid	Ok, 370/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
IRWIW+pooncerelease+poonceonce+OnceRelease	Allow	Forbid	Ok, 470/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
iriw+fencermbonceonces+OnceOnce	Allow	Forbid	Ok, 144k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
irrwiw+fencermbonceonce+fencembonceonce+OnceOnce	Allow	Forbid	Ok, 17k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
C-bigdetour-failure	Allow	Forbid	Ok, 3.0M/7.5G	No, 0/4.7G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LRR+R-A+R-Oc	Allow	Forbid	Ok, 107/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
C-SB+l-o-o-u+l-o-o-u+l-o-o-u+l-o-o-u-XE	—	—	Ok, 1.5k/400M	—	No, 0/720M	No, 0/400M
					Allow unseen	Allow unseen
RW-rwa+RW-ra+RW-rra+CK	Allow	Forbid	Ok, 1.4k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GRR+R-A+R-Oc	Allow	Forbid	Ok, 14/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-A+O-Dd	Allow	Forbid	Ok, 1.1k/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-A+R-A	Allow	Forbid	Ok, 1.1k/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-A+R-Dd	Allow	Forbid	Ok, 1.1k/7.5G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-A+R-Oc	Allow	Forbid	Ok, 795/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-Dd+R-A	Allow	Forbid	Ok, 1.6k/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-Dd+R-Oc	Allow	Forbid	Ok, 1.1k/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-GWR+R-Oc+R-Oc	Allow	Forbid	Ok, 913/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-A+OB-O+R-Oc	Allow	Forbid	Ok, 25/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-A+R-A+R-Oc	Allow	Forbid	Ok, 43/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-Dd+OB-O+R-Oc	Allow	Forbid	Ok, 13/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LWR+R-Dd+R-A+R-Oc	Allow	Forbid	Ok, 54/7.7G	No, 0/5.0G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
auto/RW-GH+RW-R+RW-R+RW-R	Allow	Allow	Ok, 1/228M	No, 0/217M	No, 0/12M	No, 0/7.6M
				Allow unseen	Allow unseen	Allow unseen
auto/WR-GH+WR-R+WR-R+WR-R	Allow	Allow	Ok, 4/228M	No, 0/207M	No, 0/12M	No, 0/7.6M
				Allow unseen	Allow unseen	Allow unseen
LISA-bigdetour-failure	Allow	Forbid	Ok, 2.5M/7.7G	No, 0/5.2G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
LISA-super-detour1	Allow	Forbid	Ok, 1.5k/7.5G	No, 0/4.9G	No, 0/16G	No, 0/1.3G
				Allow unseen	Allow unseen	Allow unseen
rcu-heuristics-failure	Allow	Forbid	Ok, 7/228M	No, 0/217M	No, 0/12M	No, 0/7.6M
				Allow unseen	Allow unseen	Allow unseen
auto/RW-G+RW-R+RW-G+RW-R-Auxiliary	Allow	Allow	Ok, 26k/7.5G	No, 0/4.9G	No, 0/16G	No, 0/1.2G
				Allow unseen	Allow unseen	Allow unseen
auto/LB-LRR+R-A+R-A+R-Oc	Allow	Forbid	Ok, 1/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-LRR+R-Dd+R-A+R-Oc	Allow	Forbid	Ok, 3/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/C-WW-B+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 106/1.8G	—	No, 0/4.7G	—
					Allow unseen
auto/C-WW-R+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 5.2k/1.8G	—	No, 0/4.7G	—
					Allow unseen
auto/LB-GWR+R-A+R-A+R-A	Allow	Forbid	Ok, 6.1k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-A+R-A+R-Oc	Allow	Forbid	Ok, 6.0k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-A+R-Oc+R-Oc	Allow	Forbid	Ok, 16k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-Dd+R-A+R-A	Allow	Forbid	Ok, 3.6k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-Dd+R-A+R-Oc	Allow	Forbid	Ok, 3.3k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-Dd+R-Oc+R-A	Allow	Forbid	Ok, 976/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-Dd+R-Oc+R-Oc	Allow	Forbid	Ok, 1.1k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-GWR+R-Oc+R-Oc+R-Oc	Allow	Forbid	Ok, 182k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-LWR+R-A+OB-O+R-A+R-Oc	Allow	Forbid	Ok, 1/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-LWR+R-A+R-Oc+R-A+R-Oc	Allow	Forbid	Ok, 1/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/LB-LWR+R-Dd+R-Oc+R-A+R-Oc	Allow	Forbid	Ok, 1/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/WW-B+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 210/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/WW-R+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 663k/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/RR-R+RR-R+RR-R+RR-R	Allow	Forbid	Ok, 58M/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/C-WW-B+WW-R+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 30/1.8G	—	No, 0/4.7G	—
					Allow unseen
auto/C-WW-R+WW-R+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 648/1.8G	—	No, 0/4.7G	—
					Allow unseen
auto/WW-B+WW-R+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 179/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/WW-R+WW-R+WW-R+WW-R+WW-R+WW-R	Allow	Forbid	Ok, 119k/3.0G	—	No, 0/6.9G	—
					Allow unseen
C-cpord-obs-failure	Allow	Allow	Ok, 7/3.0G	—	No, 0/7.1G	—
					Allow unseen
LISA-cpord-obs-failure	Allow	Allow	Ok, 1/3.0G	—	No, 0/6.9G	—
					Allow unseen
auto/RR-R+RR-R+RR-R+RR-R+RR-R	Allow	Allow	Ok, 20M/3.0G	—	No, 0/6.9G	—
					Allow unseen

Specific behaviours

ARMv7

ARMv8

Power8

X86