Up Next

Comparing with the SC model

We observe many non-SC behaviours, which is not very surprising as, not even considering memory types, x86_64 machines are not SC.

Behaviours relaxing SC

There are 451 such tests
 SCHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+WB+WB+NTForbidOk, 4.1M/3.6GOk, 713k/734MOk, 21k/204MOk, 299k/268MOk, 1.6M/863MOk, 517k/462MOk, 607k/572MOk, 20k/66MOk, 253k/173MOk, 115k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WB+WCForbidOk, 355M/4.3GOk, 78M/890MOk, 26M/300MOk, 70M/560MOk, 32M/991MOk, 55M/504MOk, 80M/553MOk, 69k/66MOk, 14M/173MOk, 690k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WB+WC+NTForbidOk, 6.2M/3.6GOk, 640k/734MOk, 23k/204MOk, 304k/268MOk, 3.8M/863MOk, 306k/462MOk, 519k/572MOk, 22k/66MOk, 433k/173MOk, 144k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WB+WT+NTForbidOk, 2.5M/2.7GOk, 674k/734MOk, 20k/204MOk, 273k/268M—Ok, 430k/462MOk, 523k/572MOk, 22k/66MOk, 430k/173MOk, 105k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WC+WBForbidOk, 300M/3.7GOk, 61M/778MOk, 21M/204MOk, 57M/432MOk, 25M/863MOk, 41M/408MOk, 81M/553MOk, 80k/66MOk, 14M/173MOk, 602k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WC+WB+NTForbidOk, 6.7M/3.6GOk, 590k/734MOk, 22k/204MOk, 304k/268MOk, 4.1M/863MOk, 326k/462MOk, 574k/572MOk, 22k/66MOk, 609k/173MOk, 144k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WC+WCForbidOk, 4.7M/4.3GOk, 931k/890MOk, 279k/300MOk, 1.2M/560MOk, 1.2M/991MOk, 253k/504MOk, 541k/553MOk, 26k/66MOk, 204k/173MOk, 100k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WC+WC+NTForbidOk, 3.0M/3.6GOk, 584k/734MOk, 21k/204MOk, 254k/268MOk, 1.1M/863MOk, 281k/462MOk, 485k/572MOk, 23k/66MOk, 179k/173MOk, 119k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WC+WT+NTForbidOk, 2.0M/2.7GOk, 585k/734MOk, 21k/204MOk, 247k/268M—Ok, 289k/462MOk, 515k/572MOk, 30k/66MOk, 186k/173MOk, 131k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WT+WB+NTForbidOk, 2.5M/2.7GOk, 625k/734MOk, 20k/204MOk, 275k/268M—Ok, 335k/462MOk, 558k/572MOk, 18k/66MOk, 509k/173MOk, 131k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WT+WC+NTForbidOk, 1.9M/2.7GOk, 585k/734MOk, 22k/204MOk, 251k/268M—Ok, 247k/462MOk, 498k/572MOk, 28k/66MOk, 181k/173MOk, 133k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+WT+WT+NTForbidOk, 1.8M/2.7GOk, 582k/734MOk, 19k/204MOk, 239k/268M—Ok, 238k/462MOk, 486k/572MOk, 22k/66MOk, 168k/173MOk, 82k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+po+WB+WCForbidOk, 290M/3.7GOk, 54M/738MOk, 25M/204MOk, 50M/392MOk, 20M/863MOk, 43M/408MOk, 83M/553MOk, 1.7k/66MOk, 15M/173MOk, 130k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+po+WC+WBForbidOk, 24k/3.7GOk, 61/738MOk, 36/204MOk, 215/392MOk, 42/863MOk, 62/408MOk, 23k/553MNo, 0/66MOk, 293/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+po+WC+WCForbidOk, 60k/3.7GOk, 682/738MOk, 2.1k/204MOk, 2.2k/392MOk, 3.3k/863MOk, 22k/408MOk, 23k/553MNo, 0/66MOk, 6.8k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+ponant+WB+WBForbidOk, 1.4k/3.2GNo, 0/680MOk, 4/180MNo, 0/304MOk, 220/863MOk, 54/456MOk, 357/192MNo, 0/66MOk, 779/173MOk, 18/267M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
2+2W+mfence+ponant+WB+WCForbidOk, 36k/3.2GOk, 520/680MOk, 321/180MOk, 904/304MOk, 2.7k/863MOk, 24k/456MOk, 1.4k/192MNo, 0/66MOk, 6.5k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+ponant+WC+WBForbidOk, 1.5k/3.2GOk, 5/680MOk, 47/180MOk, 14/304MOk, 28/863MOk, 76/456MOk, 794/192MNo, 0/66MOk, 580/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+ponant+WC+WCForbidOk, 40k/3.2GOk, 860/680MOk, 2.2k/180MOk, 2.6k/304MOk, 3.3k/863MOk, 21k/456MOk, 2.5k/192MNo, 0/66MOk, 6.8k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+ponant+WT+WBForbidOk, 494/2.3GNo, 0/680MOk, 2/180MNo, 0/304M—Ok, 51/456MOk, 280/192MNo, 0/66MOk, 161/173MNo, 0/267M
  Forbid invalidated Forbid invalidated  Forbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+ponant+WT+WCForbidOk, 90k/2.3GOk, 719/680MOk, 4.6k/180MOk, 5.6k/304M—Ok, 51k/456MOk, 12k/192MNo, 0/66MOk, 16k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+pontna+WB+WBForbidOk, 84M/3.2GOk, 8.8M/680MOk, 5.9M/180MOk, 11M/304MOk, 18M/863MOk, 15M/456MOk, 15M/192MOk, 442k/66MOk, 10M/173MOk, 1.3M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+pontna+WB+WCForbidOk, 187M/3.2GOk, 30M/680MOk, 24M/180MOk, 40M/304MOk, 20M/863MOk, 38M/456MOk, 21M/192MOk, 3.5k/66MOk, 15M/173MOk, 141k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+pontna+WB+WTForbidOk, 109M/2.3GOk, 23M/680MOk, 14M/180MOk, 30M/304M—Ok, 23M/456MOk, 9.0M/192MOk, 42k/66MOk, 9.5M/173MOk, 454k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+pontna+WC+WBForbidOk, 1.1M/3.2GOk, 836k/680MOk, 46k/180MOk, 182k/304MOk, 710/863MOk, 2.7k/456MOk, 1.5k/192MOk, 2/66MOk, 4.3k/173MOk, 4/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+pontna+WC+WCForbidOk, 39k/3.2GOk, 951/680MOk, 2.2k/180MOk, 2.7k/304MOk, 3.3k/863MOk, 20k/456MOk, 1.9k/192MNo, 0/66MOk, 7.3k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+pontna+WC+WTForbidOk, 64k/2.3GOk, 583/680MOk, 3.7k/180MOk, 3.7k/304M—Ok, 33k/456MOk, 15k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+pontnt+WB+WBForbidOk, 89k/3.2GOk, 61k/680MOk, 2.3k/180MOk, 16k/304MOk, 2.5k/863MOk, 3.6k/456MOk, 2.9k/192MOk, 6/66MOk, 1.4k/173MOk, 11/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+pontnt+WB+WCForbidOk, 36k/3.2GOk, 514/680MOk, 285/180MOk, 964/304MOk, 2.8k/863MOk, 23k/456MOk, 1.5k/192MNo, 0/66MOk, 6.6k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
