Previous Up

Comparing with the TSO model

Intel system memory model is based upon the TSO model that essentially relaxes write to read ordering. The two tables below, because they are not empty, illustrate that changing memory types yields a memory model that is incomparable with the TSO model.

Behaviours relaxing TSO

There are 277 such tests
 TSOHardwareCoreI5CoreI5-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+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+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
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+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+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
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+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+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+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+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+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+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 TSO and not observed

There are 130 such tests
 TSOHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
R+UC+UCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+UC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+WBAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+WB+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+WCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+WC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+WTAllowNo, 0/2.9GNo, 0/778MNo, 0/204MNo, 0/432M—No, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+UC+WT+NTAllowNo, 0/2.7GNo, 0/734MNo, 0/204MNo, 0/268M—No, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+WC+UCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+WC+UC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+WC+WTAllowNo, 0/2.9GNo, 0/778MNo, 0/204MNo, 0/432M—No, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+UC+UCAllowNo, 0/3.7GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+UC+WBAllowNo, 0/3.7GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+UC+WCAllowNo, 0/3.7GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+UC+WTAllowNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392M—No, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+WC+UCAllowNo, 0/3.7GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+WC+WBAllowNo, 0/3.7GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+WC+WCAllowNo, 0/3.7GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+po+WC+WTAllowNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392M—No, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+UC+UCAllowNo, 0/3.1GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+UC+WBAllowNo, 0/3.1GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+UC+WCAllowNo, 0/3.1GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+UC+WTAllowNo, 0/2.2GNo, 0/624MNo, 0/180MNo, 0/240M—No, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+WC+UCAllowNo, 0/3.1GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+WC+WBAllowNo, 0/3.1GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+WC+WCAllowNo, 0/3.1GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+mfence+pontna+WC+WTAllowNo, 0/2.2GNo, 0/624MNo, 0/180MNo, 0/240M—No, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+UC+UCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+UC+UC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+UC+WCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+UC+WC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+WC+UCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/432MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+WC+UC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+WC+WCAllowNo, 0/3.7GNo, 0/778MNo, 0/204MNo, 0/428MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+WC+WC+NTAllowNo, 0/3.6GNo, 0/734MNo, 0/204MNo, 0/268MNo, 0/863MNo, 0/462MNo, 0/572MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+UC+UCAllowNo, 0/3.6GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+UC+WBAllowNo, 0/3.6GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+UC+WCAllowNo, 0/3.6GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+UC+WTAllowNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392M—No, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+WC+UCAllowNo, 0/3.6GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+WC+WBAllowNo, 0/3.6GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+WC+WCAllowNo, 0/3.6GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/863MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+po+WC+WTAllowNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392M—No, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+UC+UCAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+UC+WBAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+UC+WCAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+UC+WTAllowNo, 0/2.2GNo, 0/624MNo, 0/180MNo, 0/240M—No, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+WC+UCAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+WC+WBAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+WC+WCAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+mfence+pontna+WC+WTAllowNo, 0/2.2GNo, 0/624MNo, 0/180MNo, 0/240M—No, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+pontnas+UC+UCAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+pontnas+WC+WCAllowNo, 0/3.0GNo, 0/624MNo, 0/180MNo, 0/240MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
SB+WC+WC+preloadAllowNo, 0/4.8GNo, 0/894MNo, 0/332MNo, 0/396MNo, 0/991MNo, 0/842MNo, 0/822MNo, 0/66MNo, 0/173MNo, 0/269M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RWC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RWC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RWC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RWC+WC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RWC+WC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RWC+WC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WR+WR+UC+UCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WR+WR+UC+WCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WR+WR+WC+UCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WR+WR+WC+WCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WW+WR+UC+UCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WW+WR+UC+WBAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WW+WR+UC+WCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+WW+WR+WC+UCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+WR+UC+UCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+WR+UC+WBAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+WR+UC+WCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+WR+WC+UCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+WR+WC+WBAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
WRW+WR+WC+WCAllowNo, 0/1.8GNo, 0/336MNo, 0/82MNo, 0/124MNo, 0/447MNo, 0/232MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
3.SB+UC+UC+UCAllowNo, 0/2.0GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
3.SB+WC+UC+UCAllowNo, 0/2.0GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
3.SB+WC+WC+UCAllowNo, 0/2.0GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
3.SB+WC+WC+WCAllowNo, 0/2.0GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/185M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+WB+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+WB+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+WB+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+WC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+WC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+UC+WC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+WC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+WC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
W+RWC+WC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+WB+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+WB+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+WB+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+WC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+WC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+UC+WC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+WC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+WC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.0+WC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+UC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+UC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+UC+WB+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+UC+WB+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+UC+WC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+UC+WC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+WC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.4+WC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+UC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+UC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+UC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+UC+WB+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+UC+WB+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+UC+WC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+WC+UC+UCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+WC+UC+WBAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
Z6.5+WC+UC+WCAllowNo, 0/1.9GNo, 0/336MNo, 0/102MNo, 0/164MNo, 0/447MNo, 0/272MNo, 0/318MNo, 0/33MNo, 0/115MNo, 0/161M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
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
Previous Up