Previous Up Next

Write to write relaxations

This section presents a systematic study of memory type impact on write-to-write sequences, which the base TSO model does not relax.

All write to Write tests

Standard tests

Not considering non-temporal writes, the sequence is relaxed when one store operates on a page of WC (Write-Combined) memory type and the other operates on a page of WB or WC memory type.

There are 65 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+mfence+poForbidNo, 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
2+2W+mfence+po+UC+UCForbidNo, 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
2+2W+mfence+po+UC+WBForbidNo, 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
2+2W+mfence+po+UC+WCForbidNo, 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
2+2W+mfence+po+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WB+UCForbidNo, 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
2+2W+mfence+po+WB+WBForbidNo, 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
2+2W+mfence+po+WB+WCAllowOk, 290M/3.7GOk, 54M/738MOk, 25M/204MOk, 50M/392MOk, 20M/863MOk, 43M/408MOk, 83M/553MOk, 1.7k/66MOk, 15M/173MOk, 130k/267M
2+2W+mfence+po+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WC+UCForbidNo, 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
2+2W+mfence+po+WC+WBAllowOk, 24k/3.7GOk, 61/738MOk, 36/204MOk, 215/392MOk, 42/863MOk, 62/408MOk, 23k/553MNo, 0/66MOk, 293/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+po+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+po+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+UC+UCForbidNo, 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
MP+po+mfence+UC+WBForbidNo, 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
MP+po+mfence+UC+WCForbidNo, 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
MP+po+mfence+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WB+UCForbidNo, 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
MP+po+mfence+WB+WBForbidNo, 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
MP+po+mfence+WB+WCAllowOk, 11k/3.7GOk, 17/738MOk, 21/204MOk, 10/392MOk, 2/863MOk, 441/408MOk, 10k/553MNo, 0/66MOk, 889/173MOk, 41/267M
         Allow unseen  
MP+po+mfence+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WC+UCForbidNo, 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
MP+po+mfence+WC+WBAllowOk, 198M/3.7GOk, 42M/738MOk, 12M/204MOk, 39M/392MOk, 16M/863MOk, 26M/408MOk, 51M/553MOk, 48k/66MOk, 10M/173MOk, 422k/267M
MP+po+mfence+WC+WCAllowOk, 98k/3.7GOk, 6.8k/738MOk, 22k/204MOk, 11k/392MOk, 5.1k/863MOk, 16k/408MOk, 34k/553MNo, 0/66MOk, 3.3k/173MOk, 1/267M
         Allow unseen  
MP+po+mfence+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+UC+UCForbidNo, 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+po+mfence+UC+WBForbidNo, 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+po+mfence+UC+WCForbidNo, 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+po+mfence+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WB+UCForbidNo, 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+po+mfence+WB+WBForbidNo, 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+po+mfence+WB+WCAllowOk, 9.5k/3.7GOk, 31/738MOk, 60/204MOk, 12/392MOk, 7/863MOk, 250/408MOk, 8.6k/553MNo, 0/66MOk, 473/173MOk, 1/267M
         Allow unseen  
R+po+mfence+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WC+UCForbidNo, 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+po+mfence+WC+WBAllowOk, 225M/3.7GOk, 47M/738MOk, 21M/204MOk, 43M/392MOk, 19M/863MOk, 27M/408MOk, 54M/553MOk, 44k/66MOk, 12M/173MOk, 468k/267M
R+po+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+po+mfence+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+UC+UCForbidNo, 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
S+po+mfence+UC+WBForbidNo, 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
S+po+mfence+UC+WCForbidNo, 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
S+po+mfence+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WB+UCForbidNo, 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
S+po+mfence+WB+WBForbidNo, 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
S+po+mfence+WB+WCAllowOk, 11k/3.6GOk, 38/738MOk, 21/204MOk, 4/392MOk, 18/863MOk, 361/408MOk, 10k/553MNo, 0/66MOk, 522/173MOk, 26/227M
         Allow unseen  
S+po+mfence+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WC+UCForbidNo, 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
S+po+mfence+WC+WBAllowOk, 244M/3.6GOk, 38M/738MOk, 12M/204MOk, 38M/392MOk, 19M/863MOk, 42M/408MOk, 78M/553MOk, 3.7k/66MOk, 16M/173MOk, 86k/227M
S+po+mfence+WC+WCAllowOk, 252k/3.6GOk, 3.9k/738MOk, 19k/204MOk, 10k/392MOk, 10k/863MOk, 69k/408MOk, 125k/553MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+po+mfence+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen

Subtable of allowed behaviours.

There are 12 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+mfence+po+WB+WCAllowOk, 290M/3.7GOk, 54M/738MOk, 25M/204MOk, 50M/392MOk, 20M/863MOk, 43M/408MOk, 83M/553MOk, 1.7k/66MOk, 15M/173MOk, 130k/267M
2+2W+mfence+po+WC+WBAllowOk, 24k/3.7GOk, 61/738MOk, 36/204MOk, 215/392MOk, 42/863MOk, 62/408MOk, 23k/553MNo, 0/66MOk, 293/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+po+WC+WCAllowOk, 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
         Allow unseen Allow unseen
MP+po+mfence+WB+WCAllowOk, 11k/3.7GOk, 17/738MOk, 21/204MOk, 10/392MOk, 2/863MOk, 441/408MOk, 10k/553MNo, 0/66MOk, 889/173MOk, 41/267M
         Allow unseen  
MP+po+mfence+WC+WBAllowOk, 198M/3.7GOk, 42M/738MOk, 12M/204MOk, 39M/392MOk, 16M/863MOk, 26M/408MOk, 51M/553MOk, 48k/66MOk, 10M/173MOk, 422k/267M
MP+po+mfence+WC+WCAllowOk, 98k/3.7GOk, 6.8k/738MOk, 22k/204MOk, 11k/392MOk, 5.1k/863MOk, 16k/408MOk, 34k/553MNo, 0/66MOk, 3.3k/173MOk, 1/267M
         Allow unseen  
R+po+mfence+WB+WCAllowOk, 9.5k/3.7GOk, 31/738MOk, 60/204MOk, 12/392MOk, 7/863MOk, 250/408MOk, 8.6k/553MNo, 0/66MOk, 473/173MOk, 1/267M
         Allow unseen  
