From: IN%"nmanjiki@eecg.toronto.edu" "Naraig Manjikian" 11-APR-1996 22:03:00.14
To: IN%"mpdiag@ACM.ORG"
Date: Thu, 11 Apr 1996 22:02:09 -0400
From: Naraig Manjikian
Subject: success
To: mpdiag@ACM.ORG
I tried out ARCHTEST on the KSR. Took me about only about 20 minutes
to modify the code and compile it. Worked fine.
Here is the output from my test.
It was terminated prematurely at the end by 'signal 24', which is
caused by exceeding the CPU time limit, which is hard-limited to 10 minutes.
So don't worry; it's not a problem with ARCHTEST.
It was quite easy to get it working; the 'partest' code was useful.
--Naraig--
---8<------8<------8<------8<------8<------8<------8<------8<------8<---
ARCHTEST. Version 5.2. 960320. By W. W. Collier, mpdiag@acm.org
20:33:08.002 960411
Test made by Naraig Manjikian, nmanjiki@eecg.toronto.edu, and the
High Performance Research Computing Dept. at the University of Toronto.
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Perform a real multiprocessor test.
2. Execute the mp test code serially and with only one thread.
3. Generate test data with errors.
4. Generate test data without errors.
5. Process output from simulation. Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]: 8
Define logical length of arrays (max=500000) [200000]: 200000
The following tests can be run:
100 200 300 400 500 600 700 800 900 1000 1100 1200
210 310 410 510 610 710 1010 1110 1210
120 220 320 420 520 620 720 820 920 1020 1120 1220
1030
Specify which tests to run [all]:
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test..
Output file name: atest_00.out.
Number of threads: 8.
Length of the arrays: 200000.
Test(s) to run: all.
Select other options? (y,n,?)[y]
Choose an action to perform:
1. Execute tests.
2. Display tests to run.
3. Add tests to run.
4. Delete tests to run.
5. Generate extraneous cache traffic.
6. Stop extraneous cache traffic.
7. Info on extraneous cache traffic.
8. Set operation count for Test T1xx.
9. Set parameters for Test T10xx.
10. Display tests to dump.
11. Add tests to dump.
12. Delete tests to dump.
13. Set run time flags.
14. Note research questions.
15. Write out description of all tests in output file.
Selection: 1 1
Executing tests . . . .
================================================================================
Time to perform 1000000 of the following integer operations:
NOPs: 0.620
Additions: 0.880
Subtractions: 0.660
Multiplications: 0.680
Divisions: 3.140
Test T100. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: A = 2; L12: U[2] = A;
L21: A = 3; L21: U[3] = A;
L22: A = 4; L22: U[4] = A;
L31: A = 5; L31: U[5] = A;
L32: A = 6; L32: U[6] = A;
L41: A = 7; L41: U[7] = A;
L42: A = 8; L42: U[8] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Suffix for packed simulation output: T1: 0.
Start execution of Test T100 at 20:34:38.122 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T100 at 20:34:39.082 960411
Duration 0.960
Start analysis of Test T100 at 20:34:39.102 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1233 0 0 0
9999 30024 0 0 0
19998 58228 0 0 0
29997 86305 0 0 0
39996 114482 0 0 0
49995 142866 0 0 0
59994 171140 0 0 0
69993 199375 0 0 0
79992 199999 0 0 0
89991 199999 0 0 0
99990 199999 0 0 0
109989 199999 0 0 0
119988 199999 0 0 0
129987 199999 0 0 0
139986 199999 0 0 0
149985 199999 0 0 0
159984 199999 0 0 0
169983 199999 0 0 0
179982 199999 0 0 0
189981 199999 0 0 0
199980 199999 0 0 0
End analysis of Test T100 at 20:34:40.462 960411
================================================================================
Time to perform 1000000 of the following floating operations:
Additions: 0.980
Subtractions: 0.980
Multiplications: 0.960
Divisions: 6.260
Test T120. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: A = 2; L12: U[2] = A;
L21: A = 3; L21: U[3] = A;
L22: A = 4; L22: U[4] = A;
L31: A = 5; L31: U[5] = A;
L32: A = 6; L32: U[6] = A;
L41: A = 7; L41: U[7] = A;
L42: A = 8; L42: U[8] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Suffix for packed simulation output: T1: 0.
Start execution of Test T120 at 20:34:53.682 960411
entr sync0 1 1 1 0 0 0 0 0 0
entr sync0 0 1 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T120 at 20:34:54.742 960411
Duration 1.060
Start analysis of Test T120 at 20:34:55.382 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 19825 0 0 0
19998 41667 0 0 0
29997 63541 0 0 0
39996 84156 0 0 0
49995 106021 0 0 0
59994 126526 0 0 0
69993 149437 0 0 0
79992 175113 0 0 0
89991 199253 0 0 0
99990 199999 0 0 0
109989 199999 0 0 0
119988 199999 0 0 0
129987 199999 0 0 0
139986 199999 0 0 0
149985 199999 0 0 0
159984 199999 0 0 0
169983 199999 0 0 0
179982 199999 0 0 0
189981 199999 0 0 0
199980 199999 0 0 0
End analysis of Test T120 at 20:34:56.702 960411
================================================================================
Test T200. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
Suffix for packed simulation output: T1: 0.
Start execution of Test T200 at 20:35:00.802 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T200 at 20:35:02.122 960411
Duration 1.320
Start analysis of Test T200 at 20:35:02.122 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 897 913 0 0
9999 81274 81275 0 0
19998 164791 164795 0 0
29997 199999 199999 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 527882 0 18 20
0 -79 0 -59 0 -39 0 -19 176117 1 3 21
0 -78 0 -58 0 -38 0 -18 4464 2 11 22
0 -77 0 -57 0 -37 0 -17 280 3 2 23
0 -76 0 -56 0 -36 0 -16 16926 4 11 24
0 -75 0 -55 0 -35 0 -15 25212 5 10 25
0 -74 0 -54 0 -34 0 -14 7167 6 3 26
0 -73 0 -53 0 -33 0 -13 5017 7 6 27
0 -72 0 -52 0 -32 0 -12 19075 8 7 28
0 -71 0 -51 0 -31 0 -11 9873 9 5 29
0 -70 0 -50 0 -30 0 -10 3607 10 1 30
0 -69 0 -49 0 -29 0 -9 1089 11 1 31
0 -68 0 -48 0 -28 0 -8 804 12 0 32
0 -67 0 -47 0 -27 0 -7 911 13 8 33
0 -66 0 -46 0 -26 0 -6 503 14 4 34
0 -65 0 -45 0 -25 0 -5 351 15 6 35
0 -64 0 -44 0 -24 0 -4 273 16 2 36
0 -63 0 -43 0 -23 0 -3 128 17 1 37
0 -62 0 -42 0 -22 0 -2 107 18 3 38
0 -61 0 -41 0 -21 0 -1 17 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooo_ooooooo
-30 -20 -10 0 10 20 30 40
Test = 200. Total = 799992. Min thru -81 = 0.
Type = RR,WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 94. 0 thru 39 = 799907.
histend K = 200000. 40 thru Max = 85.
End analysis of Test T200 at 20:35:07.562 960411
================================================================================
Test T210. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
Suffix for packed simulation output: T1: 0.
Start execution of Test T210 at 20:35:11.622 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T210 at 20:35:13.162 960411
Duration 1.540
Start analysis of Test T210 at 20:35:13.642 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 974 987 0 0
9999 63854 63854 0 0
19998 126036 126039 0 0
29997 188053 188054 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 504184 0 14 20
0 -79 0 -59 0 -39 0 -19 173059 1 33 21
0 -78 0 -58 0 -38 0 -18 10758 2 12 22
0 -77 0 -57 0 -37 0 -17 9096 3 24 23
0 -76 0 -56 0 -36 0 -16 44450 4 15 24
0 -75 0 -55 0 -35 0 -15 19655 5 2 25
0 -74 0 -54 0 -34 0 -14 7748 6 9 26
0 -73 0 -53 0 -33 0 -13 16774 7 3 27
0 -72 0 -52 0 -32 0 -12 9030 8 15 28
0 -71 0 -51 0 -31 0 -11 1985 9 9 29
0 -70 0 -50 0 -30 0 -10 982 10 6 30
0 -69 0 -49 0 -29 0 -9 945 11 3 31
0 -68 0 -48 0 -28 0 -8 507 12 3 32
0 -67 0 -47 0 -27 0 -7 314 13 5 33
0 -66 0 -46 0 -26 0 -6 62 14 1 34
0 -65 0 -45 0 -25 0 -5 127 15 2 35
0 -64 0 -44 0 -24 0 -4 16 16 2 36
0 -63 0 -43 0 -23 0 -3 11 17 3 37
0 -62 0 -42 0 -22 0 -2 14 18 1 38
0 -61 0 -41 0 -21 0 -1 14 19 4 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 210. Total = 799992. Min thru -81 = 0.
Type = RR,WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 491. 0 thru 39 = 799897.
histend K = 200000. 40 thru Max = 95.
End analysis of Test T210 at 20:35:19.022 960411
================================================================================
Test T220. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
Suffix for packed simulation output: T1: 0.
Start execution of Test T220 at 20:35:23.122 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T220 at 20:35:24.722 960411
Duration 1.600
Start analysis of Test T220 at 20:35:25.462 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 669 679 0 0
9999 62966 62967 0 0
19998 125741 125744 0 0
29997 187952 187953 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 504251 0 33 20
0 -79 0 -59 0 -39 0 -19 169196 1 21 21
0 -78 0 -58 0 -38 0 -18 11050 2 30 22
0 -77 0 -57 0 -37 0 -17 16632 3 10 23
0 -76 0 -56 0 -36 0 -16 40420 4 5 24
0 -75 0 -55 0 -35 0 -15 13976 5 9 25
0 -74 0 -54 0 -34 0 -14 17243 6 22 26
0 -73 0 -53 0 -33 0 -13 15976 7 14 27
0 -72 0 -52 0 -32 0 -12 6362 8 3 28
0 -71 0 -51 0 -31 0 -11 1571 9 2 29
0 -70 0 -50 0 -30 0 -10 1112 10 4 30
0 -69 0 -49 0 -29 0 -9 753 11 5 31
0 -68 0 -48 0 -28 0 -8 551 12 6 32
0 -67 0 -47 0 -27 0 -7 409 13 4 33
0 -66 0 -46 0 -26 0 -6 87 14 6 34
0 -65 0 -45 0 -25 0 -5 40 15 3 35
0 -64 0 -44 0 -24 0 -4 14 16 5 36
0 -63 0 -43 0 -23 0 -3 11 17 6 37
0 -62 0 -42 0 -22 0 -2 6 18 11 38
0 -61 0 -41 0 -21 0 -1 44 19 8 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 220. Total = 799992. Min thru -81 = 0.
Type = RR,WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 103. 0 thru 39 = 799911.
histend K = 200000. 40 thru Max = 81.
End analysis of Test T220 at 20:35:30.762 960411
================================================================================
Test T300. Seek a relaxation of RR and WW.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T300 at 20:35:34.962 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 4 0 0 1 0 1 1 0 0
entr sync0 5 0 0 1 0 0 1 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 3 1 1 1 1 1 1 0 0
entr sync1 2 1 1 1 0 1 1 0 0
entr sync1 5 1 1 0 0 1 1 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 4 1 1 0 0 1 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T300 at 20:35:37.822 960411
Duration 2.860
Start analysis of Test T300 at 20:35:37.842 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1632 3517 4220 4451
9999 7868 7715 8590 8487
19998 11456 11055 12674 12315
29997 15136 14437 16902 16289
39996 18872 17851 21002 20239
49995 22380 21257 24992 23929
59994 26132 24591 29280 28015
69993 29722 28139 33406 31821
79992 33424 31471 37536 35757
89991 37090 34841 41618 39597
99990 40720 38203 45636 43355
109989 44320 41615 49816 47193
119988 47924 44897 53894 51055
129987 51732 48261 58002 54977
139986 55328 51783 62108 58947
149985 58974 55035 66140 62695
159984 62520 58461 70294 66609
169983 66152 61829 75030 70505
179982 69822 65055 81046 74899
189981 73768 68651 87318 80517
199980 78524 71919 130360 87417
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 667416 0 90 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 116416 2 13 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 4886 4 5 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 4032 6 6 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 5709 8 4 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 763 10 3 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 269 12 3 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 40 14 3 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 25 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 191 18 2 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o o
40000 | o o
0 |_________._________._________._o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o___o_
-30 -20 -10 0 10 20 30 40
Test = 300. Total = 799996. Min thru -81 = 0.
Type = RR/WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1204. 0 thru 39 = 799876.
histend K = 200000. 40 thru Max = 120.
End analysis of Test T300 at 20:35:48.842 960411
================================================================================
Test T310. Seek a relaxation of RR and WW.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T310 at 20:35:53.042 960411
entr sync0 1 1 1 1 1 1 1 0 0
entr sync0 0 1 0 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 2 0 0 1 0 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 1 1 1 0 0
entr sync1 4 1 1 0 1 1 1 0 0
entr sync1 5 1 1 0 1 0 1 0 0
entr sync1 0 1 1 0 1 0 0 0 0
entr sync1 1 0 1 0 1 0 0 0 0
entr sync1 3 0 0 0 1 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
End execution of Test T310 at 20:35:58.062 960411
Duration 5.020
Start analysis of Test T310 at 20:35:58.942 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 2020 440 137 15443
9999 5812 4108 4221 16318
19998 9410 7728 10482 23469
29997 10361 14047 11933 27375
39996 16992 127793 16143 31259
49995 20632 121332 20161 31234
59994 24216 144389 27738 39163
69993 27800 152707 28043 43043
79992 31280 142952 31945 42104
89991 30865 169689 40196 45362
99990 34259 178293 39763 54411
109989 41984 164450 43443 51916
119988 45420 171684 47019 61995
129987 48948 199998 50601 58746
139986 52474 199998 54283 62064
149985 56070 199998 64886 73325
159984 53127 199998 69068 68952
169983 56287 199998 65323 72744
179982 66618 199998 68747 77154
189981 70272 199998 80866 95185
199980 73666 199998 75801 103643
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 540100 0 9 20
0 -79 0 -59 0 -39 0 -19 6455 1 18 21
0 -78 0 -58 0 -38 0 -18 226076 2 8 22
0 -77 0 -57 0 -37 0 -17 59456 3 16 23
0 -76 0 -56 0 -36 0 -16 21852 4 18 24
0 -75 0 -55 0 -35 0 -15 26539 5 13 25
0 -74 0 -54 0 -34 0 -14 7192 6 14 26
0 -73 0 -53 0 -33 0 -13 7168 7 18 27
0 -72 0 -52 0 -32 0 -12 3676 8 8 28
0 -71 0 -51 0 -31 0 -11 1712 9 13 29
0 -70 0 -50 0 -30 0 -10 664 10 5 30
0 -69 0 -49 0 -29 0 -9 528 11 6 31
0 -68 0 -48 0 -28 0 -8 129 12 10 32
0 -67 0 -47 0 -27 0 -7 196 13 13 33
0 -66 0 -46 0 -26 0 -6 34 14 7 34
0 -65 0 -45 0 -25 0 -5 45 15 7 35
0 -64 0 -44 0 -24 0 -4 25 16 9 36
0 -63 0 -43 0 -23 0 -3 28 17 9 37
0 -62 0 -42 0 -22 0 -2 11 18 7 38
0 -61 0 -41 0 -21 0 -1 24 19 7 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o o
160000 | o o
120000 | o o
80000 | o o
40000 | o oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 310. Total = 952361. Min thru -81 = 0.
Type = RR/WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 106283. 0 thru 39 = 902125.
histend K = 200000. 40 thru Max = 50236.
End analysis of Test T310 at 20:36:14.882 960411
================================================================================
Test T320. Seek a relaxation of RR and WW.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T320 at 20:36:19.122 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 2 0 0 1 1 1 1 0 0
entr sync0 3 0 0 0 1 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
entr sync1 3 1 1 1 1 1 1 0 0
entr sync1 2 1 1 1 0 1 1 0 0
entr sync1 5 1 1 0 0 1 1 0 0
entr sync1 4 1 1 0 0 1 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T320 at 20:36:22.202 960411
Duration 3.080
Start analysis of Test T320 at 20:36:26.002 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1288 3855 2418 3133
9999 3029 3308 7446 3532
19998 6289 6376 7557 10979
29997 9765 9590 15440 10800
39996 13145 16637 15549 14550
49995 20396 15970 23168 18390
59994 23638 19428 23539 25575
69993 23493 26095 27589 25828
79992 26921 29279 34784 29700
89991 33484 29222 35583 36567
99990 36908 35617 39645 37222
109989 37209 35776 43709 40992
119988 40705 39102 47705 44816
129987 44159 45187 51869 48670
139986 50132 48277 57814 54595
149985 53316 49062 59793 56232
159984 54621 52360 63841 60072
169983 59950 55660 69750 65509
179982 61545 60831 74268 67394
189981 64953 63981 76545 73249
199980 70226 65544 83523 77457
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 553896 0 22 20
0 -79 0 -59 0 -39 0 -19 23201 1 16 21
0 -78 0 -58 0 -38 0 -18 213086 2 11 22
0 -77 0 -57 0 -37 0 -17 100197 3 19 23
0 -76 0 -56 0 -36 0 -16 27491 4 14 24
0 -75 0 -55 0 -35 0 -15 50356 5 19 25
0 -74 0 -54 0 -34 0 -14 4311 6 9 26
0 -73 0 -53 0 -33 0 -13 10094 7 10 27
0 -72 0 -52 0 -32 0 -12 713 8 9 28
0 -71 0 -51 0 -31 0 -11 1514 9 11 29
0 -70 0 -50 0 -30 0 -10 132 10 11 30
0 -69 0 -49 0 -29 0 -9 242 11 13 31
0 -68 0 -48 0 -28 0 -8 39 12 12 32
0 -67 0 -47 0 -27 0 -7 77 13 25 33
0 -66 0 -46 0 -26 0 -6 35 14 9 34
0 -65 0 -45 0 -25 0 -5 36 15 21 35
0 -64 0 -44 0 -24 0 -4 27 16 11 36
0 -63 0 -43 0 -23 0 -3 39 17 23 37
0 -62 0 -42 0 -22 0 -2 17 18 4 38
0 -61 0 -41 0 -21 0 -1 18 19 7 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o o
160000 | o o
120000 | o o
80000 | o oo
40000 | o oo o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 320. Total = 986191. Min thru -81 = 0.
Type = RR/WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 922. 0 thru 39 = 985797.
histend K = 200000. 40 thru Max = 394.
End analysis of Test T320 at 20:36:43.302 960411
================================================================================
Test T400. Seek a relaxation of RR, WW, and either RW or WR.
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T400 at 20:36:47.622 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T400 at 20:36:51.342 960411
Duration 3.720
Start analysis of Test T400 at 20:36:51.362 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 289 0 0
9999 10799 9274 0 0
19998 21984 18261 0 0
29997 33039 27200 0 0
39996 44050 36297 0 0
49995 55019 45485 0 0
59994 66144 54452 0 0
69993 76983 63488 0 0
79992 88064 72775 0 0
89991 99080 81750 0 0
99990 109947 90784 0 0
109989 121000 100032 0 0
119988 131990 109056 0 0
129987 142972 118180 0 0
139986 153683 127248 0 0
149985 164629 136528 0 0
159984 175704 145807 0 0
169983 186624 154783 0 0
179982 197680 163948 0 0
189981 199999 173010 0 0
199980 199999 182105 0 0
Data for calculating the percentage of time both threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 115789 0
1 242006 73193
2 25046 5182
3 4656 6007
4 2638 4385
5 2939 3377
6 3554 3992
7 2736 2495
8 206 2732
9 49 2334
10 34 1917
11 30 1918
12 14 1357
13 8 1164
14 14 986
15 17 770
16 28 696
17 28 473
18 33 370
19 23 314
over 132 2127
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 158557 0 166 20
0 -79 0 -59 0 -39 0 -19 486072 1 152 21
0 -78 0 -58 0 -38 0 -18 66658 2 126 22
0 -77 0 -57 0 -37 0 -17 21408 3 114 23
0 -76 0 -56 0 -36 0 -16 13603 4 103 24
0 -75 0 -55 0 -35 0 -15 12258 5 94 25
0 -74 0 -54 0 -34 0 -14 10634 6 99 26
0 -73 0 -53 0 -33 0 -13 6025 7 92 27
0 -72 0 -52 0 -32 0 -12 811 8 88 28
0 -71 0 -51 0 -31 0 -11 473 9 84 29
0 -70 0 -50 0 -30 0 -10 417 10 78 30
0 -69 0 -49 0 -29 0 -9 383 11 79 31
0 -68 0 -48 0 -28 0 -8 340 12 75 32
0 -67 0 -47 0 -27 0 -7 319 13 76 33
0 -66 0 -46 0 -26 0 -6 319 14 72 34
0 -65 0 -45 0 -25 0 -5 304 15 70 35
0 -64 0 -44 0 -24 0 -4 292 16 63 36
0 -63 0 -43 0 -23 0 -3 269 17 54 37
0 -62 0 -42 0 -22 0 -2 243 18 54 38
0 -61 0 -41 0 -21 0 -1 200 19 46 39
------ Relaxed ------ | ------ Strong ------
475000 | |o
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |o
250000 | |o
225000 | |o
200000 | |o
175000 | |o
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 400. Total = 782116. Min thru -81 = 0.
Type = WR . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 302. 0 thru 39 = 781370.
histend K = 200000. 40 thru Max = 746.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 455 0 180 20
0 -79 0 -59 0 -39 0 -19 244067 1 162 21
0 -78 0 -58 0 -38 0 -18 62695 2 135 22
0 -77 0 -57 0 -37 0 -17 23414 3 116 23
0 -76 0 -56 0 -36 0 -16 14218 4 107 24
0 -75 0 -55 0 -35 0 -15 12324 5 97 25
0 -74 0 -54 0 -34 0 -14 10905 6 97 26
0 -73 0 -53 0 -33 0 -13 6473 7 93 27
0 -72 0 -52 0 -32 0 -12 1172 8 89 28
0 -71 0 -51 0 -31 0 -11 575 9 87 29
0 -70 0 -50 0 -30 0 -10 455 10 81 30
0 -69 0 -49 0 -29 0 -9 400 11 78 31
0 -68 0 -48 0 -28 0 -8 346 12 76 32
0 -67 0 -47 0 -27 0 -7 329 13 74 33
0 -66 0 -46 0 -26 0 -6 322 14 73 34
0 -65 0 -45 0 -25 0 -5 311 15 69 35
0 -64 0 -44 0 -24 0 -4 301 16 65 36
0 -63 0 -43 0 -23 0 -3 269 17 57 37
0 -62 0 -42 0 -22 0 -2 254 18 58 38
0 -61 0 -41 0 -21 0 -1 215 19 49 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |o
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |oo
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 400. Total = 399698. Min thru -81 = 0.
Type = RW . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 17878. 0 thru 39 = 381343.
histend K = 200000. 40 thru Max = 18355.
End analysis of Test T400 at 20:37:02.122 960411
================================================================================
Test T410. Seek a relaxation of RR, WW, and either RW or WR.
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T410 at 20:37:06.182 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T410 at 20:37:09.882 960411
Duration 3.700
Start analysis of Test T410 at 20:37:10.302 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 515 0 0
9999 10372 9642 0 0
19998 21721 18573 0 0
29997 32919 27328 0 0
39996 44207 36332 0 0
49995 55655 45060 0 0
59994 66869 53877 0 0
69993 78212 62802 0 0
79992 89599 71509 0 0
89991 100921 80344 0 0
99990 112038 89209 0 0
109989 123195 98163 0 0
119988 134619 107120 0 0
129987 145799 115986 0 0
139986 157184 124807 0 0
149985 168608 133648 0 0
159984 179915 142416 0 0
169983 191264 151151 0 0
179982 199999 160036 0 0
189981 199999 168876 0 0
199980 199999 177770 0 0
Data for calculating the percentage of time both threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 125520 0
1 235469 85981
2 19932 4252
3 1837 4611
4 5311 3422
5 3067 3410
6 7206 3183
7 1024 2718
8 71 3309
9 96 2742
10 37 1665
11 22 1662
12 17 1942
13 17 1106
14 32 1151
15 56 953
16 86 852
17 48 450
18 46 275
19 40 256
over 58 1580
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 165422 0 70 20
0 -79 0 -59 0 -39 0 -19 474014 1 64 21
0 -78 0 -58 0 -38 0 -18 58252 2 59 22
0 -77 0 -57 0 -37 0 -17 20530 3 58 23
0 -76 0 -56 0 -36 0 -16 19942 4 59 24
0 -75 0 -55 0 -35 0 -15 14583 5 55 25
0 -74 0 -54 0 -34 0 -14 16134 6 53 26
0 -73 0 -53 0 -33 0 -13 2582 7 45 27
0 -72 0 -52 0 -32 0 -12 671 8 39 28
0 -71 0 -51 0 -31 0 -11 646 9 38 29
0 -70 0 -50 0 -30 0 -10 502 10 43 30
0 -69 0 -49 0 -29 0 -9 458 11 31 31
0 -68 0 -48 0 -28 0 -8 438 12 29 32
0 -67 0 -47 0 -27 0 -7 419 13 33 33
0 -66 0 -46 0 -26 0 -6 397 14 25 34
0 -65 0 -45 0 -25 0 -5 402 15 23 35
0 -64 0 -44 0 -24 0 -4 353 16 21 36
0 -63 0 -43 0 -23 0 -3 242 17 20 37
0 -62 0 -42 0 -22 0 -2 194 18 21 38
0 -61 0 -41 0 -21 0 -1 146 19 26 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |o
250000 | |o
225000 | |o
200000 | |o
175000 | |o
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 410. Total = 777779. Min thru -81 = 0.
Type = WR . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 529. 0 thru 39 = 777139.
histend K = 200000. 40 thru Max = 640.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 363 0 86 20
0 -79 0 -59 0 -39 0 -19 238545 1 72 21
0 -78 0 -58 0 -38 0 -18 55883 2 63 22
0 -77 0 -57 0 -37 0 -17 21698 3 61 23
0 -76 0 -56 0 -36 0 -16 19898 4 58 24
0 -75 0 -55 0 -35 0 -15 14507 5 55 25
0 -74 0 -54 0 -34 0 -14 16834 6 54 26
0 -73 0 -53 0 -33 0 -13 3235 7 48 27
0 -72 0 -52 0 -32 0 -12 786 8 44 28
0 -71 0 -51 0 -31 0 -11 703 9 44 29
0 -70 0 -50 0 -30 0 -10 533 10 48 30
0 -69 0 -49 0 -29 0 -9 485 11 42 31
0 -68 0 -48 0 -28 0 -8 461 12 36 32
0 -67 0 -47 0 -27 0 -7 441 13 36 33
0 -66 0 -46 0 -26 0 -6 422 14 31 34
0 -65 0 -45 0 -25 0 -5 419 15 25 35
0 -64 0 -44 0 -24 0 -4 382 16 22 36
0 -63 0 -43 0 -23 0 -3 265 17 20 37
0 -62 0 -42 0 -22 0 -2 219 18 20 38
0 -61 0 -41 0 -21 0 -1 164 19 20 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |o
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 410. Total = 399471. Min thru -81 = 0.
Type = RW . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 22215. 0 thru 39 = 377128.
histend K = 200000. 40 thru Max = 22343.
End analysis of Test T410 at 20:37:20.942 960411
================================================================================
Test T420. Seek a relaxation of RR, WW, and either RW or WR.
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T420 at 20:37:24.982 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T420 at 20:37:28.522 960411
Duration 3.540
Start analysis of Test T420 at 20:37:29.282 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 215 0 0
9999 7824 12694 0 0
19998 16179 24212 0 0
29997 25125 36042 0 0
39996 33104 48043 0 0
49995 41808 58927 0 0
59994 50915 69865 0 0
69993 60120 80758 0 0
79992 69294 91702 0 0
89991 78376 103020 0 0
99990 87408 114160 0 0
109989 96170 125160 0 0
119988 105316 136168 0 0
129987 114265 147216 0 0
139986 123460 158320 0 0
149985 132432 169337 0 0
159984 141466 180233 0 0
169983 150569 191120 0 0
179982 159759 199999 0 0
189981 168930 199999 0 0
199980 178064 199999 0 0
Data for calculating the percentage of time both threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 144777 0
1 204378 93591
2 24874 8758
3 4908 9465
4 9762 5578
5 4782 5330
6 4705 4355
7 1025 3332
8 148 3234
9 101 2251
10 27 2077
11 31 1769
12 51 1647
13 68 1010
14 85 612
15 81 482
16 99 220
17 17 148
18 10 122
19 10 124
over 50 672
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 196811 0 77 20
0 -79 0 -59 0 -39 0 -19 414635 1 62 21
0 -78 0 -58 0 -38 0 -18 74048 2 61 22
0 -77 0 -57 0 -37 0 -17 29320 3 58 23
0 -76 0 -56 0 -36 0 -16 27065 4 48 24
0 -75 0 -55 0 -35 0 -15 15955 5 46 25
0 -74 0 -54 0 -34 0 -14 11300 6 39 26
0 -73 0 -53 0 -33 0 -13 2727 7 42 27
0 -72 0 -52 0 -32 0 -12 908 8 38 28
0 -71 0 -51 0 -31 0 -11 751 9 42 29
0 -70 0 -50 0 -30 0 -10 564 10 33 30
0 -69 0 -49 0 -29 0 -9 532 11 33 31
0 -68 0 -48 0 -28 0 -8 511 12 33 32
0 -67 0 -47 0 -27 0 -7 488 13 30 33
0 -66 0 -46 0 -26 0 -6 435 14 23 34
0 -65 0 -45 0 -25 0 -5 349 15 22 35
0 -64 0 -44 0 -24 0 -4 245 16 20 36
0 -63 0 -43 0 -23 0 -3 124 17 18 37
0 -62 0 -42 0 -22 0 -2 100 18 18 38
0 -61 0 -41 0 -21 0 -1 91 19 20 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | |
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |o
250000 | |o
225000 | |o
200000 | |o
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 420. Total = 778075. Min thru -81 = 0.
Type = WR . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 226. 0 thru 39 = 777722.
histend K = 200000. 40 thru Max = 353.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1031 0 83 20
0 -79 0 -59 0 -39 0 -19 210257 1 75 21
0 -78 0 -58 0 -38 0 -18 68671 2 68 22
0 -77 0 -57 0 -37 0 -17 31136 3 64 23
0 -76 0 -56 0 -36 0 -16 27172 4 54 24
0 -75 0 -55 0 -35 0 -15 16382 5 49 25
0 -74 0 -54 0 -34 0 -14 12749 6 43 26
0 -73 0 -53 0 -33 0 -13 3643 7 40 27
0 -72 0 -52 0 -32 0 -12 1323 8 36 28
0 -71 0 -51 0 -31 0 -11 922 9 37 29
0 -70 0 -50 0 -30 0 -10 644 10 32 30
0 -69 0 -49 0 -29 0 -9 551 11 32 31
0 -68 0 -48 0 -28 0 -8 518 12 33 32
0 -67 0 -47 0 -27 0 -7 489 13 30 33
0 -66 0 -46 0 -26 0 -6 448 14 26 34
0 -65 0 -45 0 -25 0 -5 362 15 22 35
0 -64 0 -44 0 -24 0 -4 266 16 21 36
0 -63 0 -43 0 -23 0 -3 140 17 19 37
0 -62 0 -42 0 -22 0 -2 108 18 18 38
0 -61 0 -41 0 -21 0 -1 100 19 18 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |oo
40000 | |oo
20000 | |oooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 420. Total = 399774. Min thru -81 = 0.
Type = RW . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 21919. 0 thru 39 = 377712.
histend K = 200000. 40 thru Max = 22062.
End analysis of Test T420 at 20:37:39.922 960411
================================================================================
Test T500. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2
L0: A = 0; L0: B = A; L00: U[0] = B;
L1: A = 1; L1: B = A; L01: V[0] = A;
L2: A = 2; L2: B = A; L10: U[1] = B;
L3: A = 3; L3: B = A; L11: V[1] = A;
L4: A = 4; L4: B = A; L20: U[2] = B;
L5: A = 5; L5: B = A; L21: V[2] = A;
L6: A = 6; L6: B = A; L30: U[3] = B;
L7: A = 7; L7: B = A; L31: V[3] = A; etc.
Seek 5.0 U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 5.0 V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 5.1 U[i] > V[i]. d = V[i] - U[i].
Suffix for packed simulation output: T2: 0.
Start execution of Test T500 at 20:37:44.102 960411
entr sync0 0 1 1 1 0 0 0 0 0
entr sync0 1 0 1 1 0 0 0 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 0 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T500 at 20:37:45.542 960411
Duration 1.440
Start analysis of Test T500 at 20:37:45.542 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 2307 2693 0 0
9999 65159 65170 0 0
19998 127949 127956 0 0
29997 190552 190569 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 533049 0 553 20
0 -79 0 -59 0 -39 0 -19 6 1 439 21
0 -78 0 -58 0 -38 0 -18 21 2 229 22
0 -77 0 -57 0 -37 0 -17 99 3 172 23
0 -76 0 -56 0 -36 0 -16 118 4 119 24
0 -75 0 -55 0 -35 0 -15 556 5 70 25
0 -74 0 -54 0 -34 0 -14 1138 6 52 26
0 -73 0 -53 0 -33 0 -13 5261 7 19 27
0 -72 0 -52 0 -32 0 -12 18514 8 5 28
0 -71 0 -51 0 -31 0 -11 12962 9 6 29
0 -70 0 -50 0 -30 0 -10 3299 10 3 30
0 -69 0 -49 0 -29 0 -9 1440 11 4 31
0 -68 0 -48 0 -28 0 -8 966 12 1 32
0 -67 0 -47 0 -27 0 -7 841 13 10 33
0 -66 0 -46 0 -26 0 -6 1382 14 4 34
0 -65 0 -45 0 -25 0 -5 2964 15 1 35
0 -64 0 -44 0 -24 0 -4 6931 16 2 36
0 -63 0 -43 0 -23 0 -3 4698 17 2 37
0 -62 0 -42 0 -22 0 -2 2996 18 0 38
0 -61 0 -41 0 -21 0 -1 957 19 1 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooo_o
-30 -20 -10 0 10 20 30 40
Test = 500. Total = 599994. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 391. 0 thru 39 = 599890.
histend K = 200000. 40 thru Max = 104.
End analysis of Test T500 at 20:37:49.782 960411
================================================================================
Test T510. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2
L0: A = 0; L0: B = A; L00: U[0] = B;
L1: A = 1; L1: B = A; L01: V[0] = A;
L2: A = 2; L2: B = A; L10: U[1] = B;
L3: A = 3; L3: B = A; L11: V[1] = A;
L4: A = 4; L4: B = A; L20: U[2] = B;
L5: A = 5; L5: B = A; L21: V[2] = A;
L6: A = 6; L6: B = A; L30: U[3] = B;
L7: A = 7; L7: B = A; L31: V[3] = A; etc.
Seek 5.0 U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 5.0 V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 5.1 U[i] > V[i]. d = V[i] - U[i].
Suffix for packed simulation output: T2: 0.
Start execution of Test T510 at 20:37:54.242 960411
entr sync0 0 1 1 1 0 0 0 0 0
entr sync0 1 0 1 1 0 0 0 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 0 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T510 at 20:37:55.802 960411
Duration 1.560
Start analysis of Test T510 at 20:37:56.242 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 62740 62762 0 0
19998 126730 126744 0 0
29997 191138 191146 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 533177 0 704 20
0 -79 0 -59 0 -39 0 -19 1 1 450 21
0 -78 0 -58 0 -38 0 -18 28 2 175 22
0 -77 0 -57 0 -37 0 -17 182 3 153 23
0 -76 0 -56 0 -36 0 -16 106 4 93 24
0 -75 0 -55 0 -35 0 -15 325 5 118 25
0 -74 0 -54 0 -34 0 -14 760 6 84 26
0 -73 0 -53 0 -33 0 -13 6371 7 30 27
0 -72 0 -52 0 -32 0 -12 17498 8 11 28
0 -71 0 -51 0 -31 0 -11 12180 9 15 29
0 -70 0 -50 0 -30 0 -10 3892 10 13 30
0 -69 0 -49 0 -29 0 -9 1554 11 11 31
0 -68 0 -48 0 -28 0 -8 833 12 6 32
0 -67 0 -47 0 -27 0 -7 804 13 3 33
0 -66 0 -46 0 -26 0 -6 1028 14 12 34
0 -65 0 -45 0 -25 0 -5 3155 15 7 35
0 -64 0 -44 0 -24 0 -4 7313 16 5 36
0 -63 0 -43 0 -23 0 -3 4580 17 1 37
0 -62 0 -42 0 -22 0 -2 2973 18 4 38
0 -61 0 -41 0 -21 0 -1 1276 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 510. Total = 599994. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 83. 0 thru 39 = 599933.
histend K = 200000. 40 thru Max = 61.
End analysis of Test T510 at 20:38:00.482 960411
================================================================================
Test T520. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2
L0: A = 0; L0: B = A; L00: U[0] = B;
L1: A = 1; L1: B = A; L01: V[0] = A;
L2: A = 2; L2: B = A; L10: U[1] = B;
L3: A = 3; L3: B = A; L11: V[1] = A;
L4: A = 4; L4: B = A; L20: U[2] = B;
L5: A = 5; L5: B = A; L21: V[2] = A;
L6: A = 6; L6: B = A; L30: U[3] = B;
L7: A = 7; L7: B = A; L31: V[3] = A; etc.
Seek 5.0 U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 5.0 V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 5.1 U[i] > V[i]. d = V[i] - U[i].
Suffix for packed simulation output: T2: 0.
Start execution of Test T520 at 20:38:04.582 960411
entr sync0 0 1 1 1 0 0 0 0 0
entr sync0 1 0 1 1 0 0 0 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 0 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T520 at 20:38:06.122 960411
Duration 1.540
Start analysis of Test T520 at 20:38:06.842 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 801 818 0 0
9999 64427 64435 0 0
19998 128404 128419 0 0
29997 192450 192464 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 532778 0 800 20
0 -79 0 -59 0 -39 0 -19 37 1 620 21
0 -78 0 -58 0 -38 0 -18 36 2 306 22
0 -77 0 -57 0 -37 0 -17 77 3 205 23
0 -76 0 -56 0 -36 0 -16 63 4 212 24
0 -75 0 -55 0 -35 0 -15 620 5 130 25
0 -74 0 -54 0 -34 0 -14 1256 6 24 26
0 -73 0 -53 0 -33 0 -13 8281 7 11 27
0 -72 0 -52 0 -32 0 -12 20032 8 12 28
0 -71 0 -51 0 -31 0 -11 7872 9 20 29
0 -70 0 -50 0 -30 0 -10 2716 10 8 30
0 -69 0 -49 0 -29 0 -9 1576 11 6 31
0 -68 0 -48 0 -28 0 -8 1025 12 5 32
0 -67 0 -47 0 -27 0 -7 1478 13 4 33
0 -66 0 -46 0 -26 0 -6 1713 14 9 34
0 -65 0 -45 0 -25 0 -5 5202 15 5 35
0 -64 0 -44 0 -24 0 -4 6918 16 2 36
0 -63 0 -43 0 -23 0 -3 3018 17 5 37
0 -62 0 -42 0 -22 0 -2 1920 18 3 38
0 -61 0 -41 0 -21 0 -1 975 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 520. Total = 599994. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49. 0 thru 39 = 599982.
histend K = 200000. 40 thru Max = 12.
End analysis of Test T520 at 20:38:11.022 960411
================================================================================
Test T600. Seek a relaxation of RR, WW,and CC1.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; B = 0;
A = 1; U[1] = B; V[1] = B; X[1] = B; Y[1] = B; B = 1;
A = 2; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; B = 2;
A = 3; U[3] = B; V[3] = B; X[3] = B; Y[3] = B; B = 3;
A = 4; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; B = 4;
A = 5; U[5] = B; V[5] = B; X[5] = B; Y[5] = B; B = 5;
A = 6; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; B = 6;
A = 7; U[7] = B; V[7] = B; X[7] = B; Y[7] = B; B = 7; etc.
Seek 6.0. U[i] > U[i+2]. d = U[i+2] - U[i].
Seek 6.0. V[i] > V[i+2]. d = V[i+2] - V[i].
Seek 6.0. X[i] > X[i+2]. d = X[i+2] - X[i].
Seek 6.0. Y[i] > Y[i+2]. d = Y[i+2] - Y[i].
Seek U[i] < V[j] and V[j+1] < U[i-1]. d = V[j+1] - U[i-1].
6.1. i and j are even.
6.2. i and j are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T600 at 20:38:15.162 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 4 0 0 1 0 1 1 0 0
entr sync0 2 0 0 1 0 0 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 1 1 1 1 1 1 1 0 0
entr sync1 0 1 0 1 1 1 1 0 0
entr sync1 2 0 0 1 1 1 1 0 0
entr sync1 3 0 0 0 1 1 1 0 0
entr sync1 5 0 0 0 0 1 1 0 0
entr sync1 4 0 0 0 0 1 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
End execution of Test T600 at 20:38:16.182 960411
Duration 1.020
Start analysis of Test T600 at 20:38:16.202 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1761 857 0 2485
9999 39097 41015 35606 44602
19998 67244 72213 73665 76406
29997 115319 124687 132838 131280
39996 137027 151497 166884 159453
49995 191794 199999 199999 199999
59994 192180 195553 199999 199546
69993 199999 199999 199999 199999
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
Start 2d analysis. 20:38:22.722 960411
Start 3d analysis. 20:38:23.782 960411
Start 4th analysis. 20:38:24.862 960411
Start 5th analysis. 20:38:25.922 960411
Start 6th analysis. 20:38:26.982 960411
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 659526 0 12452 20
0 -79 0 -59 0 -39 0 -19 580 1 9703 21
0 -78 0 -58 0 -38 0 -18 2777 2 7800 22
0 -77 0 -57 0 -37 0 -17 3442 3 5729 23
0 -76 0 -56 0 -36 0 -16 8308 4 4369 24
0 -75 0 -55 0 -35 0 -15 19739 5 3357 25
0 -74 0 -54 0 -34 0 -14 23948 6 2375 26
0 -73 0 -53 0 -33 0 -13 30112 7 1538 27
0 -72 0 -52 0 -32 0 -12 34061 8 1207 28
0 -71 0 -51 0 -31 0 -11 37378 9 767 29
0 -70 0 -50 0 -30 0 -10 37815 10 613 30
0 -69 0 -49 0 -29 0 -9 36009 11 410 31
0 -68 0 -48 0 -28 0 -8 33301 12 228 32
0 -67 0 -47 0 -27 0 -7 29387 13 202 33
0 -66 0 -46 0 -26 0 -6 27771 14 117 34
0 -65 0 -45 0 -25 0 -5 25402 15 60 35
0 -64 0 -44 0 -24 0 -4 22728 16 48 36
0 -63 0 -43 0 -23 0 -3 20636 17 43 37
0 -62 0 -42 0 -22 0 -2 18323 18 44 38
0 -61 0 -41 0 -21 0 -1 14870 19 45 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 600. Total = 1142732. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2822. 0 thru 39 = 1137220.
histend K = 200000. 40 thru Max = 5512.
Plot of T6 data.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
5F
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FFF
FF
FFFFFFF
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End analysis of Test T600 at 20:38:31.562 960411
================================================================================
Test T610. Seek a relaxation of RR, WW,and CC1.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; B = 0;
A = 1; U[1] = B; V[1] = B; X[1] = B; Y[1] = B; B = 1;
A = 2; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; B = 2;
A = 3; U[3] = B; V[3] = B; X[3] = B; Y[3] = B; B = 3;
A = 4; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; B = 4;
A = 5; U[5] = B; V[5] = B; X[5] = B; Y[5] = B; B = 5;
A = 6; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; B = 6;
A = 7; U[7] = B; V[7] = B; X[7] = B; Y[7] = B; B = 7; etc.
Seek 6.0. U[i] > U[i+2]. d = U[i+2] - U[i].
Seek 6.0. V[i] > V[i+2]. d = V[i+2] - V[i].
Seek 6.0. X[i] > X[i+2]. d = X[i+2] - X[i].
Seek 6.0. Y[i] > Y[i+2]. d = Y[i+2] - Y[i].
Seek U[i] < V[j] and V[j+1] < U[i-1]. d = V[j+1] - U[i-1].
6.1. i and j are even.
6.2. i and j are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T610 at 20:38:36.062 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 2 0 0 1 1 1 1 0 0
entr sync0 3 0 0 0 1 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 1 1 1 0 0
entr sync1 1 0 1 1 1 1 1 0 0
entr sync1 2 0 0 1 1 1 1 0 0
entr sync1 3 0 0 0 1 1 1 0 0
entr sync1 4 0 0 0 0 1 1 0 0
entr sync1 5 0 0 0 0 0 1 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
End execution of Test T610 at 20:38:37.182 960411
Duration 1.120
Start analysis of Test T610 at 20:38:39.322 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 34975 40558 48856 54621
19998 73507 84667 101998 112561
29997 110654 125087 148291 161456
39996 157573 180100 199999 199999
49995 185121 192382 199999 199999
59994 199999 199999 199999 199999
69993 199999 199999 199999 199999
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
Start 2d analysis. 20:38:45.622 960411
Start 3d analysis. 20:38:46.702 960411
Start 4th analysis. 20:38:47.762 960411
Start 5th analysis. 20:38:48.782 960411
Start 6th analysis. 20:38:49.782 960411
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 669917 0 12824 20
0 -79 0 -59 0 -39 0 -19 526 1 11364 21
0 -78 0 -58 0 -38 0 -18 2666 2 9753 22
0 -77 0 -57 0 -37 0 -17 3486 3 8263 23
0 -76 0 -56 0 -36 0 -16 6127 4 6851 24
0 -75 0 -55 0 -35 0 -15 12452 5 5371 25
0 -74 0 -54 0 -34 0 -14 13318 6 4346 26
0 -73 0 -53 0 -33 0 -13 18888 7 3332 27
0 -72 0 -52 0 -32 0 -12 23327 8 2521 28
0 -71 0 -51 0 -31 0 -11 28468 9 1870 29
0 -70 0 -50 0 -30 0 -10 31795 10 1300 30
0 -69 0 -49 0 -29 0 -9 33001 11 976 31
0 -68 0 -48 0 -28 0 -8 33101 12 655 32
0 -67 0 -47 0 -27 0 -7 32081 13 423 33
0 -66 0 -46 0 -26 0 -6 28601 14 360 34
0 -65 0 -45 0 -25 0 -5 25611 15 170 35
0 -64 0 -44 0 -24 0 -4 22536 16 166 36
0 -63 0 -43 0 -23 0 -3 18840 17 138 37
0 -62 0 -42 0 -22 0 -2 16598 18 118 38
0 -61 0 -41 0 -21 0 -1 14501 19 77 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 610. Total = 1111471. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2109. 0 thru 39 = 1106718.
histend K = 200000. 40 thru Max = 4753.
Plot of T6 data.
T6 plot bounds exceeded; tmp = 6479; i = 42048.
tmp = 80*( 199040 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42050.
tmp = 80*( 199047 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42052.
tmp = 80*( 199047 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42054.
tmp = 80*( 199050 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42056.
tmp = 80*( 199055 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42058.
tmp = 80*( 199055 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42060.
tmp = 80*( 199060 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42062.
tmp = 80*( 199065 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42064.
tmp = 80*( 199065 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42066.
tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42068.
tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42070.
tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42072.
tmp = 80*( 199079 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42074.
tmp = 80*( 199083 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42076.
tmp = 80*( 199083 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42078.
tmp = 80*( 199088 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42080.
tmp = 80*( 199098 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42082.
tmp = 80*( 199104 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42084.
tmp = 80*( 199104 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42086.
tmp = 80*( 199109 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42088.
tmp = 80*( 199109 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42090.
tmp = 80*( 199114 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42092.
tmp = 80*( 199114 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42094.
tmp = 80*( 199119 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42096.
tmp = 80*( 199119 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42098.
tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42100.
tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42102.
tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42104.
tmp = 80*( 199132 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42106.
tmp = 80*( 199132 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42108.
tmp = 80*( 199138 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42110.
tmp = 80*( 199138 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42112.
tmp = 80*( 199145 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42114.
tmp = 80*( 199151 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42116.
tmp = 80*( 199151 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42118.
tmp = 80*( 199156 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42120.
tmp = 80*( 199156 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42122.
tmp = 80*( 199163 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42124.
tmp = 80*( 199163 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42126.
tmp = 80*( 199166 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42128.
tmp = 80*( 199170 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42130.
tmp = 80*( 199177 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42132.
tmp = 80*( 199177 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42134.
tmp = 80*( 199181 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42136.
tmp = 80*( 199181 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42138.
tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42140.
tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42142.
tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42144.
tmp = 80*( 199192 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42146.
tmp = 80*( 199197 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42148.
tmp = 80*( 199197 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42150.
tmp = 80*( 199202 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42152.
tmp = 80*( 199208 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42154.
tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42156.
tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42158.
tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42160.
tmp = 80*( 199217 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42162.
tmp = 80*( 199227 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42164.
tmp = 80*( 199230 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42166.
tmp = 80*( 199230 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42168.
tmp = 80*( 199235 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42170.
tmp = 80*( 199235 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42172.
tmp = 80*( 199240 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42174.
tmp = 80*( 199240 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42176.
tmp = 80*( 199245 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42178.
tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42180.
tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42182.
tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42184.
tmp = 80*( 199259 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42186.
tmp = 80*( 199259 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42188.
tmp = 80*( 199264 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42190.
tmp = 80*( 199264 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42192.
tmp = 80*( 199269 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42194.
tmp = 80*( 199274 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42196.
tmp = 80*( 199279 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42198.
tmp = 80*( 199279 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42200.
tmp = 80*( 199283 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42202.
tmp = 80*( 199287 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42204.
tmp = 80*( 199287 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42206.
tmp = 80*( 199291 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42208.
tmp = 80*( 199298 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42210.
tmp = 80*( 199306 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42212.
tmp = 80*( 199306 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42214.
tmp = 80*( 199310 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42216.
tmp = 80*( 199310 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42218.
tmp = 80*( 199318 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42220.
tmp = 80*( 199318 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42222.
tmp = 80*( 199323 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42224.
tmp = 80*( 199323 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42226.
tmp = 80*( 199329 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42228.
tmp = 80*( 199334 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42230.
tmp = 80*( 199334 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42232.
tmp = 80*( 199339 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42234.
tmp = 80*( 199344 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42236.
tmp = 80*( 199344 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42238.
tmp = 80*( 199349 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42240.
tmp = 80*( 199357 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42242.
tmp = 80*( 199373 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42244.
tmp = 80*( 199373 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42246.
tmp = 80*( 199376 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42248.
tmp = 80*( 199380 / 2488 ) + ( 199999 / 2488 ).
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
7
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
F
F
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End analysis of Test T610 at 20:38:55.262 960411
================================================================================
Test T620. Seek a relaxation of RR, WW,and CC1.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; B = 0;
A = 1; U[1] = B; V[1] = B; X[1] = B; Y[1] = B; B = 1;
A = 2; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; B = 2;
A = 3; U[3] = B; V[3] = B; X[3] = B; Y[3] = B; B = 3;
A = 4; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; B = 4;
A = 5; U[5] = B; V[5] = B; X[5] = B; Y[5] = B; B = 5;
A = 6; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; B = 6;
A = 7; U[7] = B; V[7] = B; X[7] = B; Y[7] = B; B = 7; etc.
Seek 6.0. U[i] > U[i+2]. d = U[i+2] - U[i].
Seek 6.0. V[i] > V[i+2]. d = V[i+2] - V[i].
Seek 6.0. X[i] > X[i+2]. d = X[i+2] - X[i].
Seek 6.0. Y[i] > Y[i+2]. d = Y[i+2] - Y[i].
Seek U[i] < V[j] and V[j+1] < U[i-1]. d = V[j+1] - U[i-1].
6.1. i and j are even.
6.2. i and j are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T620 at 20:38:59.522 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 4 0 0 1 0 1 1 0 0
entr sync0 5 0 0 1 0 0 1 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 1 1 1 0 0
entr sync1 1 0 1 1 1 1 1 0 0
entr sync1 4 0 0 1 1 1 1 0 0
entr sync1 5 0 0 1 1 0 1 0 0
entr sync1 2 0 0 1 1 0 0 0 0
entr sync1 3 0 0 0 1 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T620 at 20:39:00.562 960411
Duration 1.040
Start analysis of Test T620 at 20:39:04.382 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 56902 50708 34820 41560
19998 110924 101183 71672 83843
29997 160104 148314 107748 124516
39996 199999 199999 148121 170995
49995 199999 199999 180550 197052
59994 199999 199999 199999 199999
69993 199999 199999 199999 199999
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
Start 2d analysis. 20:39:10.582 960411
Start 3d analysis. 20:39:11.522 960411
Start 4th analysis. 20:39:12.442 960411
Start 5th analysis. 20:39:13.402 960411
Start 6th analysis. 20:39:14.362 960411
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 645771 0 14909 20
0 -79 0 -59 0 -39 0 -19 490 1 12024 21
0 -78 0 -58 0 -38 0 -18 1944 2 9905 22
0 -77 0 -57 0 -37 0 -17 3242 3 7527 23
0 -76 0 -56 0 -36 0 -16 4863 4 5510 24
0 -75 0 -55 0 -35 0 -15 9926 5 3863 25
0 -74 0 -54 0 -34 0 -14 14533 6 2783 26
0 -73 0 -53 0 -33 0 -13 20096 7 1972 27
0 -72 0 -52 0 -32 0 -12 24662 8 1156 28
0 -71 0 -51 0 -31 0 -11 28537 9 814 29
0 -70 0 -50 0 -30 0 -10 29601 10 574 30
0 -69 0 -49 0 -29 0 -9 28906 11 332 31
0 -68 0 -48 0 -28 0 -8 26896 12 298 32
0 -67 0 -47 0 -27 0 -7 25405 13 180 33
0 -66 0 -46 0 -26 0 -6 23802 14 145 34
0 -65 0 -45 0 -25 0 -5 22816 15 76 35
0 -64 0 -44 0 -24 0 -4 22226 16 95 36
0 -63 0 -43 0 -23 0 -3 20949 17 139 37
0 -62 0 -42 0 -22 0 -2 19670 18 47 38
0 -61 0 -41 0 -21 0 -1 17355 19 46 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 620. Total = 1056026. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1868. 0 thru 39 = 1054085.
histend K = 200000. 40 thru Max = 1941.
Plot of T6 data.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
E
F
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
3FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End analysis of Test T620 at 20:39:19.862 960411
========================