Wed Dec 23 11:27:05 NFT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr000 "Fre SyncdWW Wse SyncdWW Wse Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; li r3,1 | li r3,1 | | ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr000 Allowed Histogram (21 states) 127340:>3:r1=0; 3:r3=1; x=1; y=2; 191163:>3:r1=1; 3:r3=1; x=2; y=2; 243742:>3:r1=2; 3:r3=1; x=2; y=2; 357379:>3:r1=1; 3:r3=0; x=1; y=1; 40084 :>3:r1=0; 3:r3=1; x=1; y=1; 307057:>3:r1=2; 3:r3=1; x=1; y=1; 307383:>3:r1=2; 3:r3=0; x=2; y=1; 1524167:>3:r1=0; 3:r3=0; x=1; y=1; 1419806:>3:r1=2; 3:r3=1; x=1; y=2; 370125:>3:r1=2; 3:r3=0; x=1; y=2; 141424:>3:r1=0; 3:r3=0; x=2; y=2; 796527:>3:r1=1; 3:r3=1; x=1; y=2; 1948546:>3:r1=2; 3:r3=1; x=2; y=1; 1024243:>3:r1=0; 3:r3=1; x=2; y=1; 1557780:>3:r1=0; 3:r3=0; x=1; y=2; 705795:>3:r1=1; 3:r3=0; x=1; y=2; 1158502:>3:r1=2; 3:r3=0; x=1; y=1; 565127:>3:r1=0; 3:r3=1; x=2; y=2; 1167690:>3:r1=0; 3:r3=0; x=2; y=1; 1285092:>3:r1=1; 3:r3=1; x=1; y=1; 761028:>3:r1=1; 3:r3=1; x=2; y=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=7074ebf0a4e494a7c168353216394741 Cycle=Fre SyncdWW Wse SyncdWW Wse Rfe LwSyncdRR Relax aclwdrr000 No ACLwSyncdRR Safe=Fre Wse SyncdWW Time aclwdrr000 2.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr001 "Fre LwSyncdWW Wse SyncdWW Wse Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; lwsync | sync | | lwz r3,0(r4) ; li r3,1 | li r3,1 | | ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr001 Allowed Histogram (21 states) 246320:>3:r1=2; 3:r3=1; x=2; y=2; 187595:>3:r1=1; 3:r3=1; x=2; y=2; 69265 :>3:r1=0; 3:r3=1; x=1; y=2; 181721:>3:r1=0; 3:r3=0; x=2; y=2; 590215:>3:r1=0; 3:r3=1; x=2; y=2; 312670:>3:r1=2; 3:r3=0; x=2; y=1; 889937:>3:r1=1; 3:r3=1; x=2; y=1; 701485:>3:r1=1; 3:r3=0; x=1; y=2; 2119824:>3:r1=2; 3:r3=1; x=2; y=1; 334989:>3:r1=2; 3:r3=0; x=1; y=2; 746504:>3:r1=1; 3:r3=1; x=1; y=2; 1594757:>3:r1=0; 3:r3=0; x=1; y=2; 29396 :>3:r1=0; 3:r3=1; x=1; y=1; 1221021:>3:r1=1; 3:r3=1; x=1; y=1; 416614:>3:r1=1; 3:r3=0; x=1; y=1; 273192:>3:r1=2; 3:r3=1; x=1; y=1; 1289063:>3:r1=0; 3:r3=0; x=2; y=1; 1287715:>3:r1=2; 3:r3=1; x=1; y=2; 1104009:>3:r1=2; 3:r3=0; x=1; y=1; 970045:>3:r1=0; 3:r3=1; x=2; y=1; 1433663:>3:r1=0; 3:r3=0; x=1; y=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=42a8ec6eccd807ced6dea1376fc81b0b Cycle=Fre LwSyncdWW Wse SyncdWW Wse Rfe LwSyncdRR Relax aclwdrr001 No ACLwSyncdRR Safe=Fre Wse SyncdWW LwSyncdWW Time aclwdrr001 2.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr002 "Fre SyncdWW Wse Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | | lwz r3,0(r4) ; li r3,1 | | ; stw r3,0(r4) | | ; exists (x=2 /\ 2:r1=2 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 11,2 _litmus_P1_1_: stw 11,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr002 Allowed Histogram (9 states) 209292:>2:r1=0; 2:r3=1; x=1; 2603565:>2:r1=2; 2:r3=1; x=2; 1131736:>2:r1=0; 2:r3=1; x=2; 3378783:>2:r1=1; 2:r3=1; x=1; 4907082:>2:r1=0; 2:r3=0; x=1; 1759326:>2:r1=2; 2:r3=1; x=1; 1994644:>2:r1=0; 2:r3=0; x=2; 2240710:>2:r1=1; 2:r3=1; x=2; 2774862:>2:r1=2; 2:r3=0; x=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=e86498b53008de1e6a240afbf078cd14 Cycle=Fre SyncdWW Wse Rfe LwSyncdRR Relax aclwdrr002 No ACLwSyncdRR Safe=Fre Wse SyncdWW Time aclwdrr002 1.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr003 "Fre SyncdWR Fre SyncdWW Wse Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,1 | | ; | stw r3,0(r4) | | ; exists (y=2 /\ 0:r3=0 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr003 Allowed Histogram (21 states) 139222:>0:r3=0; 3:r1=0; 3:r3=0; y=2; 32139 :>0:r3=1; 3:r1=0; 3:r3=1; y=1; 369048:>0:r3=1; 3:r1=2; 3:r3=0; y=2; 96430 :>0:r3=1; 3:r1=0; 3:r3=1; y=2; 1291035:>0:r3=1; 3:r1=2; 3:r3=1; y=2; 205589:>0:r3=0; 3:r1=2; 3:r3=1; y=2; 190139:>0:r3=0; 3:r1=1; 3:r3=1; y=2; 663449:>0:r3=0; 3:r1=0; 3:r3=1; y=2; 400212:>0:r3=1; 3:r1=1; 3:r3=0; y=1; 1903212:>0:r3=0; 3:r1=2; 3:r3=1; y=1; 725901:>0:r3=1; 3:r1=1; 3:r3=1; y=2; 717353:>0:r3=1; 3:r1=1; 3:r3=0; y=2; 269872:>0:r3=1; 3:r1=2; 3:r3=1; y=1; 1257537:>0:r3=1; 3:r1=2; 3:r3=0; y=1; 1604902:>0:r3=1; 3:r1=0; 3:r3=0; y=2; 1102358:>0:r3=0; 3:r1=0; 3:r3=1; y=1; 1176916:>0:r3=0; 3:r1=0; 3:r3=0; y=1; 1171416:>0:r3=1; 3:r1=1; 3:r3=1; y=1; 766710:>0:r3=0; 3:r1=1; 3:r3=1; y=1; 1574954:>0:r3=1; 3:r1=0; 3:r3=0; y=1; 341606:>0:r3=0; 3:r1=2; 3:r3=0; y=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (y=2 /\ 0:r3=0 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=9599d8c79b2e28a1f015a74966a65bac Cycle=Fre SyncdWR Fre SyncdWW Wse Rfe LwSyncdRR Relax aclwdrr003 No ACLwSyncdRR Safe=Fre Wse SyncdWW SyncdWR Time aclwdrr003 2.40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr004 "Fre SyncsWR Fre SyncdWW Wse Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | | ; | stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 0:r3=1 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test aclwdrr004 Allowed Histogram (39 states) 2434 :>0:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 2341 :>0:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 3060 :>0:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 7543 :>0:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 7243 :>0:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 7117 :>0:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 14248 :>0:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 26919 :>0:r3=2; 3:r1=2; 3:r3=0; x=1; y=2; 88380 :>0:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 10645 :>0:r3=2; 3:r1=2; 3:r3=1; x=1; y=2; 60636 :>0:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 16057 :>0:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 343303:>0:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 383192:>0:r3=1; 3:r1=1; 3:r3=2; x=1; y=1; 64255 :>0:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 92981 :>0:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 24884 :>0:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 36347 :>0:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 608149:>0:r3=1; 3:r1=1; 3:r3=2; x=2; y=1; 724588:>0:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 917704:>0:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 322083:>0:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 294560:>0:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 1003643:>0:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 502521:>0:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1206177:>0:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 248668:>0:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 545361:>0:r3=1; 3:r1=2; 3:r3=0; x=1; y=1; 487710:>0:r3=1; 3:r1=2; 3:r3=0; x=1; y=2; 965804:>0:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 1022253:>0:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 641153:>0:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 1215606:>0:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 179702:>0:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 303648:>0:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 560887:>0:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 1588857:>0:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 1231633:>0:r3=1; 3:r1=2; 3:r3=1; x=1; y=2; 237708:>0:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 0:r3=1 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=32cc2d7800b6941b57852b520691800f Cycle=Fre SyncsWR Fre SyncdWW Wse Rfe LwSyncdRR Relax aclwdrr004 No ACLwSyncdRR Safe=Fre Wse SyncsWR SyncdWW Time aclwdrr004 2.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr005 "Fre SyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | | lwz r3,0(r4) ; li r3,1 | li r3,1 | | ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr005 Allowed Histogram (21 states) 164882:>3:r1=0; 3:r3=0; x=2; y=2; 229457:>3:r1=1; 3:r3=1; x=2; y=2; 812505:>3:r1=1; 3:r3=0; x=1; y=2; 839635:>3:r1=1; 3:r3=1; x=2; y=1; 253297:>3:r1=2; 3:r3=1; x=2; y=2; 254826:>3:r1=2; 3:r3=1; x=1; y=1; 245166:>3:r1=2; 3:r3=0; x=2; y=1; 94384 :>3:r1=0; 3:r3=1; x=1; y=2; 470895:>3:r1=1; 3:r3=0; x=1; y=1; 1117226:>3:r1=0; 3:r3=0; x=2; y=1; 31763 :>3:r1=0; 3:r3=1; x=1; y=1; 1273295:>3:r1=1; 3:r3=1; x=1; y=1; 411369:>3:r1=2; 3:r3=0; x=1; y=2; 960336:>3:r1=0; 3:r3=1; x=2; y=1; 1522686:>3:r1=2; 3:r3=1; x=1; y=2; 1769232:>3:r1=2; 3:r3=1; x=2; y=1; 1413978:>3:r1=0; 3:r3=0; x=1; y=1; 1025764:>3:r1=2; 3:r3=0; x=1; y=1; 888576:>3:r1=1; 3:r3=1; x=1; y=2; 665397:>3:r1=0; 3:r3=1; x=2; y=2; 1555331:>3:r1=0; 3:r3=0; x=1; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=4867d1504e0b1c594b9643e48c015b80 Cycle=Fre SyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRR Relax aclwdrr005 No ACLwSyncdRR Safe=Fre Wse SyncdWW LwSyncdWW Time aclwdrr005 2.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr006 "Fre LwSyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; lwsync | lwsync | | lwz r3,0(r4) ; li r3,1 | li r3,1 | | ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr006 Allowed Histogram (21 states) 257094:>3:r1=1; 3:r3=1; x=2; y=2; 896531:>3:r1=1; 3:r3=1; x=1; y=2; 183684:>3:r1=0; 3:r3=0; x=2; y=2; 812929:>3:r1=1; 3:r3=0; x=1; y=2; 382612:>3:r1=1; 3:r3=0; x=1; y=1; 684148:>3:r1=0; 3:r3=1; x=2; y=2; 52228 :>3:r1=0; 3:r3=1; x=1; y=2; 12373 :>3:r1=0; 3:r3=1; x=1; y=1; 1208832:>3:r1=1; 3:r3=1; x=1; y=1; 982971:>3:r1=0; 3:r3=1; x=2; y=1; 217843:>3:r1=2; 3:r3=1; x=1; y=1; 274586:>3:r1=2; 3:r3=0; x=2; y=1; 388111:>3:r1=2; 3:r3=0; x=1; y=2; 1168758:>3:r1=0; 3:r3=0; x=2; y=1; 313125:>3:r1=2; 3:r3=1; x=2; y=2; 1599755:>3:r1=0; 3:r3=0; x=1; y=2; 1325549:>3:r1=0; 3:r3=0; x=1; y=1; 1882548:>3:r1=2; 3:r3=1; x=2; y=1; 1022818:>3:r1=2; 3:r3=0; x=1; y=1; 1432018:>3:r1=2; 3:r3=1; x=1; y=2; 901487:>3:r1=1; 3:r3=1; x=2; y=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=7e01ecd8b2bc06ff5ba0d2b4e58340c6 Cycle=Fre LwSyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRR Relax aclwdrr006 No ACLwSyncdRR Safe=Fre Wse LwSyncdWW Time aclwdrr006 2.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr007 "Fre LwSyncdWW Wse Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; lwsync | | lwz r3,0(r4) ; li r3,1 | | ; stw r3,0(r4) | | ; exists (x=2 /\ 2:r1=2 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 11,2 _litmus_P1_1_: stw 11,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr007 Allowed Histogram (9 states) 67825 :>2:r1=0; 2:r3=1; x=1; 1506604:>2:r1=2; 2:r3=1; x=1; 791864:>2:r1=0; 2:r3=1; x=2; 2892683:>2:r1=2; 2:r3=1; x=2; 2901605:>2:r1=2; 2:r3=0; x=1; 4663958:>2:r1=0; 2:r3=0; x=1; 2857917:>2:r1=1; 2:r3=1; x=2; 2182950:>2:r1=0; 2:r3=0; x=2; 3134594:>2:r1=1; 2:r3=1; x=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=ba17863040d25a62a648bb8030bf59fd Cycle=Fre LwSyncdWW Wse Rfe LwSyncdRR Relax aclwdrr007 No ACLwSyncdRR Safe=Fre Wse LwSyncdWW Time aclwdrr007 1.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr008 "Fre SyncdWR Fre LwSyncdWW Wse Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,1 | | ; | stw r3,0(r4) | | ; exists (y=2 /\ 0:r3=0 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr008 Allowed Histogram (21 states) 19345 :>0:r3=1; 3:r1=0; 3:r3=1; y=1; 198782:>0:r3=0; 3:r1=0; 3:r3=0; y=2; 329550:>0:r3=0; 3:r1=2; 3:r3=0; y=1; 512762:>0:r3=1; 3:r1=2; 3:r3=0; y=2; 238815:>0:r3=0; 3:r1=1; 3:r3=1; y=2; 214439:>0:r3=1; 3:r1=2; 3:r3=1; y=1; 55917 :>0:r3=1; 3:r1=0; 3:r3=1; y=2; 1540832:>0:r3=1; 3:r1=0; 3:r3=0; y=2; 390414:>0:r3=1; 3:r1=1; 3:r3=0; y=1; 1222193:>0:r3=1; 3:r1=2; 3:r3=0; y=1; 730873:>0:r3=0; 3:r1=0; 3:r3=1; y=2; 296309:>0:r3=0; 3:r1=2; 3:r3=1; y=2; 730208:>0:r3=1; 3:r1=1; 3:r3=1; y=2; 950170:>0:r3=0; 3:r1=0; 3:r3=1; y=1; 1144642:>0:r3=0; 3:r1=0; 3:r3=0; y=1; 845533:>0:r3=1; 3:r1=1; 3:r3=0; y=2; 1874173:>0:r3=0; 3:r1=2; 3:r3=1; y=1; 1417655:>0:r3=1; 3:r1=0; 3:r3=0; y=1; 1031417:>0:r3=1; 3:r1=1; 3:r3=1; y=1; 1376053:>0:r3=1; 3:r1=2; 3:r3=1; y=2; 879918:>0:r3=0; 3:r1=1; 3:r3=1; y=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (y=2 /\ 0:r3=0 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=61bd93196401321b8fb91e15727e3c64 Cycle=Fre SyncdWR Fre LwSyncdWW Wse Rfe LwSyncdRR Relax aclwdrr008 No ACLwSyncdRR Safe=Fre Wse SyncdWR LwSyncdWW Time aclwdrr008 2.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr009 "Fre SyncsWR Fre LwSyncdWW Wse Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | | ; | stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 0:r3=1 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test aclwdrr009 Allowed Histogram (39 states) 3435 :>0:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 5697 :>0:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 4546 :>0:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 1453 :>0:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 8768 :>0:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 9063 :>0:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 23304 :>0:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 792290:>0:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 748185:>0:r3=1; 3:r1=1; 3:r3=2; x=2; y=1; 343276:>0:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 327191:>0:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 309517:>0:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 823552:>0:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 6320 :>0:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 25242 :>0:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 33616 :>0:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 39509 :>0:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 69082 :>0:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 341887:>0:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 13685 :>0:r3=2; 3:r1=2; 3:r3=1; x=1; y=2; 1014540:>0:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 144482:>0:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 779287:>0:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 573536:>0:r3=1; 3:r1=2; 3:r3=0; x=1; y=1; 33486 :>0:r3=2; 3:r1=2; 3:r3=0; x=1; y=2; 55171 :>0:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 358618:>0:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 345807:>0:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 393607:>0:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1178517:>0:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 855671:>0:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 22755 :>0:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 1204554:>0:r3=1; 3:r1=2; 3:r3=1; x=1; y=2; 1409321:>0:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 1508253:>0:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 982628:>0:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 287999:>0:r3=1; 3:r1=1; 3:r3=2; x=1; y=1; 391588:>0:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 530562:>0:r3=1; 3:r1=2; 3:r3=0; x=1; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 0:r3=1 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=ab46080bf73ab92da49cdd6b27ede9b2 Cycle=Fre SyncsWR Fre LwSyncdWW Wse Rfe LwSyncdRR Relax aclwdrr009 No ACLwSyncdRR Safe=Fre Wse SyncsWR LwSyncdWW Time aclwdrr009 2.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr010 "Fre Rfe LwSyncdRR Fre Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) | li r1,1 ; lwsync | stw r1,0(r2) | lwsync | stw r1,0(r2) ; lwz r3,0(r4) | | lwz r3,0(r4) | ; exists (0:r1=1 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P3_0_: li 7,1 _litmus_P3_1_: stw 7,0(9) _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 6,1 _litmus_P1_1_: stw 6,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: lwz 31,0(9) Test aclwdrr010 Allowed Histogram (16 states) 1 :>0:r1=1; 0:r3=0; 2:r1=1; 2:r3=0; 289 :>0:r1=0; 0:r3=1; 2:r1=0; 2:r3=1; 465859:>0:r1=1; 0:r3=0; 2:r1=0; 2:r3=0; 456213:>0:r1=0; 0:r3=0; 2:r1=1; 2:r3=0; 516615:>0:r1=1; 0:r3=0; 2:r1=1; 2:r3=1; 526413:>0:r1=1; 0:r3=1; 2:r1=1; 2:r3=0; 817395:>0:r1=1; 0:r3=1; 2:r1=0; 2:r3=1; 1457941:>0:r1=1; 0:r3=1; 2:r1=0; 2:r3=0; 2581381:>0:r1=0; 0:r3=0; 2:r1=0; 2:r3=0; 767676:>0:r1=0; 0:r3=1; 2:r1=1; 2:r3=1; 3377620:>0:r1=1; 0:r3=1; 2:r1=1; 2:r3=1; 1538029:>0:r1=0; 0:r3=0; 2:r1=1; 2:r3=1; 713939:>0:r1=0; 0:r3=1; 2:r1=0; 2:r3=0; 1026612:>0:r1=0; 0:r3=1; 2:r1=1; 2:r3=0; 718468:>0:r1=0; 0:r3=0; 2:r1=0; 2:r3=1; 1035549:>0:r1=1; 0:r3=0; 2:r1=0; 2:r3=1; Ok Witnesses Positive: 1, Negative: 15999999 Condition exists (0:r1=1 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is validated Hash=8ce05c9f86d49b2adfd5546bd471aa44 Cycle=Fre Rfe LwSyncdRR Fre Rfe LwSyncdRR Relax aclwdrr010 Ok ACLwSyncdRR Safe=Fre Time aclwdrr010 1.97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr011 "Fre SyncdWW Rfe LwSyncdRR Fre Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) | | lwz r3,0(r4) ; li r3,1 | | | ; stw r3,0(r4) | | | ; exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr011 Allowed Histogram (15 states) 19480 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 194157:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 206299:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 934863:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 1491079:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 1225275:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 2353836:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 282463:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 558340:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 788680:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 950762:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 1682935:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 1395775:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 968507:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 2947549:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 16000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=064d7a96bedb614c156f5bd3adf783d8 Cycle=Fre SyncdWW Rfe LwSyncdRR Fre Rfe LwSyncdRR Relax aclwdrr011 No ACLwSyncdRR Safe=Fre SyncdWW Time aclwdrr011 2.18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr012 "Fre SyncsWW Rfe LwSyncdRR Fre Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) | | lwz r3,0(r4) ; li r3,2 | | | ; stw r3,0(r2) | | | ; exists (y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: sync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr012 Allowed Histogram (33 states) 105 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 4981 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; y=2; 88 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 755 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 80083 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 83866 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 70535 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 65823 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 15679 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 28737 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 345057:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 173643:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 78640 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 102160:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 124419:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 78938 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 726995:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 1006765:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 97699 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 445688:>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 1335896:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 863094:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 64123 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 130468:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; y=2; 121845:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 1252909:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 2743282:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 492350:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 684020:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 1214276:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 569790:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; y=2; 2607648:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 389643:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=992754280de579a7f5feb516274ac846 Cycle=Fre SyncsWW Rfe LwSyncdRR Fre Rfe LwSyncdRR Relax aclwdrr012 No ACLwSyncdRR Safe=Fre SyncsWW Time aclwdrr012 2.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr013 "Fre LwSyncdWW Rfe LwSyncdRR Fre Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | | lwz r3,0(r4) ; li r3,1 | | | ; stw r3,0(r4) | | | ; exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr013 Allowed Histogram (15 states) 2671 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 187308:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 770569:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 1290242:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 1047671:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 2497790:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 1619671:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 1191979:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 972535:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 381276:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 1435843:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 3020022:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 844175:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 487750:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 250498:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; No Witnesses Positive: 0, Negative: 16000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=4eddb3c8ea9ccf8a71927b2e31094cad Cycle=Fre LwSyncdWW Rfe LwSyncdRR Fre Rfe LwSyncdRR Relax aclwdrr013 No ACLwSyncdRR Safe=Fre LwSyncdWW Time aclwdrr013 2.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr014 "Fre LwSyncsWW Rfe LwSyncdRR Fre Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | | lwz r3,0(r4) ; li r3,2 | | | ; stw r3,0(r2) | | | ; exists (y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: lwsync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr014 Allowed Histogram (33 states) 383 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; y=2; 19 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 267 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 661 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 7934 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 3760 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 9074 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 6444 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 29278 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 33263 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 27422 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 36252 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 40680 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 27585 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 32383 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 48019 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; y=2; 60237 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 1074 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 473811:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 704701:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 427106:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 4118 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 498180:>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 634610:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 1339429:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 1358718:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 1262854:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 544340:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; y=2; 763951:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 820527:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 1227259:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 2901811:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 2673850:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=0363e525d1d5c107b6654781a780ef6a Cycle=Fre LwSyncsWW Rfe LwSyncdRR Fre Rfe LwSyncdRR Relax aclwdrr014 No ACLwSyncdRR Safe=Fre LwSyncsWW Time aclwdrr014 2.17 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr015 "Fre SyncdWW Wse SyncdWR Fre Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; li r3,1 | lwz r3,0(r4) | | ; stw r3,0(r4) | | | ; exists (x=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 30,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr015 Allowed Histogram (15 states) 31225 :>1:r3=1; 3:r1=0; 3:r3=1; x=1; 144279:>1:r3=0; 3:r1=0; 3:r3=0; x=2; 445849:>1:r3=0; 3:r1=1; 3:r3=0; x=1; 821577:>1:r3=0; 3:r1=0; 3:r3=1; x=2; 1087466:>1:r3=1; 3:r1=0; 3:r3=0; x=2; 2845547:>1:r3=1; 3:r1=1; 3:r3=1; x=2; 1195592:>1:r3=1; 3:r1=1; 3:r3=1; x=1; 234615:>1:r3=0; 3:r1=1; 3:r3=1; x=2; 2724875:>1:r3=0; 3:r1=0; 3:r3=0; x=1; 884438:>1:r3=0; 3:r1=0; 3:r3=1; x=1; 1560086:>1:r3=1; 3:r1=1; 3:r3=0; x=1; 1368354:>1:r3=1; 3:r1=0; 3:r3=0; x=1; 1422935:>1:r3=0; 3:r1=1; 3:r3=1; x=1; 929849:>1:r3=1; 3:r1=0; 3:r3=1; x=2; 303313:>1:r3=1; 3:r1=1; 3:r3=0; x=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=61d664ae95ff6d97da76ebb37bc47ca3 Cycle=Fre SyncdWW Wse SyncdWR Fre Rfe LwSyncdRR Relax aclwdrr015 No ACLwSyncdRR Safe=Fre Wse SyncdWW SyncdWR Time aclwdrr015 2.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr016 "Fre LwSyncdWW Wse SyncdWR Fre Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; lwsync | sync | | lwz r3,0(r4) ; li r3,1 | lwz r3,0(r4) | | ; stw r3,0(r4) | | | ; exists (x=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 30,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr016 Allowed Histogram (15 states) 11100 :>1:r3=1; 3:r1=0; 3:r3=1; x=1; 375029:>1:r3=1; 3:r1=1; 3:r3=0; x=2; 284000:>1:r3=0; 3:r1=1; 3:r3=1; x=2; 177559:>1:r3=0; 3:r1=0; 3:r3=0; x=2; 772118:>1:r3=0; 3:r1=0; 3:r3=1; x=1; 1380636:>1:r3=1; 3:r1=1; 3:r3=0; x=1; 1469481:>1:r3=0; 3:r1=1; 3:r3=1; x=1; 943319:>1:r3=1; 3:r1=0; 3:r3=1; x=2; 928230:>1:r3=0; 3:r1=0; 3:r3=1; x=2; 1261993:>1:r3=1; 3:r1=0; 3:r3=0; x=1; 2652571:>1:r3=0; 3:r1=0; 3:r3=0; x=1; 1119402:>1:r3=1; 3:r1=1; 3:r3=1; x=1; 1238918:>1:r3=1; 3:r1=0; 3:r3=0; x=2; 419689:>1:r3=0; 3:r1=1; 3:r3=0; x=1; 2965955:>1:r3=1; 3:r1=1; 3:r3=1; x=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=4947e9ed11cb60630be5b54900bf7b6c Cycle=Fre LwSyncdWW Wse SyncdWR Fre Rfe LwSyncdRR Relax aclwdrr016 No ACLwSyncdRR Safe=Fre Wse SyncdWR LwSyncdWW Time aclwdrr016 2.36 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr017 "Fre SyncdWR Fre Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | | lwz r3,0(r4) ; lwz r3,0(r4) | | ; exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 11,1 _litmus_P1_1_: stw 11,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr017 Allowed Histogram (8 states) 2 :>0:r3=0; 2:r1=1; 2:r3=0; 60745 :>0:r3=1; 2:r1=0; 2:r3=1; 3389846:>0:r3=1; 2:r1=1; 2:r3=0; 3634238:>0:r3=0; 2:r1=0; 2:r3=1; 2247900:>0:r3=0; 2:r1=0; 2:r3=0; 3901473:>0:r3=1; 2:r1=1; 2:r3=1; 3067353:>0:r3=0; 2:r1=1; 2:r3=1; 4698443:>0:r3=1; 2:r1=0; 2:r3=0; Ok Witnesses Positive: 2, Negative: 20999998 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is validated Hash=0dd8df1959f84e11508b32d374a44775 Cycle=Fre SyncdWR Fre Rfe LwSyncdRR Relax aclwdrr017 Ok ACLwSyncdRR Safe=Fre SyncdWR Time aclwdrr017 1.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr018 "Fre SyncdWR Fre SyncdWR Fre Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; lwz r3,0(r4) | lwz r3,0(r4) | | ; exists (0:r3=0 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 31,1 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 30,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr018 Allowed Histogram (15 states) 24375 :>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=1; 1460392:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=0; 245937:>0:r3=0; 1:r3=0; 3:r1=1; 3:r3=1; 372451:>0:r3=0; 1:r3=1; 3:r1=1; 3:r3=0; 1397271:>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=0; 1175798:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=1; 910448:>0:r3=0; 1:r3=0; 3:r1=0; 3:r3=1; 186373:>0:r3=0; 1:r3=0; 3:r1=0; 3:r3=0; 482279:>0:r3=1; 1:r3=0; 3:r1=1; 3:r3=0; 787683:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=1; 2435732:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=0; 1435820:>0:r3=1; 1:r3=0; 3:r1=1; 3:r3=1; 2756453:>0:r3=0; 1:r3=1; 3:r1=1; 3:r3=1; 1049395:>0:r3=0; 1:r3=1; 3:r1=0; 3:r3=1; 1279593:>0:r3=0; 1:r3=1; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 16000000 Condition exists (0:r3=0 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=3fed6cc74892902ab28df779672578f8 Cycle=Fre SyncdWR Fre SyncdWR Fre Rfe LwSyncdRR Relax aclwdrr018 No ACLwSyncdRR Safe=Fre SyncdWR Time aclwdrr018 2.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr019 "Fre SyncsWR Fre SyncdWR Fre Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; lwz r3,0(r2) | lwz r3,0(r4) | | ; exists (y=2 /\ 0:r3=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 30,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test aclwdrr019 Allowed Histogram (31 states) 6775 :>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=1; y=1; 27007 :>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=2; y=1; 1290 :>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 727031:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=1; y=1; 31787 :>0:r3=2; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 5939 :>0:r3=2; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 34678 :>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=2; y=2; 6377 :>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 41978 :>0:r3=2; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 553042:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=0; y=1; 643071:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=2; y=1; 71625 :>0:r3=2; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 47104 :>0:r3=2; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 13287 :>0:r3=2; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 1251989:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=2; y=1; 776936:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=0; y=1; 1725839:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=2; y=2; 309270:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 31129 :>0:r3=2; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 313873:>0:r3=1; 1:r3=0; 3:r1=1; 3:r3=2; y=2; 452455:>0:r3=1; 1:r3=0; 3:r1=1; 3:r3=2; y=1; 76509 :>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 1393370:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 581608:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=2; y=2; 1644759:>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 590125:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 1028116:>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 1369693:>0:r3=1; 1:r3=0; 3:r1=1; 3:r3=1; y=1; 1052210:>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=0; y=1; 799463:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=1; y=1; 391665:>0:r3=1; 1:r3=0; 3:r1=0; 3:r3=1; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (y=2 /\ 0:r3=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=660c5e262906b3ab9066962d8bf69882 Cycle=Fre SyncsWR Fre SyncdWR Fre Rfe LwSyncdRR Relax aclwdrr019 No ACLwSyncdRR Safe=Fre SyncsWR SyncdWR Time aclwdrr019 2.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr020 "Fre SyncdWR Fre SyncsWR Fre Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | | lwz r3,0(r4) ; lwz r3,0(r4) | lwz r3,0(r2) | | ; exists (x=2 /\ 0:r3=0 /\ 1:r3=1 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(9) _litmus_P1_0_: li 10,1 _litmus_P1_1_: stw 10,0(9) _litmus_P1_2_: sync _litmus_P1_3_: lwz 3,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr020 Allowed Histogram (45 states) 2325 :>0:r3=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; 535 :>0:r3=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; 7383 :>0:r3=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; 1401 :>0:r3=1; 1:r3=2; 3:r1=1; 3:r3=0; x=2; 42846 :>0:r3=2; 1:r3=2; 3:r1=2; 3:r3=0; x=2; 27647 :>0:r3=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; 1155 :>0:r3=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; 56308 :>0:r3=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; 10645 :>0:r3=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; 12382 :>0:r3=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; 5673 :>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=1; x=2; 46783 :>0:r3=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; 7153 :>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; 4593 :>0:r3=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; 13408 :>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; 10477 :>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; 83352 :>0:r3=2; 1:r3=1; 3:r1=1; 3:r3=1; x=2; 76781 :>0:r3=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; 14854 :>0:r3=2; 1:r3=2; 3:r1=1; 3:r3=0; x=2; 457793:>0:r3=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; 361440:>0:r3=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; 778835:>0:r3=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; 327156:>0:r3=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; 327754:>0:r3=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; 666130:>0:r3=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; 304508:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=0; x=2; 522339:>0:r3=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; 89554 :>0:r3=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; 1079674:>0:r3=2; 1:r3=1; 3:r1=2; 3:r3=1; x=2; 748558:>0:r3=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; 988633:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; 603545:>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; 490682:>0:r3=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; 589655:>0:r3=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; 977511:>0:r3=1; 1:r3=1; 3:r1=2; 3:r3=0; x=1; 607071:>0:r3=2; 1:r3=1; 3:r1=2; 3:r3=0; x=2; 898918:>0:r3=2; 1:r3=1; 3:r1=0; 3:r3=0; x=2; 552862:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=0; x=1; 631481:>0:r3=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; 496848:>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; 609186:>0:r3=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; 281535:>0:r3=2; 1:r3=1; 3:r1=2; 3:r3=0; x=1; 946374:>0:r3=2; 1:r3=1; 3:r1=1; 3:r3=0; x=2; 1175334:>0:r3=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; 60923 :>0:r3=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ 0:r3=0 /\ 1:r3=1 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=bad92812900a1656a66221eff19f711e Cycle=Fre SyncdWR Fre SyncsWR Fre Rfe LwSyncdRR Relax aclwdrr020 No ACLwSyncdRR Safe=Fre SyncsWR SyncdWR Time aclwdrr020 2.19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr021 "Fre SyncdWW Wse SyncdWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr021 Allowed Histogram (7 states) 1448098:>2:r1=1; 2:r3=1; x=2; 1825239:>2:r1=1; 2:r3=0; x=1; 4414907:>2:r1=1; 2:r3=1; x=1; 5970688:>2:r1=0; 2:r3=0; x=1; 2106673:>2:r1=0; 2:r3=0; x=2; 597147:>2:r1=0; 2:r3=1; x=1; 4637248:>2:r1=0; 2:r3=1; x=2; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=aeec733dac4af8be94573c9aff9d0c10 Cycle=Fre SyncdWW Wse SyncdWW Rfe LwSyncdRR Relax aclwdrr021 No ACLwSyncdRR Safe=Fre Wse SyncdWW Time aclwdrr021 2.03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr022 "Fre LwSyncdWW Wse SyncdWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; lwsync | sync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr022 Allowed Histogram (7 states) 1627251:>2:r1=1; 2:r3=1; x=2; 1909521:>2:r1=1; 2:r3=0; x=1; 2512018:>2:r1=0; 2:r3=0; x=2; 3996368:>2:r1=1; 2:r3=1; x=1; 392232:>2:r1=0; 2:r3=1; x=1; 5013668:>2:r1=0; 2:r3=1; x=2; 5548942:>2:r1=0; 2:r3=0; x=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=fb989d16658311d76866354f8a671029 Cycle=Fre LwSyncdWW Wse SyncdWW Rfe LwSyncdRR Relax aclwdrr022 No ACLwSyncdRR Safe=Fre Wse SyncdWW LwSyncdWW Time aclwdrr022 2.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr023 "Fre SyncdWW Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) ; li r3,1 | ; stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr023 Allowed Histogram (3 states) 15716607:>1:r1=0; 1:r3=0; 10822879:>1:r1=1; 1:r3=1; 5460514:>1:r1=0; 1:r3=1; No Witnesses Positive: 0, Negative: 32000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=501f8f5a33589295352fe1de9678142b Cycle=Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr023 No ACLwSyncdRR Safe=Fre SyncdWW Time aclwdrr023 1.62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr024 "Fre SyncdWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr024 Allowed Histogram (15 states) 124981:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 101444:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 80349 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 1177968:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 1182457:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 209158:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 977451:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 1032565:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 1593191:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 212447:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 1191093:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 1574942:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 1264904:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 3518466:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 1758584:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=d941e505b27c9a2748aeb4651a9cb643 Cycle=Fre SyncdWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr024 No ACLwSyncdRR Safe=Fre SyncdWW Time aclwdrr024 2.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr025 "Fre SyncsWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR" {0:r2=z; 1:r2=z; 1:r4=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,2 | | li r3,1 | ; stw r3,0(r2) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 4,1 _litmus_P2_1_: stw 4,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 3,1 _litmus_P2_4_: stw 3,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: sync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr025 Allowed Histogram (33 states) 1346 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 3294 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 39672 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 50081 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 15438 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 32744 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 110667:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 33751 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 51107 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 93400 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 154702:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 83504 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 188636:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 6395 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 108510:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 253540:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 186918:>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 114560:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 75627 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 77977 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 329828:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 665458:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 913056:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 1074710:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 71597 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 217024:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; z=2; 1385183:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 1234552:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1153852:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 1304382:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 3317937:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 741955:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 1908597:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; z=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (z=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=32b005fb973345d626b38029866e06f9 Cycle=Fre SyncsWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr025 No ACLwSyncdRR Safe=Fre SyncsWW SyncdWW Time aclwdrr025 2.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr026 "Fre LwSyncdWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr026 Allowed Histogram (15 states) 141264:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 180819:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 159326:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 61353 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 951349:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 1066606:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 1429014:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 1180724:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 233324:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 1827273:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 1481153:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 1292501:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 1088024:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 3396077:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 1511193:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=7a7cbc5359389bdb4170629397f77be6 Cycle=Fre LwSyncdWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr026 No ACLwSyncdRR Safe=Fre SyncdWW LwSyncdWW Time aclwdrr026 2.49 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr027 "Fre LwSyncsWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR" {0:r2=z; 1:r2=z; 1:r4=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,2 | | li r3,1 | ; stw r3,0(r2) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 4,1 _litmus_P2_1_: stw 4,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 3,1 _litmus_P2_4_: stw 3,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: lwsync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr027 Allowed Histogram (33 states) 1918 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 293 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 2248 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 3980 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 12349 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 31151 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 32209 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 27988 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 6652 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 17501 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 3753 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 69700 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 7231 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 28295 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 216395:>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 66916 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 18917 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 247029:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 195813:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; z=2; 13462 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 448451:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 36547 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 38458 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 1007920:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 725747:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 1134515:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 1582435:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 972171:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 3209120:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 1410125:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1467210:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 814972:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 2148529:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; z=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (z=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c2a2e1328465d78b88dcae553e33604e Cycle=Fre LwSyncsWW Rfe LwSyncdRR Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr027 No ACLwSyncdRR Safe=Fre SyncdWW LwSyncsWW Time aclwdrr027 2.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr028 "Fre SyncdWR Fre SyncdWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 31,1 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr028 Allowed Histogram (7 states) 1546090:>0:r3=0; 2:r1=1; 2:r3=1; 362798:>0:r3=1; 2:r1=0; 2:r3=1; 5683845:>0:r3=1; 2:r1=0; 2:r3=0; 2041586:>0:r3=1; 2:r1=1; 2:r3=0; 5186726:>0:r3=0; 2:r1=0; 2:r3=1; 2458187:>0:r3=0; 2:r1=0; 2:r3=0; 3720768:>0:r3=1; 2:r1=1; 2:r3=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=eebdc6b096cdd9c24f38c118593f06bb Cycle=Fre SyncdWR Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr028 No ACLwSyncdRR Safe=Fre SyncdWW SyncdWR Time aclwdrr028 2.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr029 "Fre SyncsWR Fre SyncdWW Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 31,0(9) Test aclwdrr029 Allowed Histogram (13 states) 1703640:>0:r3=1; 2:r1=1; 2:r3=2; y=1; 1677492:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 1825895:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 1515459:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 26677 :>0:r3=2; 2:r1=0; 2:r3=1; y=2; 295977:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 225399:>0:r3=2; 2:r1=0; 2:r3=0; y=2; 3591467:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 81610 :>0:r3=2; 2:r1=0; 2:r3=2; y=2; 3488419:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 125153:>0:r3=2; 2:r1=1; 2:r3=2; y=2; 3306069:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 3136743:>0:r3=1; 2:r1=0; 2:r3=0; y=2; No Witnesses Positive: 0, Negative: 21000000 Condition exists (y=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=4ab12861c7fd48307d5dbbb06073fa65 Cycle=Fre SyncsWR Fre SyncdWW Rfe LwSyncdRR Relax aclwdrr029 No ACLwSyncdRR Safe=Fre SyncsWR SyncdWW Time aclwdrr029 1.99 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr030 "Fre SyncsWW Rfe LwSyncdRR Fre SyncsWW Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,2 | | li r3,2 | ; stw r3,0(r2) | | stw r3,0(r2) | ; exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(9) _litmus_P2_2_: sync _litmus_P2_3_: li 11,2 _litmus_P2_4_: stw 11,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: sync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr030 Allowed Histogram (72 states) 19 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 88 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 42 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 50 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 182 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 901 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=2; 274 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 1175 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=2; 5255 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 756 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 753 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 20493 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 5084 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 4182 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 6586 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 12521 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=2; 32296 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=0; x=2; y=2; 19689 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 1191 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 11233 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 93481 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 3530 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=2; 25867 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=2; 18596 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 82707 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 121733:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=2; 673 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 89846 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 387026:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=0; x=2; y=2; 83618 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; x=2; y=2; 83250 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 124974:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 107077:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 16510 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 81796 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 91793 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 52584 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 2221 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 25857 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 62825 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 117494:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 19131 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 66706 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 6637 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 4924 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 156781:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 11117 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 107557:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 120217:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 76625 :>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 160154:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 552324:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 61413 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 105705:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 1043808:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 121056:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 94840 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 107994:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 516423:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 615361:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 2169763:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 82181 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 1037743:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 138223:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 93769 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 588124:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 391596:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 359495:>1:r1=2; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 999851:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 363222:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 1103146:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 2927886:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=ee8538d5ca48a381e732df1d7c7a6726 Cycle=Fre SyncsWW Rfe LwSyncdRR Fre SyncsWW Rfe LwSyncdRR Relax aclwdrr030 No ACLwSyncdRR Safe=Fre SyncsWW Time aclwdrr030 2.47 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr031 "Fre LwSyncdWW Rfe LwSyncdRR Fre SyncsWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,1 | | li r3,2 | ; stw r3,0(r4) | | stw r3,0(r2) | ; exists (y=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(9) _litmus_P2_2_: sync _litmus_P2_3_: li 11,2 _litmus_P2_4_: stw 11,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr031 Allowed Histogram (33 states) 1029 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 5226 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; y=2; 3191 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 58355 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=0; y=2; 96979 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; y=2; 77350 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=0; y=2; 102040:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 149586:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=0; y=2; 71324 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; y=2; 124103:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; y=2; 61548 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; y=2; 101840:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 137979:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; y=2; 261886:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 88950 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; y=2; 207833:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; y=2; 119258:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; y=2; 233036:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=0; y=2; 1220272:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 3497 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; y=2; 668904:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; y=2; 160670:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; y=2; 854801:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; y=2; 43286 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; y=2; 1985155:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; y=2; 368923:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=0; y=2; 995615:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; y=2; 309322:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; y=2; 1299393:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; y=2; 1091113:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; y=2; 3061416:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; y=2; 1196336:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=0; y=2; 839784:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (y=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=7e70701bff0ff65c82954a7448132407 Cycle=Fre LwSyncdWW Rfe LwSyncdRR Fre SyncsWW Rfe LwSyncdRR Relax aclwdrr031 No ACLwSyncdRR Safe=Fre SyncsWW LwSyncdWW Time aclwdrr031 2.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr032 "Fre LwSyncsWW Rfe LwSyncdRR Fre SyncsWW Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,2 | | li r3,2 | ; stw r3,0(r2) | | stw r3,0(r2) | ; exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(9) _litmus_P2_2_: sync _litmus_P2_3_: li 11,2 _litmus_P2_4_: stw 11,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: lwsync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr032 Allowed Histogram (72 states) 15 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 5 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 56 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 213 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 51 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=2; 107 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=2; 686 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 243 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=2; 494 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 143 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 46 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 375 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 180 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 1119 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 800 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 1082 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 2638 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 3516 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=2; 1160 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 6424 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 5341 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=2; 1231 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 3731 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 275 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 684 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 1177 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 1427 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 1479 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 55477 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 71711 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 5755 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 82204 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; x=2; y=2; 35207 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=0; x=2; y=2; 85797 :>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 109648:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 137594:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 6995 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 25820 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 29126 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=2; 158811:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 3749 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 19306 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 25746 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 103811:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 426616:>1:r1=2; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 121111:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 8059 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 6783 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 20852 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 698158:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 4091 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 39322 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 32327 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 116550:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 67793 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 1083833:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 664970:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 392199:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 31641 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 365767:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=0; x=2; y=2; 744640:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 94387 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 474736:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 127846:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 1064579:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 2958484:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 21500 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 1042845:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 37073 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 1359901:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 531582:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 2470900:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=74930e6bce52d51f9df9817f8385847f Cycle=Fre LwSyncsWW Rfe LwSyncdRR Fre SyncsWW Rfe LwSyncdRR Relax aclwdrr032 No ACLwSyncdRR Safe=Fre SyncsWW LwSyncsWW Time aclwdrr032 2.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr033.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr033 "Fre SyncdWR Fre SyncsWW Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,2 | ; | stw r3,0(r2) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=2 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(9) _litmus_P1_2_: sync _litmus_P1_3_: li 11,2 _litmus_P1_4_: stw 11,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr033 Allowed Histogram (15 states) 14655 :>0:r3=1; 2:r1=0; 2:r3=1; x=2; 49817 :>0:r3=2; 2:r1=0; 2:r3=1; x=2; 160154:>0:r3=1; 2:r1=2; 2:r3=1; x=2; 95047 :>0:r3=2; 2:r1=1; 2:r3=1; x=2; 148785:>0:r3=1; 2:r1=1; 2:r3=1; x=2; 23667 :>0:r3=1; 2:r1=1; 2:r3=0; x=2; 445592:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 2549244:>0:r3=0; 2:r1=0; 2:r3=0; x=2; 512734:>0:r3=2; 2:r1=1; 2:r3=0; x=2; 2305394:>0:r3=0; 2:r1=2; 2:r3=1; x=2; 2838938:>0:r3=2; 2:r1=2; 2:r3=0; x=2; 3895190:>0:r3=0; 2:r1=0; 2:r3=1; x=2; 515153:>0:r3=0; 2:r1=1; 2:r3=1; x=2; 3888468:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 3557162:>0:r3=2; 2:r1=2; 2:r3=1; x=2; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=9aeeb761b71ddabb3db56388750f2a1a Cycle=Fre SyncdWR Fre SyncsWW Rfe LwSyncdRR Relax aclwdrr033 No ACLwSyncdRR Safe=Fre SyncsWW SyncdWR Time aclwdrr033 2.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr034.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr034 "Fre SyncdWW Wse LwSyncdWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr034 Allowed Histogram (7 states) 1576445:>2:r1=1; 2:r3=1; x=2; 1972001:>2:r1=0; 2:r3=0; x=2; 4518804:>2:r1=1; 2:r3=1; x=1; 418788:>2:r1=0; 2:r3=1; x=1; 5645442:>2:r1=0; 2:r3=0; x=1; 4479538:>2:r1=0; 2:r3=1; x=2; 2388982:>2:r1=1; 2:r3=0; x=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=10939fdb629e01d3ec7a75f951037026 Cycle=Fre SyncdWW Wse LwSyncdWW Rfe LwSyncdRR Relax aclwdrr034 No ACLwSyncdRR Safe=Fre Wse SyncdWW LwSyncdWW Time aclwdrr034 2.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr035 "Fre LwSyncdWW Wse LwSyncdWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; lwsync | lwsync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 31,2 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr035 Allowed Histogram (7 states) 1713932:>2:r1=1; 2:r3=1; x=2; 205944:>2:r1=0; 2:r3=1; x=1; 4434325:>2:r1=1; 2:r3=1; x=1; 5260610:>2:r1=0; 2:r3=0; x=1; 4993660:>2:r1=0; 2:r3=1; x=2; 2134144:>2:r1=1; 2:r3=0; x=1; 2257385:>2:r1=0; 2:r3=0; x=2; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=b62ccd86d3f88c50d13b5221a86b68a5 Cycle=Fre LwSyncdWW Wse LwSyncdWW Rfe LwSyncdRR Relax aclwdrr035 No ACLwSyncdRR Safe=Fre Wse LwSyncdWW Time aclwdrr035 2.02 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr036 "Fre LwSyncdWW Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) ; li r3,1 | ; stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test aclwdrr036 Allowed Histogram (3 states) 13721699:>1:r1=1; 1:r3=1; 2658687:>1:r1=0; 1:r3=1; 15619614:>1:r1=0; 1:r3=0; No Witnesses Positive: 0, Negative: 32000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=25520ac6610aa6339bae2caee0005d5b Cycle=Fre LwSyncdWW Rfe LwSyncdRR Relax aclwdrr036 No ACLwSyncdRR Safe=Fre LwSyncdWW Time aclwdrr036 1.69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr037 "Fre LwSyncdWW Rfe LwSyncdRR Fre LwSyncdWW Rfe LwSyncdRR" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | lwsync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: lwsync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test aclwdrr037 Allowed Histogram (15 states) 217949:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 166670:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 153106:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 21740 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 1274270:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 225206:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 1347669:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 1264227:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 1288503:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 1305022:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 3327607:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 1036280:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 1952395:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 1124787:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 1294569:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; No Witnesses Positive: 0, Negative: 16000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=e45e2fb06db799317c9d3aeed10f6d45 Cycle=Fre LwSyncdWW Rfe LwSyncdRR Fre LwSyncdWW Rfe LwSyncdRR Relax aclwdrr037 No ACLwSyncdRR Safe=Fre LwSyncdWW Time aclwdrr037 2.40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr038 "Fre LwSyncsWW Rfe LwSyncdRR Fre LwSyncdWW Rfe LwSyncdRR" {0:r2=z; 1:r2=z; 1:r4=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | lwsync | lwz r3,0(r4) ; li r3,2 | | li r3,1 | ; stw r3,0(r2) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 4,1 _litmus_P2_1_: stw 4,0(11) _litmus_P2_2_: lwsync _litmus_P2_3_: li 3,1 _litmus_P2_4_: stw 3,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: lwsync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr038 Allowed Histogram (33 states) 1340 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 558 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 6216 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 13055 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 261 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 4300 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 6308 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 29842 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 3758 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 24181 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 37373 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 294462:>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 319748:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 53070 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 35312 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 1449888:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 983823:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 1117741:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; z=2; 66372 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 37547 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 5957 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 1192334:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 436950:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 46083 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 960355:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 812860:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 1444520:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 80225 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 233488:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; z=2; 959634:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 2995423:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 2333941:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 13075 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; z=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (z=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=459d76f119641ec12aab94d071c86542 Cycle=Fre LwSyncsWW Rfe LwSyncdRR Fre LwSyncdWW Rfe LwSyncdRR Relax aclwdrr038 No ACLwSyncdRR Safe=Fre LwSyncsWW LwSyncdWW Time aclwdrr038 2.45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr039.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr039 "Fre SyncdWR Fre LwSyncdWW Rfe LwSyncdRR" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 31,1 _litmus_P1_1_: stw 31,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr039 Allowed Histogram (7 states) 4024293:>0:r3=1; 2:r1=1; 2:r3=1; 243743:>0:r3=1; 2:r1=0; 2:r3=1; 2561066:>0:r3=1; 2:r1=1; 2:r3=0; 4886990:>0:r3=0; 2:r1=0; 2:r3=1; 5488872:>0:r3=1; 2:r1=0; 2:r3=0; 2163628:>0:r3=0; 2:r1=0; 2:r3=0; 1631408:>0:r3=0; 2:r1=1; 2:r3=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=9adf86efa9ed99398ed262e7a29cb549 Cycle=Fre SyncdWR Fre LwSyncdWW Rfe LwSyncdRR Relax aclwdrr039 No ACLwSyncdRR Safe=Fre SyncdWR LwSyncdWW Time aclwdrr039 2.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr040.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr040 "Fre SyncsWR Fre LwSyncdWW Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 31,0(9) Test aclwdrr040 Allowed Histogram (13 states) 56742 :>0:r3=2; 2:r1=1; 2:r3=2; y=2; 40081 :>0:r3=2; 2:r1=0; 2:r3=2; y=2; 32268 :>0:r3=2; 2:r1=0; 2:r3=1; y=2; 85113 :>0:r3=1; 2:r1=0; 2:r3=1; y=1; 184240:>0:r3=2; 2:r1=0; 2:r3=0; y=2; 2128572:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 1439226:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 829350:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 3196445:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 3878906:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 3404240:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 3478896:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 2245921:>0:r3=1; 2:r1=1; 2:r3=2; y=1; No Witnesses Positive: 0, Negative: 21000000 Condition exists (y=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=1a7c6d1dc4425965c5dae6a980780759 Cycle=Fre SyncsWR Fre LwSyncdWW Rfe LwSyncdRR Relax aclwdrr040 No ACLwSyncdRR Safe=Fre SyncsWR LwSyncdWW Time aclwdrr040 1.97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr041.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr041 "Fre LwSyncsWW Rfe LwSyncdRR Fre LwSyncsWW Rfe LwSyncdRR" {0:r2=y; 1:r2=y; 1:r4=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | stw r1,0(r2) | lwsync ; lwsync | lwz r3,0(r4) | lwsync | lwz r3,0(r4) ; li r3,2 | | li r3,2 | ; stw r3,0(r2) | | stw r3,0(r2) | ; exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(9) _litmus_P2_2_: lwsync _litmus_P2_3_: li 11,2 _litmus_P2_4_: stw 11,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(9) _litmus_P0_2_: lwsync _litmus_P0_3_: li 11,2 _litmus_P0_4_: stw 11,0(9) Test aclwdrr041 Allowed Histogram (71 states) 2 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 5 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 14 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=2; 11 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 13 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 55 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 26 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 149 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 24 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=2; 155 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 137 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 258 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=2; 494 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 110 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 15 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 424 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 204 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=2; 523 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=2; 290 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 2246 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=2; 5125 :>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 1073 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 92 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=2; 3889 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 179 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 184 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 7369 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 142 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 899 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 348 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 8595 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 3689 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; x=2; y=2; 446 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=2; 29475 :>1:r1=2; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 1958 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 9119 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=2; 21747 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 24357 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 22516 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=2; y=2; 8107 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 8304 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 27690 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 39943 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=2; 35689 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=2; y=2; 41054 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=2; 24901 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=2; 30604 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; x=2; y=2; 50779 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 4162 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=0; x=2; y=2; 39780 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=2; 47454 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=2; y=2; 6854 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=0; x=2; y=2; 31338 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 37999 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 37143 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=2; 35263 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=2; 480903:>1:r1=2; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 470039:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 427849:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 451836:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=0; x=2; y=2; 34093 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 757696:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=2; 2829011:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=2; 1305468:>1:r1=2; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 1216929:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=0; x=2; y=2; 717713:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=2; 698248:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 1156572:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=2; 1220103:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=2; 2706725:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; 873394:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=2; No Witnesses Positive: 0, Negative: 16000000 Condition exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r3=0 /\ 3:r1=2 /\ 3:r3=0) is NOT validated Hash=f658f820f1d5e1aea992b078ad3de29c Cycle=Fre LwSyncsWW Rfe LwSyncdRR Fre LwSyncsWW Rfe LwSyncdRR Relax aclwdrr041 No ACLwSyncdRR Safe=Fre LwSyncsWW Time aclwdrr041 2.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrr042.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrr042 "Fre SyncdWR Fre LwSyncsWW Rfe LwSyncdRR" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | lwsync ; sync | lwsync | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,2 | ; | stw r3,0(r2) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=2 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(9) _litmus_P1_2_: lwsync _litmus_P1_3_: li 11,2 _litmus_P1_4_: stw 11,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(9) Test aclwdrr042 Allowed Histogram (16 states) 8 :>0:r3=1; 2:r1=2; 2:r3=0; x=2; 2443 :>0:r3=1; 2:r1=1; 2:r3=0; x=2; 48925 :>0:r3=2; 2:r1=1; 2:r3=0; x=2; 15604 :>0:r3=1; 2:r1=1; 2:r3=1; x=2; 8737 :>0:r3=2; 2:r1=1; 2:r3=1; x=2; 23203 :>0:r3=1; 2:r1=2; 2:r3=1; x=2; 3670 :>0:r3=1; 2:r1=0; 2:r3=1; x=2; 103493:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 145344:>0:r3=0; 2:r1=1; 2:r3=1; x=2; 2391028:>0:r3=0; 2:r1=0; 2:r3=0; x=2; 2676078:>0:r3=0; 2:r1=2; 2:r3=1; x=2; 3740337:>0:r3=2; 2:r1=2; 2:r3=1; x=2; 4362976:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 3547365:>0:r3=2; 2:r1=2; 2:r3=0; x=2; 3866562:>0:r3=0; 2:r1=0; 2:r3=1; x=2; 64227 :>0:r3=2; 2:r1=0; 2:r3=1; x=2; No Witnesses Positive: 0, Negative: 21000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=9862f681ad48c0682ff709f0b167939f Cycle=Fre SyncdWR Fre LwSyncsWW Rfe LwSyncdRR Relax aclwdrr042 No ACLwSyncdRR Safe=Fre SyncdWR LwSyncsWW Time aclwdrr042 2.14 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 100000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 10 #endif #ifndef N_EXE #define N_EXE (64 < N ? 1 : 64 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread -maix64 */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 64 */ GCCOPTS="-Wall -std=gnu99 -O -pthread -maix64" LITMUSOPTS= Wed Dec 23 11:28:44 NFT 2009