2+2W+mfence+pontnt+WB+WTForbidOk, 4.8k/2.3GOk, 187/680MOk, 118/180MOk, 489/304M—Ok, 2.1k/456MOk, 720/192MNo, 0/66MOk, 1.1k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
2+2W+mfence+pontnt+WC+WBForbidOk, 1.0M/3.2GOk, 814k/680MOk, 44k/180MOk, 179k/304MOk, 560/863MOk, 2.8k/456MOk, 1.5k/192MNo, 0/66MOk, 4.0k/173MOk, 3/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
2+2W+mfence+pontnt+WC+WCForbidOk, 39k/3.2GOk, 819/680MOk, 2.0k/180MOk, 2.5k/304MOk, 3.4k/863MOk, 20k/456MOk, 2.6k/192MNo, 0/66MOk, 6.9k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+pontnt+WC+WTForbidOk, 69k/2.3GOk, 621/680MOk, 3.9k/180MOk, 3.7k/304M—Ok, 32k/456MOk, 19k/192MNo, 0/66MOk, 10k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+pontnt+WT+WBForbidOk, 810k/2.3GOk, 650k/680MOk, 25k/180MOk, 127k/304M—Ok, 4.2k/456MOk, 2.8k/192MOk, 2/66MOk, 1.1k/173MOk, 71/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+pontnt+WT+WCForbidOk, 91k/2.3GOk, 865/680MOk, 4.8k/180MOk, 5.7k/304M—Ok, 50k/456MOk, 16k/192MNo, 0/66MOk, 13k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
2+2W+mfence+pontnt+WT+WTForbidOk, 67k/2.3GOk, 691/680MOk, 1.8k/180MOk, 3.9k/304M—Ok, 35k/456MOk, 20k/192MNo, 0/66MOk, 6.5k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
MP+WB+WB+NTForbidOk, 286k/3.6GOk, 103k/734MOk, 2.5k/204MOk, 36k/268MOk, 8.4k/863MOk, 3.9k/462MOk, 124k/572MOk, 238/66MOk, 6.5k/173MOk, 1.3k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+WB+WCForbidOk, 37k/4.3GOk, 36/890MOk, 154/300MOk, 49/560MOk, 124/991MOk, 994/504MOk, 34k/553MNo, 0/66MOk, 1.8k/173MOk, 56/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
MP+WB+WC+NTForbidOk, 314k/3.6GOk, 55k/734MOk, 4.1k/204MOk, 40k/268MOk, 110k/863MOk, 6.8k/462MOk, 69k/572MOk, 7.4k/66MOk, 15k/173MOk, 6.4k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+WB+WT+NTForbidOk, 270k/2.7GOk, 97k/734MOk, 2.5k/204MOk, 36k/268M—Ok, 5.4k/462MOk, 120k/572MOk, 120/66MOk, 7.2k/173MOk, 1.2k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+WC+WBForbidOk, 260M/4.3GOk, 76M/890MOk, 16M/300MOk, 68M/560MOk, 19M/991MOk, 21M/504MOk, 50M/553MOk, 73k/66MOk, 11M/173MOk, 1.2M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+WC+WB+NTForbidOk, 36k/3.6GOk, 2.2k/734MOk, 3.8k/204MOk, 3.8k/268MOk, 1.2k/863MOk, 2.5k/462MOk, 21k/572MNo, 0/66MOk, 1.8k/173MOk, 3/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
MP+WC+WCForbidOk, 108k/4.3GOk, 15k/890MOk, 25k/300MOk, 21k/560MOk, 6.4k/991MOk, 13k/504MOk, 25k/553MNo, 0/66MOk, 2.8k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
MP+WC+WC+NTForbidOk, 75k/3.6GOk, 7.9k/734MOk, 21k/204MOk, 14k/268MOk, 4.9k/863MOk, 7.9k/462MOk, 18k/572MNo, 0/66MOk, 2.4k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
MP+WC+WT+NTForbidOk, 34k/2.7GOk, 2.1k/734MOk, 3.9k/204MOk, 3.8k/268M—Ok, 2.3k/462MOk, 20k/572MNo, 0/66MOk, 1.9k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
MP+WT+WB+NTForbidOk, 280k/2.7GOk, 100k/734MOk, 2.9k/204MOk, 42k/268M—Ok, 4.0k/462MOk, 124k/572MOk, 11/66MOk, 6.3k/173MOk, 388/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+WT+WC+NTForbidOk, 149k/2.7GOk, 49k/734MOk, 4.2k/204MOk, 31k/268M—Ok, 5.2k/462MOk, 46k/572MOk, 207/66MOk, 12k/173MOk, 648/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+WT+WT+NTForbidOk, 245k/2.7GOk, 98k/734MOk, 2.5k/204MOk, 42k/268M—Ok, 3.4k/462MOk, 93k/572MOk, 4/66MOk, 5.6k/173MOk, 42/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+po+mfence+WB+WCForbidOk, 11k/3.7GOk, 17/738MOk, 21/204MOk, 10/392MOk, 2/863MOk, 441/408MOk, 10k/553MNo, 0/66MOk, 889/173MOk, 41/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
MP+po+mfence+WC+WBForbidOk, 198M/3.7GOk, 42M/738MOk, 12M/204MOk, 39M/392MOk, 16M/863MOk, 26M/408MOk, 51M/553MOk, 48k/66MOk, 10M/173MOk, 422k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
MP+po+mfence+WC+WCForbidOk, 98k/3.7GOk, 6.8k/738MOk, 22k/204MOk, 11k/392MOk, 5.1k/863MOk, 16k/408MOk, 34k/553MNo, 0/66MOk, 3.3k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WB+UC+NTForbidOk, 39k/3.6GOk, 6.1k/734MOk, 4.3k/204MOk, 3.6k/268MOk, 966/863MOk, 7.7k/462MOk, 14k/572MNo, 0/66MOk, 1.4k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WB+WB+NTForbidOk, 884M/3.6GOk, 118M/734MOk, 35M/204MOk, 62M/268MOk, 410M/863MOk, 64M/462MOk, 112M/572MOk, 2.3M/66MOk, 33M/173MOk, 46M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WB+WCForbidOk, 380M/4.3GOk, 78M/890MOk, 25M/300MOk, 68M/560MOk, 50M/991MOk, 56M/504MOk, 83M/553MOk, 194k/66MOk, 15M/173MOk, 5.9M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WB+WC+NTForbidOk, 909M/3.6GOk, 122M/734MOk, 37M/204MOk, 64M/268MOk, 421M/863MOk, 71M/462MOk, 114M/572MOk, 2.7M/66MOk, 34M/173MOk, 44M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WB+WTForbidOk, 22M/3.3GOk, 3.1M/890MOk, 5.3M/300MOk, 1.0M/560M—Ok, 12M/504MOk, 839k/553MOk, 11/66MOk, 575k/173MOk, 12k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WB+WT+NTForbidOk, 475M/2.7GOk, 121M/734MOk, 36M/204MOk, 63M/268M—Ok, 66M/462MOk, 111M/572MOk, 2.1M/66MOk, 34M/173MOk, 43M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WC+WBForbidOk, 288M/4.3GOk, 77M/890MOk, 26M/300MOk, 71M/560MOk, 24M/991MOk, 25M/504MOk, 54M/553MOk, 56k/66MOk, 9.4M/173MOk, 607k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WC+WB+NTForbidOk, 189k/3.6GOk, 4.6k/734MOk, 15k/204MOk, 10k/268MOk, 5.9k/863MOk, 24k/462MOk, 124k/572MNo, 0/66MOk, 5.0k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+WC+WCForbidOk, 202k/4.3GOk, 7.6k/890MOk, 18k/300MOk, 15k/560MOk, 10k/991MOk, 36k/504MOk, 110k/553MNo, 0/66MOk, 5.3k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+WC+WC+NTForbidOk, 203k/3.6GOk, 4.7k/734MOk, 15k/204MOk, 9.1k/268MOk, 6.8k/863MOk, 27k/462MOk, 135k/572MNo, 0/66MOk, 4.8k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+WC+WT+NTForbidOk, 180k/2.7GOk, 4.9k/734MOk, 15k/204MOk, 9.0k/268M—Ok, 26k/462MOk, 121k/572MNo, 0/66MOk, 4.6k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+WT+UCForbidOk, 3.2M/3.3GOk, 410k/890MOk, 171k/300MOk, 192k/560M—Ok, 1.3M/504MOk, 740k/553MOk, 38/66MOk, 357k/173MOk, 9.2k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WT+UC+NTForbidOk, 36k/2.7GOk, 7.3k/734MOk, 4.6k/204MOk, 3.9k/268M—Ok, 6.9k/462MOk, 12k/572MNo, 0/66MOk, 1.6k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+WT+WBForbidOk, 601k/3.3GOk, 105k/890MOk, 35k/300MOk, 51k/560M—Ok, 79k/504MOk, 295k/553MOk, 22/66MOk, 30k/173MOk, 6.1k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WT+WB+NTForbidOk, 479M/2.7GOk, 122M/734MOk, 36M/204MOk, 62M/268M—Ok, 67M/462MOk, 112M/572MOk, 2.3M/66MOk, 34M/173MOk, 43M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WT+WCForbidOk, 474M/3.3GOk, 95M/890MOk, 31M/300MOk, 85M/560M—Ok, 126M/504MOk, 111M/553MOk, 5.4k/66MOk, 26M/173MOk, 800k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WT+WC+NTForbidOk, 484M/2.7GOk, 123M/734MOk, 36M/204MOk, 64M/268M—Ok, 72M/462MOk, 112M/572MOk, 2.4M/66MOk, 33M/173MOk, 42M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WT+WTForbidOk, 3.4M/3.3GOk, 526k/890MOk, 174k/300MOk, 213k/560M—Ok, 1.3M/504MOk, 741k/553MOk, 46/66MOk, 384k/173MOk, 6.4k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+WT+WT+NTForbidOk, 479M/2.7GOk, 125M/734MOk, 36M/204MOk, 63M/268M—Ok, 68M/462MOk, 109M/572MOk, 2.0M/66MOk, 33M/173MOk, 43M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+poForbidOk, 1.3M/3.7GOk, 111k/738MOk, 5.3k/204MOk, 184k/392MOk, 134k/863MOk, 223k/408MOk, 375k/553MOk, 189/66MOk, 33k/173MOk, 191k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+po+WB+UCForbidOk, 1.5M/3.7GOk, 119k/738MOk, 7.7k/204MOk, 7.4k/392MOk, 526k/863MOk, 204k/408MOk, 580k/553MNo, 0/66MOk, 54k/173MOk, 9/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+mfence+po+WB+WBForbidOk, 1.3M/3.7GOk, 135k/738MOk, 5.3k/204MOk, 194k/392MOk, 147k/863MOk, 207k/408MOk, 389k/553MOk, 186/66MOk, 35k/173MOk, 182k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+po+WB+WCForbidOk, 273M/3.7GOk, 42M/738MOk, 18M/204MOk, 38M/392MOk, 29M/863MOk, 42M/408MOk, 89M/553MOk, 5.1k/66MOk, 15M/173MOk, 426k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+po+WB+WTForbidOk, 967k/2.8GOk, 118k/738MOk, 4.7k/204MOk, 7.9k/392M—Ok, 189k/408MOk, 598k/553MOk, 1/66MOk, 49k/173MOk, 4/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+po+WT+UCForbidOk, 49k/2.8GOk, 6.6k/738MOk, 5.5k/204MOk, 3.8k/392M—Ok, 4.1k/408MOk, 28k/553MNo, 0/66MOk, 1.4k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+mfence+po+WT+WBForbidOk, 143k/2.8GOk, 8.0k/738MOk, 722/204MOk, 11k/392M—Ok, 2.6k/408MOk, 110k/553MOk, 2/66MOk, 7.1k/173MOk, 3.0k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+po+WT+WCForbidOk, 360M/2.8GOk, 57M/738MOk, 23M/204MOk, 54M/392M—Ok, 93M/408MOk, 106M/553MOk, 204/66MOk, 26M/173MOk, 30k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+po+WT+WTForbidOk, 45k/2.8GOk, 5.9k/738MOk, 5.2k/204MOk, 3.6k/392M—Ok, 3.3k/408MOk, 26k/553MNo, 0/66MOk, 1.2k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+mfence+pontna+WB+UCForbidOk, 528k/3.1GOk, 36k/624MOk, 6.4k/180MOk, 43k/240MOk, 175k/863MOk, 208k/456MOk, 14k/192MNo, 0/66MOk, 45k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+mfence+pontna+WB+WBForbidOk, 86M/3.1GOk, 8.1M/624MOk, 2.8M/180MOk, 6.2M/240MOk, 24M/863MOk, 11M/456MOk, 16M/192MOk, 983k/66MOk, 10M/173MOk, 6.9M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+pontna+WB+WCForbidOk, 155M/3.1GOk, 14M/624MOk, 17M/180MOk, 21M/240MOk, 28M/863MOk, 38M/456MOk, 22M/192MOk, 4.3k/66MOk, 15M/173MOk, 423k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+pontna+WB+WTForbidOk, 84M/2.2GOk, 14M/624MOk, 18M/180MOk, 19M/240M—Ok, 10M/456MOk, 11M/192MOk, 67k/66MOk, 8.4M/173MOk, 2.5M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+pontna+WT+UCForbidOk, 15k/2.2GOk, 1.8k/624MOk, 4.5k/180MOk, 3.2k/240M—Ok, 3.7k/456MOk, 199/192MNo, 0/66MOk, 2.0k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+mfence+pontna+WT+WBForbidOk, 52M/2.2GOk, 8.9M/624MOk, 401k/180MOk, 13M/240M—Ok, 8.4M/456MOk, 14M/192MOk, 6.7k/66MOk, 7.3M/173MOk, 586k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+pontna+WT+WCForbidOk, 203M/2.2GOk, 19M/624MOk, 21M/180MOk, 28M/240M—Ok, 81M/456MOk, 27M/192MOk, 174/66MOk, 26M/173MOk, 29k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+pontna+WT+WTForbidOk, 83M/2.2GOk, 18M/624MOk, 19M/180MOk, 26M/240M—Ok, 5.9M/456MOk, 10M/192MOk, 4.1k/66MOk, 4.2M/173MOk, 284k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+po+mfence+WB+WCForbidOk, 9.5k/3.7GOk, 31/738MOk, 60/204MOk, 12/392MOk, 7/863MOk, 250/408MOk, 8.6k/553MNo, 0/66MOk, 473/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+po+mfence+WC+WBForbidOk, 225M/3.7GOk, 47M/738MOk, 21M/204MOk, 43M/392MOk, 19M/863MOk, 27M/408MOk, 54M/553MOk, 44k/66MOk, 12M/173MOk, 468k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+po+mfence+WC+WCForbidOk, 203k/3.7GOk, 3.6k/738MOk, 18k/204MOk, 9.2k/392MOk, 7.2k/863MOk, 26k/408MOk, 133k/553MNo, 0/66MOk, 6.8k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+ponant+mfence+WB+WBForbidOk, 2.7k/3.2GNo, 0/680MOk, 86/180MNo, 0/304MOk, 38/863MOk, 428/456MOk, 424/192MNo, 0/66MOk, 1.7k/173MOk, 30/267M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+ponant+mfence+WB+WCForbidOk, 1.3k/3.2GOk, 9/680MOk, 49/180MOk, 7/304MOk, 7/863MOk, 327/456MOk, 419/192MNo, 0/66MOk, 481/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+ponant+mfence+WB+WTForbidOk, 795/2.3GNo, 0/680MOk, 3/180MNo, 0/304M—Ok, 304/456MOk, 274/192MOk, 1/66MOk, 213/173MNo, 0/267M
  Forbid invalidated Forbid invalidated  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated 
