Previous Up Next

Restoring SC (or not)

First, some “simple” SC violations are selected. By “simple” it is meant that the tests are critical ones, contain no instruction other than memory accesses and have two or three threads. Memory types may vary though.

We then show how to restore SC by using exchange instructions and memory fence mfence instructions, regardless of memory types. We also show that using sfence instructions does not suffice.

Simple SC violations

There are 159 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+WB+WCAllowOk, 355M/4.3GOk, 78M/890MOk, 26M/300MOk, 70M/560MOk, 32M/991MOk, 55M/504MOk, 80M/553MOk, 69k/66MOk, 14M/173MOk, 690k/267M
2+2W+WC+WCAllowOk, 4.7M/4.3GOk, 931k/890MOk, 279k/300MOk, 1.2M/560MOk, 1.2M/991MOk, 253k/504MOk, 541k/553MOk, 26k/66MOk, 204k/173MOk, 100k/267M
MP+WB+WCAllowOk, 37k/4.3GOk, 36/890MOk, 154/300MOk, 49/560MOk, 124/991MOk, 994/504MOk, 34k/553MNo, 0/66MOk, 1.8k/173MOk, 56/267M
         Allow unseen  
MP+WC+WBAllowOk, 260M/4.3GOk, 76M/890MOk, 16M/300MOk, 68M/560MOk, 19M/991MOk, 21M/504MOk, 50M/553MOk, 73k/66MOk, 11M/173MOk, 1.2M/267M
MP+WC+WCAllowOk, 108k/4.3GOk, 15k/890MOk, 25k/300MOk, 21k/560MOk, 6.4k/991MOk, 13k/504MOk, 25k/553MNo, 0/66MOk, 2.8k/173MNo, 0/267M
         Allow unseen Allow unseen
R+WB+UCAllowOk, 31M/4.3GOk, 3.2M/890MOk, 5.3M/300MOk, 1.1M/560MOk, 8.5M/991MOk, 12M/504MOk, 774k/553MOk, 16/66MOk, 641k/173MOk, 18k/267M
R+WB+WBAllowOk, 30M/4.3GOk, 3.3M/890MOk, 2.5M/300MOk, 2.3M/560MOk, 11M/991MOk, 6.3M/504MOk, 2.3M/553MOk, 51k/66MOk, 947k/173MOk, 754k/267M
R+WB+WCAllowOk, 380M/4.3GOk, 78M/890MOk, 25M/300MOk, 68M/560MOk, 50M/991MOk, 56M/504MOk, 83M/553MOk, 194k/66MOk, 15M/173MOk, 5.9M/267M
R+WB+WTAllowOk, 22M/3.3GOk, 3.1M/890MOk, 5.3M/300MOk, 1.0M/560M—Ok, 12M/504MOk, 839k/553MOk, 11/66MOk, 575k/173MOk, 12k/267M
R+WC+WBAllowOk, 288M/4.3GOk, 77M/890MOk, 26M/300MOk, 71M/560MOk, 24M/991MOk, 25M/504MOk, 54M/553MOk, 56k/66MOk, 9.4M/173MOk, 607k/267M
R+WC+WCAllowOk, 202k/4.3GOk, 7.6k/890MOk, 18k/300MOk, 15k/560MOk, 10k/991MOk, 36k/504MOk, 110k/553MNo, 0/66MOk, 5.3k/173MOk, 1/267M
         Allow unseen  
R+WT+UCAllowOk, 3.2M/3.3GOk, 410k/890MOk, 171k/300MOk, 192k/560M—Ok, 1.3M/504MOk, 740k/553MOk, 38/66MOk, 357k/173MOk, 9.2k/267M
R+WT+WBAllowOk, 601k/3.3GOk, 105k/890MOk, 35k/300MOk, 51k/560M—Ok, 79k/504MOk, 295k/553MOk, 22/66MOk, 30k/173MOk, 6.1k/267M
R+WT+WCAllowOk, 474M/3.3GOk, 95M/890MOk, 31M/300MOk, 85M/560M—Ok, 126M/504MOk, 111M/553MOk, 5.4k/66MOk, 26M/173MOk, 800k/267M
R+WT+WTAllowOk, 3.4M/3.3GOk, 526k/890MOk, 174k/300MOk, 213k/560M—Ok, 1.3M/504MOk, 741k/553MOk, 46/66MOk, 384k/173MOk, 6.4k/267M
S+WB+WCAllowOk, 16k/4.3GOk, 32/890MOk, 35/300MOk, 76/556MOk, 7/991MOk, 429/504MOk, 14k/553MNo, 0/66MOk, 707/173MOk, 32/227M
         Allow unseen  
S+WC+WBAllowOk, 325M/4.3GOk, 68M/890MOk, 23M/300MOk, 63M/556MOk, 29M/991MOk, 54M/504MOk, 73M/553MOk, 32k/66MOk, 14M/173MOk, 314k/227M
S+WC+WCAllowOk, 263k/4.3GOk, 8.0k/890MOk, 16k/300MOk, 14k/556MOk, 14k/991MOk, 87k/504MOk, 111k/553MNo, 0/66MOk, 13k/173MNo, 0/227M
         Allow unseen Allow unseen
SB+UC+WTAllowOk, 17k/2.9GOk, 486/778MOk, 305/236MOk, 697/432M—Ok, 2.3k/408MOk, 13k/553MNo, 0/66MOk, 869/173MNo, 0/227M
         Allow unseen Allow unseen
SB+WB+UCAllowOk, 5.9M/3.8GOk, 498k/778MOk, 904k/236MOk, 26k/432MOk, 3.1M/927MOk, 1.0M/408MOk, 379k/553MOk, 5/66MOk, 73k/173MOk, 3.0k/227M
SB+WB+WBAllowOk, 165M/3.8GOk, 9.4M/778MOk, 7.5M/236MOk, 4.7M/432MOk, 106M/927MOk, 14M/408MOk, 13M/553MOk, 347k/66MOk, 4.5M/173MOk, 5.2M/227M
SB+WB+WCAllowOk, 269M/3.8GOk, 66M/778MOk, 22M/236MOk, 58M/432MOk, 37M/927MOk, 10M/408MOk, 60M/553MOk, 159k/66MOk, 10M/173MOk, 5.7M/227M
SB+WB+WTAllowOk, 84M/2.9GOk, 24M/778MOk, 12M/236MOk, 19M/432M—Ok, 12M/408MOk, 7.5M/553MOk, 103k/66MOk, 3.1M/173MOk, 6.8M/227M
SB+WC+WTAllowOk, 230M/2.9GOk, 65M/778MOk, 23M/236MOk, 60M/428M—Ok, 10M/408MOk, 64M/553MOk, 10k/66MOk, 8.5M/173MOk, 843k/227M
SB+WT+WTAllowOk, 103M/2.9GOk, 37M/778MOk, 5.1M/236MOk, 34M/428M—Ok, 9.4M/408MOk, 8.0M/553MOk, 204k/66MOk, 3.3M/173MOk, 5.7M/227M
RWC+WB+UCAllowOk, 1.1M/1.9GOk, 39k/336MOk, 213k/82MOk, 9.4k/124MOk, 331k/447MOk, 359k/232MOk, 54k/318MNo, 0/33MOk, 66k/115MNo, 0/185M
         Allow unseen Allow unseen
RWC+WB+WBAllowOk, 569k/1.9GOk, 32k/336MOk, 76k/82MOk, 8.9k/124MOk, 185k/447MOk, 54k/232MOk, 138k/318MOk, 1.3k/33MOk, 40k/115MOk, 35k/185M
RWC+WB+WCAllowOk, 59M/1.9GOk, 5.8M/336MOk, 3.8M/82MOk, 3.0M/124MOk, 6.8M/447MOk, 4.2M/232MOk, 31M/318MOk, 37k/33MOk, 3.0M/115MOk, 853k/185M
WRR+2W+WB+WCAllowOk, 64M/1.8GOk, 9.3M/336MOk, 4.2M/82MOk, 4.8M/124MOk, 6.7M/447MOk, 5.3M/232MOk, 30M/318MOk, 26k/33MOk, 3.6M/115MOk, 168k/161M
WRR+2W+WC+WBAllowOk, 560/3.9GOk, 47/976MOk, 16/562MOk, 49/764MNo, 0/575MOk, 36/330MOk, 211/409MNo, 0/33MOk, 201/115MNo, 0/161M
      Allow unseen  Allow unseen Allow unseen
WRR+2W+WC+WCAllowOk, 1.0M/1.8GOk, 87k/336MOk, 451k/82MOk, 182k/124MOk, 13k/447MOk, 24k/232MOk, 9.2k/318MOk, 3/33MOk, 265k/115MOk, 25/161M
WRW+2W+WB+WCAllowOk, 66M/1.8GOk, 7.9M/336MOk, 5.7M/82MOk, 4.3M/124MOk, 6.3M/447MOk, 6.4M/232MOk, 31M/318MOk, 14k/33MOk, 3.4M/115MOk, 99k/161M
WRW+2W+WC+WBAllowOk, 380/3.9GOk, 40/976MOk, 7/562MOk, 49/764MNo, 0/575MOk, 18/330MOk, 116/409MNo, 0/33MOk, 150/115MNo, 0/161M
      Allow unseen  Allow unseen Allow unseen
