Previous Up Next

Coherence

Tests that operate on one variable only. The conditions of these tests identify violations of “SC per location” (see CoRR below for a simple example). Hence, all these tests should be and are forbidden.

There are 168 such tests
 ModelHardwareCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
CoRR+NT+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+NT+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+NT+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+NT+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRR+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+NT+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+NT+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+NT+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+NT+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
CoRW2+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posnant+pos+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posnant+pos+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posnant+pos+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posnant+pos+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntna+pos+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntna+pos+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntna+pos+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntna+pos+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntnt+pos+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntnt+pos+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntnt+pos+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+posntnt+pos+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poss+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poss+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poss+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
MP+poss+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/267M
S+posnant+pos+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posnant+pos+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posnant+pos+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posnant+pos+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntna+pos+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntna+pos+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntna+pos+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntna+pos+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntnt+pos+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntnt+pos+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntnt+pos+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+posntnt+pos+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poss+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poss+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poss+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
S+poss+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/269M
2+2W+pos+posnant+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posnant+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posnant+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posnant+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntna+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntna+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntna+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntna+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntnt+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntnt+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntnt+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+pos+posntnt+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntna+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntna+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntna+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntna+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntnt+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntnt+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntnt+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnant+posntnt+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnants+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnants+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnants+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posnants+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntna+posntnt+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntna+posntnt+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntna+posntnt+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntna+posntnt+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnas+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnas+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnas+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnas+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnts+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnts+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnts+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+posntnts+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+poss+UCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+poss+WBForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+poss+WCForbidOk, 0/3.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/1.0GOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
2+2W+poss+WTForbidOk, 0/2.3GOk, 0/682MOk, 0/376MOk, 0/240MOk, 0/227MOk, 0/237MOk, 0/66MOk, 0/173MOk, 0/309M
WRC+poss+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRC+poss+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WWC+poss+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posnant+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntna+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+pos+posntnt+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRR+2W+poss+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posnant+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntna+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+pos+posntnt+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+NT+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+NT+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+NT+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+NT+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+UCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+WBForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+WCForbidOk, 0/1.8GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/518MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M
WRW+2W+poss+WTForbidOk, 0/1.3GOk, 0/348MOk, 0/188MOk, 0/128MOk, 0/151MOk, 0/158MOk, 0/33MOk, 0/115MOk, 0/161M

Previous Up Next