R+ponant+mfence+WC+WBForbidOk, 15k/3.2GOk, 1.2k/680MOk, 4.6k/180MOk, 3.5k/304MOk, 1.5k/863MOk, 1.7k/456MOk, 456/192MNo, 0/66MOk, 1.9k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+ponant+mfence+WC+WCForbidOk, 100k/3.2GOk, 3.1k/680MOk, 18k/180MOk, 8.2k/304MOk, 6.7k/863MOk, 26k/456MOk, 31k/192MNo, 0/66MOk, 7.4k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+ponant+mfence+WC+WTForbidOk, 93k/2.3GOk, 2.7k/680MOk, 16k/180MOk, 7.4k/304M—Ok, 29k/456MOk, 31k/192MNo, 0/66MOk, 6.9k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+pontna+mfence+WB+WBForbidOk, 110M/3.2GOk, 16M/680MOk, 8.6M/180MOk, 21M/304MOk, 20M/863MOk, 14M/456MOk, 17M/192MOk, 260k/66MOk, 12M/173MOk, 1.5M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontna+mfence+WB+WCForbidOk, 43k/3.2GOk, 11k/680MOk, 10k/180MOk, 8.1k/304MOk, 1.4k/863MOk, 6.0k/456MOk, 1.2k/192MOk, 3/66MOk, 6.1k/173MOk, 27/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontna+mfence+WC+WBForbidOk, 149M/3.2GOk, 25M/680MOk, 20M/180MOk, 36M/304MOk, 18M/863MOk, 24M/456MOk, 15M/192MOk, 36k/66MOk, 11M/173MOk, 517k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontna+mfence+WC+WCForbidOk, 87k/3.2GOk, 3.4k/680MOk, 16k/180MOk, 8.0k/304MOk, 6.3k/863MOk, 28k/456MOk, 18k/192MNo, 0/66MOk, 6.7k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
R+pontna+mfence+WT+WBForbidOk, 91M/2.3GOk, 16M/680MOk, 9.1M/180MOk, 22M/304M—Ok, 14M/456MOk, 17M/192MOk, 252k/66MOk, 11M/173MOk, 1.0M/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontna+mfence+WT+WCForbidOk, 33k/2.3GOk, 5.1k/680MOk, 10k/180MOk, 6.2k/304M—Ok, 6.1k/456MOk, 1.1k/192MNo, 0/66MOk, 4.9k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+pontnt+mfence+WB+WBForbidOk, 26k/3.2GOk, 8.4k/680MOk, 3.5k/180MOk, 4.1k/304MOk, 1.1k/863MOk, 4.8k/456MOk, 2.5k/192MOk, 24/66MOk, 1.8k/173MOk, 81/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontnt+mfence+WB+WCForbidOk, 44k/3.2GOk, 11k/680MOk, 9.3k/180MOk, 9.3k/304MOk, 1.1k/863MOk, 6.9k/456MOk, 1.1k/192MOk, 3/66MOk, 5.8k/173MOk, 28/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontnt+mfence+WB+WTForbidOk, 39k/2.3GOk, 12k/680MOk, 8.2k/180MOk, 7.8k/304M—Ok, 6.6k/456MOk, 1.3k/192MOk, 26/66MOk, 2.3k/173MOk, 401/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontnt+mfence+WC+WBForbidOk, 16k/3.2GOk, 1.3k/680MOk, 5.2k/180MOk, 3.7k/304MOk, 1.2k/863MOk, 1.6k/456MOk, 552/192MNo, 0/66MOk, 2.9k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+pontnt+mfence+WC+WCForbidOk, 96k/3.2GOk, 3.3k/680MOk, 17k/180MOk, 8.2k/304MOk, 7.5k/863MOk, 26k/456MOk, 26k/192MNo, 0/66MOk, 7.7k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+pontnt+mfence+WC+WTForbidOk, 84k/2.3GOk, 2.9k/680MOk, 16k/180MOk, 7.6k/304M—Ok, 29k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+pontnt+mfence+WT+WBForbidOk, 19k/2.3GOk, 3.0k/680MOk, 3.6k/180MOk, 4.2k/304M—Ok, 4.3k/456MOk, 2.0k/192MOk, 1/66MOk, 1.7k/173MOk, 1/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+pontnt+mfence+WT+WCForbidOk, 34k/2.3GOk, 5.3k/680MOk, 10k/180MOk, 6.1k/304M—Ok, 6.0k/456MOk, 1.2k/192MNo, 0/66MOk, 5.2k/173MOk, 2/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+pontnt+mfence+WT+WTForbidOk, 34k/2.3GOk, 7.8k/680MOk, 10k/180MOk, 6.9k/304M—Ok, 6.2k/456MOk, 1.3k/192MOk, 2/66MOk, 2.5k/173MOk, 3/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+sfence+sfence+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+sfence+sfence+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+sfence+sfence+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+sfence+sfence+WB+WTForbidOk, 2.7M/2.5GOk, 240k/762MOk, 628k/440MOk, 168k/240M—Ok, 1.3M/227MOk, 179k/327MOk, 4/66MOk, 180k/173MOk, 1.5k/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+sfence+sfence+WT+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+sfence+sfence+WT+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
R+sfence+sfence+WT+WCForbidOk, 144k/2.5GOk, 13k/762MOk, 7.3k/440MOk, 11k/240M—Ok, 33k/227MOk, 32k/327MNo, 0/66MOk, 48k/173MNo, 0/267M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
R+sfence+sfence+WT+WTForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+WB+WB+NTForbidOk, 101k/3.6GOk, 7.4k/734MOk, 452/204MOk, 3.7k/268MOk, 3.2k/863MOk, 44k/462MOk, 30k/572MNo, 0/66MOk, 12k/173MOk, 15/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+WB+WCForbidOk, 16k/4.3GOk, 32/890MOk, 35/300MOk, 76/556MOk, 7/991MOk, 429/504MOk, 14k/553MNo, 0/66MOk, 707/173MOk, 32/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+WB+WC+NTForbidOk, 239k/3.6GOk, 6.8k/734MOk, 13k/204MOk, 12k/268MOk, 6.9k/863MOk, 69k/462MOk, 122k/572MNo, 0/66MOk, 11k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+WB+WT+NTForbidOk, 87k/2.7GOk, 4.0k/734MOk, 569/204MOk, 2.9k/268M—Ok, 43k/462MOk, 29k/572MOk, 8/66MOk, 7.8k/173MOk, 145/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+WC+WBForbidOk, 325M/4.3GOk, 68M/890MOk, 23M/300MOk, 63M/556MOk, 29M/991MOk, 54M/504MOk, 73M/553MOk, 32k/66MOk, 14M/173MOk, 314k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+WC+WB+NTForbidOk, 82k/3.6GOk, 1.4k/734MOk, 321/204MOk, 1.6k/268MOk, 2.7k/863MOk, 47k/462MOk, 18k/572MNo, 0/66MOk, 11k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+WC+WCForbidOk, 263k/4.3GOk, 8.0k/890MOk, 16k/300MOk, 14k/556MOk, 14k/991MOk, 87k/504MOk, 111k/553MNo, 0/66MOk, 13k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+WC+WC+NTForbidOk, 243k/3.6GOk, 5.1k/734MOk, 13k/204MOk, 11k/268MOk, 10k/863MOk, 69k/462MOk, 123k/572MNo, 0/66MOk, 13k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+WC+WT+NTForbidOk, 80k/2.7GOk, 1.3k/734MOk, 338/204MOk, 1.6k/268M—Ok, 49k/462MOk, 21k/572MNo, 0/66MOk, 6.5k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+WT+WB+NTForbidOk, 79k/2.7GOk, 2.0k/734MOk, 301/204MOk, 1.6k/268M—Ok, 40k/462MOk, 24k/572MNo, 0/66MOk, 10k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+WT+WC+NTForbidOk, 232k/2.7GOk, 4.9k/734MOk, 14k/204MOk, 10k/268M—Ok, 67k/462MOk, 124k/572MNo, 0/66MOk, 12k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+WT+WT+NTForbidOk, 67k/2.7GOk, 1.9k/734MOk, 277/204MOk, 1.5k/268M—Ok, 40k/462MOk, 17k/572MNo, 0/66MOk, 6.3k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+po+mfence+WB+WCForbidOk, 11k/3.6GOk, 38/738MOk, 21/204MOk, 4/392MOk, 18/863MOk, 361/408MOk, 10k/553MNo, 0/66MOk, 522/173MOk, 26/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+po+mfence+WC+WBForbidOk, 244M/3.6GOk, 38M/738MOk, 12M/204MOk, 38M/392MOk, 19M/863MOk, 42M/408MOk, 78M/553MOk, 3.7k/66MOk, 16M/173MOk, 86k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+po+mfence+WC+WCForbidOk, 252k/3.6GOk, 3.9k/738MOk, 19k/204MOk, 10k/392MOk, 10k/863MOk, 69k/408MOk, 125k/553MNo, 0/66MOk, 16k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+ponant+mfence+WB+WBForbidOk, 2.3k/3.1GNo, 0/680MOk, 192/180MNo, 0/304MOk, 230/863MOk, 136/456MOk, 430/192MNo, 0/66MOk, 1.3k/173MOk, 15/227M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+ponant+mfence+WB+WCForbidOk, 1.2k/3.1GNo, 0/680MOk, 11/180MOk, 11/304MOk, 8/863MOk, 399/456MOk, 275/192MNo, 0/66MOk, 437/173MOk, 27/227M
  Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+ponant+mfence+WB+WTForbidOk, 2.1k/2.3GOk, 1/680MOk, 147/180MNo, 0/304M—Ok, 108/456MOk, 916/192MNo, 0/66MOk, 941/173MOk, 13/227M
  Forbid invalidatedForbid invalidatedForbid invalidated  Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+ponant+mfence+WC+WBForbidOk, 47k/3.1GOk, 1.1k/680MOk, 1.4k/180MOk, 2.1k/304MOk, 2.7k/863MOk, 32k/456MOk, 1.5k/192MNo, 0/66MOk, 7.1k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+ponant+mfence+WC+WCForbidOk, 148k/3.1GOk, 3.5k/680MOk, 18k/180MOk, 9.3k/304MOk, 10k/863MOk, 60k/456MOk, 31k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+ponant+mfence+WC+WTForbidOk, 45k/2.3GOk, 1.1k/680MOk, 1.4k/180MOk, 1.9k/304M—Ok, 32k/456MOk, 1.4k/192MNo, 0/66MOk, 7.1k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+pontna+mfence+WB+WBForbidOk, 46M/3.1GOk, 3.5M/680MOk, 632k/180MOk, 3.8M/304MOk, 8.0M/863MOk, 6.8M/456MOk, 13M/192MOk, 477k/66MOk, 8.2M/173MOk, 805k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+pontna+mfence+WB+WCForbidOk, 215k/3.1GOk, 159k/680MOk, 7.2k/180MOk, 39k/304MOk, 1.4k/863MOk, 3.2k/456MOk, 1.1k/192MOk, 1/66MOk, 4.6k/173MOk, 12/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+pontna+mfence+WC+WBForbidOk, 155M/3.1GOk, 22M/680MOk, 11M/180MOk, 30M/304MOk, 20M/863MOk, 37M/456MOk, 19M/192MOk, 5.5k/66MOk, 16M/173MOk, 81k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+pontna+mfence+WC+WCForbidOk, 141k/3.1GOk, 3.7k/680MOk, 18k/180MOk, 8.9k/304MOk, 10k/863MOk, 59k/456MOk, 25k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+pontna+mfence+WT+WBForbidOk, 57M/2.3GOk, 13M/680MOk, 3.6M/180MOk, 20M/304M—Ok, 5.6M/456MOk, 8.0M/192MOk, 82k/66MOk, 5.8M/173MOk, 318k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+pontna+mfence+WT+WCForbidOk, 86k/2.3GOk, 3.1k/680MOk, 17k/180MOk, 6.3k/304M—Ok, 30k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+pontnt+mfence+WB+WBForbidOk, 66k/3.1GOk, 42k/680MOk, 2.6k/180MOk, 13k/304MOk, 878/863MOk, 3.5k/456MOk, 2.1k/192MOk, 2/66MOk, 1.8k/173MOk, 11/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+pontnt+mfence+WB+WCForbidOk, 221k/3.1GOk, 168k/680MOk, 7.1k/180MOk, 36k/304MOk, 1.3k/863MOk, 2.8k/456MOk, 1.4k/192MNo, 0/66MOk, 4.0k/173MOk, 149/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+pontnt+mfence+WB+WTForbidOk, 61k/2.3GOk, 42k/680MOk, 2.8k/180MOk, 9.3k/304M—Ok, 2.8k/456MOk, 2.6k/192MOk, 4/66MOk, 1.6k/173MOk, 33/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