WRW+2W+WC+WCAllowOk, 1.6M/1.8GOk, 108k/336MOk, 595k/82MOk, 214k/124MOk, 67k/447MOk, 83k/232MOk, 25k/318MNo, 0/33MOk, 514k/115MOk, 2/161M
         Allow unseen  
WRW+WR+WB+UCAllowOk, 786k/1.8GOk, 33k/336MOk, 40k/82MOk, 14k/124MOk, 81k/447MOk, 301k/232MOk, 117k/318MNo, 0/33MOk, 200k/115MNo, 0/161M
         Allow unseen Allow unseen
WRW+WR+WB+WBAllowOk, 144k/1.8GOk, 8.0k/336MOk, 6.2k/82MOk, 2.4k/124MOk, 18k/447MOk, 13k/232MOk, 63k/318MOk, 430/33MOk, 13k/115MOk, 21k/161M
WRW+WR+WB+WCAllowOk, 56M/1.8GOk, 3.2M/336MOk, 4.6M/82MOk, 1.7M/124MOk, 5.9M/447MOk, 7.1M/232MOk, 30M/318MOk, 22k/33MOk, 3.0M/115MOk, 283k/161M
3.2W+WB+WB+WCAllowOk, 49M/2.3GOk, 1.8M/392MOk, 4.7M/150MOk, 1.6M/228MOk, 7.3M/511MOk, 6.2M/336MOk, 26M/318MOk, 10k/33MOk, 1.8M/115MOk, 130k/185M
3.2W+WB+WC+UCAllowOk, 384/4.3GOk, 28/1.0GOk, 3/630MOk, 4/868MOk, 1/639MNo, 0/434MOk, 346/409MNo, 0/33MOk, 2/115MNo, 0/185M
       Allow unseen Allow unseen Allow unseen
3.2W+WB+WC+WCAllowOk, 93M/3.1GOk, 18M/552MOk, 5.8M/662MOk, 14M/324MOk, 9.0M/518MOk, 13M/346MOk, 28M/318MOk, 14k/33MOk, 4.6M/115MOk, 153k/185M
3.2W+WC+WC+UCAllowOk, 4.8M/2.3GOk, 1.9M/392MOk, 492k/150MOk, 961k/228MOk, 88k/511MOk, 640k/336MOk, 480k/318MNo, 0/33MOk, 187k/115MOk, 1/185M
         Allow unseen  
3.2W+WC+WC+WCAllowOk, 22M/2.3GOk, 3.0M/392MOk, 4.6M/150MOk, 2.2M/228MOk, 1.6M/511MOk, 4.4M/336MOk, 4.4M/318MOk, 4.9k/33MOk, 1.7M/115MOk, 3.7k/185M
3.SB+WB+UC+UCAllowOk, 1.0k/4.9GOk, 4/1.1GNo, 0/1.1GNo, 0/900MOk, 3/614MOk, 84/380MOk, 875/409MNo, 0/33MOk, 47/115MNo, 0/185M
    Allow unseenAllow unseen   Allow unseen Allow unseen
3.SB+WB+WB+UCAllowOk, 3.9M/2.0GOk, 97k/336MOk, 231k/118MOk, 41k/164MOk, 2.6M/479MOk, 363k/272MOk, 255k/318MOk, 73/33MOk, 232k/115MOk, 22k/185M
3.SB+WB+WB+WBAllowOk, 33M/2.0GOk, 1.4M/336MOk, 1.0M/118MOk, 910k/164MOk, 26M/479MOk, 1.4M/272MOk, 1.4M/318MOk, 10k/33MOk, 525k/115MOk, 871k/185M
3.SB+WB+WB+WCAllowOk, 90M/2.0GOk, 9.4M/336MOk, 5.8M/118MOk, 7.0M/164MOk, 23M/479MOk, 5.6M/272MOk, 33M/318MOk, 92k/33MOk, 5.0M/115MOk, 1.3M/185M
3.SB+WB+WC+UCAllowOk, 1.5k/4.9GOk, 5/1.1GOk, 3/1.1GNo, 0/900MOk, 4/614MOk, 67/380MOk, 1.1k/409MNo, 0/33MOk, 318/115MNo, 0/185M
     Allow unseen   Allow unseen Allow unseen
3.SB+WB+WC+WCAllowOk, 81M/2.0GOk, 8.4M/336MOk, 10M/118MOk, 7.9M/164MOk, 10M/479MOk, 18M/272MOk, 22M/318MOk, 54/33MOk, 4.6M/115MOk, 26k/185M
ISA2+WB+WC+UCAllowOk, 184/5.1GOk, 4/1.2GNo, 0/1.1GNo, 0/964MNo, 0/646MOk, 1/444MOk, 175/409MNo, 0/33MOk, 4/115MNo, 0/185M
    Allow unseenAllow unseenAllow unseen  Allow unseen Allow unseen
ISA2+WB+WC+WBAllowOk, 641/5.1GOk, 77/1.2GOk, 1/1.1GOk, 25/964MOk, 2/646MOk, 3/444MOk, 522/409MNo, 0/33MOk, 11/115MNo, 0/185M
         Allow unseen Allow unseen
ISA2+WB+WC+WCAllowOk, 15/5.1GOk, 1/1.2GNo, 0/1.1GOk, 1/964MNo, 0/646MOk, 1/444MOk, 12/409MNo, 0/33MNo, 0/115MNo, 0/185M
    Allow unseen Allow unseen  Allow unseenAllow unseenAllow unseen
ISA2+WC+WB+UCAllowOk, 76M/2.3GOk, 18M/392MOk, 5.2M/150MOk, 14M/228MOk, 2.8M/511MOk, 5.1M/336MOk, 28M/318MOk, 278/33MOk, 3.2M/115MOk, 14k/185M
ISA2+WC+WB+WBAllowOk, 43M/2.3GOk, 6.1M/392MOk, 1.5M/150MOk, 4.7M/228MOk, 1.6M/511MOk, 2.1M/336MOk, 25M/318MOk, 7.0k/33MOk, 1.9M/115MOk, 62k/185M
ISA2+WC+WB+WCAllowOk, 64M/2.3GOk, 13M/392MOk, 2.9M/150MOk, 9.4M/228MOk, 4.1M/511MOk, 13M/336MOk, 18M/318MOk, 12/33MOk, 2.7M/115MOk, 3.5k/185M
ISA2+WC+WC+UCAllowOk, 2.9M/2.3GOk, 596k/392MOk, 1.5M/150MOk, 349k/228MOk, 57k/511MOk, 53k/336MOk, 277k/318MNo, 0/33MOk, 71k/115MOk, 5/185M
         Allow unseen  
ISA2+WC+WC+WBAllowOk, 1.1M/2.3GOk, 380k/392MOk, 506k/150MOk, 174k/228MOk, 6.1k/511MOk, 11k/336MOk, 38k/318MNo, 0/33MOk, 16k/115MOk, 34/185M
         Allow unseen  
ISA2+WC+WC+WCAllowOk, 2.0M/2.3GOk, 632k/392MOk, 829k/150MOk, 350k/228MOk, 17k/511MOk, 21k/336MOk, 126k/318MNo, 0/33MOk, 70k/115MNo, 0/185M
         Allow unseen Allow unseen
W+RWC+WB+UC+UCAllowOk, 2.4k/5.1GOk, 1/1.2GOk, 30/1.1GOk, 2/964MOk, 9/646MOk, 426/444MOk, 1.8k/409MNo, 0/33MOk, 136/115MNo, 0/161M
         Allow unseen Allow unseen
W+RWC+WB+UC+WBAllowOk, 10k/2.2GOk, 4/392MOk, 14/150MOk, 3/228MOk, 27/511MOk, 143/336MOk, 8.0k/318MNo, 0/33MOk, 984/115MOk, 830/161M
         Allow unseen  
W+RWC+WB+UC+WCAllowOk, 104M/2.2GOk, 21M/392MOk, 16M/150MOk, 17M/228MOk, 6.0M/511MOk, 14M/336MOk, 27M/318MOk, 7/33MOk, 3.3M/115MOk, 30k/161M
W+RWC+WB+WB+UCAllowOk, 1.1M/2.2GOk, 76k/392MOk, 224k/150MOk, 31k/228MOk, 313k/511MOk, 429k/336MOk, 32k/318MNo, 0/33MOk, 42k/115MNo, 0/161M
         Allow unseen Allow unseen
W+RWC+WB+WB+WBAllowOk, 165k/2.2GOk, 7.6k/392MOk, 5.9k/150MOk, 6.8k/228MOk, 43k/511MOk, 23k/336MOk, 52k/318MOk, 168/33MOk, 11k/115MOk, 16k/161M
W+RWC+WB+WB+WCAllowOk, 50M/2.2GOk, 6.8M/392MOk, 1.9M/150MOk, 5.1M/228MOk, 6.3M/511MOk, 3.5M/336MOk, 25M/318MOk, 12k/33MOk, 1.8M/115MOk, 336k/161M
W+RWC+WB+WC+UCAllowOk, 13k/5.1GOk, 54/1.2GOk, 73/1.1GOk, 10/964MOk, 65/646MOk, 2.9k/444MOk, 7.2k/409MNo, 0/33MOk, 2.6k/115MNo, 0/161M
         Allow unseen Allow unseen
W+RWC+WB+WC+WBAllowOk, 17k/2.2GOk, 182/392MOk, 179/150MOk, 111/228MOk, 227/511MOk, 563/336MOk, 13k/318MNo, 0/33MOk, 1.6k/115MOk, 654/161M
         Allow unseen  
