We here give some table for the test 2+2W+poanas The first table shows that the atomicity condition holds for the atomic stores:
The second table shows that the non-SC behaviour of this test is forbiden by the flowing model (allowed by herd experimental) and not observed.