S+pontnt+mfence+WC+WBForbidOk, 48k/3.1GOk, 1.1k/680MOk, 1.3k/180MOk, 2.1k/304MOk, 3.6k/863MOk, 31k/456MOk, 1.6k/192MNo, 0/66MOk, 7.7k/173MOk, 1/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+pontnt+mfence+WC+WCForbidOk, 143k/3.1GOk, 3.8k/680MOk, 19k/180MOk, 9.0k/304MOk, 10k/863MOk, 62k/456MOk, 23k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
S+pontnt+mfence+WC+WTForbidOk, 44k/2.3GOk, 1.1k/680MOk, 1.5k/180MOk, 2.0k/304M—Ok, 32k/456MOk, 1.7k/192MNo, 0/66MOk, 6.3k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+pontnt+mfence+WT+WBForbidOk, 5.1k/2.3GOk, 243/680MOk, 240/180MOk, 821/304M—Ok, 2.4k/456MOk, 577/192MNo, 0/66MOk, 819/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
S+pontnt+mfence+WT+WCForbidOk, 86k/2.3GOk, 2.7k/680MOk, 18k/180MOk, 6.4k/304M—Ok, 29k/456MOk, 23k/192MNo, 0/66MOk, 6.8k/173MOk, 1/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
S+pontnt+mfence+WT+WTForbidOk, 4.6k/2.3GOk, 242/680MOk, 229/180MOk, 743/304M—Ok, 1.9k/456MOk, 610/192MNo, 0/66MOk, 920/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+UC+WBForbidOk, 5.0M/3.7GOk, 341k/778MOk, 830k/204MOk, 23k/432MOk, 2.2M/863MOk, 1.1M/408MOk, 373k/553MOk, 3/66MOk, 108k/173MOk, 2.6k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+UC+WB+NTForbidOk, 15k/3.6GOk, 379/734MOk, 324/204MOk, 554/268MOk, 668/863MOk, 3.8k/462MOk, 8.7k/572MNo, 0/66MOk, 1.0k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
SB+UC+WTForbidOk, 17k/2.9GOk, 486/778MOk, 305/236MOk, 697/432M—Ok, 2.3k/408MOk, 13k/553MNo, 0/66MOk, 869/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+UC+WT+NTForbidOk, 12k/2.7GOk, 387/734MOk, 355/204MOk, 522/268M—Ok, 3.0k/462MOk, 6.4k/572MNo, 0/66MOk, 1.3k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WB+UC+NTForbidOk, 19k/3.6GOk, 754/734MOk, 290/204MOk, 574/268MOk, 885/863MOk, 6.0k/462MOk, 9.2k/572MNo, 0/66MOk, 995/173MOk, 1/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
SB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WB+WB+NTForbidOk, 1.6G/3.6GOk, 247M/734MOk, 72M/204MOk, 120M/268MOk, 569M/863MOk, 213M/462MOk, 242M/572MOk, 1.5M/66MOk, 74M/173MOk, 98M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WB+WCForbidOk, 269M/3.8GOk, 66M/778MOk, 22M/236MOk, 58M/432MOk, 37M/927MOk, 10M/408MOk, 60M/553MOk, 159k/66MOk, 10M/173MOk, 5.7M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WB+WC+NTForbidOk, 202M/3.6GOk, 51M/734MOk, 23M/204MOk, 31M/268MOk, 13M/863MOk, 16M/462MOk, 59M/572MOk, 6.3k/66MOk, 9.3M/173MOk, 495k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WB+WTForbidOk, 84M/2.9GOk, 24M/778MOk, 12M/236MOk, 19M/432M—Ok, 12M/408MOk, 7.5M/553MOk, 103k/66MOk, 3.1M/173MOk, 6.8M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WB+WT+NTForbidOk, 1.1G/2.7GOk, 256M/734MOk, 71M/204MOk, 123M/268M—Ok, 215M/462MOk, 242M/572MOk, 1.5M/66MOk, 74M/173MOk, 96M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WC+WBForbidOk, 267M/3.7GOk, 66M/778MOk, 22M/204MOk, 57M/428MOk, 32M/863MOk, 10M/408MOk, 63M/553MOk, 181k/66MOk, 10M/173MOk, 6.8M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WC+WB+NTForbidOk, 209M/3.6GOk, 51M/734MOk, 23M/204MOk, 32M/268MOk, 14M/863MOk, 17M/462MOk, 61M/572MOk, 9.2k/66MOk, 10M/173MOk, 521k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WC+WTForbidOk, 230M/2.9GOk, 65M/778MOk, 23M/236MOk, 60M/428M—Ok, 10M/408MOk, 64M/553MOk, 10k/66MOk, 8.5M/173MOk, 843k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WC+WT+NTForbidOk, 193M/2.7GOk, 51M/734MOk, 23M/204MOk, 32M/268M—Ok, 16M/462MOk, 61M/572MOk, 7.9k/66MOk, 10M/173MOk, 688k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WT+UCForbidOk, 16k/2.8GOk, 621/778MOk, 273/204MOk, 472/428M—Ok, 3.1k/408MOk, 11k/553MNo, 0/66MOk, 898/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+WT+UC+NTForbidOk, 18k/2.7GOk, 715/734MOk, 226/204MOk, 504/268M—Ok, 4.7k/462MOk, 10k/572MNo, 0/66MOk, 1.1k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+WT+WBForbidOk, 84M/2.8GOk, 23M/778MOk, 11M/204MOk, 19M/428M—Ok, 13M/408MOk, 8.9M/553MOk, 105k/66MOk, 3.4M/173MOk, 6.7M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WT+WB+NTForbidOk, 1.1G/2.7GOk, 249M/734MOk, 72M/204MOk, 121M/268M—Ok, 215M/462MOk, 241M/572MOk, 1.6M/66MOk, 74M/173MOk, 96M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WT+WCForbidOk, 223M/2.8GOk, 63M/778MOk, 23M/204MOk, 59M/428M—Ok, 9.3M/408MOk, 61M/553MOk, 6.7k/66MOk, 8.4M/173MOk, 688k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WT+WC+NTForbidOk, 189M/2.7GOk, 50M/734MOk, 24M/204MOk, 31M/268M—Ok, 16M/462MOk, 58M/572MOk, 4.8k/66MOk, 10M/173MOk, 603k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WT+WTForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+WT+WT+NTForbidOk, 1.1G/2.7GOk, 259M/734MOk, 73M/204MOk, 123M/268M—Ok, 217M/462MOk, 241M/572MOk, 1.2M/66MOk, 74M/173MOk, 97M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+poForbidOk, 1.1M/3.6GOk, 52k/738MOk, 5.1k/204MOk, 67k/392MOk, 133k/863MOk, 91k/408MOk, 455k/553MOk, 519/66MOk, 20k/173MOk, 236k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+po+WB+UCForbidOk, 1.4M/3.6GOk, 358k/738MOk, 977/204MOk, 13k/392MOk, 539k/863MOk, 231k/408MOk, 285k/553MNo, 0/66MOk, 21k/173MOk, 5/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
SB+mfence+po+WB+WBForbidOk, 1.1M/3.6GOk, 52k/738MOk, 5.7k/204MOk, 64k/392MOk, 125k/863MOk, 103k/408MOk, 490k/553MOk, 535/66MOk, 19k/173MOk, 232k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+po+WB+WCForbidOk, 222M/3.6GOk, 47M/738MOk, 23M/204MOk, 43M/392MOk, 23M/863MOk, 10M/408MOk, 62M/553MOk, 62k/66MOk, 10M/173MOk, 2.1M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+po+WB+WTForbidOk, 1.9M/2.8GOk, 351k/738MOk, 95k/204MOk, 240k/392M—Ok, 264k/408MOk, 876k/553MOk, 514/66MOk, 61k/173MOk, 586/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+po+WT+UCForbidOk, 32k/2.8GOk, 169/738MOk, 199/204MOk, 261/392M—Ok, 3.4k/408MOk, 27k/553MNo, 0/66MOk, 1.0k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+mfence+po+WT+WBForbidOk, 135k/2.8GOk, 7.9k/738MOk, 655/204MOk, 10k/392M—Ok, 3.0k/408MOk, 103k/553MOk, 2/66MOk, 10k/173MOk, 1.0k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+po+WT+WCForbidOk, 202M/2.8GOk, 52M/738MOk, 23M/204MOk, 48M/392M—Ok, 10M/408MOk, 60M/553MOk, 1.3k/66MOk, 8.6M/173MOk, 252k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+po+WT+WTForbidOk, 88k/2.8GOk, 17k/738MOk, 2.8k/204MOk, 13k/392M—Ok, 4.2k/408MOk, 46k/553MNo, 0/66MOk, 4.5k/173MOk, 105/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
SB+mfence+pontna+WB+UCForbidOk, 573k/3.0GOk, 96k/624MOk, 1.3k/180MOk, 109k/240MOk, 142k/863MOk, 180k/456MOk, 24k/192MNo, 0/66MOk, 21k/173MOk, 7/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
SB+mfence+pontna+WB+WBForbidOk, 109M/3.0GOk, 10M/624MOk, 2.7M/180MOk, 12M/240MOk, 35M/863MOk, 12M/456MOk, 19M/192MOk, 443k/66MOk, 12M/173MOk, 7.4M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+pontna+WB+WCForbidOk, 124M/3.0GOk, 16M/624MOk, 21M/180MOk, 24M/240MOk, 22M/863MOk, 11M/456MOk, 17M/192MOk, 77k/66MOk, 11M/173MOk, 2.0M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+pontna+WB+WTForbidOk, 75M/2.2GOk, 10M/624MOk, 2.8M/180MOk, 12M/240M—Ok, 12M/456MOk, 19M/192MOk, 507k/66MOk, 11M/173MOk, 6.9M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+pontna+WT+UCForbidOk, 5.0k/2.2GOk, 86/624MOk, 316/180MOk, 207/240M—Ok, 3.0k/456MOk, 160/192MNo, 0/66MOk, 1.3k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+mfence+pontna+WT+WBForbidOk, 72M/2.2GOk, 14M/624MOk, 1.7M/180MOk, 21M/240M—Ok, 9.2M/456MOk, 17M/192MOk, 6.7k/66MOk, 8.3M/173MOk, 546k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+pontna+WT+WCForbidOk, 99M/2.2GOk, 18M/624MOk, 21M/180MOk, 26M/240M—Ok, 10M/456MOk, 16M/192MOk, 1.3k/66MOk, 8.4M/173MOk, 240k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+pontna+WT+WTForbidOk, 72M/2.2GOk, 15M/624MOk, 1.2M/180MOk, 21M/240M—Ok, 9.1M/456MOk, 17M/192MOk, 2.5k/66MOk, 8.1M/173MOk, 561k/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+pontnasForbidOk, 2.7G/5.3GOk, 375M/894MOk, 127M/332MOk, 145M/396MOk, 654M/991MOk, 801M/1.4GOk, 405M/822MOk, 1.4M/66MOk, 74M/173MOk, 97M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+pontnas+WB+WBForbidOk, 1.3G/3.0GOk, 165M/624MOk, 66M/180MOk, 101M/240MOk, 569M/863MOk, 178M/456MOk, 73M/192MOk, 1.5M/66MOk, 73M/173MOk, 98M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+pontnas+WT+WTForbidOk, 764M/2.2GOk, 170M/624MOk, 67M/180MOk, 103M/240M—Ok, 180M/456MOk, 72M/192MOk, 995k/66MOk, 73M/173MOk, 97M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+sfences+UC+WTForbidOk, 6.0k/2.5GOk, 113/762MOk, 341/440MOk, 546/240M—Ok, 987/227MOk, 3.1k/327MNo, 0/66MOk, 925/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+sfences+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+sfences+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+sfences+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
SB+sfences+WB+WTForbidOk, 192M/2.5GOk, 92M/762MOk, 34M/440MOk, 46M/240M—Ok, 2.8M/227MOk, 7.1M/327MOk, 96k/66MOk, 3.1M/173MOk, 7.5M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+sfences+WC+WTForbidOk, 6.7k/2.5GOk, 144/762MOk, 1.1k/440MOk, 571/240M—Ok, 897/227MOk, 1.9k/327MNo, 0/66MOk, 2.1k/173MNo, 0/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
SB+sfences+WT+WTForbidOk, 289M/2.5GOk, 157M/762MOk, 33M/440MOk, 81M/240M—Ok, 1.5M/227MOk, 7.7M/327MOk, 219k/66MOk, 3.0M/173MOk, 5.8M/227M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
2+2W+mfence+clflushoptnext+WC+WBForbidOk, 4/9.4GOk, 1/4.6G—Ok, 3/3.8G———No, 0/704M—No, 0/227M
  Forbid invalidatedForbid invalidated Forbid invalidated      
2+2W+mfence+clflushoptnextntna+WB+WBForbidOk, 1.1k/9.4GNo, 0/4.6G—No, 0/3.8G———Ok, 1.0k/704M—Ok, 73/227M
  Forbid invalidated      Forbid invalidated Forbid invalidated
2+2W+mfence+clflushoptother+WC+WBForbidOk, 1/7.1GNo, 0/3.8G—Ok, 1/2.8G———No, 0/320M—No, 0/212M
  Forbid invalidated  Forbid invalidated      
2+2W+mfence+clflushoptothernant+WB+WBForbidOk, 15/13GNo, 0/7.8G—No, 0/4.0G———Ok, 1/979M—Ok, 14/527M
  Forbid invalidated      Forbid invalidated Forbid invalidated
2+2W+mfence+clflushoptothernant+WT+WBForbidOk, 1/13GNo, 0/7.8G—No, 0/4.0G———Ok, 1/979M—No, 0/527M
  Forbid invalidated      Forbid invalidated  