W+RWC+WB+WC+WCAllowOk, 75M/2.2GOk, 13M/392MOk, 7.4M/150MOk, 8.9M/228MOk, 8.4M/511MOk, 13M/336MOk, 22M/318MOk, 175/33MOk, 3.5M/115MOk, 15k/161M
W+RWC+WC+WB+UCAllowOk, 97M/2.2GOk, 13M/392MOk, 7.9M/150MOk, 9.2M/228MOk, 10M/511MOk, 23M/336MOk, 29M/318MOk, 110/33MOk, 4.4M/115MOk, 3.4k/161M
W+RWC+WC+WB+WBAllowOk, 50M/2.2GOk, 7.7M/392MOk, 2.1M/150MOk, 6.0M/228MOk, 2.4M/511MOk, 3.0M/336MOk, 26M/318MOk, 7.1k/33MOk, 2.7M/115MOk, 69k/161M
W+RWC+WC+WB+WCAllowOk, 102M/2.2GOk, 15M/392MOk, 8.5M/150MOk, 10M/228MOk, 10M/511MOk, 24M/336MOk, 29M/318MOk, 54/33MOk, 4.6M/115MOk, 4.0k/161M
W+RWC+WC+WC+UCAllowOk, 2.1M/2.2GOk, 184k/392MOk, 178k/150MOk, 122k/228MOk, 30k/511MOk, 1.3M/336MOk, 237k/318MNo, 0/33MOk, 119k/115MOk, 3/161M
         Allow unseen  
W+RWC+WC+WC+WBAllowOk, 918k/2.2GOk, 259k/392MOk, 386k/150MOk, 147k/228MOk, 20k/511MOk, 15k/336MOk, 62k/318MNo, 0/33MOk, 29k/115MOk, 17/161M
         Allow unseen  
W+RWC+WC+WC+WCAllowOk, 2.6M/2.2GOk, 292k/392MOk, 295k/150MOk, 216k/228MOk, 32k/511MOk, 1.3M/336MOk, 266k/318MNo, 0/33MOk, 145k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+WB+UC+UCAllowOk, 5.6k/5.1GOk, 2/1.2GOk, 34/1.1GOk, 4/964MOk, 73/646MOk, 544/444MOk, 4.7k/409MNo, 0/33MOk, 233/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+WB+UC+WBAllowOk, 5.3k/2.2GOk, 3/392MOk, 3/150MOk, 4/228MOk, 12/511MOk, 88/336MOk, 3.8k/318MNo, 0/33MOk, 768/115MOk, 601/161M
         Allow unseen  
Z6.0+WB+UC+WCAllowOk, 136M/2.2GOk, 24M/392MOk, 16M/150MOk, 19M/228MOk, 12M/511MOk, 19M/336MOk, 40M/318MOk, 14/33MOk, 5.9M/115MOk, 11k/161M
Z6.0+WB+WB+UCAllowOk, 720k/2.2GOk, 8.2k/392MOk, 6.2k/150MOk, 7.9k/228MOk, 86k/511MOk, 353k/336MOk, 38k/318MNo, 0/33MOk, 221k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+WB+WB+WBAllowOk, 64k/2.2GOk, 2.2k/392MOk, 289/150MOk, 2.1k/228MOk, 3.6k/511MOk, 6.9k/336MOk, 30k/318MOk, 10/33MOk, 3.8k/115MOk, 15k/161M
Z6.0+WB+WB+WCAllowOk, 49M/2.2GOk, 2.0M/392MOk, 4.3M/150MOk, 1.7M/228MOk, 6.3M/511MOk, 7.6M/336MOk, 25M/318MOk, 7.2k/33MOk, 2.0M/115MOk, 126k/161M
Z6.0+WB+WC+UCAllowOk, 25k/2.2GOk, 14/392MOk, 8/150MOk, 10/228MOk, 2.2k/511MOk, 5.8k/336MOk, 14k/318MNo, 0/33MOk, 3.1k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+WB+WC+WBAllowOk, 10k/2.2GOk, 267/392MOk, 17/150MOk, 106/228MOk, 31/511MOk, 436/336MOk, 7.6k/318MNo, 0/33MOk, 1.0k/115MOk, 600/161M
         Allow unseen  
Z6.0+WB+WC+WCAllowOk, 92M/2.2GOk, 15M/392MOk, 8.0M/150MOk, 11M/228MOk, 10M/511MOk, 13M/336MOk, 30M/318MOk, 13/33MOk, 4.9M/115MOk, 3.2k/161M
Z6.0+WC+WB+UCAllowOk, 70M/2.2GOk, 13M/392MOk, 4.5M/150MOk, 9.1M/228MOk, 3.2M/511MOk, 5.0M/336MOk, 31M/318MOk, 562/33MOk, 3.7M/115MOk, 1.5k/161M
Z6.0+WC+WB+WBAllowOk, 45M/2.2GOk, 6.7M/392MOk, 1.4M/150MOk, 5.3M/228MOk, 1.8M/511MOk, 2.3M/336MOk, 25M/318MOk, 7.5k/33MOk, 2.1M/115MOk, 50k/161M
Z6.0+WC+WB+WCAllowOk, 51M/2.2GOk, 9.0M/392MOk, 2.6M/150MOk, 6.4M/228MOk, 4.5M/511MOk, 11M/336MOk, 15M/318MOk, 14/33MOk, 3.2M/115MOk, 720/161M
Z6.0+WC+WC+UCAllowOk, 3.0M/2.2GOk, 528k/392MOk, 868k/150MOk, 260k/228MOk, 70k/511MOk, 754k/336MOk, 409k/318MNo, 0/33MOk, 147k/115MOk, 3/161M
         Allow unseen  
Z6.0+WC+WC+WBAllowOk, 1.5M/2.2GOk, 416k/392MOk, 737k/150MOk, 199k/228MOk, 12k/511MOk, 19k/336MOk, 45k/318MNo, 0/33MOk, 24k/115MOk, 5/161M
         Allow unseen  
Z6.0+WC+WC+WCAllowOk, 3.2M/2.2GOk, 952k/392MOk, 1.3M/150MOk, 447k/228MOk, 20k/511MOk, 65k/336MOk, 246k/318MNo, 0/33MOk, 131k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.1+UC+WB+WCAllowOk, 383/5.1GOk, 25/1.2GOk, 1/1.1GOk, 2/964MNo, 0/646MOk, 1/444MOk, 352/409MNo, 0/33MOk, 2/115MNo, 0/161M
      Allow unseen  Allow unseen Allow unseen
Z6.1+UC+WC+WBAllowOk, 79M/2.2GOk, 11M/392MOk, 4.4M/150MOk, 10M/228MOk, 10M/511MOk, 9.3M/336MOk, 31M/318MOk, 1/33MOk, 3.8M/115MOk, 2.3k/161M
Z6.1+UC+WC+WCAllowOk, 2.1M/2.2GOk, 64k/392MOk, 3.9k/150MOk, 96k/228MOk, 150k/511MOk, 899k/336MOk, 617k/318MNo, 0/33MOk, 241k/115MOk, 1/161M
         Allow unseen  
Z6.1+WB+WB+WCAllowOk, 1.1k/2.2GOk, 7/392MNo, 0/150MOk, 1/228MNo, 0/511MOk, 4/336MOk, 1.0k/318MNo, 0/33MOk, 12/115MNo, 0/161M
    Allow unseen Allow unseen  Allow unseen Allow unseen
Z6.1+WB+WC+UCAllowOk, 137/5.1GOk, 14/1.2GNo, 0/1.1GOk, 5/964MNo, 0/646MNo, 0/444MOk, 117/409MNo, 0/33MOk, 1/115MNo, 0/161M
    Allow unseen Allow unseenAllow unseen Allow unseen Allow unseen
Z6.1+WB+WC+WBAllowOk, 37M/2.2GOk, 2.4M/392MOk, 960k/150MOk, 1.8M/228MOk, 1.6M/511MOk, 4.2M/336MOk, 25M/318MOk, 8.4k/33MOk, 1.1M/115MOk, 74k/161M
Z6.1+WB+WC+WCAllowOk, 64k/5.1GOk, 5.8k/1.2GOk, 18k/1.1GOk, 4.9k/964MOk, 2.3k/646MOk, 3.5k/444MOk, 26k/409MNo, 0/33MOk, 2.3k/115MOk, 18/161M
         Allow unseen  
Z6.1+WC+WB+UCAllowOk, 138M/2.2GOk, 29M/392MOk, 10M/150MOk, 20M/228MOk, 13M/511MOk, 21M/336MOk, 41M/318MOk, 25/33MOk, 5.1M/115MOk, 1.9k/161M
Z6.1+WC+WB+WBAllowOk, 50M/2.2GOk, 2.5M/392MOk, 3.7M/150MOk, 1.9M/228MOk, 3.0M/511MOk, 9.1M/336MOk, 28M/318MOk, 4.5k/33MOk, 1.7M/115MOk, 37k/161M
Z6.1+WC+WB+WCAllowOk, 82M/2.2GOk, 17M/392MOk, 2.7M/150MOk, 12M/228MOk, 10M/511MOk, 10M/336MOk, 25M/318MOk, 8/33MOk, 4.4M/115MOk, 2.4k/161M
Z6.1+WC+WC+UCAllowOk, 17M/2.2GOk, 4.0M/392MOk, 7.8M/150MOk, 1.8M/228MOk, 657k/511MOk, 1.3M/336MOk, 716k/318MNo, 0/33MOk, 279k/115MOk, 1/161M
         Allow unseen  