R+po+mfence+WC+WBAllowOk, 225M/3.7GOk, 47M/738MOk, 21M/204MOk, 43M/392MOk, 19M/863MOk, 27M/408MOk, 54M/553MOk, 44k/66MOk, 12M/173MOk, 468k/267M
R+po+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
S+po+mfence+WB+WCAllowOk, 11k/3.6GOk, 38/738MOk, 21/204MOk, 4/392MOk, 18/863MOk, 361/408MOk, 10k/553MNo, 0/66MOk, 522/173MOk, 26/227M
         Allow unseen  
S+po+mfence+WC+WBAllowOk, 244M/3.6GOk, 38M/738MOk, 12M/204MOk, 38M/392MOk, 19M/863MOk, 42M/408MOk, 78M/553MOk, 3.7k/66MOk, 16M/173MOk, 86k/227M
S+po+mfence+WC+WCAllowOk, 252k/3.6GOk, 3.9k/738MOk, 19k/204MOk, 10k/392MOk, 10k/863MOk, 69k/408MOk, 125k/553MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen

Adding non-temporal store instructions

Non-temporal store instructions introduce some complexity: non-temporal store, when operating on a WC, WB or WT memory type behave as the memory type WC, as far as the write-to-write relaxation is concerned (this is not always the case).

There are 144 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+mfence+ponant+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WB+WBAllowOk, 1.4k/3.2GNo, 0/680MOk, 4/180MNo, 0/304MOk, 220/863MOk, 54/456MOk, 357/192MNo, 0/66MOk, 779/173MOk, 18/267M
   Allow unseen Allow unseen   Allow unseen  
2+2W+mfence+ponant+WB+WCAllowOk, 36k/3.2GOk, 520/680MOk, 321/180MOk, 904/304MOk, 2.7k/863MOk, 24k/456MOk, 1.4k/192MNo, 0/66MOk, 6.5k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WB+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WC+WBAllowOk, 1.5k/3.2GOk, 5/680MOk, 47/180MOk, 14/304MOk, 28/863MOk, 76/456MOk, 794/192MNo, 0/66MOk, 580/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+ponant+WC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WT+WBAllowOk, 494/2.3GNo, 0/680MOk, 2/180MNo, 0/304MOk, 51/456MOk, 280/192MNo, 0/66MOk, 161/173MNo, 0/267M
   Allow unseen Allow unseen   Allow unseen Allow unseen
2+2W+mfence+ponant+WT+WCAllowOk, 90k/2.3GOk, 719/680MOk, 4.6k/180MOk, 5.6k/304MOk, 51k/456MOk, 12k/192MNo, 0/66MOk, 16k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WB+WBAllowOk, 84M/3.2GOk, 8.8M/680MOk, 5.9M/180MOk, 11M/304MOk, 18M/863MOk, 15M/456MOk, 15M/192MOk, 442k/66MOk, 10M/173MOk, 1.3M/267M
2+2W+mfence+pontna+WB+WCAllowOk, 187M/3.2GOk, 30M/680MOk, 24M/180MOk, 40M/304MOk, 20M/863MOk, 38M/456MOk, 21M/192MOk, 3.5k/66MOk, 15M/173MOk, 141k/267M
2+2W+mfence+pontna+WB+WTAllowOk, 109M/2.3GOk, 23M/680MOk, 14M/180MOk, 30M/304MOk, 23M/456MOk, 9.0M/192MOk, 42k/66MOk, 9.5M/173MOk, 454k/267M
2+2W+mfence+pontna+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WC+WBAllowOk, 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
2+2W+mfence+pontna+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+pontna+WC+WTAllowOk, 64k/2.3GOk, 583/680MOk, 3.7k/180MOk, 3.7k/304MOk, 33k/456MOk, 15k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontna+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WT+WBForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WT+WCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WB+WBAllowOk, 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
2+2W+mfence+pontnt+WB+WCAllowOk, 36k/3.2GOk, 514/680MOk, 285/180MOk, 964/304MOk, 2.8k/863MOk, 23k/456MOk, 1.5k/192MNo, 0/66MOk, 6.6k/173MOk, 1/267M
         Allow unseen  
2+2W+mfence+pontnt+WB+WTAllowOk, 4.8k/2.3GOk, 187/680MOk, 118/180MOk, 489/304MOk, 2.1k/456MOk, 720/192MNo, 0/66MOk, 1.1k/173MOk, 1/267M
         Allow unseen  
2+2W+mfence+pontnt+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WC+WBAllowOk, 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
         Allow unseen  
2+2W+mfence+pontnt+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WC+WTAllowOk, 69k/2.3GOk, 621/680MOk, 3.9k/180MOk, 3.7k/304MOk, 32k/456MOk, 19k/192MNo, 0/66MOk, 10k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WT+WBAllowOk, 810k/2.3GOk, 650k/680MOk, 25k/180MOk, 127k/304MOk, 4.2k/456MOk, 2.8k/192MOk, 2/66MOk, 1.1k/173MOk, 71/267M
2+2W+mfence+pontnt+WT+WCAllowOk, 91k/2.3GOk, 865/680MOk, 4.8k/180MOk, 5.7k/304MOk, 50k/456MOk, 16k/192MNo, 0/66MOk, 13k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WT+WTAllowOk, 67k/2.3GOk, 691/680MOk, 1.8k/180MOk, 3.9k/304MOk, 35k/456MOk, 20k/192MNo, 0/66MOk, 6.5k/173MOk, 1/267M
         Allow unseen  
R+ponant+mfence+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WB+WBAllowOk, 2.7k/3.2GNo, 0/680MOk, 86/180MNo, 0/304MOk, 38/863MOk, 428/456MOk, 424/192MNo, 0/66MOk, 1.7k/173MOk, 30/267M
   Allow unseen Allow unseen   Allow unseen  
R+ponant+mfence+WB+WCAllowOk, 1.3k/3.2GOk, 9/680MOk, 49/180MOk, 7/304MOk, 7/863MOk, 327/456MOk, 419/192MNo, 0/66MOk, 481/173MNo, 0/267M
         Allow unseen Allow unseen
R+ponant+mfence+WB+WTAllowOk, 795/2.3GNo, 0/680MOk, 3/180MNo, 0/304MOk, 304/456MOk, 274/192MOk, 1/66MOk, 213/173MNo, 0/267M
   Allow unseen Allow unseen     Allow unseen
R+ponant+mfence+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WC+WBAllowOk, 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
         Allow unseen Allow unseen