MP+clflushoptnext+mfence+WB+WCForbidOk, 3/9.4GOk, 1/4.6G—No, 0/3.8G———Ok, 2/704M—No, 0/227M
  Forbid invalidatedForbid invalidated     Forbid invalidated  
MP+clflushoptnextntna+mfence+WB+WBForbidOk, 517/9.4GNo, 0/4.6G—No, 0/3.8G———Ok, 352/704M—Ok, 165/227M
  Forbid invalidated      Forbid invalidated Forbid invalidated
MP+clflushoptother+mfence+WB+WCForbidOk, 11/7.1GNo, 0/3.8G—No, 0/2.8G———No, 0/320M—Ok, 11/212M
  Forbid invalidated        Forbid invalidated
MP+clflushoptother+mfence+WC+WBForbidOk, 4/13GNo, 0/7.8G—No, 0/4.0G———No, 0/979M—Ok, 4/527M
  Forbid invalidated        Forbid invalidated
MP+clflushoptothernant+mfence+WB+WBForbidOk, 19/13GNo, 0/7.8G—No, 0/4.0G———No, 0/979M—Ok, 19/527M
  Forbid invalidated        Forbid invalidated
MP+clflushoptothernant+mfence+WB+WTForbidOk, 7/13GNo, 0/7.8G—No, 0/4.0G———Ok, 1/979M—Ok, 6/527M
  Forbid invalidated      Forbid invalidated Forbid invalidated
R+clflushoptnext+mfence+WB+WCForbidOk, 4/9.4GOk, 1/4.6G—No, 0/3.8G———Ok, 3/704M—No, 0/227M
  Forbid invalidatedForbid invalidated     Forbid invalidated  
R+clflushoptnextntna+mfence+WB+WBForbidOk, 539/9.4GNo, 0/4.6G—No, 0/3.8G———Ok, 372/704M—Ok, 167/227M
  Forbid invalidated      Forbid invalidated Forbid invalidated
R+clflushoptother+mfence+WB+WCForbidOk, 1/7.2GOk, 1/3.8G—No, 0/2.8G———No, 0/320M—No, 0/269M
  Forbid invalidatedForbid invalidated        
R+clflushoptother+mfence+WC+WBForbidOk, 2/13GNo, 0/7.8G—No, 0/4.0G———No, 0/979M—Ok, 2/584M
  Forbid invalidated        Forbid invalidated
R+clflushoptothernant+mfence+WB+WBForbidOk, 13/13GNo, 0/7.8G—No, 0/4.0G———No, 0/979M—Ok, 13/584M
  Forbid invalidated        Forbid invalidated
R+clflushoptothernant+mfence+WB+WTForbidOk, 1/13GOk, 1/7.8G—No, 0/4.0G———No, 0/979M—No, 0/584M
  Forbid invalidatedForbid invalidated        
R+mfence+clflush+WB+WBForbidOk, 21M/3.6GOk, 1.2M/682MOk, 8.1M/312MOk, 745k/368MOk, 5.3M/991MOk, 1.9M/216MOk, 3.4M/480MOk, 14k/66MOk, 301k/173MOk, 191k/309M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+clflush+WT+WBForbidOk, 554k/2.5GOk, 179k/682MOk, 189k/184MOk, 145k/368M—Ok, 1.9k/216MOk, 33k/480MOk, 14/66MOk, 3.6k/173MOk, 2.6k/309M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
R+mfence+clflushopt+WB+WBForbidOk, 14M/14GOk, 10M/7.9G—Ok, 4.0M/4.1G———Ok, 366k/1.1G—Ok, 415k/569M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
R+mfence+clflushopt+WT+WBForbidOk, 2.4M/14GOk, 1.9M/7.9G—Ok, 465k/4.1G———Ok, 1.6k/1.1G—Ok, 44k/569M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
S+clflushoptnext+mfence+WB+WCForbidOk, 1/9.4GNo, 0/4.6G—No, 0/3.8G———No, 0/704M—Ok, 1/269M
  Forbid invalidated        Forbid invalidated
S+clflushoptnextntna+mfence+WB+WBForbidOk, 401/9.4GNo, 0/4.6G—No, 0/3.8G———Ok, 287/704M—Ok, 114/269M
  Forbid invalidated      Forbid invalidated Forbid invalidated
S+clflushoptother+mfence+WB+WCForbidOk, 23/7.2GNo, 0/3.8G—No, 0/2.8G———No, 0/320M—Ok, 23/269M
  Forbid invalidated        Forbid invalidated
S+clflushoptother+mfence+WC+WBForbidOk, 5/13GNo, 0/7.8G—No, 0/4.0G———No, 0/979M—Ok, 5/529M
  Forbid invalidated        Forbid invalidated
S+clflushoptothernant+mfence+WB+WBForbidOk, 18/13GOk, 1/7.8G—No, 0/4.0G———No, 0/979M—Ok, 17/529M
  Forbid invalidatedForbid invalidated       Forbid invalidated
S+clflushoptothernant+mfence+WB+WTForbidOk, 6/13GNo, 0/7.8G—No, 0/4.0G———Ok, 2/979M—Ok, 4/529M
  Forbid invalidated      Forbid invalidated Forbid invalidated
SB+mfence+clflush+WB+WBForbidOk, 7.1M/3.6GOk, 185k/682MOk, 1.7M/312MOk, 234k/368MOk, 2.2M/991MOk, 570k/216MOk, 1.8M/480MOk, 1.5k/66MOk, 173k/173MOk, 222k/269M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+clflush+WT+WBForbidOk, 66k/2.4GOk, 11k/682MOk, 9.4k/184MOk, 12k/368M—Ok, 1.8k/216MOk, 21k/480MOk, 3/66MOk, 3.9k/173MOk, 7.1k/269M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+mfence+clflushopt+WB+WBForbidOk, 2.9M/14GOk, 1.3M/7.9G—Ok, 790k/4.1G———Ok, 253k/1.1G—Ok, 563k/529M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
SB+mfence+clflushopt+WT+WBForbidOk, 133k/14GOk, 54k/7.9G—Ok, 26k/4.1G———Ok, 276/1.1G—Ok, 53k/529M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
CMPXCHG-FAIL-UNLOCKForbidOk, 455k/2.5GOk, 1.6k/522MOk, 1.9k/120MOk, 684/112MOk, 83k/799MOk, 20k/152MOk, 115k/272M—Ok, 22k/173MOk, 211k/309M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
CMPXCHG-OK-UNLOCKForbidOk, 458k/2.5GOk, 1.8k/522MOk, 1.2k/120MOk, 568/112MOk, 96k/799MOk, 24k/152MOk, 95k/272M—Ok, 22k/173MOk, 218k/309M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
CMPXCHG-UNLOCKEDForbidOk, 416k/2.6GOk, 1.3k/522MOk, 1.9k/120MOk, 573/112MOk, 94k/799MOk, 35k/264MOk, 88k/272M—Ok, 17k/173MOk, 177k/309M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
SB+clflushnexts+WB+WBForbidOk, 180M/3.6GOk, 27M/682MOk, 11M/312MOk, 28M/368MOk, 87M/991MOk, 8.3M/216MOk, 6.6M/480MOk, 161k/66MOk, 2.0M/173MOk, 9.5M/269M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+clflushnexts+WT+WTForbidOk, 118M/2.4GOk, 48M/682MOk, 2.7M/184MOk, 53M/368M—Ok, 3.2M/216MOk, 2.0M/480MOk, 641k/66MOk, 2.0M/173MOk, 5.4M/269M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+clflushoptnexts+WB+WBForbidOk, 1.0G/9.4GOk, 423M/4.6G—Ok, 548M/3.8G———Ok, 42M/704M—Ok, 10M/269M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
SB+clflushoptnexts+WT+WTForbidOk, 1.7G/9.4GOk, 706M/4.6G—Ok, 987M/3.8G———Ok, 33M/704M—Ok, 5.3M/269M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
SB+clflushopts+WB+WBForbidOk, 1.2G/8.9GOk, 542M/4.6G—Ok, 640M/3.4G———Ok, 38M/576M—Ok, 7.2M/269M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
SB+clflushopts+WT+WTForbidOk, 2.1G/8.9GOk, 972M/4.6G—Ok, 1.1G/3.4G———Ok, 24M/576M—Ok, 11M/269M
  Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidated Forbid invalidated