Z6.1+WC+WC+WBAllowOk, 75M/2.2GOk, 12M/392MOk, 909k/150MOk, 9.1M/228MOk, 8.6M/511MOk, 14M/336MOk, 27M/318MOk, 3.9k/33MOk, 3.8M/115MOk, 52k/161M
Z6.1+WC+WC+WCAllowOk, 29M/2.2GOk, 4.8M/392MOk, 2.8M/150MOk, 2.9M/228MOk, 3.8M/511MOk, 8.6M/336MOk, 4.5M/318MOk, 3/33MOk, 1.7M/115MOk, 3/161M
Z6.2+WB+WC+UCAllowOk, 355/5.1GOk, 1/1.2GNo, 0/1.1GOk, 1/964MNo, 0/646MNo, 0/444MOk, 344/409MNo, 0/33MOk, 9/115MNo, 0/161M
    Allow unseen Allow unseenAllow unseen Allow unseen Allow unseen
Z6.2+WB+WC+WBAllowOk, 431/5.1GOk, 17/1.2GNo, 0/1.1GOk, 4/964MNo, 0/646MOk, 1/444MOk, 403/409MNo, 0/33MOk, 6/115MNo, 0/161M
    Allow unseen Allow unseen  Allow unseen Allow unseen
Z6.2+WB+WC+WCAllowOk, 8/5.1GNo, 0/1.2GNo, 0/1.1GNo, 0/964MNo, 0/646MOk, 2/444MOk, 4/409MNo, 0/33MOk, 2/115MNo, 0/161M
   Allow unseenAllow unseenAllow unseenAllow unseen  Allow unseen Allow unseen
Z6.2+WC+WB+UCAllowOk, 93M/2.2GOk, 18M/392MOk, 4.0M/150MOk, 13M/228MOk, 7.3M/511MOk, 9.3M/336MOk, 38M/318MOk, 162/33MOk, 4.4M/115MOk, 2.9k/161M
Z6.2+WC+WB+WBAllowOk, 38M/2.2GOk, 1.9M/392MOk, 3.2M/150MOk, 1.3M/228MOk, 918k/511MOk, 4.4M/336MOk, 25M/318MOk, 5.6k/33MOk, 1.2M/115MOk, 68k/161M
Z6.2+WC+WB+WCAllowOk, 71M/2.2GOk, 14M/392MOk, 3.2M/150MOk, 10M/228MOk, 6.1M/511MOk, 10M/336MOk, 23M/318MOk, 50/33MOk, 3.9M/115MOk, 638/161M
Z6.2+WC+WC+UCAllowOk, 5.8M/2.2GOk, 634k/392MOk, 1.4M/150MOk, 435k/228MOk, 239k/511MOk, 1.8M/336MOk, 983k/318MNo, 0/33MOk, 319k/115MOk, 1/161M
         Allow unseen  
Z6.2+WC+WC+WBAllowOk, 69k/2.2GOk, 5.1k/392MOk, 13k/150MOk, 4.5k/228MOk, 5.6k/511MOk, 7.0k/336MOk, 29k/318MNo, 0/33MOk, 4.0k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.2+WC+WC+WCAllowOk, 2.0M/2.2GOk, 132k/392MOk, 112k/150MOk, 136k/228MOk, 86k/511MOk, 482k/336MOk, 762k/318MNo, 0/33MOk, 333k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.3+UC+WB+WCAllowOk, 389/5.1GOk, 3/1.2GNo, 0/1.1GNo, 0/964MNo, 0/646MNo, 0/444MOk, 382/409MNo, 0/33MOk, 4/115MNo, 0/161M
    Allow unseenAllow unseenAllow unseenAllow unseen Allow unseen Allow unseen
Z6.3+UC+WC+WBAllowOk, 100M/2.2GOk, 14M/392MOk, 8.8M/150MOk, 11M/228MOk, 11M/511MOk, 17M/336MOk, 34M/318MOk, 87/33MOk, 4.4M/115MOk, 3.0k/161M
Z6.3+UC+WC+WCAllowOk, 2.5M/2.2GOk, 93k/392MOk, 5.3k/150MOk, 98k/228MOk, 559k/511MOk, 1.2M/336MOk, 406k/318MNo, 0/33MOk, 141k/115MOk, 2/161M
         Allow unseen  
Z6.3+WB+WB+WCAllowOk, 832/5.1GOk, 117/1.2GOk, 10/1.1GOk, 55/964MOk, 2/646MOk, 6/444MOk, 611/409MNo, 0/33MOk, 31/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.3+WB+WC+UCAllowOk, 519/5.1GOk, 20/1.2GOk, 2/1.1GOk, 1/964MNo, 0/646MNo, 0/444MOk, 492/409MNo, 0/33MOk, 4/115MNo, 0/161M
      Allow unseenAllow unseen Allow unseen Allow unseen
Z6.3+WB+WC+WBAllowOk, 48M/2.2GOk, 4.9M/392MOk, 1.2M/150MOk, 3.7M/228MOk, 3.3M/511MOk, 6.0M/336MOk, 27M/318MOk, 10k/33MOk, 1.4M/115MOk, 104k/161M
Z6.3+WB+WC+WCAllowOk, 41k/2.2GOk, 3.8k/392MOk, 2.3k/150MOk, 7.0k/228MOk, 1.8k/511MOk, 4.1k/336MOk, 19k/318MOk, 2/33MOk, 3.3k/115MOk, 15/161M
Z6.3+WC+WB+UCAllowOk, 131M/2.2GOk, 28M/392MOk, 10M/150MOk, 20M/228MOk, 11M/511MOk, 26M/336MOk, 33M/318MOk, 512/33MOk, 3.8M/115MOk, 7.7k/161M
Z6.3+WC+WB+WBAllowOk, 54M/2.2GOk, 8.9M/392MOk, 1.6M/150MOk, 6.7M/228MOk, 3.5M/511MOk, 3.7M/336MOk, 27M/318MOk, 8.5k/33MOk, 2.4M/115MOk, 44k/161M
Z6.3+WC+WB+WCAllowOk, 74M/2.2GOk, 16M/392MOk, 2.7M/150MOk, 11M/228MOk, 6.2M/511MOk, 12M/336MOk, 22M/318MOk, 132/33MOk, 3.8M/115MOk, 4.7k/161M
Z6.3+WC+WC+UCAllowOk, 14M/2.2GOk, 4.3M/392MOk, 7.1M/150MOk, 2.2M/228MOk, 59k/511MOk, 12k/336MOk, 56k/318MNo, 0/33MOk, 29k/115MOk, 5/161M
         Allow unseen  
Z6.3+WC+WC+WBAllowOk, 122M/2.2GOk, 22M/392MOk, 8.3M/150MOk, 15M/228MOk, 13M/511MOk, 17M/336MOk, 41M/318MOk, 4.2k/33MOk, 5.7M/115MOk, 211k/161M
Z6.3+WC+WC+WCAllowOk, 23M/2.2GOk, 4.3M/392MOk, 2.1M/150MOk, 2.5M/228MOk, 3.1M/511MOk, 6.0M/336MOk, 3.3M/318MOk, 40/33MOk, 1.5M/115MOk, 28/161M
Z6.4+UC+UC+WBAllowOk, 620k/2.2GOk, 24k/392MOk, 10k/150MOk, 10k/228MOk, 74k/511MOk, 396k/336MOk, 91k/318MNo, 0/33MOk, 16k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+UC+WB+WBAllowOk, 9.2k/5.1GOk, 60/1.2GOk, 1/1.1GOk, 128/964MOk, 99/646MOk, 553/444MOk, 7.9k/409MNo, 0/33MOk, 440/115MOk, 53/161M
         Allow unseen  