R+ponant+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+ponant+mfence+WC+WTAllowOk, 93k/2.3GOk, 2.7k/680MOk, 16k/180MOk, 7.4k/304MOk, 29k/456MOk, 31k/192MNo, 0/66MOk, 6.9k/173MNo, 0/267M
         Allow unseen Allow unseen
R+ponant+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WT+WBForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WT+WCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WB+WBAllowOk, 110M/3.2GOk, 16M/680MOk, 8.6M/180MOk, 21M/304MOk, 20M/863MOk, 14M/456MOk, 17M/192MOk, 260k/66MOk, 12M/173MOk, 1.5M/267M
R+pontna+mfence+WB+WCAllowOk, 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
R+pontna+mfence+WB+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WC+WBAllowOk, 149M/3.2GOk, 25M/680MOk, 20M/180MOk, 36M/304MOk, 18M/863MOk, 24M/456MOk, 15M/192MOk, 36k/66MOk, 11M/173MOk, 517k/267M
R+pontna+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+pontna+mfence+WC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WT+WBAllowOk, 91M/2.3GOk, 16M/680MOk, 9.1M/180MOk, 22M/304MOk, 14M/456MOk, 17M/192MOk, 252k/66MOk, 11M/173MOk, 1.0M/267M
R+pontna+mfence+WT+WCAllowOk, 33k/2.3GOk, 5.1k/680MOk, 10k/180MOk, 6.2k/304MOk, 6.1k/456MOk, 1.1k/192MNo, 0/66MOk, 4.9k/173MOk, 1/267M
         Allow unseen  
R+pontna+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WB+WBAllowOk, 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
R+pontnt+mfence+WB+WCAllowOk, 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
R+pontnt+mfence+WB+WTAllowOk, 39k/2.3GOk, 12k/680MOk, 8.2k/180MOk, 7.8k/304MOk, 6.6k/456MOk, 1.3k/192MOk, 26/66MOk, 2.3k/173MOk, 401/267M
R+pontnt+mfence+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WC+WBAllowOk, 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
         Allow unseen  
R+pontnt+mfence+WC+WCAllowOk, 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
         Allow unseen  
R+pontnt+mfence+WC+WTAllowOk, 84k/2.3GOk, 2.9k/680MOk, 16k/180MOk, 7.6k/304MOk, 29k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
         Allow unseen Allow unseen
R+pontnt+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WT+WBAllowOk, 19k/2.3GOk, 3.0k/680MOk, 3.6k/180MOk, 4.2k/304MOk, 4.3k/456MOk, 2.0k/192MOk, 1/66MOk, 1.7k/173MOk, 1/267M
R+pontnt+mfence+WT+WCAllowOk, 34k/2.3GOk, 5.3k/680MOk, 10k/180MOk, 6.1k/304MOk, 6.0k/456MOk, 1.2k/192MNo, 0/66MOk, 5.2k/173MOk, 2/267M
         Allow unseen  
R+pontnt+mfence+WT+WTAllowOk, 34k/2.3GOk, 7.8k/680MOk, 10k/180MOk, 6.9k/304MOk, 6.2k/456MOk, 1.3k/192MOk, 2/66MOk, 2.5k/173MOk, 3/267M
S+ponant+mfence+UC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+WBForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+WCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WB+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WB+WBAllowOk, 2.3k/3.1GNo, 0/680MOk, 192/180MNo, 0/304MOk, 230/863MOk, 136/456MOk, 430/192MNo, 0/66MOk, 1.3k/173MOk, 15/227M
   Allow unseen Allow unseen   Allow unseen  
S+ponant+mfence+WB+WCAllowOk, 1.2k/3.1GNo, 0/680MOk, 11/180MOk, 11/304MOk, 8/863MOk, 399/456MOk, 275/192MNo, 0/66MOk, 437/173MOk, 27/227M
   Allow unseen     Allow unseen  
S+ponant+mfence+WB+WTAllowOk, 2.1k/2.3GOk, 1/680MOk, 147/180MNo, 0/304MOk, 108/456MOk, 916/192MNo, 0/66MOk, 941/173MOk, 13/227M
     Allow unseen   Allow unseen  
S+ponant+mfence+WC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WC+WBAllowOk, 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
         Allow unseen Allow unseen
S+ponant+mfence+WC+WCAllowOk, 148k/3.1GOk, 3.5k/680MOk, 18k/180MOk, 9.3k/304MOk, 10k/863MOk, 60k/456MOk, 31k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+ponant+mfence+WC+WTAllowOk, 45k/2.3GOk, 1.1k/680MOk, 1.4k/180MOk, 1.9k/304MOk, 32k/456MOk, 1.4k/192MNo, 0/66MOk, 7.1k/173MNo, 0/227M
         Allow unseen Allow unseen
S+ponant+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WT+WBForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WT+WCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+WBForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+WCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WB+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WB+WBAllowOk, 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
S+pontna+mfence+WB+WCAllowOk, 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
S+pontna+mfence+WB+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WC+WBAllowOk, 155M/3.1GOk, 22M/680MOk, 11M/180MOk, 30M/304MOk, 20M/863MOk, 37M/456MOk, 19M/192MOk, 5.5k/66MOk, 16M/173MOk, 81k/227M
S+pontna+mfence+WC+WCAllowOk, 141k/3.1GOk, 3.7k/680MOk, 18k/180MOk, 8.9k/304MOk, 10k/863MOk, 59k/456MOk, 25k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontna+mfence+WC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WT+WBAllowOk, 57M/2.3GOk, 13M/680MOk, 3.6M/180MOk, 20M/304MOk, 5.6M/456MOk, 8.0M/192MOk, 82k/66MOk, 5.8M/173MOk, 318k/227M
S+pontna+mfence+WT+WCAllowOk, 86k/2.3GOk, 3.1k/680MOk, 17k/180MOk, 6.3k/304MOk, 30k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontna+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+WBForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+WCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WB+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WB+WBAllowOk, 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
S+pontnt+mfence+WB+WCAllowOk, 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
         Allow unseen  
S+pontnt+mfence+WB+WTAllowOk, 61k/2.3GOk, 42k/680MOk, 2.8k/180MOk, 9.3k/304MOk, 2.8k/456MOk, 2.6k/192MOk, 4/66MOk, 1.6k/173MOk, 33/227M
S+pontnt+mfence+WC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WC+WBAllowOk, 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
         Allow unseen  