SB+clflushs+WB+WBForbidOk, 309M/3.6GOk, 32M/682MOk, 13M/312MOk, 38M/368MOk, 197M/991MOk, 6.3M/216MOk, 10M/480MOk, 535k/66MOk, 3.8M/173MOk, 8.3M/269M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
SB+clflushs+WT+WTForbidOk, 179M/2.4GOk, 63M/682MOk, 12M/184MOk, 72M/368M—Ok, 8.2M/216MOk, 7.2M/480MOk, 714k/66MOk, 6.0M/173MOk, 9.4M/269M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
RWC+WB+UCForbidOk, 1.1M/1.9GOk, 39k/336MOk, 213k/82MOk, 9.4k/124MOk, 331k/447MOk, 359k/232MOk, 54k/318MNo, 0/33MOk, 66k/115MNo, 0/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
RWC+WB+WBForbidOk, 569k/1.9GOk, 32k/336MOk, 76k/82MOk, 8.9k/124MOk, 185k/447MOk, 54k/232MOk, 138k/318MOk, 1.3k/33MOk, 40k/115MOk, 35k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
RWC+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
RWC+po+sfence+WB+UCForbidOk, 2.0M/3.6GOk, 137k/896MOk, 1.3M/828MOk, 3.5k/672MOk, 381k/524MOk, 105k/142MOk, 14k/218MNo, 0/33MOk, 88k/115MNo, 0/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
RWC+po+sfence+WB+WBForbidOk, 2.6M/3.6GOk, 432k/896MOk, 676k/828MOk, 1.1M/672MOk, 257k/524MOk, 19k/142MOk, 50k/218MOk, 1.4k/33MOk, 43k/115MOk, 37k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
RWC+po+sfence+WB+WCForbidOk, 2.0M/3.6GOk, 149k/896MOk, 1.2M/828MOk, 3.9k/672MOk, 411k/524MOk, 121k/142MOk, 12k/218MNo, 0/33MOk, 56k/115MNo, 0/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+WR+WR+UC+WBForbidOk, 68M/1.8GOk, 1.4M/336MOk, 709k/82MOk, 325k/124MOk, 34M/447MOk, 17M/232MOk, 8.0M/318MOk, 764k/33MOk, 2.8M/115MOk, 4.0M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WR+WR+WB+UCForbidOk, 9.4M/1.8GOk, 329k/336MOk, 286k/82MOk, 68k/124MOk, 1.5M/447MOk, 3.7M/232MOk, 3.1M/318MOk, 1/33MOk, 407k/115MOk, 336/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WR+WR+WB+WBForbidOk, 137M/1.8GOk, 31M/336MOk, 3.3M/82MOk, 12M/124MOk, 51M/447MOk, 13M/232MOk, 11M/318MOk, 890k/33MOk, 6.5M/115MOk, 9.0M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WR+WR+WB+WCForbidOk, 262M/1.8GOk, 33M/336MOk, 21M/82MOk, 20M/124MOk, 47M/447MOk, 38M/232MOk, 78M/318MOk, 160k/33MOk, 19M/115MOk, 6.0M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WR+WR+WC+WBForbidOk, 293M/1.8GOk, 32M/336MOk, 17M/82MOk, 20M/124MOk, 73M/447MOk, 42M/232MOk, 81M/318MOk, 499k/33MOk, 19M/115MOk, 8.7M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+RR+WB+WCForbidOk, 251k/1.8GOk, 153/336MOk, 121/82MOk, 90/124MOk, 11k/447MOk, 7.1k/232MOk, 226k/318MNo, 0/33MOk, 5.7k/115MOk, 108/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+WW+RR+WC+WBForbidOk, 232M/1.8GOk, 26M/336MOk, 12M/82MOk, 17M/124MOk, 46M/447MOk, 36M/232MOk, 73M/318MOk, 291k/33MOk, 16M/115MOk, 5.7M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+RR+WC+WCForbidOk, 304k/1.8GOk, 12k/336MOk, 11k/82MOk, 10k/124MOk, 18k/447MOk, 79k/232MOk, 87k/318MOk, 586/33MOk, 72k/115MOk, 13k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+WR+WB+UCForbidOk, 22M/1.8GOk, 2.7M/336MOk, 1.1M/82MOk, 617k/124MOk, 2.4M/447MOk, 7.5M/232MOk, 6.0M/318MOk, 6/33MOk, 1.3M/115MOk, 17k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+WR+WB+WBForbidOk, 7.6M/1.8GOk, 1.1M/336MOk, 326k/82MOk, 326k/124MOk, 3.3M/447MOk, 898k/232MOk, 1.1M/318MOk, 8.1k/33MOk, 233k/115MOk, 283k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+WR+WB+WCForbidOk, 209M/1.8GOk, 30M/336MOk, 19M/82MOk, 16M/124MOk, 37M/447MOk, 22M/232MOk, 64M/318MOk, 296k/33MOk, 14M/115MOk, 6.9M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+WR+WC+WBForbidOk, 248M/1.8GOk, 27M/336MOk, 15M/82MOk, 18M/124MOk, 51M/447MOk, 39M/232MOk, 75M/318MOk, 306k/33MOk, 17M/115MOk, 5.8M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+WW+WR+WC+WCForbidOk, 237k/1.8GOk, 17k/336MOk, 10k/82MOk, 13k/124MOk, 21k/447MOk, 43k/232MOk, 77k/318MOk, 9/33MOk, 57k/115MOk, 156/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRR+2W+WB+WCForbidOk, 218M/1.8GOk, 31M/336MOk, 20M/82MOk, 20M/124MOk, 22M/447MOk, 37M/232MOk, 68M/318MOk, 92k/33MOk, 18M/115MOk, 1.8M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRR+2W+WC+WBForbidOk, 20k/3.9GOk, 526/976MOk, 373/562MOk, 221/764MOk, 30/575MOk, 415/330MOk, 16k/409MNo, 0/33MOk, 2.3k/115MOk, 565/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
WRR+2W+WC+WCForbidOk, 7.4M/1.8GOk, 757k/336MOk, 3.4M/82MOk, 1.3M/124MOk, 237k/447MOk, 337k/232MOk, 243k/318MOk, 8/33MOk, 1.0M/115MOk, 5.8k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRW+2W+WB+WCForbidOk, 171M/1.8GOk, 25M/336MOk, 16M/82MOk, 16M/124MOk, 15M/447MOk, 23M/232MOk, 61M/318MOk, 73k/33MOk, 14M/115MOk, 816k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRW+2W+WC+WBForbidOk, 7.7k/3.9GOk, 537/976MOk, 43/562MOk, 182/764MOk, 5/575MOk, 302/330MOk, 4.8k/409MNo, 0/33MOk, 1.5k/115MOk, 406/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
WRW+2W+WC+WCForbidOk, 13M/1.8GOk, 1.3M/336MOk, 6.3M/82MOk, 2.1M/124MOk, 367k/447MOk, 597k/232MOk, 258k/318MNo, 0/33MOk, 1.8M/115MOk, 2.1k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
WRW+WR+WB+UCForbidOk, 786k/1.8GOk, 33k/336MOk, 40k/82MOk, 14k/124MOk, 81k/447MOk, 301k/232MOk, 117k/318MNo, 0/33MOk, 200k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
WRW+WR+WB+WBForbidOk, 144k/1.8GOk, 8.0k/336MOk, 6.2k/82MOk, 2.4k/124MOk, 18k/447MOk, 13k/232MOk, 63k/318MOk, 430/33MOk, 13k/115MOk, 21k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRW+WR+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRW+WR+po+sfence+WB+UCForbidOk, 885k/3.6GOk, 132k/896MOk, 291k/828MOk, 7.7k/672MOk, 106k/524MOk, 77k/142MOk, 36k/218MOk, 1/33MOk, 235k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated 
WRW+WR+po+sfence+WB+WBForbidOk, 753k/3.6GOk, 172k/896MOk, 65k/828MOk, 430k/672MOk, 30k/524MOk, 7.5k/142MOk, 13k/218MOk, 372/33MOk, 14k/115MOk, 21k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
WRW+WR+po+sfence+WB+WCForbidOk, 3.2M/3.6GOk, 361k/896MOk, 192k/828MOk, 31k/672MOk, 1.1M/524MOk, 733k/142MOk, 175k/218MNo, 0/33MOk, 544k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
3.2W+WB+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.2W+WB+WC+UCForbidOk, 384/4.3GOk, 28/1.0GOk, 3/630MOk, 4/868MOk, 1/639MNo, 0/434MOk, 346/409MNo, 0/33MOk, 2/115MNo, 0/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated Forbid invalidated 
3.2W+WB+WC+WCForbidOk, 93M/3.1GOk, 18M/552MOk, 5.8M/662MOk, 14M/324MOk, 9.0M/518MOk, 13M/346MOk, 28M/318MOk, 14k/33MOk, 4.6M/115MOk, 153k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.2W+WC+WC+UCForbidOk, 4.8M/2.3GOk, 1.9M/392MOk, 492k/150MOk, 961k/228MOk, 88k/511MOk, 640k/336MOk, 480k/318MNo, 0/33MOk, 187k/115MOk, 1/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
3.2W+WC+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+WB+UC+UCForbidOk, 1.0k/4.9GOk, 4/1.1GNo, 0/1.1GNo, 0/900MOk, 3/614MOk, 84/380MOk, 875/409MNo, 0/33MOk, 47/115MNo, 0/185M
  Forbid invalidatedForbid invalidated  Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
3.SB+WB+WB+UCForbidOk, 3.9M/2.0GOk, 97k/336MOk, 231k/118MOk, 41k/164MOk, 2.6M/479MOk, 363k/272MOk, 255k/318MOk, 73/33MOk, 232k/115MOk, 22k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+WB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+WB+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+WB+WC+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
3.SB+WB+WC+WCForbidOk, 81M/2.0GOk, 8.4M/336MOk, 10M/118MOk, 7.9M/164MOk, 10M/479MOk, 18M/272MOk, 22M/318MOk, 54/33MOk, 4.6M/115MOk, 26k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+sfences+WB+UC+UCForbidOk, 243/2.0GNo, 0/388MNo, 0/220MNo, 0/128MOk, 3/518MOk, 4/151MOk, 187/218MNo, 0/33MOk, 49/115MNo, 0/185M
  Forbid invalidated   Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
3.SB+sfences+WB+WB+UCForbidOk, 4.1M/2.0GOk, 336k/388MOk, 483k/220MOk, 258k/128MOk, 2.5M/518MOk, 82k/151MOk, 189k/218MOk, 141/33MOk, 202k/115MOk, 23k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+sfences+WB+WB+WBForbidOk, 61M/2.0GOk, 14M/388MOk, 5.6M/220MOk, 8.4M/128MOk, 29M/518MOk, 455k/151MOk, 1.4M/218MOk, 13k/33MOk, 484k/115MOk, 842k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+sfences+WB+WB+WCForbidOk, 4.5M/2.0GOk, 429k/388MOk, 504k/220MOk, 284k/128MOk, 2.8M/518MOk, 81k/151MOk, 177k/218MOk, 186/33MOk, 158k/115MOk, 27k/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
3.SB+sfences+WB+WC+UCForbidOk, 574/2.0GNo, 0/388MOk, 1/220MOk, 1/128MOk, 5/518MOk, 11/151MOk, 269/218MNo, 0/33MOk, 287/115MNo, 0/185M
  Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
3.SB+sfences+WB+WC+WCForbidOk, 941/2.0GNo, 0/388MNo, 0/220MNo, 0/128MOk, 2/518MOk, 4/151MOk, 468/218MNo, 0/33MOk, 467/115MNo, 0/185M
  Forbid invalidated   Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
ISA2+WB+WC+UCForbidOk, 184/5.1GOk, 4/1.2GNo, 0/1.1GNo, 0/964MNo, 0/646MOk, 1/444MOk, 175/409MNo, 0/33MOk, 4/115MNo, 0/185M
  Forbid invalidatedForbid invalidated   Forbid invalidatedForbid invalidated Forbid invalidated 
ISA2+WB+WC+WBForbidOk, 641/5.1GOk, 77/1.2GOk, 1/1.1GOk, 25/964MOk, 2/646MOk, 3/444MOk, 522/409MNo, 0/33MOk, 11/115MNo, 0/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
ISA2+WB+WC+WCForbidOk, 15/5.1GOk, 1/1.2GNo, 0/1.1GOk, 1/964MNo, 0/646MOk, 1/444MOk, 12/409MNo, 0/33MNo, 0/115MNo, 0/185M
  Forbid invalidatedForbid invalidated Forbid invalidated Forbid invalidatedForbid invalidated   
ISA2+WC+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
ISA2+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
ISA2+WC+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
ISA2+WC+WC+UCForbidOk, 2.9M/2.3GOk, 596k/392MOk, 1.5M/150MOk, 349k/228MOk, 57k/511MOk, 53k/336MOk, 277k/318MNo, 0/33MOk, 71k/115MOk, 5/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
ISA2+WC+WC+WBForbidOk, 1.1M/2.3GOk, 380k/392MOk, 506k/150MOk, 174k/228MOk, 6.1k/511MOk, 11k/336MOk, 38k/318MNo, 0/33MOk, 16k/115MOk, 34/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
ISA2+WC+WC+WCForbidOk, 2.0M/2.3GOk, 632k/392MOk, 829k/150MOk, 350k/228MOk, 17k/511MOk, 21k/336MOk, 126k/318MNo, 0/33MOk, 70k/115MNo, 0/185M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+WB+UC+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+WB+UC+WBForbidOk, 10k/2.2GOk, 4/392MOk, 14/150MOk, 3/228MOk, 27/511MOk, 143/336MOk, 8.0k/318MNo, 0/33MOk, 984/115MOk, 830/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+RWC+WB+UC+WCForbidOk, 104M/2.2GOk, 21M/392MOk, 16M/150MOk, 17M/228MOk, 6.0M/511MOk, 14M/336MOk, 27M/318MOk, 7/33MOk, 3.3M/115MOk, 30k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WB+WB+UCForbidOk, 1.1M/2.2GOk, 76k/392MOk, 224k/150MOk, 31k/228MOk, 313k/511MOk, 429k/336MOk, 32k/318MNo, 0/33MOk, 42k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+WB+WB+WBForbidOk, 165k/2.2GOk, 7.6k/392MOk, 5.9k/150MOk, 6.8k/228MOk, 43k/511MOk, 23k/336MOk, 52k/318MOk, 168/33MOk, 11k/115MOk, 16k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WB+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WB+WC+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+WB+WC+WBForbidOk, 17k/2.2GOk, 182/392MOk, 179/150MOk, 111/228MOk, 227/511MOk, 563/336MOk, 13k/318MNo, 0/33MOk, 1.6k/115MOk, 654/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+RWC+WB+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WC+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WC+WB+WCForbidOk, 102M/2.2GOk, 15M/392MOk, 8.5M/150MOk, 10M/228MOk, 10M/511MOk, 24M/336MOk, 29M/318MOk, 54/33MOk, 4.6M/115MOk, 4.0k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+WC+WC+UCForbidOk, 2.1M/2.2GOk, 184k/392MOk, 178k/150MOk, 122k/228MOk, 30k/511MOk, 1.3M/336MOk, 237k/318MNo, 0/33MOk, 119k/115MOk, 3/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+RWC+WC+WC+WBForbidOk, 918k/2.2GOk, 259k/392MOk, 386k/150MOk, 147k/228MOk, 20k/511MOk, 15k/336MOk, 62k/318MNo, 0/33MOk, 29k/115MOk, 17/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+RWC+WC+WC+WCForbidOk, 2.6M/2.2GOk, 292k/392MOk, 295k/150MOk, 216k/228MOk, 32k/511MOk, 1.3M/336MOk, 266k/318MNo, 0/33MOk, 145k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+sfence+po+sfence+WB+UC+UCForbidOk, 380/1.9GNo, 0/388MOk, 2/220MNo, 0/128MOk, 8/518MOk, 44/151MOk, 232/218MNo, 0/33MOk, 94/115MNo, 0/161M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+sfence+po+sfence+WB+UC+WBForbidOk, 2.6k/1.9GNo, 0/388MOk, 9/220MOk, 2/128MOk, 17/518MOk, 29/151MOk, 763/218MNo, 0/33MOk, 860/115MOk, 883/161M
  Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+RWC+sfence+po+sfence+WB+UC+WCForbidOk, 1.2k/1.9GNo, 0/388MOk, 1/220MNo, 0/128MOk, 2/518MOk, 53/151MOk, 500/218MNo, 0/33MOk, 652/115MNo, 0/161M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+sfence+po+sfence+WB+WB+UCForbidOk, 482k/1.9GOk, 32k/388MOk, 149k/220MOk, 17k/128MOk, 140k/518MOk, 77k/151MOk, 7.9k/218MNo, 0/33MOk, 58k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+sfence+po+sfence+WB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