Z6.4+UC+WC+WBAllowOk, 117M/2.2GOk, 17M/392MOk, 10M/150MOk, 14M/228MOk, 15M/511MOk, 23M/336MOk, 35M/318MOk, 23/33MOk, 4.7M/115MOk, 7.4k/161M
Z6.4+WB+UC+UCAllowOk, 1.8k/2.2GOk, 2/392MOk, 10/150MOk, 1/228MOk, 7/511MOk, 132/336MOk, 1.6k/318MNo, 0/33MOk, 76/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+WB+UC+WBAllowOk, 11M/2.2GOk, 567k/392MOk, 1.6M/150MOk, 815k/228MOk, 3.9M/511MOk, 3.2M/336MOk, 359k/318MOk, 3.2k/33MOk, 121k/115MOk, 596k/161M
Z6.4+WB+UC+WCAllowOk, 100M/2.2GOk, 13M/392MOk, 9.3M/150MOk, 10M/228MOk, 6.8M/511MOk, 25M/336MOk, 31M/318MOk, 4/33MOk, 5.1M/115MOk, 7.1k/161M
Z6.4+WB+WB+UCAllowOk, 909k/2.2GOk, 69k/392MOk, 173k/150MOk, 23k/228MOk, 191k/511MOk, 367k/336MOk, 35k/318MNo, 0/33MOk, 51k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+WB+WB+WBAllowOk, 6.9M/2.2GOk, 495k/392MOk, 1.2M/150MOk, 634k/228MOk, 3.4M/511MOk, 393k/336MOk, 263k/318MOk, 2.5k/33MOk, 116k/115MOk, 370k/161M
Z6.4+WB+WB+WCAllowOk, 55M/2.2GOk, 7.7M/392MOk, 2.2M/150MOk, 5.7M/228MOk, 7.4M/511MOk, 3.8M/336MOk, 26M/318MOk, 10k/33MOk, 2.2M/115MOk, 268k/161M
Z6.4+WB+WC+UCAllowOk, 2.9k/2.2GOk, 64/392MOk, 29/150MOk, 15/228MOk, 16/511MOk, 500/336MOk, 1.6k/318MNo, 0/33MOk, 726/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+WB+WC+WBAllowOk, 107M/2.2GOk, 16M/392MOk, 6.5M/150MOk, 14M/228MOk, 15M/511MOk, 13M/336MOk, 35M/318MOk, 122k/33MOk, 4.1M/115MOk, 4.1M/161M
Z6.4+WB+WC+WCAllowOk, 65M/2.2GOk, 8.2M/392MOk, 7.2M/150MOk, 5.8M/228MOk, 8.8M/511MOk, 13M/336MOk, 19M/318MOk, 153/33MOk, 4.0M/115MOk, 2.7k/161M
Z6.4+WC+UC+WBAllowOk, 2.2k/2.2GOk, 17/392MOk, 15/150MOk, 9/228MOk, 4/511MOk, 123/336MOk, 1.8k/318MNo, 0/33MOk, 246/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+WC+WB+UCAllowOk, 104M/2.2GOk, 15M/392MOk, 10M/150MOk, 10M/228MOk, 12M/511MOk, 24M/336MOk, 28M/318MOk, 166/33MOk, 4.2M/115MOk, 2.1k/161M
Z6.4+WC+WB+WBAllowOk, 92M/2.2GOk, 16M/392MOk, 4.3M/150MOk, 13M/228MOk, 14M/511MOk, 5.6M/336MOk, 33M/318MOk, 41k/33MOk, 5.3M/115MOk, 398k/161M
Z6.4+WC+WB+WCAllowOk, 107M/2.2GOk, 15M/392MOk, 11M/150MOk, 11M/228MOk, 13M/511MOk, 24M/336MOk, 28M/318MOk, 98/33MOk, 4.3M/115MOk, 2.4k/161M
Z6.4+WC+WC+UCAllowOk, 2.7M/2.2GOk, 976k/392MOk, 1.2M/150MOk, 456k/228MOk, 16k/511MOk, 19k/336MOk, 63k/318MNo, 0/33MOk, 28k/115MOk, 2/161M
         Allow unseen  
Z6.4+WC+WC+WBAllowOk, 143M/2.2GOk, 23M/392MOk, 10M/150MOk, 16M/228MOk, 19M/511MOk, 24M/336MOk, 44M/318MOk, 8.6k/33MOk, 6.3M/115MOk, 357k/161M
Z6.4+WC+WC+WCAllowOk, 3.3M/2.2GOk, 1.0M/392MOk, 1.6M/150MOk, 510k/228MOk, 13k/511MOk, 20k/336MOk, 73k/318MNo, 0/33MOk, 29k/115MOk, 2/161M
         Allow unseen  
Z6.5+UC+WB+WCAllowOk, 111/5.1GOk, 11/1.2GNo, 0/1.1GOk, 6/964MNo, 0/646MOk, 4/444MOk, 89/409MNo, 0/33MOk, 1/115MNo, 0/161M
    Allow unseen Allow unseen  Allow unseen Allow unseen
Z6.5+UC+WC+WBAllowOk, 107M/2.2GOk, 14M/392MOk, 7.8M/150MOk, 11M/228MOk, 15M/511MOk, 20M/336MOk, 34M/318MOk, 1/33MOk, 4.6M/115MOk, 2.4k/161M
Z6.5+UC+WC+WCAllowOk, 1.7M/2.2GOk, 680k/392MOk, 10k/150MOk, 401k/228MOk, 30k/511MOk, 229k/336MOk, 219k/318MNo, 0/33MOk, 142k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+WB+UC+UCAllowOk, 846k/2.2GOk, 6.0k/392MOk, 36k/150MOk, 4.2k/228MOk, 259k/511MOk, 342k/336MOk, 176k/318MNo, 0/33MOk, 23k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+WB+UC+WBAllowOk, 12k/2.2GOk, 68/392MOk, 66/150MOk, 59/228MOk, 115/511MOk, 2.2k/336MOk, 10k/318MNo, 0/33MOk, 144/115MOk, 3/161M
         Allow unseen  
Z6.5+WB+UC+WCAllowOk, 126M/2.2GOk, 18M/392MOk, 15M/150MOk, 14M/228MOk, 12M/511MOk, 20M/336MOk, 40M/318MOk, 6/33MOk, 6.3M/115MOk, 10k/161M
Z6.5+WB+WB+UCAllowOk, 2.4M/2.2GOk, 47k/392MOk, 42k/150MOk, 30k/228MOk, 541k/511MOk, 1.4M/336MOk, 104k/318MNo, 0/33MOk, 229k/115MOk, 491/161M
         Allow unseen  
Z6.5+WB+WB+WBAllowOk, 208k/2.2GOk, 14k/392MOk, 10k/150MOk, 12k/228MOk, 69k/511MOk, 39k/336MOk, 47k/318MOk, 25/33MOk, 6.8k/115MOk, 10k/161M
Z6.5+WB+WB+WCAllowOk, 54M/2.2GOk, 2.3M/392MOk, 4.5M/150MOk, 1.9M/228MOk, 8.1M/511MOk, 7.9M/336MOk, 26M/318MOk, 21k/33MOk, 2.3M/115MOk, 386k/161M
Z6.5+WB+WC+UCAllowOk, 10k/2.2GOk, 752/392MOk, 340/150MOk, 463/228MOk, 212/511MOk, 1.2k/336MOk, 4.2k/318MNo, 0/33MOk, 2.7k/115MOk, 1/161M
         Allow unseen  
Z6.5+WB+WC+WBAllowOk, 89M/2.2GOk, 13M/392MOk, 6.1M/150MOk, 12M/228MOk, 9.1M/511MOk, 11M/336MOk, 33M/318MOk, 78k/33MOk, 3.2M/115MOk, 1.9M/161M
Z6.5+WB+WC+WCAllowOk, 90M/2.2GOk, 13M/392MOk, 4.4M/150MOk, 11M/228MOk, 10M/511MOk, 13M/336MOk, 31M/318MOk, 21k/33MOk, 5.6M/115MOk, 428k/161M
Z6.5+WC+WB+UCAllowOk, 123M/2.2GOk, 18M/392MOk, 5.9M/150MOk, 13M/228MOk, 13M/511MOk, 32M/336MOk, 36M/318MOk, 178/33MOk, 5.0M/115MOk, 1.9k/161M
Z6.5+WC+WB+WBAllowOk, 57M/2.2GOk, 9.5M/392MOk, 1.8M/150MOk, 7.2M/228MOk, 4.0M/511MOk, 4.1M/336MOk, 27M/318MOk, 6.6k/33MOk, 2.6M/115MOk, 42k/161M
Z6.5+WC+WB+WCAllowOk, 61M/2.2GOk, 11M/392MOk, 2.5M/150MOk, 8.0M/228MOk, 7.6M/511MOk, 13M/336MOk, 15M/318MOk, 26/33MOk, 4.0M/115MOk, 662/161M
Z6.5+WC+WC+UCAllowOk, 10M/2.2GOk, 2.5M/392MOk, 5.7M/150MOk, 1.3M/228MOk, 125k/511MOk, 23k/336MOk, 96k/318MNo, 0/33MOk, 115k/115MOk, 1/161M
         Allow unseen  
Z6.5+WC+WC+WBAllowOk, 131M/2.2GOk, 22M/392MOk, 10M/150MOk, 16M/228MOk, 15M/511MOk, 20M/336MOk, 42M/318MOk, 6.5k/33MOk, 5.9M/115MOk, 87k/161M
Z6.5+WC+WC+WCAllowOk, 22M/2.2GOk, 4.0M/392MOk, 2.3M/150MOk, 2.2M/228MOk, 3.3M/511MOk, 6.7M/336MOk, 2.0M/318MNo, 0/33MOk, 1.2M/115MOk, 5/161M
         Allow unseen  

With atomic exchange

In SC violations, we replace one write per thread by atomic-exchange. This should and does restore SC.

