hpcx.bcsdww.11

Tue Dec 29 09:12:07 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww000 "DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww000 Allowed Histogram (3 states) 7364 :>1:r1=0; x=1; 18041145:>1:r1=1; x=1; 621951491:>1:r1=0; x=2; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=262d40103ab036ada7c4d5ede4cb5840 Cycle=DpdW Wse SyncdWW Rfe Relax bcsdww000 No BCSyncdWW Safe=Wse DpdW Time bcsdww000 18.82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww001 "DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: xor 5,4,4 _litmus_P3_2_: li 10,1 _litmus_P3_3_: stwx 10,5,9 _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww001 Allowed Histogram (15 states) 4 :>1:r1=0; 3:r1=0; x=1; z=1; 31064 :>1:r1=0; 3:r1=1; x=1; z=1; 12348 :>1:r1=0; 3:r1=1; x=2; z=1; 34772 :>1:r1=1; 3:r1=1; x=2; z=1; 9680026:>1:r1=0; 3:r1=1; x=1; z=2; 660507:>1:r1=0; 3:r1=0; x=1; z=2; 1070338:>1:r1=0; 3:r1=1; x=2; z=2; 903437:>1:r1=0; 3:r1=0; x=2; z=1; 10207565:>1:r1=1; 3:r1=0; x=2; z=1; 66437 :>1:r1=1; 3:r1=0; x=1; z=1; 295302411:>1:r1=0; 3:r1=0; x=2; z=2; 829776:>1:r1=1; 3:r1=0; x=2; z=2; 174869:>1:r1=1; 3:r1=0; x=1; z=2; 16305 :>1:r1=1; 3:r1=1; x=1; z=2; 1010141:>1:r1=1; 3:r1=1; x=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=96b3ad5ef3552835e91cfb053b388e47 Cycle=DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww001 No BCSyncdWW Safe=Wse DpdW Time bcsdww001 58.19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww002 "SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | li r3,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 5,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 6,1 _litmus_P3_3_: stw 6,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww002 Allowed Histogram (15 states) 12 :>1:r1=0; 3:r1=0; x=1; z=1; 986985:>1:r1=1; 3:r1=1; x=2; z=1; 316382:>1:r1=0; 3:r1=0; x=2; z=1; 3727678:>1:r1=1; 3:r1=0; x=2; z=1; 3704225:>1:r1=1; 3:r1=0; x=1; z=1; 91601 :>1:r1=0; 3:r1=1; x=1; z=1; 474096:>1:r1=1; 3:r1=0; x=2; z=2; 44189967:>1:r1=0; 3:r1=1; x=1; z=2; 1128039:>1:r1=1; 3:r1=0; x=1; z=2; 65394 :>1:r1=1; 3:r1=1; x=1; z=2; 3349077:>1:r1=1; 3:r1=1; x=1; z=1; 70241212:>1:r1=0; 3:r1=0; x=1; z=2; 169115891:>1:r1=0; 3:r1=0; x=2; z=2; 22297272:>1:r1=0; 3:r1=1; x=2; z=2; 312169:>1:r1=0; 3:r1=1; x=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 59.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww003 "DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 4,10,9 _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww003 Allowed Histogram (15 states) 2 :>1:r1=0; 3:r1=0; 3:r4=1; z=1; 1011366:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 170054:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 1071621:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 10199060:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 55384 :>1:r1=1; 3:r1=0; 3:r4=1; z=1; 1553913:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 14056111:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 1686927:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 87832 :>1:r1=1; 3:r1=0; 3:r4=1; z=2; 50335 :>1:r1=1; 3:r1=1; 3:r4=1; z=2; 1576442:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 40719 :>1:r1=0; 3:r1=1; 3:r4=0; z=1; 60216 :>1:r1=0; 3:r1=1; 3:r4=1; z=1; 288380018:>1:r1=0; 3:r1=0; 3:r4=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 52.17 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww004 "DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww004 Allowed Histogram (37 states) 1 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 1 :>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 1 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 2 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 2 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 6 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 4 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 5 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 5 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 10 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 14 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 6 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 1 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 10 :>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 46 :>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 31 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 33 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 120 :>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 3856282:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 44497 :>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 6 :>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 41310 :>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 88068 :>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 4635 :>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 5130 :>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 827949:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 2809023:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 2709572:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 3117239:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 4796 :>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 222169:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 689441:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 181960902:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 743473:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 10916 :>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 122418867:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 445427:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 54.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww005 "SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r4) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww005 Allowed Histogram (15 states) 1 :>1:r1=0; 3:r1=0; 3:r3=1; z=1; 202484:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 1194840:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 844513:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 562312:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 6197503:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 34058295:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 434096:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 588943:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 1373076:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 207738256:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 22981271:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 41423550:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 101752:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 2299108:>1:r1=1; 3:r1=1; 3:r3=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=9d8e29c8c4e565bae4fdb78aec0db9b5 Cycle=SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww005 No BCSyncdWW Safe=Fre Wse SyncdRR DpdW Time bcsdww005 53.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww006 "SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r2) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 5,4,4 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,5,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww006 Allowed Histogram (37 states) 1 :>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 29 :>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 80 :>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 24 :>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 3 :>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 66 :>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 5 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 90 :>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 83 :>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 61 :>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 70 :>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 124 :>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 135 :>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 20 :>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 76 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 52616 :>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 274452:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 11384 :>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 12350 :>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 229665:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 2118113:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 94383 :>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 292804:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 111894:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 23854 :>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 7805 :>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 119609325:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 179067878:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 775701:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 3329387:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 54490 :>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 1801079:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 6103908:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 52571 :>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 1888517:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 5408 :>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 4081549:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 57.02 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww007 "DpdW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; li r3,1 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: xor 5,4,4 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,5,9 _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww007 Allowed Histogram (7 states) 239 :>2:r1=0; x=1; y=1; 682605:>2:r1=1; x=2; y=1; 3080289:>2:r1=1; x=1; y=1; 166760037:>2:r1=0; x=2; y=1; 225749347:>2:r1=0; x=2; y=2; 423955:>2:r1=0; x=1; y=2; 3303528:>2:r1=1; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=7c2462ff041c713f8de949f757a40d53 Cycle=DpdW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww007 No BCSyncdWW Safe=Wse SyncdWW DpdW Time bcsdww007 36.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww008 "SyncdRW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 5,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 6,1 _litmus_P2_3_: stw 6,0(9) _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww008 Allowed Histogram (7 states) 39998 :>2:r1=0; x=1; y=1; 12946632:>2:r1=1; x=2; y=1; 16642721:>2:r1=1; x=1; y=1; 22048617:>2:r1=1; x=1; y=2; 97907485:>2:r1=0; x=2; y=1; 57448314:>2:r1=0; x=1; y=2; 192966233:>2:r1=0; x=2; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=e6b1c1a0023ee13d1ea18feb286c6d13 Cycle=SyncdRW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww008 No BCSyncdWW Safe=Wse SyncdWW SyncdRW Time bcsdww008 37.86 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww009 "DpdR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: xor 10,3,3 _litmus_P2_2_: lwzx 4,10,9 _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww009 Allowed Histogram (7 states) 266 :>2:r1=0; 2:r4=1; y=1; 984416:>2:r1=1; 2:r4=0; y=1; 1051783:>2:r1=0; 2:r4=1; y=2; 196571955:>2:r1=0; 2:r4=0; y=2; 190835307:>2:r1=0; 2:r4=0; y=1; 5973580:>2:r1=1; 2:r4=1; y=2; 4582693:>2:r1=1; 2:r4=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=9d7f07ce6da224ac7eca2af4a5915a72 Cycle=DpdR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww009 No BCSyncdWW Safe=Fre Wse SyncdWW DpdR Time bcsdww009 32.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww010 "DpsR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 5,0(9) _litmus_P2_1_: xor 10,5,5 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww010 Allowed Histogram (17 states) 2 :>2:r1=2; 2:r4=1; x=1; y=1; 5 :>2:r1=0; 2:r4=1; x=1; y=1; 33 :>2:r1=0; 2:r4=2; x=2; y=1; 2 :>2:r1=0; 2:r4=2; x=1; y=2; 6 :>2:r1=0; 2:r4=2; x=1; y=1; 171 :>2:r1=2; 2:r4=2; x=1; y=1; 20 :>2:r1=1; 2:r4=2; x=1; y=2; 20 :>2:r1=2; 2:r4=1; x=2; y=1; 667573:>2:r1=1; 2:r4=1; x=1; y=1; 1864432:>2:r1=1; 2:r4=1; x=2; y=1; 1664074:>2:r1=2; 2:r4=2; x=1; y=2; 18737930:>2:r1=0; 2:r4=0; x=1; y=1; 190776113:>2:r1=0; 2:r4=0; x=2; y=1; 454221:>2:r1=2; 2:r4=2; x=2; y=1; 185430837:>2:r1=0; 2:r4=0; x=1; y=2; 30 :>2:r1=0; 2:r4=1; x=1; y=2; 404531:>2:r1=1; 2:r4=1; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=3bd35505ff4c5dbff1bb92ff33d7496b Cycle=DpsR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww010 No BCSyncdWW Safe=Fre Wse SyncdWW DpsR Time bcsdww010 34.03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww011 "SyncdRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 5,0(9) _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww011 Allowed Histogram (7 states) 11654606:>2:r1=1; 2:r3=0; y=1; 15446281:>2:r1=1; 2:r3=1; y=2; 313563:>2:r1=0; 2:r3=1; y=1; 17116187:>2:r1=1; 2:r3=1; y=1; 8358716:>2:r1=0; 2:r3=1; y=2; 171193957:>2:r1=0; 2:r3=0; y=2; 175916690:>2:r1=0; 2:r3=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d6dadb697329282571a4979eadd035fd Cycle=SyncdRR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww011 No BCSyncdWW Safe=Fre Wse SyncdWW SyncdRR Time bcsdww011 34.51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww012 "SyncsRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P2_0_: lwz 6,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww012 Allowed Histogram (18 states) 4 :>2:r1=0; 2:r3=1; x=2; y=1; 292 :>2:r1=0; 2:r3=2; x=1; y=1; 181 :>2:r1=0; 2:r3=1; x=1; y=1; 122 :>2:r1=0; 2:r3=2; x=1; y=2; 38131 :>2:r1=0; 2:r3=2; x=2; y=1; 1444 :>2:r1=2; 2:r3=1; x=1; y=1; 16167 :>2:r1=2; 2:r3=1; x=2; y=1; 1627145:>2:r1=2; 2:r3=2; x=2; y=1; 3382 :>2:r1=2; 2:r3=2; x=1; y=1; 187946560:>2:r1=0; 2:r3=0; x=2; y=1; 28151486:>2:r1=0; 2:r3=0; x=1; y=1; 173768251:>2:r1=0; 2:r3=0; x=1; y=2; 8651 :>2:r1=0; 2:r3=1; x=1; y=2; 1059814:>2:r1=1; 2:r3=1; x=1; y=2; 31302 :>2:r1=1; 2:r3=2; x=1; y=2; 3016448:>2:r1=1; 2:r3=1; x=2; y=1; 1033731:>2:r1=1; 2:r3=1; x=1; y=1; 3296889:>2:r1=2; 2:r3=2; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) is NOT validated Hash=3491c251ad1f32fc2b43d52f52c46191 Cycle=SyncsRR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww012 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdWW Time bcsdww012 36.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww013 "SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | li r3,1 ; li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 6,1 _litmus_P1_3_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww013 Allowed Histogram (3 states) 86062716:>1:r1=1; x=1; 5045601:>1:r1=0; x=1; 548891683:>1:r1=0; x=2; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=3bacaa46622528b0ef100acb0d326a4f Cycle=SyncdRW Wse SyncdWW Rfe Relax bcsdww013 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww013 21.69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww014 "SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | li r3,1 ; li r3,1 | stw r3,0(r4) | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 5,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 6,1 _litmus_P3_3_: stw 6,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 6,1 _litmus_P1_3_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww014 Allowed Histogram (15 states) 207 :>1:r1=0; 3:r1=0; x=1; z=1; 7000614:>1:r1=0; 3:r1=1; x=1; z=1; 2216580:>1:r1=1; 3:r1=1; x=2; z=1; 7874805:>1:r1=1; 3:r1=0; x=1; z=2; 1770602:>1:r1=1; 3:r1=1; x=1; z=2; 13799738:>1:r1=0; 3:r1=1; x=2; z=2; 17020708:>1:r1=0; 3:r1=1; x=1; z=2; 24295401:>1:r1=0; 3:r1=0; x=2; z=1; 7287900:>1:r1=0; 3:r1=1; x=2; z=1; 22022956:>1:r1=0; 3:r1=0; x=1; z=2; 10276120:>1:r1=1; 3:r1=0; x=2; z=2; 15014064:>1:r1=1; 3:r1=0; x=2; z=1; 7445655:>1:r1=1; 3:r1=0; x=1; z=1; 7915849:>1:r1=1; 3:r1=1; x=1; z=1; 176058801:>1:r1=0; 3:r1=0; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 59.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww015 "DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 4,10,9 _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 6,1 _litmus_P1_3_: stw 6,0(9) _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww015 Allowed Histogram (15 states) 14 :>1:r1=0; 3:r1=0; 3:r4=1; z=1; 815358:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 687846:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 1266050:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 4157705:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 719128:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 1496658:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 4032956:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 323544:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 60440979:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 53509168:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 230779:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 4646244:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 21786440:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 165887131:>1:r1=0; 3:r1=0; 3:r4=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=17704085d61983610ea6761b47264366 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww015 No BCSyncdWW Safe=Fre Wse SyncdRW DpdR Time bcsdww015 52.89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww016 "DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 6,1 _litmus_P1_3_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww016 Allowed Histogram (35 states) 4 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 1 :>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 3 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 9 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 1 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 1 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 16 :>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 12 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 13 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 12 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 18582 :>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 6 :>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 20 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 13 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 8 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 389349:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 533616:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 40647 :>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 1025962:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 18 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 57642 :>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 443955:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 452377:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 2276213:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 19358893:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 15859977:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 47617 :>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 460546:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 251732:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 1524017:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 134982949:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 48143870:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 80149237:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 13815812:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 166870:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=afd72f686b99433de47ab6d5cad91134 Cycle=DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww016 No BCSyncdWW Safe=Fre Wse SyncdRW DpsR Time bcsdww016 53.99 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww017 "SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r4) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 6,1 _litmus_P1_3_: stw 6,0(9) _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww017 Allowed Histogram (15 states) 21 :>1:r1=0; 3:r1=0; 3:r3=1; z=1; 6894299:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 7956256:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 3776399:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 36498150:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 3795805:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 11951774:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 8603953:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 2791631:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 13066205:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 5556414:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 4848830:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 171622611:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 13442239:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 29195413:>1:r1=1; 3:r1=0; 3:r3=0; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 53.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww018 "SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r2) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 6,1 _litmus_P1_3_: stw 6,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww018 Allowed Histogram (41 states) 6 :>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 17 :>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 11 :>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 77 :>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 92 :>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 30 :>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 216 :>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 956 :>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1542 :>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 31217 :>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 30449 :>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 2748 :>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 807008:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 4074 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 5041 :>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 129 :>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 23 :>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 345 :>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 13836 :>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 14140 :>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 2145440:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 23416 :>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 1583813:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 76469 :>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 43995 :>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 287820:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 1000033:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 713972:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 30 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 14552292:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1528718:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 3408011:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 10705464:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 13840718:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 275532:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 44038312:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 143784034:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 78969686:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 1289167:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 601823:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 219298:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=df82d53ff13c1c0132bc81937f5ecf56 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww018 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdRW Time bcsdww018 57.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww019 "DpdR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; li r3,1 | ; stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 10,4,4 _litmus_P1_2_: lwzx 5,10,9 _litmus_P0_0_: li 8,1 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 7,1 _litmus_P0_4_: stw 7,0(9) Test bcsdww019 Allowed Histogram (3 states) 20561 :>1:r1=0; 1:r4=1; 20806969:>1:r1=1; 1:r4=1; 619172470:>1:r1=0; 1:r4=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r4=0) is NOT validated Hash=abe769d43585052eb6bd1199546b3603 Cycle=DpdR Fre SyncdWW Rfe Relax bcsdww019 No BCSyncdWW Safe=Fre DpdR Time bcsdww019 15.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww020 "DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 | sync | lwzx r4,r3,r5 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 4,10,9 _litmus_P2_0_: li 8,1 _litmus_P2_1_: stw 8,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 7,1 _litmus_P2_4_: stw 7,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 10,4,4 _litmus_P1_2_: lwzx 5,10,9 _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww020 Allowed Histogram (15 states) 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 109283:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 101261:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 1564309:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 12523960:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 100173:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 2403922:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 33092 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 1593511:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 210222:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 1409824:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 285104029:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 1829925:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 12846359:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 170129:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 48.47 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww021 "DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 7,1 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 4,10,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww021 Allowed Histogram (34 states) 1 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 3 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 2 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 4 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 6 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 4 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 10 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 37 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 15 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 4 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 7 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 20 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 6 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 164 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 11 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 21283 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 7 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 8863 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 2812762:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 472565:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 20745 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 9425 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 558727:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 2983265:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 20826 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 134785:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 322244:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 139980928:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 476466:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 3843321:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 5891 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 162685111:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 934359:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 4708133:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26085f29b1357e5e8f0e159288ddd725 Cycle=DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww021 No BCSyncdWW Safe=Fre DpsR DpdR Time bcsdww021 49.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww022 "SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r5 | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 5,0(9) _litmus_P2_0_: li 8,1 _litmus_P2_1_: stw 8,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 7,1 _litmus_P2_4_: stw 7,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: xor 10,4,4 _litmus_P1_2_: lwzx 5,10,9 _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww022 Allowed Histogram (15 states) 2 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 1392732:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 143689:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 986732:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 82638 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 44751469:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 615285:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 19157547:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 26373795:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 908457:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 214789427:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 709434:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 5792959:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 1027730:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 3268104:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=52b75bc6c8456215cdaad6fb3a5164ee Cycle=SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww022 No BCSyncdWW Safe=Fre SyncdRR DpdR Time bcsdww022 50.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww023 "SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r5 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 7,1 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 4,10,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww023 Allowed Histogram (38 states) 13 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 5 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 3 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 1681 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 95 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 3258 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 6 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 34 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 87 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 118 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 2839 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 94 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 1956 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 70 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 4192 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 170539:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 341359:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 2705555:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 19620 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 7392 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 46 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 70662 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 84646 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 45149 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 669646:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 45436 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 472288:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 3866213:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 6121481:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 46914 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 138401687:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 120972:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 2670524:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 157414:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 5239254:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 154610103:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 519982:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 3598667:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 51.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww024 "DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r2 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(9) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww024 Allowed Histogram (63 states) 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 1 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 1 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 1 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 5 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 2 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 2 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 1 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 1 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 1 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 3 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 8 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 2 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 2 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 3 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 4 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 2 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 17 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 6 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 21 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 9 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 2 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 3 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 2 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 5 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 31 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 3 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 4 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 7 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 7 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 7 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 6 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 9 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 3 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 27 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 87 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 25 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 18 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 5196 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 97 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 65517 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 3634 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 37469 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 5 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 1308281:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 288477:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 822393:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 7 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 315217:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 3243 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 89986 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 147826:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 350172:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 1158963:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 106787:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 7261 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 207510:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 1163274:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 10688 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 145982615:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 22154981:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 145621956:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 148106:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=6e01edb2061b004b7156eefd80367964 Cycle=DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww024 No BCSyncdWW Safe=Fre DpsR Time bcsdww024 54.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww025 "SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(9) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww025 Allowed Histogram (35 states) 2 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 4 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 9 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 3 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 1 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 1 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 3 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 10 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 3 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 7 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 8 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 14 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 26 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 270 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 8 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 4 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 2893005:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 255254:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 2523 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 512468:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 990750:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 99134 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 107759:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 30428 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 2814684:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 423492:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 134742899:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 78958 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 7068647:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 11069991:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 11626853:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 13506 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 393638:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 137863461:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 9012177:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=f58b58e77c065c1d7e45eddd6a49ef4b Cycle=SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww025 No BCSyncdWW Safe=Fre SyncdRR DpsR Time bcsdww025 50.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww026 "SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 5,0(9) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww026 Allowed Histogram (66 states) 1 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 1 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 1 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 4 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 5 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 2 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 7 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 3 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 2 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 7 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 49 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 26 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 3 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 8 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 2 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 3 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 13 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 4 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 500 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 1 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 6 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 70 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 1 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 2 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 10 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 135 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 36 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 18 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 43 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 18 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 73 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 11 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 99 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 14 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 264524:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 52 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 3800 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 90 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 69872 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 205 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 10894 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 13132 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 1342679:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 28804 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 68 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 1496 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 10392 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 1004619:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 820458:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 97545 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 1116876:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 734 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 1850 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 843048:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 2171911:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 5004 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 51014 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 3324 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 740641:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 11495 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 4707 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 109961:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 23299827:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 144651382:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 207073:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 143111345:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=494bdd377023c801c91266ccd04985a6 Cycle=SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww026 No BCSyncdWW Safe=Fre SyncsRR DpsR Time bcsdww026 64.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww027 "DpdW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; lwz r3,0(r4) | li r3,1 | stwx r4,r3,r5 ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: xor 5,4,4 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,5,9 _litmus_P1_0_: li 7,1 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 5,0(9) Test bcsdww027 Allowed Histogram (7 states) 112 :>0:r3=1; 2:r1=0; x=1; 347827443:>0:r3=0; 2:r1=0; x=2; 3192220:>0:r3=0; 2:r1=0; x=1; 8750523:>0:r3=0; 2:r1=1; x=1; 1067578:>0:r3=1; 2:r1=1; x=1; 38522705:>0:r3=1; 2:r1=0; x=2; 639419:>0:r3=1; 2:r1=1; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 32.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww028 "SyncdRW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 5,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 6,1 _litmus_P2_3_: stw 6,0(9) _litmus_P1_0_: li 7,1 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 5,0(9) Test bcsdww028 Allowed Histogram (7 states) 17637 :>0:r3=1; 2:r1=0; x=1; 3614877:>0:r3=1; 2:r1=1; x=1; 173307126:>0:r3=0; 2:r1=0; x=1; 31753365:>0:r3=0; 2:r1=1; x=1; 164209906:>0:r3=0; 2:r1=0; x=2; 22684450:>0:r3=1; 2:r1=0; x=2; 4412639:>0:r3=1; 2:r1=1; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=e4e07528cdbf9272fd50b0cf6708ccaa Cycle=SyncdRW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww028 No BCSyncdWW Safe=Fre Wse SyncdWR SyncdRW Time bcsdww028 33.86 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww029 "DpdR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: xor 10,4,4 _litmus_P2_2_: lwzx 5,10,9 _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 7,1 _litmus_P1_4_: stw 7,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 5,0(9) Test bcsdww029 Allowed Histogram (7 states) 72 :>0:r3=1; 2:r1=0; 2:r4=1; 1191449:>0:r3=1; 2:r1=1; 2:r4=1; 320758:>0:r3=1; 2:r1=1; 2:r4=0; 46808269:>0:r3=1; 2:r1=0; 2:r4=0; 337947576:>0:r3=0; 2:r1=0; 2:r4=0; 3802756:>0:r3=0; 2:r1=0; 2:r4=1; 9929120:>0:r3=0; 2:r1=1; 2:r4=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 28.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww030 "DpsR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 5,0(9) _litmus_P2_1_: xor 10,5,5 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 7,1 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 5,0(9) Test bcsdww030 Allowed Histogram (18 states) 2 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 1 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 1 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 19 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 8 :>0:r3=1; 2:r1=0; 2:r4=2; y=2; 6 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 67 :>0:r3=1; 2:r1=2; 2:r4=2; y=1; 32 :>0:r3=1; 2:r1=0; 2:r4=1; y=2; 54 :>0:r3=0; 2:r1=0; 2:r4=2; y=1; 50250 :>0:r3=1; 2:r1=1; 2:r4=1; y=1; 493810:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 31 :>0:r3=0; 2:r1=2; 2:r4=1; y=1; 3981094:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 406213:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 1067376:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 333659966:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 5304636:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 55036434:>0:r3=1; 2:r1=0; 2:r4=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=762db7307d35c050ae02494154891df7 Cycle=DpsR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww030 No BCSyncdWW Safe=Fre SyncdWR DpsR Time bcsdww030 29.11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww031 "SyncdRR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; 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 5,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 6,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 7,1 _litmus_P1_4_: stw 7,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 5,0(9) Test bcsdww031 Allowed Histogram (7 states) 8580 :>0:r3=1; 2:r1=0; 2:r3=1; 4182117:>0:r3=1; 2:r1=1; 2:r3=1; 30851289:>0:r3=1; 2:r1=0; 2:r3=0; 6647458:>0:r3=1; 2:r1=1; 2:r3=0; 278335410:>0:r3=0; 2:r1=0; 2:r3=0; 49787885:>0:r3=0; 2:r1=0; 2:r3=1; 30187261:>0:r3=0; 2:r1=1; 2:r3=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d99b2c9fcd24d521255a6c4ef185df57 Cycle=SyncdRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww031 No BCSyncdWW Safe=Fre SyncdWR SyncdRR Time bcsdww031 30.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww032 "SyncsRR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P2_0_: lwz 6,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 7,1 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 5,0(9) Test bcsdww032 Allowed Histogram (18 states) 11 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 185 :>0:r3=1; 2:r1=0; 2:r3=1; y=1; 141 :>0:r3=1; 2:r1=0; 2:r3=2; y=1; 5098 :>0:r3=0; 2:r1=2; 2:r3=1; y=1; 4667 :>0:r3=1; 2:r1=1; 2:r3=2; y=2; 890 :>0:r3=1; 2:r1=0; 2:r3=1; y=2; 195 :>0:r3=1; 2:r1=0; 2:r3=2; y=2; 504 :>0:r3=1; 2:r1=2; 2:r3=2; y=1; 287 :>0:r3=1; 2:r1=2; 2:r3=1; y=1; 203297:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 156084:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 2252664:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 8199288:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 6451584:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 330093717:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 5265779:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 46384619:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 980990:>0:r3=1; 2:r1=1; 2:r3=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) is NOT validated Hash=6ef8013c1a65c6c1574ee921baad8f97 Cycle=SyncsRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww032 No BCSyncdWW Safe=Fre SyncsRR SyncdWR Time bcsdww032 34.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww033.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww033 "SyncdRR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; 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 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 6,0(9) _litmus_P0_0_: li 8,1 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 7,1 _litmus_P0_4_: stw 7,0(9) Test bcsdww033 Allowed Histogram (3 states) 2573520:>1:r1=0; 1:r3=1; 542826598:>1:r1=0; 1:r3=0; 94599882:>1:r1=1; 1:r3=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=6fa2fc8a03a8948f9262ae5fd1e47a19 Cycle=SyncdRR Fre SyncdWW Rfe Relax bcsdww033 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww033 18.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww034.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww034 "SyncdRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; 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 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 5,0(9) _litmus_P2_0_: li 8,1 _litmus_P2_1_: stw 8,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 7,1 _litmus_P2_4_: stw 7,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 6,0(9) _litmus_P0_0_: li 7,1 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww034 Allowed Histogram (15 states) 2 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 3917590:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 4543987:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 16748115:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 2574257:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 8285311:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 17464946:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 2200991:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 23394744:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 8097031:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 3127860:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 9492872:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 4067987:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 204998643:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 11085664:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=3dd9d4fff43138f32cd2819c7a65cdb3 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww034 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww034 53.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww035 "SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 7,1 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 5,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww035 Allowed Histogram (41 states) 1 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 11 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 3 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 2 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 41 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 18 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 1741 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 11 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 20 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 8477 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 169 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 67 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 6092 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 4041 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 70 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 185445:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 12420 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 172 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 4009329:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 4198561:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 103862:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 270796:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 196889:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 44966 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1271916:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 207 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 142198:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 1079 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 533385:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 5195765:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 47909 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1157746:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 329009:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 3392841:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 8957069:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 120787:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 7554559:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 1401 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 141727073:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 140523851:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=f0c1b6d32c1c64645b39ad490ac97524 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww035 No BCSyncdWW Safe=Fre SyncsRR SyncdRR Time bcsdww035 57.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww036 "DpdR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: xor 10,3,3 _litmus_P2_2_: lwzx 4,10,9 _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) Test bcsdww036 Allowed Histogram (13 states) 2 :>0:r3=2; 2:r1=0; 2:r4=1; x=2; 13 :>0:r3=2; 2:r1=0; 2:r4=2; x=2; 311 :>0:r3=1; 2:r1=0; 2:r4=1; x=1; 443286:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 83644210:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 3255 :>0:r3=1; 2:r1=0; 2:r4=2; x=1; 498354:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 4916 :>0:r3=2; 2:r1=1; 2:r4=2; x=2; 2967342:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 306338631:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 1820140:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 4014 :>0:r3=1; 2:r1=0; 2:r4=2; x=2; 4275526:>0:r3=1; 2:r1=1; 2:r4=2; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=b5668ea36c70858ef8634a895265c398 Cycle=DpdR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww036 No BCSyncdWW Safe=Fre SyncsWR DpdR Time bcsdww036 30.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww037 "SyncdRR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 5,0(9) _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 6,1 _litmus_P1_4_: stw 6,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) Test bcsdww037 Allowed Histogram (13 states) 42 :>0:r3=2; 2:r1=0; 2:r3=1; x=2; 77 :>0:r3=2; 2:r1=0; 2:r3=2; x=2; 3021 :>0:r3=1; 2:r1=0; 2:r3=1; x=1; 1124875:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 74875 :>0:r3=2; 2:r1=1; 2:r3=2; x=2; 28401891:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 7259651:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 389718:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 58086108:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 2728036:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 2929150:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 210074871:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 88927685:>0:r3=1; 2:r1=0; 2:r3=1; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=c99d291fc8d3f66519c556e43131cb0b Cycle=SyncdRR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww037 No BCSyncdWW Safe=Fre SyncsWR SyncdRR Time bcsdww037 32.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww038 "SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r2) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 6,1 _litmus_P2_4_: stw 6,0(9) _litmus_P1_0_: lwz 6,0(9) _litmus_P1_1_: sync _litmus_P1_2_: lwz 11,0(9) _litmus_P0_0_: li 7,2 _litmus_P0_1_: stw 7,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 6,1 _litmus_P0_4_: stw 6,0(9) Test bcsdww038 Allowed Histogram (85 states) 1 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 1 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 1 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 2 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 1 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 1 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 1 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 5 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 3 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 15 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 10 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 74 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 1 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 2 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 3 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 8 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 20 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 157 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 165 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 204 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 1 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 3 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 198 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 117 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 4 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 3514 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 1657 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 156 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 221 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 132 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 77 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 149 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 154 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 46 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 519 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 309 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 47 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 9881 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 219 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 65559 :>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 88 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 1346 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 220 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 258 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 1143 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 30118 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 171 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 230 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 185 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 15176 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 23037 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 23014 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 15738 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 624 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 1772 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 103 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 175 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 42 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 27 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 496 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 21 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 49032 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 356351:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 152694:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 705 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 888392:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 956789:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 1775744:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 49802 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 949978:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 4784 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 2059841:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 6 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 28274580:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 1362558:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 27253 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 94879 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 4043 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 136255264:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 1039570:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 2283313:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 873572:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 1784024:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 140559203:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=1749371cc26417072606d04b91651c05 Cycle=SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe Relax bcsdww038 No BCSyncdWW Safe=Fre SyncsRR Time bcsdww038 67.43 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: none */ /* tread start/join: changing */ /* memory: indirect */ /* safer: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS=-s 100000 -r 400 Tue Dec 29 09:40:29 GMT 2009