W+RWC+sfence+po+sfence+WB+WB+WCForbidOk, 486k/1.9GOk, 34k/388MOk, 134k/220MOk, 14k/128MOk, 153k/518MOk, 63k/151MOk, 6.8k/218MNo, 0/33MOk, 80k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+sfence+po+sfence+WB+WC+UCForbidOk, 3.5k/1.9GNo, 0/388MNo, 0/220MNo, 0/128MOk, 77/518MOk, 782/151MOk, 1.3k/218MNo, 0/33MOk, 1.3k/115MNo, 0/161M
  Forbid invalidated   Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
W+RWC+sfence+po+sfence+WB+WC+WBForbidOk, 1.2k/1.9GOk, 33/388MOk, 4/220MOk, 18/128MOk, 12/518MOk, 15/151MOk, 200/218MNo, 0/33MOk, 565/115MOk, 323/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
W+RWC+sfence+po+sfence+WB+WC+WCForbidOk, 2.2k/1.9GNo, 0/388MNo, 0/220MNo, 0/128MOk, 19/518MOk, 744/151MOk, 825/218MNo, 0/33MOk, 608/115MNo, 0/161M
  Forbid invalidated   Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+WB+UC+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+WB+UC+WBForbidOk, 5.3k/2.2GOk, 3/392MOk, 3/150MOk, 4/228MOk, 12/511MOk, 88/336MOk, 3.8k/318MNo, 0/33MOk, 768/115MOk, 601/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.0+WB+UC+WCForbidOk, 136M/2.2GOk, 24M/392MOk, 16M/150MOk, 19M/228MOk, 12M/511MOk, 19M/336MOk, 40M/318MOk, 14/33MOk, 5.9M/115MOk, 11k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WB+WB+UCForbidOk, 720k/2.2GOk, 8.2k/392MOk, 6.2k/150MOk, 7.9k/228MOk, 86k/511MOk, 353k/336MOk, 38k/318MNo, 0/33MOk, 221k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+WB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WB+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WB+WC+UCForbidOk, 25k/2.2GOk, 14/392MOk, 8/150MOk, 10/228MOk, 2.2k/511MOk, 5.8k/336MOk, 14k/318MNo, 0/33MOk, 3.1k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+WB+WC+WBForbidOk, 10k/2.2GOk, 267/392MOk, 17/150MOk, 106/228MOk, 31/511MOk, 436/336MOk, 7.6k/318MNo, 0/33MOk, 1.0k/115MOk, 600/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.0+WB+WC+WCForbidOk, 92M/2.2GOk, 15M/392MOk, 8.0M/150MOk, 11M/228MOk, 10M/511MOk, 13M/336MOk, 30M/318MOk, 13/33MOk, 4.9M/115MOk, 3.2k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WC+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WC+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+WC+WC+UCForbidOk, 3.0M/2.2GOk, 528k/392MOk, 868k/150MOk, 260k/228MOk, 70k/511MOk, 754k/336MOk, 409k/318MNo, 0/33MOk, 147k/115MOk, 3/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.0+WC+WC+WBForbidOk, 1.5M/2.2GOk, 416k/392MOk, 737k/150MOk, 199k/228MOk, 12k/511MOk, 19k/336MOk, 45k/318MNo, 0/33MOk, 24k/115MOk, 5/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.0+WC+WC+WCForbidOk, 3.2M/2.2GOk, 952k/392MOk, 1.3M/150MOk, 447k/228MOk, 20k/511MOk, 65k/336MOk, 246k/318MNo, 0/33MOk, 131k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+sfence+po+sfence+WB+UC+UCForbidOk, 1.1k/1.9GNo, 0/388MOk, 4/220MNo, 0/128MOk, 15/518MOk, 70/151MOk, 680/218MNo, 0/33MOk, 283/115MNo, 0/161M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+sfence+po+sfence+WB+UC+WBForbidOk, 1.5k/1.9GOk, 4/388MOk, 2/220MOk, 2/128MOk, 6/518MOk, 17/151MOk, 247/218MNo, 0/33MOk, 774/115MOk, 449/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.0+sfence+po+sfence+WB+UC+WCForbidOk, 3.5k/1.9GOk, 1/388MOk, 3/220MOk, 7/128MOk, 36/518MOk, 678/151MOk, 1.5k/218MNo, 0/33MOk, 1.3k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+sfence+po+sfence+WB+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+sfence+po+sfence+WB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.0+sfence+po+sfence+WB+WB+WCForbidOk, 2.1M/1.9GOk, 30k/388MOk, 13k/220MOk, 36k/128MOk, 791k/518MOk, 755k/151MOk, 106k/218MNo, 0/33MOk, 401k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+sfence+po+sfence+WB+WC+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.0+sfence+po+sfence+WB+WC+WBForbidOk, 1.2k/1.9GOk, 76/388MNo, 0/220MOk, 49/128MOk, 10/518MOk, 8/151MOk, 243/218MNo, 0/33MOk, 416/115MOk, 348/161M
  Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.0+sfence+po+sfence+WB+WC+WCForbidOk, 1.1k/1.9GNo, 0/388MNo, 0/220MOk, 1/128MOk, 21/518MOk, 195/151MOk, 542/218MNo, 0/33MOk, 335/115MNo, 0/161M
  Forbid invalidated  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.1+UC+WB+WCForbidOk, 383/5.1GOk, 25/1.2GOk, 1/1.1GOk, 2/964MNo, 0/646MOk, 1/444MOk, 352/409MNo, 0/33MOk, 2/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
Z6.1+UC+WC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.1+UC+WC+WCForbidOk, 2.1M/2.2GOk, 64k/392MOk, 3.9k/150MOk, 96k/228MOk, 150k/511MOk, 899k/336MOk, 617k/318MNo, 0/33MOk, 241k/115MOk, 1/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.1+WB+WB+WCForbidOk, 1.1k/2.2GOk, 7/392MNo, 0/150MOk, 1/228MNo, 0/511MOk, 4/336MOk, 1.0k/318MNo, 0/33MOk, 12/115MNo, 0/161M
  Forbid invalidatedForbid invalidated Forbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
Z6.1+WB+WC+UCForbidOk, 137/5.1GOk, 14/1.2GNo, 0/1.1GOk, 5/964MNo, 0/646MNo, 0/444MOk, 117/409MNo, 0/33MOk, 1/115MNo, 0/161M
  Forbid invalidatedForbid invalidated Forbid invalidated  Forbid invalidated Forbid invalidated 
Z6.1+WB+WC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.1+WB+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.1+WC+WB+UCForbidOk, 138M/2.2GOk, 29M/392MOk, 10M/150MOk, 20M/228MOk, 13M/511MOk, 21M/336MOk, 41M/318MOk, 25/33MOk, 5.1M/115MOk, 1.9k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.1+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.1+WC+WB+WCForbidOk, 82M/2.2GOk, 17M/392MOk, 2.7M/150MOk, 12M/228MOk, 10M/511MOk, 10M/336MOk, 25M/318MOk, 8/33MOk, 4.4M/115MOk, 2.4k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.1+WC+WC+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.1+WC+WC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.1+WC+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.2+WB+WC+UCForbidOk, 355/5.1GOk, 1/1.2GNo, 0/1.1GOk, 1/964MNo, 0/646MNo, 0/444MOk, 344/409MNo, 0/33MOk, 9/115MNo, 0/161M
  Forbid invalidatedForbid invalidated Forbid invalidated  Forbid invalidated Forbid invalidated 
Z6.2+WB+WC+WBForbidOk, 431/5.1GOk, 17/1.2GNo, 0/1.1GOk, 4/964MNo, 0/646MOk, 1/444MOk, 403/409MNo, 0/33MOk, 6/115MNo, 0/161M
  Forbid invalidatedForbid invalidated Forbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
Z6.2+WB+WC+WCForbidOk, 8/5.1GNo, 0/1.2GNo, 0/1.1GNo, 0/964MNo, 0/646MOk, 2/444MOk, 4/409MNo, 0/33MOk, 2/115MNo, 0/161M
  Forbid invalidated    Forbid invalidatedForbid invalidated Forbid invalidated 
Z6.2+WC+WB+UCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.2+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.2+WC+WB+WCForbidOk, 71M/2.2GOk, 14M/392MOk, 3.2M/150MOk, 10M/228MOk, 6.1M/511MOk, 10M/336MOk, 23M/318MOk, 50/33MOk, 3.9M/115MOk, 638/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.2+WC+WC+UCForbidOk, 5.8M/2.2GOk, 634k/392MOk, 1.4M/150MOk, 435k/228MOk, 239k/511MOk, 1.8M/336MOk, 983k/318MNo, 0/33MOk, 319k/115MOk, 1/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.2+WC+WC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.2+WC+WC+WCForbidOk, 2.0M/2.2GOk, 132k/392MOk, 112k/150MOk, 136k/228MOk, 86k/511MOk, 482k/336MOk, 762k/318MNo, 0/33MOk, 333k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.3+UC+WB+WCForbidOk, 389/5.1GOk, 3/1.2GNo, 0/1.1GNo, 0/964MNo, 0/646MNo, 0/444MOk, 382/409MNo, 0/33MOk, 4/115MNo, 0/161M
  Forbid invalidatedForbid invalidated    Forbid invalidated Forbid invalidated 