There are 399 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+ponaas+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+ponaa+poana+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+ponaas+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+ponaa+poana+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
SB+poanas+UC+WTForbidOk, 0/1.9GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
SB+poanas+WB+UCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
SB+poanas+WB+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
SB+poanas+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
SB+poanas+WB+WTForbidOk, 0/1.9GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
SB+poanas+WC+WTForbidOk, 0/1.9GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
SB+poanas+WT+WTForbidOk, 0/1.9GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
MP+ponaa+po+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poana+po+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+ponaa+po+WC+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poana+po+WC+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+ponaa+po+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poana+po+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
R+ponaa+poana+WB+UCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WB+UCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WB+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WB+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WB+WTForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WB+WTForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WC+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WC+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WT+UCForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WT+UCForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WT+WBForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WT+WBForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WT+WCForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WT+WCForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+ponaa+poana+WT+WTForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
R+poanas+WT+WTForbidOk, 0/2.0GOk, 0/586MOk, 0/120MOk, 0/304M—Ok, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
S+ponaa+po+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poana+po+WB+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+ponaa+po+WC+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poana+po+WC+WBForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+ponaa+po+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poana+po+WC+WCForbidOk, 0/2.8GOk, 0/586MOk, 0/120MOk, 0/304MOk, 0/863MOk, 0/172MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
RWC+po+poana+WB+UCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
RWC+po+poana+WB+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
RWC+po+poana+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
WRR+2W+po+poana+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+poana+WC+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+poana+WC+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+ponaa+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+ponaa+WC+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+ponaa+WC+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+poana+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+poana+WC+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+poana+WC+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+ponaa+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+ponaa+WC+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+ponaa+WC+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+WR+po+poana+WB+UCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+WR+po+poana+WB+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+WR+po+poana+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
3.2W+poanas+WB+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaas+WB+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+poana+poana+WB+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+ponaa+poana+WB+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+poanas+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaas+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+poana+poana+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+ponaa+poana+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+poanas+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaas+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+poana+poana+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+ponaa+poana+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+poanas+WC+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaas+WC+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+poana+poana+WC+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+ponaa+poana+WC+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+poanas+WC+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaas+WC+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+poana+poana+WC+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+ponaa+ponaa+poana+WC+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+poanas+WB+UC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+poanas+WB+WB+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+poanas+WB+WB+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+poanas+WB+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+poanas+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+poanas+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WB+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WB+WC+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WB+WC+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WB+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WC+WB+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WC+WB+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WC+WB+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WC+WB+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WC+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WC+WB+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WC+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WC+WC+UCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WC+WC+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WC+WC+WBForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+ponaa+po+po+WC+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+poana+po+po+WC+WC+WCForbidOk, 0/1.6GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/185M
W+RWC+ponaa+po+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+ponaa+po+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+poana+po+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+poana+po+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+ponaa+po+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+poana+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+poana+ponaa+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+poana+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+ponaa+ponaa+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+poana+po+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+ponaa+po+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+poana+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+poana+ponaa+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+poana+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+ponaa+ponaa+po+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+UC+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+UC+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+UC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+UC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+poanas+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+ponaa+poana+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+UC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+UC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+UC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+UC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+UC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+UC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WB+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WC+WB+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WC+WB+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WC+WB+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WC+WC+UCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WC+WC+WBForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poana+ponaa+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+poanas+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+poana+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+ponaa+ponaa+poana+WC+WC+WCForbidOk, 0/1.5GOk, 0/300MOk, 0/60MOk, 0/160MOk, 0/447MOk, 0/115MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M

With fences

In SC violations, we insert mfence in-between write-to-read pairs and sfence in-between write-to-write pairs. This should and does restore SC.

There are 159 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+sfences+WB+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
2+2W+sfences+WC+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
MP+sfence+po+WB+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
MP+sfence+po+WC+WBForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
MP+sfence+po+WC+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WB+UCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WB+WBForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WB+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WB+WTForbidOk, 0/2.2GOk, 0/842MOk, 0/88MOk, 0/240M—Ok, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WC+WBForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WC+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WT+UCForbidOk, 0/2.2GOk, 0/842MOk, 0/88MOk, 0/240M—Ok, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WT+WBForbidOk, 0/2.2GOk, 0/842MOk, 0/88MOk, 0/240M—Ok, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WT+WCForbidOk, 0/2.2GOk, 0/842MOk, 0/88MOk, 0/240M—Ok, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+mfence+WT+WTForbidOk, 0/2.2GOk, 0/842MOk, 0/88MOk, 0/240M—Ok, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
S+sfence+po+WB+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/227M
S+sfence+po+WC+WBForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/227M
S+sfence+po+WC+WCForbidOk, 0/3.3GOk, 0/842MOk, 0/88MOk, 0/240MOk, 0/1.1GOk, 0/228MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+UC+WTForbidOk, 0/3.7GOk, 0/1.1GOk, 0/236MOk, 0/584M—Ok, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+WB+UCForbidOk, 0/4.9GOk, 0/1.1GOk, 0/236MOk, 0/584MOk, 0/1.2GOk, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+WB+WBForbidOk, 0/4.9GOk, 0/1.1GOk, 0/236MOk, 0/584MOk, 0/1.2GOk, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+WB+WCForbidOk, 0/4.9GOk, 0/1.1GOk, 0/236MOk, 0/584MOk, 0/1.2GOk, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+WB+WTForbidOk, 0/3.7GOk, 0/1.1GOk, 0/236MOk, 0/584M—Ok, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+WC+WTForbidOk, 0/3.7GOk, 0/1.1GOk, 0/236MOk, 0/584M—Ok, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
SB+mfences+WT+WTForbidOk, 0/3.7GOk, 0/1.1GOk, 0/236MOk, 0/584M—Ok, 0/564MOk, 0/688MOk, 0/66MOk, 0/173MOk, 0/227M
RWC+po+mfence+WB+UCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
RWC+po+mfence+WB+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
RWC+po+mfence+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
WRR+2W+po+sfence+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+sfence+WC+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+po+sfence+WC+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+sfence+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+sfence+WC+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+po+sfence+WC+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+WR+po+mfence+WB+UCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+WR+po+mfence+WB+WBForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+WR+po+mfence+WB+WCForbidOk, 0/3.6GOk, 0/896MOk, 0/828MOk, 0/672MOk, 0/524MOk, 0/142MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
3.2W+sfences+WB+WB+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+sfences+WB+WC+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+sfences+WB+WC+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+sfences+WC+WC+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.2W+sfences+WC+WC+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+mfences+WB+UC+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+mfences+WB+WB+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+mfences+WB+WB+WBForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+mfences+WB+WB+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+mfences+WB+WC+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
3.SB+mfences+WB+WC+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WB+WC+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WB+WC+WBForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WB+WC+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WC+WB+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WC+WB+WBForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WC+WB+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WC+WC+UCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WC+WC+WBForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
ISA2+sfence+po+po+WC+WC+WCForbidOk, 0/1.9GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/185M
W+RWC+sfence+po+mfence+WB+UC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+UC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+UC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+mfence+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+UC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+UC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+UC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+mfence+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+UC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+UC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+UC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WB+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.1+sfence+sfence+po+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.2+sfence+po+po+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+UC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+UC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+UC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WB+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.3+sfence+sfence+po+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+UC+UC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+UC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+UC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+UC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+UC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+UC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+UC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+mfence+mfence+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+UC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+UC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+UC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+UC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+UC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+UC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WB+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WC+WB+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WC+WB+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WC+WB+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WC+WC+UCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WC+WC+WBForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+mfence+WC+WC+WCForbidOk, 0/1.8GOk, 0/428MOk, 0/44MOk, 0/128MOk, 0/550MOk, 0/152MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M

With sfences

From fence experiments, we replace mfence’s by sfence’s (hence in-between write-to-read pairs). Some of the tests are still forbidden because the mfence was in fact useless, for instance when the read of a write-to-read pair is of write-combining memory type (cf. this table).

There are 96 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
R+sfence+sfence+WB+UCAllowOk, 4.9M/3.5GOk, 244k/762MOk, 665k/440MOk, 172k/240MOk, 2.0M/1.0GOk, 1.4M/227MOk, 176k/327MOk, 1/66MOk, 180k/173MOk, 1.5k/267M
R+sfence+sfence+WB+WBAllowOk, 9.1M/3.5GOk, 3.3M/762MOk, 417k/440MOk, 1.3M/240MOk, 2.5M/1.0GOk, 291k/227MOk, 373k/327MOk, 11k/66MOk, 242k/173MOk, 620k/267M
R+sfence+sfence+WB+WCAllowOk, 22M/3.5GOk, 5.0M/762MOk, 1.5M/440MOk, 3.7M/240MOk, 2.5M/1.0GOk, 525k/227MOk, 6.8M/327MOk, 5/66MOk, 1.6M/173MOk, 1.6k/267M
R+sfence+sfence+WB+WTAllowOk, 2.7M/2.5GOk, 240k/762MOk, 628k/440MOk, 168k/240M—Ok, 1.3M/227MOk, 179k/327MOk, 4/66MOk, 180k/173MOk, 1.5k/267M
R+sfence+sfence+WC+WBForbidOk, 0/3.5GOk, 0/762MOk, 0/440MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+sfence+WC+WCForbidOk, 0/3.5GOk, 0/762MOk, 0/440MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/327MOk, 0/66MOk, 0/173MOk, 0/267M
R+sfence+sfence+WT+UCAllowOk, 16k/2.5GOk, 3.2k/762MOk, 3.8k/440MOk, 3.6k/240M—Ok, 2.1k/227MOk, 1.8k/327MNo, 0/66MOk, 1.5k/173MNo, 0/267M
         Allow unseen Allow unseen
R+sfence+sfence+WT+WBAllowOk, 39k/2.5GOk, 2.3k/762MOk, 15k/440MOk, 1.0k/240M—Ok, 3.7k/227MOk, 8.9k/327MNo, 0/66MOk, 3.3k/173MOk, 4.4k/267M
         Allow unseen  
R+sfence+sfence+WT+WCAllowOk, 144k/2.5GOk, 13k/762MOk, 7.3k/440MOk, 11k/240M—Ok, 33k/227MOk, 32k/327MNo, 0/66MOk, 48k/173MNo, 0/267M
         Allow unseen Allow unseen