S+pontnt+mfence+WC+WCAllowOk, 143k/3.1GOk, 3.8k/680MOk, 19k/180MOk, 9.0k/304MOk, 10k/863MOk, 62k/456MOk, 23k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WC+WTAllowOk, 44k/2.3GOk, 1.1k/680MOk, 1.5k/180MOk, 2.0k/304MOk, 32k/456MOk, 1.7k/192MNo, 0/66MOk, 6.3k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WT+WBAllowOk, 5.1k/2.3GOk, 243/680MOk, 240/180MOk, 821/304MOk, 2.4k/456MOk, 577/192MNo, 0/66MOk, 819/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WT+WCAllowOk, 86k/2.3GOk, 2.7k/680MOk, 18k/180MOk, 6.4k/304MOk, 29k/456MOk, 23k/192MNo, 0/66MOk, 6.8k/173MOk, 1/227M
         Allow unseen  
S+pontnt+mfence+WT+WTAllowOk, 4.6k/2.3GOk, 242/680MOk, 229/180MOk, 743/304MOk, 1.9k/456MOk, 610/192MNo, 0/66MOk, 920/173MNo, 0/227M
         Allow unseen Allow unseen

Subtable of allowed behaviours.

There are 63 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+mfence+ponant+WB+WBAllowOk, 1.4k/3.2GNo, 0/680MOk, 4/180MNo, 0/304MOk, 220/863MOk, 54/456MOk, 357/192MNo, 0/66MOk, 779/173MOk, 18/267M
   Allow unseen Allow unseen   Allow unseen  
2+2W+mfence+ponant+WB+WCAllowOk, 36k/3.2GOk, 520/680MOk, 321/180MOk, 904/304MOk, 2.7k/863MOk, 24k/456MOk, 1.4k/192MNo, 0/66MOk, 6.5k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WC+WBAllowOk, 1.5k/3.2GOk, 5/680MOk, 47/180MOk, 14/304MOk, 28/863MOk, 76/456MOk, 794/192MNo, 0/66MOk, 580/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+ponant+WT+WBAllowOk, 494/2.3GNo, 0/680MOk, 2/180MNo, 0/304MOk, 51/456MOk, 280/192MNo, 0/66MOk, 161/173MNo, 0/267M
   Allow unseen Allow unseen   Allow unseen Allow unseen
2+2W+mfence+ponant+WT+WCAllowOk, 90k/2.3GOk, 719/680MOk, 4.6k/180MOk, 5.6k/304MOk, 51k/456MOk, 12k/192MNo, 0/66MOk, 16k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontna+WB+WBAllowOk, 84M/3.2GOk, 8.8M/680MOk, 5.9M/180MOk, 11M/304MOk, 18M/863MOk, 15M/456MOk, 15M/192MOk, 442k/66MOk, 10M/173MOk, 1.3M/267M
2+2W+mfence+pontna+WB+WCAllowOk, 187M/3.2GOk, 30M/680MOk, 24M/180MOk, 40M/304MOk, 20M/863MOk, 38M/456MOk, 21M/192MOk, 3.5k/66MOk, 15M/173MOk, 141k/267M
2+2W+mfence+pontna+WB+WTAllowOk, 109M/2.3GOk, 23M/680MOk, 14M/180MOk, 30M/304MOk, 23M/456MOk, 9.0M/192MOk, 42k/66MOk, 9.5M/173MOk, 454k/267M
2+2W+mfence+pontna+WC+WBAllowOk, 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
2+2W+mfence+pontna+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+pontna+WC+WTAllowOk, 64k/2.3GOk, 583/680MOk, 3.7k/180MOk, 3.7k/304MOk, 33k/456MOk, 15k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WB+WBAllowOk, 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
2+2W+mfence+pontnt+WB+WCAllowOk, 36k/3.2GOk, 514/680MOk, 285/180MOk, 964/304MOk, 2.8k/863MOk, 23k/456MOk, 1.5k/192MNo, 0/66MOk, 6.6k/173MOk, 1/267M
         Allow unseen  
2+2W+mfence+pontnt+WB+WTAllowOk, 4.8k/2.3GOk, 187/680MOk, 118/180MOk, 489/304MOk, 2.1k/456MOk, 720/192MNo, 0/66MOk, 1.1k/173MOk, 1/267M
         Allow unseen  
2+2W+mfence+pontnt+WC+WBAllowOk, 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
         Allow unseen  
2+2W+mfence+pontnt+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WC+WTAllowOk, 69k/2.3GOk, 621/680MOk, 3.9k/180MOk, 3.7k/304MOk, 32k/456MOk, 19k/192MNo, 0/66MOk, 10k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WT+WBAllowOk, 810k/2.3GOk, 650k/680MOk, 25k/180MOk, 127k/304MOk, 4.2k/456MOk, 2.8k/192MOk, 2/66MOk, 1.1k/173MOk, 71/267M
2+2W+mfence+pontnt+WT+WCAllowOk, 91k/2.3GOk, 865/680MOk, 4.8k/180MOk, 5.7k/304MOk, 50k/456MOk, 16k/192MNo, 0/66MOk, 13k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WT+WTAllowOk, 67k/2.3GOk, 691/680MOk, 1.8k/180MOk, 3.9k/304MOk, 35k/456MOk, 20k/192MNo, 0/66MOk, 6.5k/173MOk, 1/267M
         Allow unseen  
R+ponant+mfence+WB+WBAllowOk, 2.7k/3.2GNo, 0/680MOk, 86/180MNo, 0/304MOk, 38/863MOk, 428/456MOk, 424/192MNo, 0/66MOk, 1.7k/173MOk, 30/267M
   Allow unseen Allow unseen   Allow unseen  
R+ponant+mfence+WB+WCAllowOk, 1.3k/3.2GOk, 9/680MOk, 49/180MOk, 7/304MOk, 7/863MOk, 327/456MOk, 419/192MNo, 0/66MOk, 481/173MNo, 0/267M
         Allow unseen Allow unseen
R+ponant+mfence+WB+WTAllowOk, 795/2.3GNo, 0/680MOk, 3/180MNo, 0/304MOk, 304/456MOk, 274/192MOk, 1/66MOk, 213/173MNo, 0/267M
   Allow unseen Allow unseen     Allow unseen
R+ponant+mfence+WC+WBAllowOk, 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
         Allow unseen Allow unseen