Z6.3+UC+WC+WBForbidOk, 100M/2.2GOk, 14M/392MOk, 8.8M/150MOk, 11M/228MOk, 11M/511MOk, 17M/336MOk, 34M/318MOk, 87/33MOk, 4.4M/115MOk, 3.0k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+UC+WC+WCForbidOk, 2.5M/2.2GOk, 93k/392MOk, 5.3k/150MOk, 98k/228MOk, 559k/511MOk, 1.2M/336MOk, 406k/318MNo, 0/33MOk, 141k/115MOk, 2/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.3+WB+WB+WCForbidOk, 832/5.1GOk, 117/1.2GOk, 10/1.1GOk, 55/964MOk, 2/646MOk, 6/444MOk, 611/409MNo, 0/33MOk, 31/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.3+WB+WC+UCForbidOk, 519/5.1GOk, 20/1.2GOk, 2/1.1GOk, 1/964MNo, 0/646MNo, 0/444MOk, 492/409MNo, 0/33MOk, 4/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated  Forbid invalidated Forbid invalidated 
Z6.3+WB+WC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+WB+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+WC+WB+UCForbidOk, 131M/2.2GOk, 28M/392MOk, 10M/150MOk, 20M/228MOk, 11M/511MOk, 26M/336MOk, 33M/318MOk, 512/33MOk, 3.8M/115MOk, 7.7k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+WC+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+WC+WC+UCForbidOk, 14M/2.2GOk, 4.3M/392MOk, 7.1M/150MOk, 2.2M/228MOk, 59k/511MOk, 12k/336MOk, 56k/318MNo, 0/33MOk, 29k/115MOk, 5/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.3+WC+WC+WBForbidOk, 122M/2.2GOk, 22M/392MOk, 8.3M/150MOk, 15M/228MOk, 13M/511MOk, 17M/336MOk, 41M/318MOk, 4.2k/33MOk, 5.7M/115MOk, 211k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.3+WC+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+UC+UC+WBForbidOk, 620k/2.2GOk, 24k/392MOk, 10k/150MOk, 10k/228MOk, 74k/511MOk, 396k/336MOk, 91k/318MNo, 0/33MOk, 16k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+UC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.4+UC+WC+WBForbidOk, 117M/2.2GOk, 17M/392MOk, 10M/150MOk, 14M/228MOk, 15M/511MOk, 23M/336MOk, 35M/318MOk, 23/33MOk, 4.7M/115MOk, 7.4k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WB+UC+UCForbidOk, 1.8k/2.2GOk, 2/392MOk, 10/150MOk, 1/228MOk, 7/511MOk, 132/336MOk, 1.6k/318MNo, 0/33MOk, 76/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+WB+UC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WB+UC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WB+WB+UCForbidOk, 909k/2.2GOk, 69k/392MOk, 173k/150MOk, 23k/228MOk, 191k/511MOk, 367k/336MOk, 35k/318MNo, 0/33MOk, 51k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+WB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WB+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WB+WC+UCForbidOk, 2.9k/2.2GOk, 64/392MOk, 29/150MOk, 15/228MOk, 16/511MOk, 500/336MOk, 1.6k/318MNo, 0/33MOk, 726/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+WB+WC+WBForbidOk, 107M/2.2GOk, 16M/392MOk, 6.5M/150MOk, 14M/228MOk, 15M/511MOk, 13M/336MOk, 35M/318MOk, 122k/33MOk, 4.1M/115MOk, 4.1M/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WB+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WC+UC+WBForbidOk, 2.2k/2.2GOk, 17/392MOk, 15/150MOk, 9/228MOk, 4/511MOk, 123/336MOk, 1.8k/318MNo, 0/33MOk, 246/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+WC+WB+UCForbidOk, 104M/2.2GOk, 15M/392MOk, 10M/150MOk, 10M/228MOk, 12M/511MOk, 24M/336MOk, 28M/318MOk, 166/33MOk, 4.2M/115MOk, 2.1k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WC+WB+WBForbidOk, 92M/2.2GOk, 16M/392MOk, 4.3M/150MOk, 13M/228MOk, 14M/511MOk, 5.6M/336MOk, 33M/318MOk, 41k/33MOk, 5.3M/115MOk, 398k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WC+WB+WCForbidOk, 107M/2.2GOk, 15M/392MOk, 11M/150MOk, 11M/228MOk, 13M/511MOk, 24M/336MOk, 28M/318MOk, 98/33MOk, 4.3M/115MOk, 2.4k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WC+WC+UCForbidOk, 2.7M/2.2GOk, 976k/392MOk, 1.2M/150MOk, 456k/228MOk, 16k/511MOk, 19k/336MOk, 63k/318MNo, 0/33MOk, 28k/115MOk, 2/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.4+WC+WC+WBForbidOk, 143M/2.2GOk, 23M/392MOk, 10M/150MOk, 16M/228MOk, 19M/511MOk, 24M/336MOk, 44M/318MOk, 8.6k/33MOk, 6.3M/115MOk, 357k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+WC+WC+WCForbidOk, 3.3M/2.2GOk, 1.0M/392MOk, 1.6M/150MOk, 510k/228MOk, 13k/511MOk, 20k/336MOk, 73k/318MNo, 0/33MOk, 29k/115MOk, 2/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.4+sfence+sfence+sfence+UC+UC+WBForbidOk, 307/1.9GOk, 15/388MOk, 2/220MOk, 4/128MOk, 1/518MOk, 12/151MOk, 146/218MNo, 0/33MOk, 127/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+UC+WB+WBForbidOk, 1.7k/1.9GNo, 0/388MOk, 1/220MNo, 0/128MOk, 4/518MOk, 11/151MOk, 961/218MNo, 0/33MOk, 620/115MOk, 58/161M
  Forbid invalidated Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.4+sfence+sfence+sfence+UC+WC+WBForbidOk, 2.9k/1.9GOk, 1/388MOk, 2/220MOk, 3/128MOk, 19/518MOk, 447/151MOk, 1.2k/218MNo, 0/33MOk, 1.2k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WB+UC+UCForbidOk, 117/1.9GNo, 0/388MNo, 0/220MOk, 1/128MOk, 2/518MOk, 14/151MOk, 62/218MNo, 0/33MOk, 38/115MNo, 0/161M
  Forbid invalidated  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WB+UC+WBForbidOk, 3.1M/1.9GOk, 101k/388MOk, 622k/220MOk, 118k/128MOk, 1.3M/518MOk, 468k/151MOk, 36k/218MOk, 25/33MOk, 56k/115MOk, 448k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+sfence+sfence+sfence+WB+UC+WCForbidOk, 303/1.9GNo, 0/388MOk, 3/220MOk, 2/128MOk, 3/518MOk, 14/151MOk, 59/218MNo, 0/33MOk, 222/115MNo, 0/161M
  Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WB+WB+UCForbidOk, 412k/1.9GOk, 35k/388MOk, 86k/220MOk, 15k/128MOk, 111k/518MOk, 57k/151MOk, 9.4k/218MNo, 0/33MOk, 98k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WB+WB+WBForbidOk, 5.0M/1.9GOk, 962k/388MOk, 1.5M/220MOk, 556k/128MOk, 1.6M/518MOk, 25k/151MOk, 52k/218MOk, 407/33MOk, 56k/115MOk, 269k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+sfence+sfence+sfence+WB+WB+WCForbidOk, 407k/1.9GOk, 41k/388MOk, 75k/220MOk, 19k/128MOk, 120k/518MOk, 62k/151MOk, 5.5k/218MNo, 0/33MOk, 83k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WB+WC+UCForbidOk, 669/1.9GOk, 4/388MOk, 11/220MOk, 1/128MOk, 89/518MOk, 48/151MOk, 197/218MNo, 0/33MOk, 319/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WB+WC+WBForbidOk, 2.3M/1.9GOk, 187k/388MOk, 85k/220MOk, 205k/128MOk, 617k/518MOk, 67k/151MOk, 574k/218MOk, 51/33MOk, 368k/115MOk, 212k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.4+sfence+sfence+sfence+WB+WC+WCForbidOk, 539/1.9GOk, 10/388MOk, 3/220MOk, 1/128MOk, 5/518MOk, 61/151MOk, 89/218MNo, 0/33MOk, 370/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WC+UC+WBForbidOk, 380/1.9GNo, 0/388MOk, 2/220MOk, 4/128MOk, 1/518MOk, 13/151MOk, 107/218MNo, 0/33MOk, 253/115MNo, 0/161M
  Forbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.4+sfence+sfence+sfence+WC+WB+WBForbidOk, 2.1k/1.9GOk, 22/388MNo, 0/220MOk, 12/128MOk, 5/518MOk, 11/151MOk, 1.2k/218MNo, 0/33MOk, 755/115MOk, 75/161M
  Forbid invalidatedForbid invalidated Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.4+sfence+sfence+sfence+WC+WC+WBForbidOk, 3.6k/1.9GOk, 4/388MOk, 1/220MOk, 8/128MOk, 143/518MOk, 695/151MOk, 1.4k/218MNo, 0/33MOk, 1.3k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+UC+WB+WCForbidOk, 111/5.1GOk, 11/1.2GNo, 0/1.1GOk, 6/964MNo, 0/646MOk, 4/444MOk, 89/409MNo, 0/33MOk, 1/115MNo, 0/161M
  Forbid invalidatedForbid invalidated Forbid invalidated Forbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+UC+WC+WBForbidOk, 107M/2.2GOk, 14M/392MOk, 7.8M/150MOk, 11M/228MOk, 15M/511MOk, 20M/336MOk, 34M/318MOk, 1/33MOk, 4.6M/115MOk, 2.4k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+UC+WC+WCForbidOk, 1.7M/2.2GOk, 680k/392MOk, 10k/150MOk, 401k/228MOk, 30k/511MOk, 229k/336MOk, 219k/318MNo, 0/33MOk, 142k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+WB+UC+UCForbidOk, 846k/2.2GOk, 6.0k/392MOk, 36k/150MOk, 4.2k/228MOk, 259k/511MOk, 342k/336MOk, 176k/318MNo, 0/33MOk, 23k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+WB+UC+WBForbidOk, 12k/2.2GOk, 68/392MOk, 66/150MOk, 59/228MOk, 115/511MOk, 2.2k/336MOk, 10k/318MNo, 0/33MOk, 144/115MOk, 3/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.5+WB+UC+WCForbidOk, 126M/2.2GOk, 18M/392MOk, 15M/150MOk, 14M/228MOk, 12M/511MOk, 20M/336MOk, 40M/318MOk, 6/33MOk, 6.3M/115MOk, 10k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WB+WB+UCForbidOk, 2.4M/2.2GOk, 47k/392MOk, 42k/150MOk, 30k/228MOk, 541k/511MOk, 1.4M/336MOk, 104k/318MNo, 0/33MOk, 229k/115MOk, 491/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.5+WB+WB+WBForbidOk, 208k/2.2GOk, 14k/392MOk, 10k/150MOk, 12k/228MOk, 69k/511MOk, 39k/336MOk, 47k/318MOk, 25/33MOk, 6.8k/115MOk, 10k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WB+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WB+WC+UCForbidOk, 10k/2.2GOk, 752/392MOk, 340/150MOk, 463/228MOk, 212/511MOk, 1.2k/336MOk, 4.2k/318MNo, 0/33MOk, 2.7k/115MOk, 1/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.5+WB+WC+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WB+WC+WCForbidOk, 90M/2.2GOk, 13M/392MOk, 4.4M/150MOk, 11M/228MOk, 10M/511MOk, 13M/336MOk, 31M/318MOk, 21k/33MOk, 5.6M/115MOk, 428k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WC+WB+UCForbidOk, 123M/2.2GOk, 18M/392MOk, 5.9M/150MOk, 13M/228MOk, 13M/511MOk, 32M/336MOk, 36M/318MOk, 178/33MOk, 5.0M/115MOk, 1.9k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WC+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WC+WB+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WC+WC+UCForbidOk, 10M/2.2GOk, 2.5M/392MOk, 5.7M/150MOk, 1.3M/228MOk, 125k/511MOk, 23k/336MOk, 96k/318MNo, 0/33MOk, 115k/115MOk, 1/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.5+WC+WC+WBForbidOk, 131M/2.2GOk, 22M/392MOk, 10M/150MOk, 16M/228MOk, 15M/511MOk, 20M/336MOk, 42M/318MOk, 6.5k/33MOk, 5.9M/115MOk, 87k/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+WC+WC+WCForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.5+sfence+sfence+sfence+WB+UC+UCForbidOk, 312/1.9GOk, 1/388MOk, 8/220MOk, 2/128MOk, 3/518MOk, 20/151MOk, 188/218MNo, 0/33MOk, 90/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+sfence+sfence+sfence+WB+UC+WBForbidOk, 265/1.9GOk, 1/388MOk, 20/220MOk, 11/128MOk, 6/518MOk, 5/151MOk, 147/218MNo, 0/33MOk, 75/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+sfence+sfence+sfence+WB+UC+WCForbidOk, 1.6k/1.9GOk, 16/388MOk, 69/220MOk, 16/128MOk, 26/518MOk, 487/151MOk, 280/218MNo, 0/33MOk, 679/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+sfence+sfence+sfence+WB+WB+UCForbidOk, 564k/1.9GOk, 8.6k/388MOk, 56k/220MOk, 8.2k/128MOk, 108k/518MOk, 180k/151MOk, 12k/218MNo, 0/33MOk, 192k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+sfence+sfence+sfence+WB+WB+WBForbidOk, 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
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
Z6.5+sfence+sfence+sfence+WB+WB+WCForbidOk, 551k/1.9GOk, 27k/388MOk, 34k/220MOk, 20k/128MOk, 131k/518MOk, 39k/151MOk, 162k/218MNo, 0/33MOk, 139k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+sfence+sfence+sfence+WB+WC+UCForbidOk, 3.7k/1.9GOk, 532/388MOk, 216/220MOk, 271/128MOk, 257/518MOk, 79/151MOk, 836/218MNo, 0/33MOk, 1.5k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 
Z6.5+sfence+sfence+sfence+WB+WC+WBForbidOk, 1.5k/1.9GOk, 310/388MOk, 308/220MOk, 250/128MOk, 46/518MOk, 5/151MOk, 120/218MNo, 0/33MOk, 485/115MOk, 1/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidatedForbid invalidated
Z6.5+sfence+sfence+sfence+WB+WC+WCForbidOk, 99k/1.9GOk, 15k/388MOk, 40k/220MOk, 22k/128MOk, 2.8k/518MOk, 3.8k/151MOk, 11k/218MNo, 0/33MOk, 4.9k/115MNo, 0/161M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated Forbid invalidated 

Behaviours allowed by SC and not observed

There are 11 such tests
 SCHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
WRR+2W+pos+posnant+NT+WCAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRR+2W+pos+posntna+NT+WBAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRR+2W+pos+posntna+NT+WCAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRR+2W+pos+posntna+WBAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRR+2W+pos+posntnt+NT+WCAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRR+2W+pos+posntnt+WCAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRR+2W+poss+WCAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+2W+pos+posntna+NT+WBAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+2W+pos+posntna+WBAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+2W+poss+NT+WBAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+2W+poss+WBAllowNo, 0/1.8GNo, 0/348MNo, 0/188MNo, 0/128MNo, 0/518MNo, 0/151MNo, 0/158MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Up Next