R+sfence+sfence+WT+WTAllowOk, 19k/2.5GOk, 3.5k/762MOk, 3.8k/440MOk, 3.3k/240M—Ok, 1.6k/227MOk, 5.2k/327MNo, 0/66MOk, 1.4k/173MOk, 2/267M
         Allow unseen  
SB+sfences+UC+WTAllowOk, 6.0k/2.5GOk, 113/762MOk, 341/440MOk, 546/240M—Ok, 987/227MOk, 3.1k/327MNo, 0/66MOk, 925/173MNo, 0/227M
         Allow unseen Allow unseen
SB+sfences+WB+UCAllowOk, 2.2M/3.5GOk, 247k/762MOk, 169k/440MOk, 151k/240MOk, 1.3M/1.0GOk, 148k/227MOk, 108k/327MOk, 2/66MOk, 72k/173MOk, 1.4k/227M
SB+sfences+WB+WBAllowOk, 238M/3.5GOk, 48M/762MOk, 23M/440MOk, 22M/240MOk, 123M/1.0GOk, 3.1M/227MOk, 9.4M/327MOk, 291k/66MOk, 3.9M/173MOk, 5.2M/227M
SB+sfences+WB+WCAllowOk, 5.9M/3.5GOk, 332k/762MOk, 3.4M/440MOk, 231k/240MOk, 1.4M/1.0GOk, 401k/227MOk, 107k/327MNo, 0/66MOk, 142k/173MOk, 2.2k/227M
         Allow unseen  
SB+sfences+WB+WTAllowOk, 192M/2.5GOk, 92M/762MOk, 34M/440MOk, 46M/240M—Ok, 2.8M/227MOk, 7.1M/327MOk, 96k/66MOk, 3.1M/173MOk, 7.5M/227M
SB+sfences+WC+WTAllowOk, 6.7k/2.5GOk, 144/762MOk, 1.1k/440MOk, 571/240M—Ok, 897/227MOk, 1.9k/327MNo, 0/66MOk, 2.1k/173MNo, 0/227M
         Allow unseen Allow unseen
SB+sfences+WT+WTAllowOk, 289M/2.5GOk, 157M/762MOk, 33M/440MOk, 81M/240M—Ok, 1.5M/227MOk, 7.7M/327MOk, 219k/66MOk, 3.0M/173MOk, 5.8M/227M
RWC+po+sfence+WB+UCAllowOk, 2.0M/3.6GOk, 137k/896MOk, 1.3M/828MOk, 3.5k/672MOk, 381k/524MOk, 105k/142MOk, 14k/218MNo, 0/33MOk, 88k/115MNo, 0/185M
         Allow unseen Allow unseen
RWC+po+sfence+WB+WBAllowOk, 2.6M/3.6GOk, 432k/896MOk, 676k/828MOk, 1.1M/672MOk, 257k/524MOk, 19k/142MOk, 50k/218MOk, 1.4k/33MOk, 43k/115MOk, 37k/185M
RWC+po+sfence+WB+WCAllowOk, 2.0M/3.6GOk, 149k/896MOk, 1.2M/828MOk, 3.9k/672MOk, 411k/524MOk, 121k/142MOk, 12k/218MNo, 0/33MOk, 56k/115MNo, 0/185M
         Allow unseen Allow unseen
WRW+WR+po+sfence+WB+UCAllowOk, 885k/3.6GOk, 132k/896MOk, 291k/828MOk, 7.7k/672MOk, 106k/524MOk, 77k/142MOk, 36k/218MOk, 1/33MOk, 235k/115MNo, 0/161M
           Allow unseen
WRW+WR+po+sfence+WB+WBAllowOk, 753k/3.6GOk, 172k/896MOk, 65k/828MOk, 430k/672MOk, 30k/524MOk, 7.5k/142MOk, 13k/218MOk, 372/33MOk, 14k/115MOk, 21k/161M
WRW+WR+po+sfence+WB+WCAllowOk, 3.2M/3.6GOk, 361k/896MOk, 192k/828MOk, 31k/672MOk, 1.1M/524MOk, 733k/142MOk, 175k/218MNo, 0/33MOk, 544k/115MNo, 0/161M
         Allow unseen Allow unseen
3.SB+sfences+WB+UC+UCAllowOk, 243/2.0GNo, 0/388MNo, 0/220MNo, 0/128MOk, 3/518MOk, 4/151MOk, 187/218MNo, 0/33MOk, 49/115MNo, 0/185M
   Allow unseenAllow unseenAllow unseen   Allow unseen Allow unseen
3.SB+sfences+WB+WB+UCAllowOk, 4.1M/2.0GOk, 336k/388MOk, 483k/220MOk, 258k/128MOk, 2.5M/518MOk, 82k/151MOk, 189k/218MOk, 141/33MOk, 202k/115MOk, 23k/185M
3.SB+sfences+WB+WB+WBAllowOk, 61M/2.0GOk, 14M/388MOk, 5.6M/220MOk, 8.4M/128MOk, 29M/518MOk, 455k/151MOk, 1.4M/218MOk, 13k/33MOk, 484k/115MOk, 842k/185M
3.SB+sfences+WB+WB+WCAllowOk, 4.5M/2.0GOk, 429k/388MOk, 504k/220MOk, 284k/128MOk, 2.8M/518MOk, 81k/151MOk, 177k/218MOk, 186/33MOk, 158k/115MOk, 27k/185M
3.SB+sfences+WB+WC+UCAllowOk, 574/2.0GNo, 0/388MOk, 1/220MOk, 1/128MOk, 5/518MOk, 11/151MOk, 269/218MNo, 0/33MOk, 287/115MNo, 0/185M
   Allow unseen     Allow unseen Allow unseen
3.SB+sfences+WB+WC+WCAllowOk, 941/2.0GNo, 0/388MNo, 0/220MNo, 0/128MOk, 2/518MOk, 4/151MOk, 468/218MNo, 0/33MOk, 467/115MNo, 0/185M
   Allow unseenAllow unseenAllow unseen   Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WB+UC+UCAllowOk, 380/1.9GNo, 0/388MOk, 2/220MNo, 0/128MOk, 8/518MOk, 44/151MOk, 232/218MNo, 0/33MOk, 94/115MNo, 0/161M
   Allow unseen Allow unseen   Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WB+UC+WBAllowOk, 2.6k/1.9GNo, 0/388MOk, 9/220MOk, 2/128MOk, 17/518MOk, 29/151MOk, 763/218MNo, 0/33MOk, 860/115MOk, 883/161M
   Allow unseen     Allow unseen  
W+RWC+sfence+po+sfence+WB+UC+WCAllowOk, 1.2k/1.9GNo, 0/388MOk, 1/220MNo, 0/128MOk, 2/518MOk, 53/151MOk, 500/218MNo, 0/33MOk, 652/115MNo, 0/161M
   Allow unseen Allow unseen   Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WB+WB+UCAllowOk, 482k/1.9GOk, 32k/388MOk, 149k/220MOk, 17k/128MOk, 140k/518MOk, 77k/151MOk, 7.9k/218MNo, 0/33MOk, 58k/115MNo, 0/161M
         Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WB+WB+WBAllowOk, 48k/1.9GOk, 4.8k/388MOk, 1.2k/220MOk, 2.6k/128MOk, 10k/518MOk, 1.3k/151MOk, 7.3k/218MOk, 15/33MOk, 9.3k/115MOk, 12k/161M
W+RWC+sfence+po+sfence+WB+WB+WCAllowOk, 486k/1.9GOk, 34k/388MOk, 134k/220MOk, 14k/128MOk, 153k/518MOk, 63k/151MOk, 6.8k/218MNo, 0/33MOk, 80k/115MNo, 0/161M
         Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WB+WC+UCAllowOk, 3.5k/1.9GNo, 0/388MNo, 0/220MNo, 0/128MOk, 77/518MOk, 782/151MOk, 1.3k/218MNo, 0/33MOk, 1.3k/115MNo, 0/161M
   Allow unseenAllow unseenAllow unseen   Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WB+WC+WBAllowOk, 1.2k/1.9GOk, 33/388MOk, 4/220MOk, 18/128MOk, 12/518MOk, 15/151MOk, 200/218MNo, 0/33MOk, 565/115MOk, 323/161M
         Allow unseen  
W+RWC+sfence+po+sfence+WB+WC+WCAllowOk, 2.2k/1.9GNo, 0/388MNo, 0/220MNo, 0/128MOk, 19/518MOk, 744/151MOk, 825/218MNo, 0/33MOk, 608/115MNo, 0/161M
   Allow unseenAllow unseenAllow unseen   Allow unseen Allow unseen
W+RWC+sfence+po+sfence+WC+WB+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+sfence+WC+WB+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+sfence+WC+WB+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+sfence+WC+WC+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+sfence+WC+WC+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
W+RWC+sfence+po+sfence+WC+WC+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+sfence+WB+UC+UCAllowOk, 1.1k/1.9GNo, 0/388MOk, 4/220MNo, 0/128MOk, 15/518MOk, 70/151MOk, 680/218MNo, 0/33MOk, 283/115MNo, 0/161M
   Allow unseen Allow unseen   Allow unseen Allow unseen