R+ponant+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+ponant+mfence+WC+WTAllowOk, 93k/2.3GOk, 2.7k/680MOk, 16k/180MOk, 7.4k/304MOk, 29k/456MOk, 31k/192MNo, 0/66MOk, 6.9k/173MNo, 0/267M
         Allow unseen Allow unseen
R+pontna+mfence+WB+WBAllowOk, 110M/3.2GOk, 16M/680MOk, 8.6M/180MOk, 21M/304MOk, 20M/863MOk, 14M/456MOk, 17M/192MOk, 260k/66MOk, 12M/173MOk, 1.5M/267M
R+pontna+mfence+WB+WCAllowOk, 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
R+pontna+mfence+WC+WBAllowOk, 149M/3.2GOk, 25M/680MOk, 20M/180MOk, 36M/304MOk, 18M/863MOk, 24M/456MOk, 15M/192MOk, 36k/66MOk, 11M/173MOk, 517k/267M
R+pontna+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+pontna+mfence+WT+WBAllowOk, 91M/2.3GOk, 16M/680MOk, 9.1M/180MOk, 22M/304MOk, 14M/456MOk, 17M/192MOk, 252k/66MOk, 11M/173MOk, 1.0M/267M
R+pontna+mfence+WT+WCAllowOk, 33k/2.3GOk, 5.1k/680MOk, 10k/180MOk, 6.2k/304MOk, 6.1k/456MOk, 1.1k/192MNo, 0/66MOk, 4.9k/173MOk, 1/267M
         Allow unseen  
R+pontnt+mfence+WB+WBAllowOk, 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
R+pontnt+mfence+WB+WCAllowOk, 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
R+pontnt+mfence+WB+WTAllowOk, 39k/2.3GOk, 12k/680MOk, 8.2k/180MOk, 7.8k/304MOk, 6.6k/456MOk, 1.3k/192MOk, 26/66MOk, 2.3k/173MOk, 401/267M
R+pontnt+mfence+WC+WBAllowOk, 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
         Allow unseen  
R+pontnt+mfence+WC+WCAllowOk, 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
         Allow unseen  
R+pontnt+mfence+WC+WTAllowOk, 84k/2.3GOk, 2.9k/680MOk, 16k/180MOk, 7.6k/304MOk, 29k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
         Allow unseen Allow unseen
R+pontnt+mfence+WT+WBAllowOk, 19k/2.3GOk, 3.0k/680MOk, 3.6k/180MOk, 4.2k/304MOk, 4.3k/456MOk, 2.0k/192MOk, 1/66MOk, 1.7k/173MOk, 1/267M
R+pontnt+mfence+WT+WCAllowOk, 34k/2.3GOk, 5.3k/680MOk, 10k/180MOk, 6.1k/304MOk, 6.0k/456MOk, 1.2k/192MNo, 0/66MOk, 5.2k/173MOk, 2/267M
         Allow unseen  
R+pontnt+mfence+WT+WTAllowOk, 34k/2.3GOk, 7.8k/680MOk, 10k/180MOk, 6.9k/304MOk, 6.2k/456MOk, 1.3k/192MOk, 2/66MOk, 2.5k/173MOk, 3/267M
S+ponant+mfence+WB+WBAllowOk, 2.3k/3.1GNo, 0/680MOk, 192/180MNo, 0/304MOk, 230/863MOk, 136/456MOk, 430/192MNo, 0/66MOk, 1.3k/173MOk, 15/227M
   Allow unseen Allow unseen   Allow unseen  
S+ponant+mfence+WB+WCAllowOk, 1.2k/3.1GNo, 0/680MOk, 11/180MOk, 11/304MOk, 8/863MOk, 399/456MOk, 275/192MNo, 0/66MOk, 437/173MOk, 27/227M
   Allow unseen     Allow unseen  
S+ponant+mfence+WB+WTAllowOk, 2.1k/2.3GOk, 1/680MOk, 147/180MNo, 0/304MOk, 108/456MOk, 916/192MNo, 0/66MOk, 941/173MOk, 13/227M
     Allow unseen   Allow unseen  
S+ponant+mfence+WC+WBAllowOk, 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
         Allow unseen Allow unseen
S+ponant+mfence+WC+WCAllowOk, 148k/3.1GOk, 3.5k/680MOk, 18k/180MOk, 9.3k/304MOk, 10k/863MOk, 60k/456MOk, 31k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+ponant+mfence+WC+WTAllowOk, 45k/2.3GOk, 1.1k/680MOk, 1.4k/180MOk, 1.9k/304MOk, 32k/456MOk, 1.4k/192MNo, 0/66MOk, 7.1k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontna+mfence+WB+WBAllowOk, 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
S+pontna+mfence+WB+WCAllowOk, 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
S+pontna+mfence+WC+WBAllowOk, 155M/3.1GOk, 22M/680MOk, 11M/180MOk, 30M/304MOk, 20M/863MOk, 37M/456MOk, 19M/192MOk, 5.5k/66MOk, 16M/173MOk, 81k/227M
S+pontna+mfence+WC+WCAllowOk, 141k/3.1GOk, 3.7k/680MOk, 18k/180MOk, 8.9k/304MOk, 10k/863MOk, 59k/456MOk, 25k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontna+mfence+WT+WBAllowOk, 57M/2.3GOk, 13M/680MOk, 3.6M/180MOk, 20M/304MOk, 5.6M/456MOk, 8.0M/192MOk, 82k/66MOk, 5.8M/173MOk, 318k/227M
S+pontna+mfence+WT+WCAllowOk, 86k/2.3GOk, 3.1k/680MOk, 17k/180MOk, 6.3k/304MOk, 30k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WB+WBAllowOk, 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
S+pontnt+mfence+WB+WCAllowOk, 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
         Allow unseen  
S+pontnt+mfence+WB+WTAllowOk, 61k/2.3GOk, 42k/680MOk, 2.8k/180MOk, 9.3k/304MOk, 2.8k/456MOk, 2.6k/192MOk, 4/66MOk, 1.6k/173MOk, 33/227M
S+pontnt+mfence+WC+WBAllowOk, 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
         Allow unseen  