Z6.0+sfence+po+sfence+WB+UC+WBAllowOk, 1.5k/1.9GOk, 4/388MOk, 2/220MOk, 2/128MOk, 6/518MOk, 17/151MOk, 247/218MNo, 0/33MOk, 774/115MOk, 449/161M
         Allow unseen  
Z6.0+sfence+po+sfence+WB+UC+WCAllowOk, 3.5k/1.9GOk, 1/388MOk, 3/220MOk, 7/128MOk, 36/518MOk, 678/151MOk, 1.5k/218MNo, 0/33MOk, 1.3k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+sfence+po+sfence+WB+WB+UCAllowOk, 311k/1.9GOk, 3.7k/388MOk, 3.9k/220MOk, 5.5k/128MOk, 46k/518MOk, 71k/151MOk, 4.9k/218MNo, 0/33MOk, 176k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+sfence+po+sfence+WB+WB+WBAllowOk, 25k/1.9GOk, 2.8k/388MOk, 243/220MOk, 1.8k/128MOk, 2.3k/518MOk, 1.6k/151MOk, 3.9k/218MOk, 2/33MOk, 5.2k/115MOk, 7.3k/161M
Z6.0+sfence+po+sfence+WB+WB+WCAllowOk, 2.1M/1.9GOk, 30k/388MOk, 13k/220MOk, 36k/128MOk, 791k/518MOk, 755k/151MOk, 106k/218MNo, 0/33MOk, 401k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.0+sfence+po+sfence+WB+WC+UCAllowOk, 10k/1.9GOk, 16/388MOk, 6/220MNo, 0/128MOk, 2.2k/518MOk, 1.3k/151MOk, 3.7k/218MNo, 0/33MOk, 3.1k/115MNo, 0/161M
     Allow unseen   Allow unseen Allow unseen
Z6.0+sfence+po+sfence+WB+WC+WBAllowOk, 1.2k/1.9GOk, 76/388MNo, 0/220MOk, 49/128MOk, 10/518MOk, 8/151MOk, 243/218MNo, 0/33MOk, 416/115MOk, 348/161M
    Allow unseen    Allow unseen  
Z6.0+sfence+po+sfence+WB+WC+WCAllowOk, 1.1k/1.9GNo, 0/388MNo, 0/220MOk, 1/128MOk, 21/518MOk, 195/151MOk, 542/218MNo, 0/33MOk, 335/115MNo, 0/161M
   Allow unseenAllow unseen    Allow unseen Allow unseen
Z6.0+sfence+po+sfence+WC+WB+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+sfence+WC+WB+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+sfence+WC+WB+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+sfence+WC+WC+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+sfence+WC+WC+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.0+sfence+po+sfence+WC+WC+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+sfence+sfence+UC+UC+WBAllowOk, 307/1.9GOk, 15/388MOk, 2/220MOk, 4/128MOk, 1/518MOk, 12/151MOk, 146/218MNo, 0/33MOk, 127/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+UC+WB+WBAllowOk, 1.7k/1.9GNo, 0/388MOk, 1/220MNo, 0/128MOk, 4/518MOk, 11/151MOk, 961/218MNo, 0/33MOk, 620/115MOk, 58/161M
   Allow unseen Allow unseen   Allow unseen  
Z6.4+sfence+sfence+sfence+UC+WC+WBAllowOk, 2.9k/1.9GOk, 1/388MOk, 2/220MOk, 3/128MOk, 19/518MOk, 447/151MOk, 1.2k/218MNo, 0/33MOk, 1.2k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WB+UC+UCAllowOk, 117/1.9GNo, 0/388MNo, 0/220MOk, 1/128MOk, 2/518MOk, 14/151MOk, 62/218MNo, 0/33MOk, 38/115MNo, 0/161M
   Allow unseenAllow unseen    Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WB+UC+WBAllowOk, 3.1M/1.9GOk, 101k/388MOk, 622k/220MOk, 118k/128MOk, 1.3M/518MOk, 468k/151MOk, 36k/218MOk, 25/33MOk, 56k/115MOk, 448k/161M
Z6.4+sfence+sfence+sfence+WB+UC+WCAllowOk, 303/1.9GNo, 0/388MOk, 3/220MOk, 2/128MOk, 3/518MOk, 14/151MOk, 59/218MNo, 0/33MOk, 222/115MNo, 0/161M
   Allow unseen     Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WB+WB+UCAllowOk, 412k/1.9GOk, 35k/388MOk, 86k/220MOk, 15k/128MOk, 111k/518MOk, 57k/151MOk, 9.4k/218MNo, 0/33MOk, 98k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WB+WB+WBAllowOk, 5.0M/1.9GOk, 962k/388MOk, 1.5M/220MOk, 556k/128MOk, 1.6M/518MOk, 25k/151MOk, 52k/218MOk, 407/33MOk, 56k/115MOk, 269k/161M
Z6.4+sfence+sfence+sfence+WB+WB+WCAllowOk, 407k/1.9GOk, 41k/388MOk, 75k/220MOk, 19k/128MOk, 120k/518MOk, 62k/151MOk, 5.5k/218MNo, 0/33MOk, 83k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WB+WC+UCAllowOk, 669/1.9GOk, 4/388MOk, 11/220MOk, 1/128MOk, 89/518MOk, 48/151MOk, 197/218MNo, 0/33MOk, 319/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WB+WC+WBAllowOk, 2.3M/1.9GOk, 187k/388MOk, 85k/220MOk, 205k/128MOk, 617k/518MOk, 67k/151MOk, 574k/218MOk, 51/33MOk, 368k/115MOk, 212k/161M
Z6.4+sfence+sfence+sfence+WB+WC+WCAllowOk, 539/1.9GOk, 10/388MOk, 3/220MOk, 1/128MOk, 5/518MOk, 61/151MOk, 89/218MNo, 0/33MOk, 370/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WC+UC+WBAllowOk, 380/1.9GNo, 0/388MOk, 2/220MOk, 4/128MOk, 1/518MOk, 13/151MOk, 107/218MNo, 0/33MOk, 253/115MNo, 0/161M
   Allow unseen     Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WC+WB+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+sfence+sfence+WC+WB+WBAllowOk, 2.1k/1.9GOk, 22/388MNo, 0/220MOk, 12/128MOk, 5/518MOk, 11/151MOk, 1.2k/218MNo, 0/33MOk, 755/115MOk, 75/161M
    Allow unseen    Allow unseen  
Z6.4+sfence+sfence+sfence+WC+WB+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+sfence+sfence+WC+WC+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.4+sfence+sfence+sfence+WC+WC+WBAllowOk, 3.6k/1.9GOk, 4/388MOk, 1/220MOk, 8/128MOk, 143/518MOk, 695/151MOk, 1.4k/218MNo, 0/33MOk, 1.3k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.4+sfence+sfence+sfence+WC+WC+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+UC+WB+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+UC+WC+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+UC+WC+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+WB+UC+UCAllowOk, 312/1.9GOk, 1/388MOk, 8/220MOk, 2/128MOk, 3/518MOk, 20/151MOk, 188/218MNo, 0/33MOk, 90/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WB+UC+WBAllowOk, 265/1.9GOk, 1/388MOk, 20/220MOk, 11/128MOk, 6/518MOk, 5/151MOk, 147/218MNo, 0/33MOk, 75/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WB+UC+WCAllowOk, 1.6k/1.9GOk, 16/388MOk, 69/220MOk, 16/128MOk, 26/518MOk, 487/151MOk, 280/218MNo, 0/33MOk, 679/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WB+WB+UCAllowOk, 564k/1.9GOk, 8.6k/388MOk, 56k/220MOk, 8.2k/128MOk, 108k/518MOk, 180k/151MOk, 12k/218MNo, 0/33MOk, 192k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WB+WB+WBAllowOk, 22k/1.9GOk, 3.2k/388MOk, 666/220MOk, 2.2k/128MOk, 2.3k/518MOk, 649/151MOk, 3.4k/218MOk, 1/33MOk, 5.3k/115MOk, 4.3k/161M
Z6.5+sfence+sfence+sfence+WB+WB+WCAllowOk, 551k/1.9GOk, 27k/388MOk, 34k/220MOk, 20k/128MOk, 131k/518MOk, 39k/151MOk, 162k/218MNo, 0/33MOk, 139k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WB+WC+UCAllowOk, 3.7k/1.9GOk, 532/388MOk, 216/220MOk, 271/128MOk, 257/518MOk, 79/151MOk, 836/218MNo, 0/33MOk, 1.5k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WB+WC+WBAllowOk, 1.5k/1.9GOk, 310/388MOk, 308/220MOk, 250/128MOk, 46/518MOk, 5/151MOk, 120/218MNo, 0/33MOk, 485/115MOk, 1/161M
         Allow unseen  
Z6.5+sfence+sfence+sfence+WB+WC+WCAllowOk, 99k/1.9GOk, 15k/388MOk, 40k/220MOk, 22k/128MOk, 2.8k/518MOk, 3.8k/151MOk, 11k/218MNo, 0/33MOk, 4.9k/115MNo, 0/161M
         Allow unseen Allow unseen
Z6.5+sfence+sfence+sfence+WC+WB+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+WC+WB+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+WC+WB+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+WC+WC+UCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+WC+WC+WBForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Z6.5+sfence+sfence+sfence+WC+WC+WCForbidOk, 0/1.9GOk, 0/388MOk, 0/220MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/218MOk, 0/33MOk, 0/115MOk, 0/161M
Previous Up Next