S+pontnt+mfence+WC+WCAllowOk, 143k/3.1GOk, 3.8k/680MOk, 19k/180MOk, 9.0k/304MOk, 10k/863MOk, 62k/456MOk, 23k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WC+WTAllowOk, 44k/2.3GOk, 1.1k/680MOk, 1.5k/180MOk, 2.0k/304MOk, 32k/456MOk, 1.7k/192MNo, 0/66MOk, 6.3k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WT+WBAllowOk, 5.1k/2.3GOk, 243/680MOk, 240/180MOk, 821/304MOk, 2.4k/456MOk, 577/192MNo, 0/66MOk, 819/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WT+WCAllowOk, 86k/2.3GOk, 2.7k/680MOk, 18k/180MOk, 6.4k/304MOk, 29k/456MOk, 23k/192MNo, 0/66MOk, 6.8k/173MOk, 1/227M
         Allow unseen  
S+pontnt+mfence+WT+WTAllowOk, 4.6k/2.3GOk, 242/680MOk, 229/180MOk, 743/304MOk, 1.9k/456MOk, 610/192MNo, 0/66MOk, 920/173MNo, 0/227M
         Allow unseen Allow unseen

Presentation by tests

The following subsections present the same write-to-write tests differently, following base tests.

Test 2+2W

There are 64 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
2+2W+mfence+po+UC+UCForbidNo, 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
2+2W+mfence+po+UC+WBForbidNo, 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
2+2W+mfence+po+UC+WCForbidNo, 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
2+2W+mfence+po+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WB+UCForbidNo, 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
2+2W+mfence+po+WB+WBForbidNo, 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
2+2W+mfence+po+WB+WCAllowOk, 290M/3.7GOk, 54M/738MOk, 25M/204MOk, 50M/392MOk, 20M/863MOk, 43M/408MOk, 83M/553MOk, 1.7k/66MOk, 15M/173MOk, 130k/267M
2+2W+mfence+po+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WC+UCForbidNo, 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
2+2W+mfence+po+WC+WBAllowOk, 24k/3.7GOk, 61/738MOk, 36/204MOk, 215/392MOk, 42/863MOk, 62/408MOk, 23k/553MNo, 0/66MOk, 293/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+po+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+po+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+po+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WB+WBAllowOk, 1.4k/3.2GNo, 0/680MOk, 4/180MNo, 0/304MOk, 220/863MOk, 54/456MOk, 357/192MNo, 0/66MOk, 779/173MOk, 18/267M
   Allow unseen Allow unseen   Allow unseen  
2+2W+mfence+ponant+WB+WCAllowOk, 36k/3.2GOk, 520/680MOk, 321/180MOk, 904/304MOk, 2.7k/863MOk, 24k/456MOk, 1.4k/192MNo, 0/66MOk, 6.5k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WB+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WC+WBAllowOk, 1.5k/3.2GOk, 5/680MOk, 47/180MOk, 14/304MOk, 28/863MOk, 76/456MOk, 794/192MNo, 0/66MOk, 580/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+ponant+WC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+ponant+WT+WBAllowOk, 494/2.3GNo, 0/680MOk, 2/180MNo, 0/304MOk, 51/456MOk, 280/192MNo, 0/66MOk, 161/173MNo, 0/267M
   Allow unseen Allow unseen   Allow unseen Allow unseen
2+2W+mfence+ponant+WT+WCAllowOk, 90k/2.3GOk, 719/680MOk, 4.6k/180MOk, 5.6k/304MOk, 51k/456MOk, 12k/192MNo, 0/66MOk, 16k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+ponant+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WB+WBAllowOk, 84M/3.2GOk, 8.8M/680MOk, 5.9M/180MOk, 11M/304MOk, 18M/863MOk, 15M/456MOk, 15M/192MOk, 442k/66MOk, 10M/173MOk, 1.3M/267M
2+2W+mfence+pontna+WB+WCAllowOk, 187M/3.2GOk, 30M/680MOk, 24M/180MOk, 40M/304MOk, 20M/863MOk, 38M/456MOk, 21M/192MOk, 3.5k/66MOk, 15M/173MOk, 141k/267M
2+2W+mfence+pontna+WB+WTAllowOk, 109M/2.3GOk, 23M/680MOk, 14M/180MOk, 30M/304MOk, 23M/456MOk, 9.0M/192MOk, 42k/66MOk, 9.5M/173MOk, 454k/267M
2+2W+mfence+pontna+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WC+WBAllowOk, 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
2+2W+mfence+pontna+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+pontna+WC+WTAllowOk, 64k/2.3GOk, 583/680MOk, 3.7k/180MOk, 3.7k/304MOk, 33k/456MOk, 15k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontna+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WT+WBForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WT+WCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontna+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WB+WBAllowOk, 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
2+2W+mfence+pontnt+WB+WCAllowOk, 36k/3.2GOk, 514/680MOk, 285/180MOk, 964/304MOk, 2.8k/863MOk, 23k/456MOk, 1.5k/192MNo, 0/66MOk, 6.6k/173MOk, 1/267M
         Allow unseen  
2+2W+mfence+pontnt+WB+WTAllowOk, 4.8k/2.3GOk, 187/680MOk, 118/180MOk, 489/304MOk, 2.1k/456MOk, 720/192MNo, 0/66MOk, 1.1k/173MOk, 1/267M
         Allow unseen  
2+2W+mfence+pontnt+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WC+WBAllowOk, 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
         Allow unseen  
2+2W+mfence+pontnt+WC+WCAllowOk, 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
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WC+WTAllowOk, 69k/2.3GOk, 621/680MOk, 3.9k/180MOk, 3.7k/304MOk, 32k/456MOk, 19k/192MNo, 0/66MOk, 10k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
2+2W+mfence+pontnt+WT+WBAllowOk, 810k/2.3GOk, 650k/680MOk, 25k/180MOk, 127k/304MOk, 4.2k/456MOk, 2.8k/192MOk, 2/66MOk, 1.1k/173MOk, 71/267M
2+2W+mfence+pontnt+WT+WCAllowOk, 91k/2.3GOk, 865/680MOk, 4.8k/180MOk, 5.7k/304MOk, 50k/456MOk, 16k/192MNo, 0/66MOk, 13k/173MNo, 0/267M
         Allow unseen Allow unseen
2+2W+mfence+pontnt+WT+WTAllowOk, 67k/2.3GOk, 691/680MOk, 1.8k/180MOk, 3.9k/304MOk, 35k/456MOk, 20k/192MNo, 0/66MOk, 6.5k/173MOk, 1/267M
         Allow unseen  

Test R

There are 64 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
R+po+mfence+UC+UCForbidNo, 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+po+mfence+UC+WBForbidNo, 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+po+mfence+UC+WCForbidNo, 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+po+mfence+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WB+UCForbidNo, 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+po+mfence+WB+WBForbidNo, 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+po+mfence+WB+WCAllowOk, 9.5k/3.7GOk, 31/738MOk, 60/204MOk, 12/392MOk, 7/863MOk, 250/408MOk, 8.6k/553MNo, 0/66MOk, 473/173MOk, 1/267M
         Allow unseen  
R+po+mfence+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WC+UCForbidNo, 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+po+mfence+WC+WBAllowOk, 225M/3.7GOk, 47M/738MOk, 21M/204MOk, 43M/392MOk, 19M/863MOk, 27M/408MOk, 54M/553MOk, 44k/66MOk, 12M/173MOk, 468k/267M
R+po+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+po+mfence+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+po+mfence+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WB+WBAllowOk, 2.7k/3.2GNo, 0/680MOk, 86/180MNo, 0/304MOk, 38/863MOk, 428/456MOk, 424/192MNo, 0/66MOk, 1.7k/173MOk, 30/267M
   Allow unseen Allow unseen   Allow unseen  
R+ponant+mfence+WB+WCAllowOk, 1.3k/3.2GOk, 9/680MOk, 49/180MOk, 7/304MOk, 7/863MOk, 327/456MOk, 419/192MNo, 0/66MOk, 481/173MNo, 0/267M
         Allow unseen Allow unseen
R+ponant+mfence+WB+WTAllowOk, 795/2.3GNo, 0/680MOk, 3/180MNo, 0/304MOk, 304/456MOk, 274/192MOk, 1/66MOk, 213/173MNo, 0/267M
   Allow unseen Allow unseen     Allow unseen
R+ponant+mfence+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WC+WBAllowOk, 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
         Allow unseen Allow unseen
R+ponant+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+ponant+mfence+WC+WTAllowOk, 93k/2.3GOk, 2.7k/680MOk, 16k/180MOk, 7.4k/304MOk, 29k/456MOk, 31k/192MNo, 0/66MOk, 6.9k/173MNo, 0/267M
         Allow unseen Allow unseen
R+ponant+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WT+WBForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WT+WCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+ponant+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WB+WBAllowOk, 110M/3.2GOk, 16M/680MOk, 8.6M/180MOk, 21M/304MOk, 20M/863MOk, 14M/456MOk, 17M/192MOk, 260k/66MOk, 12M/173MOk, 1.5M/267M
R+pontna+mfence+WB+WCAllowOk, 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
R+pontna+mfence+WB+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WC+WBAllowOk, 149M/3.2GOk, 25M/680MOk, 20M/180MOk, 36M/304MOk, 18M/863MOk, 24M/456MOk, 15M/192MOk, 36k/66MOk, 11M/173MOk, 517k/267M
R+pontna+mfence+WC+WCAllowOk, 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
         Allow unseen Allow unseen
R+pontna+mfence+WC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontna+mfence+WT+WBAllowOk, 91M/2.3GOk, 16M/680MOk, 9.1M/180MOk, 22M/304MOk, 14M/456MOk, 17M/192MOk, 252k/66MOk, 11M/173MOk, 1.0M/267M
R+pontna+mfence+WT+WCAllowOk, 33k/2.3GOk, 5.1k/680MOk, 10k/180MOk, 6.2k/304MOk, 6.1k/456MOk, 1.1k/192MNo, 0/66MOk, 4.9k/173MOk, 1/267M
         Allow unseen  
R+pontna+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+WBForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+WCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WB+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WB+WBAllowOk, 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
R+pontnt+mfence+WB+WCAllowOk, 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
R+pontnt+mfence+WB+WTAllowOk, 39k/2.3GOk, 12k/680MOk, 8.2k/180MOk, 7.8k/304MOk, 6.6k/456MOk, 1.3k/192MOk, 26/66MOk, 2.3k/173MOk, 401/267M
R+pontnt+mfence+WC+UCForbidNo, 0/3.2GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WC+WBAllowOk, 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
         Allow unseen  
R+pontnt+mfence+WC+WCAllowOk, 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
         Allow unseen  
R+pontnt+mfence+WC+WTAllowOk, 84k/2.3GOk, 2.9k/680MOk, 16k/180MOk, 7.6k/304MOk, 29k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/267M
         Allow unseen Allow unseen
R+pontnt+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
R+pontnt+mfence+WT+WBAllowOk, 19k/2.3GOk, 3.0k/680MOk, 3.6k/180MOk, 4.2k/304MOk, 4.3k/456MOk, 2.0k/192MOk, 1/66MOk, 1.7k/173MOk, 1/267M
R+pontnt+mfence+WT+WCAllowOk, 34k/2.3GOk, 5.3k/680MOk, 10k/180MOk, 6.1k/304MOk, 6.0k/456MOk, 1.2k/192MNo, 0/66MOk, 5.2k/173MOk, 2/267M
         Allow unseen  
R+pontnt+mfence+WT+WTAllowOk, 34k/2.3GOk, 7.8k/680MOk, 10k/180MOk, 6.9k/304MOk, 6.2k/456MOk, 1.3k/192MOk, 2/66MOk, 2.5k/173MOk, 3/267M

Test S

There are 64 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
S+po+mfence+UC+UCForbidNo, 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
S+po+mfence+UC+WBForbidNo, 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
S+po+mfence+UC+WCForbidNo, 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
S+po+mfence+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WB+UCForbidNo, 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
S+po+mfence+WB+WBForbidNo, 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
S+po+mfence+WB+WCAllowOk, 11k/3.6GOk, 38/738MOk, 21/204MOk, 4/392MOk, 18/863MOk, 361/408MOk, 10k/553MNo, 0/66MOk, 522/173MOk, 26/227M
         Allow unseen  
S+po+mfence+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WC+UCForbidNo, 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
S+po+mfence+WC+WBAllowOk, 244M/3.6GOk, 38M/738MOk, 12M/204MOk, 38M/392MOk, 19M/863MOk, 42M/408MOk, 78M/553MOk, 3.7k/66MOk, 16M/173MOk, 86k/227M
S+po+mfence+WC+WCAllowOk, 252k/3.6GOk, 3.9k/738MOk, 19k/204MOk, 10k/392MOk, 10k/863MOk, 69k/408MOk, 125k/553MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+po+mfence+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+po+mfence+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+WBForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+WCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WB+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WB+WBAllowOk, 2.3k/3.1GNo, 0/680MOk, 192/180MNo, 0/304MOk, 230/863MOk, 136/456MOk, 430/192MNo, 0/66MOk, 1.3k/173MOk, 15/227M
   Allow unseen Allow unseen   Allow unseen  
S+ponant+mfence+WB+WCAllowOk, 1.2k/3.1GNo, 0/680MOk, 11/180MOk, 11/304MOk, 8/863MOk, 399/456MOk, 275/192MNo, 0/66MOk, 437/173MOk, 27/227M
   Allow unseen     Allow unseen  
S+ponant+mfence+WB+WTAllowOk, 2.1k/2.3GOk, 1/680MOk, 147/180MNo, 0/304MOk, 108/456MOk, 916/192MNo, 0/66MOk, 941/173MOk, 13/227M
     Allow unseen   Allow unseen  
S+ponant+mfence+WC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WC+WBAllowOk, 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
         Allow unseen Allow unseen
S+ponant+mfence+WC+WCAllowOk, 148k/3.1GOk, 3.5k/680MOk, 18k/180MOk, 9.3k/304MOk, 10k/863MOk, 60k/456MOk, 31k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+ponant+mfence+WC+WTAllowOk, 45k/2.3GOk, 1.1k/680MOk, 1.4k/180MOk, 1.9k/304MOk, 32k/456MOk, 1.4k/192MNo, 0/66MOk, 7.1k/173MNo, 0/227M
         Allow unseen Allow unseen
S+ponant+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WT+WBForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WT+WCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+ponant+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+WBForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+WCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WB+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WB+WBAllowOk, 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
S+pontna+mfence+WB+WCAllowOk, 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
S+pontna+mfence+WB+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WC+WBAllowOk, 155M/3.1GOk, 22M/680MOk, 11M/180MOk, 30M/304MOk, 20M/863MOk, 37M/456MOk, 19M/192MOk, 5.5k/66MOk, 16M/173MOk, 81k/227M
S+pontna+mfence+WC+WCAllowOk, 141k/3.1GOk, 3.7k/680MOk, 18k/180MOk, 8.9k/304MOk, 10k/863MOk, 59k/456MOk, 25k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontna+mfence+WC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontna+mfence+WT+WBAllowOk, 57M/2.3GOk, 13M/680MOk, 3.6M/180MOk, 20M/304MOk, 5.6M/456MOk, 8.0M/192MOk, 82k/66MOk, 5.8M/173MOk, 318k/227M
S+pontna+mfence+WT+WCAllowOk, 86k/2.3GOk, 3.1k/680MOk, 17k/180MOk, 6.3k/304MOk, 30k/456MOk, 22k/192MNo, 0/66MOk, 8.1k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontna+mfence+WT+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+WBForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+WCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+UC+WTForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WB+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WB+WBAllowOk, 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
S+pontnt+mfence+WB+WCAllowOk, 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
         Allow unseen  
S+pontnt+mfence+WB+WTAllowOk, 61k/2.3GOk, 42k/680MOk, 2.8k/180MOk, 9.3k/304MOk, 2.8k/456MOk, 2.6k/192MOk, 4/66MOk, 1.6k/173MOk, 33/227M
S+pontnt+mfence+WC+UCForbidNo, 0/3.1GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/863MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WC+WBAllowOk, 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
         Allow unseen  
S+pontnt+mfence+WC+WCAllowOk, 143k/3.1GOk, 3.8k/680MOk, 19k/180MOk, 9.0k/304MOk, 10k/863MOk, 62k/456MOk, 23k/192MNo, 0/66MOk, 16k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WC+WTAllowOk, 44k/2.3GOk, 1.1k/680MOk, 1.5k/180MOk, 2.0k/304MOk, 32k/456MOk, 1.7k/192MNo, 0/66MOk, 6.3k/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WT+UCForbidNo, 0/2.3GNo, 0/680MNo, 0/180MNo, 0/304MNo, 0/456MNo, 0/192MNo, 0/66MNo, 0/173MNo, 0/227M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
S+pontnt+mfence+WT+WBAllowOk, 5.1k/2.3GOk, 243/680MOk, 240/180MOk, 821/304MOk, 2.4k/456MOk, 577/192MNo, 0/66MOk, 819/173MNo, 0/227M
         Allow unseen Allow unseen
S+pontnt+mfence+WT+WCAllowOk, 86k/2.3GOk, 2.7k/680MOk, 18k/180MOk, 6.4k/304MOk, 29k/456MOk, 23k/192MNo, 0/66MOk, 6.8k/173MOk, 1/227M
         Allow unseen  
S+pontnt+mfence+WT+WTAllowOk, 4.6k/2.3GOk, 242/680MOk, 229/180MOk, 743/304MOk, 1.9k/456MOk, 610/192MNo, 0/66MOk, 920/173MNo, 0/227M
         Allow unseen Allow unseen

Test MP

There are 16 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
MP+po+mfence+UC+UCForbidNo, 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
MP+po+mfence+UC+WBForbidNo, 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
MP+po+mfence+UC+WCForbidNo, 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
MP+po+mfence+UC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WB+UCForbidNo, 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
MP+po+mfence+WB+WBForbidNo, 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
MP+po+mfence+WB+WCAllowOk, 11k/3.7GOk, 17/738MOk, 21/204MOk, 10/392MOk, 2/863MOk, 441/408MOk, 10k/553MNo, 0/66MOk, 889/173MOk, 41/267M
         Allow unseen  
MP+po+mfence+WB+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WC+UCForbidNo, 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
MP+po+mfence+WC+WBAllowOk, 198M/3.7GOk, 42M/738MOk, 12M/204MOk, 39M/392MOk, 16M/863MOk, 26M/408MOk, 51M/553MOk, 48k/66MOk, 10M/173MOk, 422k/267M
MP+po+mfence+WC+WCAllowOk, 98k/3.7GOk, 6.8k/738MOk, 22k/204MOk, 11k/392MOk, 5.1k/863MOk, 16k/408MOk, 34k/553MNo, 0/66MOk, 3.3k/173MOk, 1/267M
         Allow unseen  
MP+po+mfence+WC+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+UCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+WBForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+WCForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+po+mfence+WT+WTForbidNo, 0/2.8GNo, 0/738MNo, 0/204MNo, 0/392MNo, 0/408MNo, 0/553MNo, 0/66MNo, 0/173MNo, 0/267M
  Allow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen

Previous Up Next