ARCHTEST. Version 4. 950301.
by W. W. Collier, mpdiag@acm.org.
08:26:00.390 950621
Alr revolution 4/100
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Execute real multiprocessing code to generate data.
2. Execute the real mp code, but with only one processor.
3. Generate data randomly with errors.
4. Generate data randomly, but without errors.
5. Use static data with errors.
6. Use static data without errors.
(Choices 2-6 are for debugging.) Choice [1]: 1
Enter the number of processors (from 2 to 8) [2]: 4
Define logical length of arrays (max=500000) [20000]: 400000
The following tests can be run:
2 3 4 5 6 7 8 9
310 610
220 320 420 520 620 720
Specify which tests to run [all]: all
Synchronize the start of test processes? [y]: y
Parameters for this run:
Type of run: 1. Execute real multiprocessing code to generate data.
Output file name: aalr4100.out.
Number of processors: 4.
Length of the arrays: 400000.
Synchronize processes: y.
Test(s) to run: 200 220 300 310 320 400 420 500 520 600 610 620 700 720 800 900
================================================================================
Test T200. Seek a violation of A(CMP,RO,WO).
Seek 2.1. U[i] > U[i+2]
Seek 2.2. U[2i+1] > U[2i+2]
Seek 2.3. U[21] > U[2i+1] + 1
Start execution of Test 200 at: 08:26:40.781 950621
End execution of Test 200 at: 08:26:42.218 950621
i U V X Y
0 0 0 0 0
39999 399999 0 0 0
79998 399999 0 0 0
119997 399999 0 0 0
159996 399999 0 0 0
199995 399999 0 0 0
239994 399999 0 0 0
279993 399999 0 0 0
319992 399999 0 0 0
359991 399999 0 0 0
399990 399999 0 0 0
Start analysis of Test 2 at: 08:26:42.437 950621
End analysis of Test 2 at: 08:26:42.562 950621
Analysis of T2 data:
i U V X Y
================================================================================
Test T220. Seek a violation of A(CMP,RO,WO).
Seek 2.1. U[i] > U[i+2]
Seek 2.2. U[2i+1] > U[2i+2]
Seek 2.3. U[21] > U[2i+1] + 1
Start execution of Test 220 at: 08:26:48.656 950621
End execution of Test 220 at: 08:26:48.984 950621
i U V X Y
0 16 0 0 0
39999 176802 0 0 0
79998 358998 0 0 0
119997 399999 0 0 0
159996 399999 0 0 0
199995 399999 0 0 0
239994 399999 0 0 0
279993 399999 0 0 0
319992 399999 0 0 0
359991 399999 0 0 0
399990 399999 0 0 0
Start analysis of Test 2 at: 08:26:49.359 950621
End analysis of Test 2 at: 08:26:49.500 950621
Analysis of T2 data:
i U V X Y
================================================================================
Test T300. Seek a violation of A(CMP,RO,WO).
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
even odd even odd
Start execution of Test 300 at: 08:26:50.625 950621
End execution of Test 300 at: 08:26:51.000 950621
i U V X Y
0 0 0 0 0
39999 84456 91641 0 0
79998 49859 165649 0 0
119997 84759 208845 0 0
159996 126865 272623 0 0
199995 227341 130496 0 0
239994 291421 171412 0 0
279993 390599 265746 0 0
319992 399999 325302 0 0
359991 399999 399998 0 0
399990 399999 399998 0 0
Start analysis of Test 3 at: 08:26:51.218 950621
End analysis of Test 3 at: 08:26:54.046 950621
Analysis of T3 data.
i U V X Y
================================================================================
Test T310. Seek a violation of A(CMP,RO,WO).
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
even odd even odd
Start execution of Test 310 at: 08:26:54.953 950621
End execution of Test 310 at: 08:27:03.000 950621
i U V X Y
0 0 0 0 0
39999 36231 46005 0 0
79998 92394 94713 0 0
119997 112023 146361 0 0
159996 177756 192159 0 0
199995 216120 237973 0 0
239994 217259 270111 0 0
279993 254295 270528 0 0
319992 323858 301954 0 0
359991 370954 384069 0 0
399990 366735 383436 0 0
Start analysis of Test 3 at: 08:27:03.187 950621
End analysis of Test 3 at: 08:27:05.031 950621
Analysis of T3 data.
i U V X Y
================================================================================
Test T320. Seek a violation of A(CMP,RO,WO).
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
even odd even odd
Start execution of Test 320 at: 08:27:05.796 950621
End execution of Test 320 at: 08:27:06.250 950621
i U V X Y
0 1 1 0 0
39999 15612 15646 0 0
79998 29887 39558 0 0
119997 52017 62532 0 0
159996 77960 87410 0 0
199995 110791 127369 0 0
239994 142145 138268 0 0
279993 205570 161458 0 0
319992 244200 221115 0 0
359991 278116 253009 0 0
399990 331310 236160 0 0
Start analysis of Test 3 at: 08:27:06.906 950621
End analysis of Test 3 at: 08:27:08.640 950621
Analysis of T3 data.
i U V X Y
================================================================================
Test T400. Seek a violation of A(CMP,PO).
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.
Start execution of Test 400 at: 08:27:09.406 950621
End execution of Test 400 at: 08:27:09.734 950621
i U V X Y
0 0 0 0 0
39999 51457 31121 0 0
79998 98913 63945 0 0
119997 141383 99057 0 0
159996 182393 137489 0 0
199995 224033 177017 0 0
239994 264504 216072 0 0
279993 304521 255971 0 0
319992 344328 295010 0 0
359991 383609 335904 0 0
399990 399999 376427 0 0
Start Part 1 analysis of Test 4 at: 08:27:09.906 950621
Error 4.1. u[ 1] = 0 < 1 and v[ 1] = 0 < 1
Error 4.2. v[ 1] = 0 < 1 and u[ 1] = 0 < 1
Error 4.2. v[ 2] = 0 < 1 and u[ 1] = 0 < 2
Error 4.2. v[ 3] = 0 < 1 and u[ 1] = 0 < 3
Error 4.1. u[ 4] = 5 < 6 and v[ 6] = 3 < 4
Error 4.2. v[ 4] = 0 < 1 and u[ 1] = 0 < 4
End Part 1 analysis of Test 4 at: 08:27:10.000 950621
Analysis of T4 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 0 0 0 2097152 2097152
1 0 0 -1 -1 2097152 2097152
2 5 0 1 -2 2 2097152
3 5 0 0 -3 3 2097152
4 5 0 -1 -4 4 2097152
5 12 3 0 0 0 0
6 12 3 -1 -1 1 1
7 17 3 1 -2 2 2
8 17 3 0 -3 3 3
9 17 3 -1 -4 4 4
Start Part 2 analysis of Test 4 at: 08:27:10.265 950621
d = -23.
Error 4.2. v[ 157344] = 135256 < 135257 and u[ 135257] = 157321 < 157344
Error 4.2. v[ 393856] = 370040 < 370041 and u[ 370041] = 393833 < 393856
d = -22.
Error 4.2. v[ 393855] = 370040 < 370041 and u[ 370041] = 393833 < 393855
Error 4.2. v[ 157343] = 135256 < 135257 and u[ 135257] = 157321 < 157343
d = -21.
Error 4.2. v[ 34760] = 27128 < 27129 and u[ 27129] = 34739 < 34760
Error 4.2. v[ 34798] = 27160 < 27161 and u[ 27161] = 34777 < 34798
Error 4.2. v[ 192254] = 169352 < 169353 and u[ 169353] = 192233 < 192254
Error 4.2. v[ 226718] = 202648 < 202649 and u[ 202649] = 226697 < 226718
Error 4.2. v[ 311198] = 286280 < 286281 and u[ 286281] = 311177 < 311198
Error 4.2. v[ 393854] = 370040 < 370041 and u[ 370041] = 393833 < 393854
Error 4.1. u[ 135238] = 157304 < 157305 and v[ 157305] = 135217 < 135238
Error 4.2. v[ 157342] = 135256 < 135257 and u[ 135257] = 157321 < 157342
d = -20.
Error 4.2. v[ 34797] = 27160 < 27161 and u[ 27161] = 34777 < 34797
Error 4.2. v[ 226717] = 202648 < 202649 and u[ 202649] = 226697 < 226717
Error 4.2. v[ 157341] = 135256 < 135257 and u[ 135257] = 157321 < 157341
Error 4.2. v[ 311197] = 286280 < 286281 and u[ 286281] = 311177 < 311197
Error 4.2. v[ 34759] = 27128 < 27129 and u[ 27129] = 34739 < 34759
Error 4.2. v[ 393853] = 370040 < 370041 and u[ 370041] = 393833 < 393853
Error 4.2. v[ 75845] = 60712 < 60713 and u[ 60713] = 75825 < 75845
Error 4.1. u[ 135237] = 157304 < 157305 and v[ 157305] = 135217 < 135237
Error 4.2. v[ 192253] = 169352 < 169353 and u[ 169353] = 192233 < 192253
d = -19.
Error 4.2. v[ 34758] = 27128 < 27129 and u[ 27129] = 34739 < 34758
Error 4.1. u[ 135236] = 157304 < 157305 and v[ 157305] = 135217 < 135236
Error 4.2. v[ 311196] = 286280 < 286281 and u[ 286281] = 311177 < 311196
Error 4.2. v[ 34796] = 27160 < 27161 and u[ 27161] = 34777 < 34796
Error 4.2. v[ 75844] = 60712 < 60713 and u[ 60713] = 75825 < 75844
Error 4.2. v[ 393852] = 370040 < 370041 and u[ 370041] = 393833 < 393852
Error 4.2. v[ 192252] = 169352 < 169353 and u[ 169353] = 192233 < 192252
Error 4.2. v[ 145372] = 124344 < 124345 and u[ 124345] = 145353 < 145372
Error 4.2. v[ 157340] = 135256 < 135257 and u[ 135257] = 157321 < 157340
Error 4.2. v[ 226716] = 202648 < 202649 and u[ 202649] = 226697 < 226716
d = -18.
Error 4.1. u[ 135366] = 157448 < 157449 and v[ 157449] = 135348 < 135366
Error 4.2. v[ 311195] = 286280 < 286281 and u[ 286281] = 311177 < 311195
Error 4.2. v[ 145371] = 124344 < 124345 and u[ 124345] = 145353 < 145371
Error 4.2. v[ 192251] = 169352 < 169353 and u[ 169353] = 192233 < 192251
Error 4.1. u[ 135235] = 157304 < 157305 and v[ 157305] = 135217 < 135235
Error 4.2. v[ 393851] = 370040 < 370041 and u[ 370041] = 393833 < 393851
Error 4.2. v[ 157339] = 135256 < 135257 and u[ 135257] = 157321 < 157339
Error 4.2. v[ 75843] = 60712 < 60713 and u[ 60713] = 75825 < 75843
Error 4.2. v[ 226715] = 202648 < 202649 and u[ 202649] = 226697 < 226715
Error 4.2. v[ 34795] = 27160 < 27161 and u[ 27161] = 34777 < 34795
Error 4.2. v[ 34757] = 27128 < 27129 and u[ 27129] = 34739 < 34757
d = -17.
Error 4.1. u[ 196042] = 220153 < 220154 and v[ 220154] = 196025 < 196042
Error 4.1. u[ 200938] = 224872 < 224873 and v[ 224873] = 200921 < 200938
Error 4.1. u[ 215706] = 239660 < 239661 and v[ 239661] = 215689 < 215706
Error 4.2. v[ 226714] = 202648 < 202649 and u[ 202649] = 226697 < 226714
Error 4.1. u[ 123306] = 144200 < 144201 and v[ 144201] = 123289 < 123306
Error 4.2. v[ 157199] = 135021 < 135022 and u[ 135022] = 157182 < 157199
Error 4.2. v[ 157338] = 135256 < 135257 and u[ 135257] = 157321 < 157338
Error 4.1. u[ 123386] = 144268 < 144269 and v[ 144269] = 123369 < 123386
End Part 2 analysis of Test 4 at: 08:27:14.656 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 73474 73474 0 0 1
2 33992 33344 0 0 2
3 31051 32066 0 0 3
4 29533 31161 0 0 4
5 6571 8315 0 0 5
6 5935 7381 0 0 6
7 5880 7254 0 0 7
8 2503 3342 0 0 8
9 2252 2895 0 0 9
10 1806 2325 0 0 10
11 1624 1840 0 0 11
12 1569 1667 0 0 12
13 396 483 0 0 13
14 90 92 0 0 14
15 60 61 0 0 15
16 22 14 0 0 16
17 19 10 0 0 17
18 2 9 0 0 18
19 1 9 0 0 19
20 1 8 0 0 20
21 1 7 0 0 21
22 0 2 0 0 22
23 0 2 0 0 23
24 0 0 0 0 24
25 0 0 0 0 25
Totals / t7max / over:
196782 205761 0 0
21 23 0 0
0 0 0 0
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
27126 34739 21115 2 1 5 5
27127 34739 21115 1 0 6 6
27128 34739 21115 0 -1 7 7
27129 34739 21118 -1 0 8 0
27130 34761 21118 4 -1 2 1
27131 34761 21121 3 1 3 2
27132 34761 21121 2 0 4 3
27158 34777 21137 2 -2 11 5
27159 34777 21137 1 -3 12 6
27160 34777 21137 0 -4 13 7
27161 34777 21140 -1 0 14 0
27162 34799 21140 1 -1 2 1
27163 34799 21145 0 6 3 2
27164 34799 21145 -1 5 4 3
34754 44804 27128 -1 -15 1 15
34755 44809 27128 1 -16 2 16
34756 44809 27128 0 -17 3 17
34757 44809 27128 -1 -18 4 18
34758 44809 27128 -2 -19 5 19
34759 44809 27128 -3 -20 6 20
34760 44809 27128 -4 -21 7 21
34761 44818 27134 0 0 0 0
34762 44818 27134 -1 -1 1 1
34763 44824 27137 0 4 0 2
34792 44848 27160 -3 -15 3 15
34793 44857 27160 0 -16 0 16
34794 44857 27160 -1 -17 1 17
34795 44863 27160 0 -18 0 18
34796 44863 27160 -1 -19 1 19
34797 44865 27160 1 -20 2 20
34798 44865 27160 0 -21 3 21
34799 44865 27163 -1 0 4 0
34800 44865 27163 -2 -1 5 1
34801 44868 27171 0 135 0 1
135254 157321 114329 2 151 5 405
135255 157321 114329 1 150 6 406
135256 157321 114329 0 149 7 407
135257 157321 114329 -1 148 8 408
135258 157345 114329 5 147 2 409
135259 157345 114329 4 146 3 410
135260 157345 114329 3 145 4 411
157335 179961 135256 -6 -14 6 14
157336 179961 135256 -7 -15 7 15
157337 179969 135256 0 -16 0 16
157338 179969 135256 -1 -17 1 17
157339 179974 135256 1 -18 2 18
157340 179974 135256 0 -19 3 19
157341 179974 135256 -1 -20 4 20
157342 179974 135256 -2 -21 5 21
157343 179974 135256 -3 -22 6 22
157344 179974 135256 -4 -23 7 23
157345 179977 135263 0 0 0 0
157346 179977 135263 -1 -1 1 1
157347 179977 135265 -2 3 2 2
192248 215961 169352 -4 -15 13 16
192249 215969 169352 0 -16 0 17
192250 215969 169352 -1 -17 1 18
192251 215975 169352 0 -18 0 19
192252 215975 169352 -1 -19 1 20
192253 215977 169352 7 -20 2 21
192254 215977 169352 6 -21 3 22
192255 215977 169361 5 0 4 0
192256 215977 169361 4 -1 5 1
192257 215977 169371 3 7 6 1
370038 393832 345897 2 3 12 5
370039 393832 345897 1 2 13 6
370040 393833 345897 0 1 14 7
370041 393833 345897 -1 0 15 8
370042 393856 345897 7 -1 2 9
370043 393856 345905 6 1 3 2
370044 393856 345905 5 0 4 3
393848 399999 370040 2097152 -15 17421 16
393849 399999 370040 2097152 -16 17422 17
393850 399999 370040 2097152 -17 17423 18
393851 399999 370040 2097152 -18 17424 19
393852 399999 370040 2097152 -19 17425 20
393853 399999 370040 2097152 -20 17426 21
393854 399999 370040 2097152 -21 17427 22
393855 399999 370040 2097152 -22 17428 23
393856 399999 370040 2097152 -23 17429 24
393857 399999 370049 2097152 7 17430 1
393858 399999 370049 2097152 6 17431 2
393859 399999 370049 2097152 5 17432 3
================================================================================
Test T420. Seek a violation of A(CMP,PO).
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.
Start execution of Test 420 at: 08:27:17.218 950621
End execution of Test 420 at: 08:27:17.562 950621
i U V X Y
0 0 24 0 0
39999 40021 39964 0 0
79998 77931 81777 0 0
119997 117398 122421 0 0
159996 152321 168729 0 0
199995 188985 214403 0 0
239994 222322 260344 0 0
279993 254985 309932 0 0
319992 288648 357040 0 0
359991 322425 399999 0 0
399990 358425 399999 0 0
Start Part 1 analysis of Test 4 at: 08:27:18.015 950621
Error 4.2. v[ 3] = 97 < 98 and u[ 98] = 2 < 3
Error 4.2. v[ 4] = 97 < 98 and u[ 98] = 2 < 4
Error 4.2. v[ 5] = 97 < 98 and u[ 98] = 2 < 5
Error 4.2. v[ 8] = 99 < 100 and u[ 100] = 7 < 8
Error 4.2. v[ 10] = 102 < 103 and u[ 103] = 9 < 10
Error 4.2. v[ 13] = 105 < 106 and u[ 106] = 12 < 13
End Part 1 analysis of Test 4 at: 08:27:18.109 950621
Analysis of T4 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 24 97 0 2097152 0
1 0 97 96 1 2097152 1
2 0 97 95 0 2097152 2
3 0 97 94 -1 2097152 3
4 0 97 93 -2 2097152 4
5 0 97 92 -3 2097152 5
6 0 99 91 1 2097152 4
7 0 99 90 0 2097152 5
8 0 99 89 -1 2097152 6
9 0 102 88 0 2097152 0
10 0 102 87 -1 2097152 1
11 0 105 86 1 2097152 2
12 0 105 85 0 2097152 3
13 0 105 84 -1 2097152 4
14 0 105 83 -2 2097152 5
15 0 105 82 -3 2097152 6
16 0 105 81 -4 2097152 7
95 0 161 2 -3 2097152 6
96 0 163 1 1 2097152 4
97 2 163 0 0 0 5
98 2 163 -1 -1 1 6
99 7 163 0 -2 0 7
100 7 163 -1 -3 1 8
101 9 163 1 -4 2 9
102 9 166 0 0 3 0
103 9 166 -1 -1 4 1
104 9 169 -2 1 5 2
105 12 169 0 0 0 3
106 12 169 -1 -1 1 4
107 17 169 1 -2 2 5
108 17 169 0 -3 3 6
109 17 171 -1 1 4 4
Start Part 2 analysis of Test 4 at: 08:27:18.671 950621
d = -23.
Error 4.1. u[ 54792] = 54313 < 54314 and v[ 54314] = 54769 < 54792
Error 4.1. u[ 55200] = 54872 < 54873 and v[ 54873] = 55177 < 55200
d = -22.
Error 4.1. u[ 55199] = 54872 < 54873 and v[ 54873] = 55177 < 55199
Error 4.1. u[ 54791] = 54313 < 54314 and v[ 54314] = 54769 < 54791
Error 4.1. u[ 313208] = 282264 < 282265 and v[ 282265] = 313186 < 313208
d = -21.
Error 4.1. u[ 54790] = 54313 < 54314 and v[ 54314] = 54769 < 54790
Error 4.1. u[ 55104] = 54808 < 54809 and v[ 54809] = 55083 < 55104
Error 4.1. u[ 313207] = 282264 < 282265 and v[ 282265] = 313186 < 313207
Error 4.1. u[ 55198] = 54872 < 54873 and v[ 54873] = 55177 < 55198
d = -20.
Error 4.1. u[ 55197] = 54872 < 54873 and v[ 54873] = 55177 < 55197
Error 4.1. u[ 313206] = 282264 < 282265 and v[ 282265] = 313186 < 313206
Error 4.1. u[ 55103] = 54808 < 54809 and v[ 54809] = 55083 < 55103
Error 4.1. u[ 54789] = 54313 < 54314 and v[ 54314] = 54769 < 54789
d = -19.
Error 4.1. u[ 313205] = 282264 < 282265 and v[ 282265] = 313186 < 313205
Error 4.1. u[ 55102] = 54808 < 54809 and v[ 54809] = 55083 < 55102
Error 4.1. u[ 55196] = 54872 < 54873 and v[ 54873] = 55177 < 55196
Error 4.1. u[ 54788] = 54313 < 54314 and v[ 54314] = 54769 < 54788
d = -18.
Error 4.1. u[ 55195] = 54872 < 54873 and v[ 54873] = 55177 < 55195
Error 4.1. u[ 55101] = 54808 < 54809 and v[ 54809] = 55083 < 55101
Error 4.1. u[ 54787] = 54313 < 54314 and v[ 54314] = 54769 < 54787
Error 4.1. u[ 313204] = 282264 < 282265 and v[ 282265] = 313186 < 313204
d = -17.
Error 4.1. u[ 54786] = 54313 < 54314 and v[ 54314] = 54769 < 54786
Error 4.1. u[ 55100] = 54808 < 54809 and v[ 54809] = 55083 < 55100
Error 4.1. u[ 55194] = 54872 < 54873 and v[ 54873] = 55177 < 55194
Error 4.2. v[ 101616] = 104800 < 104801 and u[ 104801] = 101599 < 101616
Error 4.1. u[ 313203] = 282264 < 282265 and v[ 282265] = 313186 < 313203
d = -16.
Error 4.1. u[ 210424] = 197224 < 197225 and v[ 197225] = 210408 < 210424
Error 4.1. u[ 212888] = 198808 < 198809 and v[ 198809] = 212872 < 212888
Error 4.1. u[ 243512] = 225176 < 225177 and v[ 225177] = 243496 < 243512
Error 4.1. u[ 244264] = 225432 < 225433 and v[ 225433] = 244248 < 244264
Error 4.1. u[ 248184] = 229080 < 229081 and v[ 229081] = 248168 < 248184
Error 4.1. u[ 251000] = 231560 < 231561 and v[ 231561] = 250984 < 251000
Error 4.1. u[ 268920] = 246440 < 246441 and v[ 246441] = 268904 < 268920
Error 4.1. u[ 286712] = 261368 < 261369 and v[ 261369] = 286696 < 286712
Error 4.1. u[ 296040] = 268968 < 268969 and v[ 268969] = 296024 < 296040
Error 4.1. u[ 301528] = 272632 < 272633 and v[ 272633] = 301512 < 301528
Error 4.1. u[ 313202] = 282264 < 282265 and v[ 282265] = 313186 < 313202
Error 4.1. u[ 55193] = 54872 < 54873 and v[ 54873] = 55177 < 55193
Error 4.1. u[ 55099] = 54808 < 54809 and v[ 54809] = 55083 < 55099
Error 4.2. v[ 101615] = 104800 < 104801 and u[ 104801] = 101599 < 101615
Error 4.1. u[ 54785] = 54313 < 54314 and v[ 54314] = 54769 < 54785
Error 4.1. u[ 179656] = 169816 < 169817 and v[ 169817] = 179640 < 179656
Error 4.1. u[ 183384] = 172920 < 172921 and v[ 172921] = 183368 < 183384
Error 4.1. u[ 389992] = 349352 < 349353 and v[ 349353] = 389976 < 389992
d = -15.
Error 4.1. u[ 14034] = 14040 < 14041 and v[ 14041] = 14019 < 14034
Error 4.1. u[ 237975] = 221112 < 221113 and v[ 221113] = 237960 < 237975
Error 4.1. u[ 243511] = 225176 < 225177 and v[ 225177] = 243496 < 243511
Error 4.1. u[ 54784] = 54313 < 54314 and v[ 54314] = 54769 < 54784
Error 4.1. u[ 244263] = 225432 < 225433 and v[ 225433] = 244248 < 244263
Error 4.1. u[ 127984] = 124472 < 124473 and v[ 124473] = 127969 < 127984
End Part 2 analysis of Test 4 at: 08:27:22.828 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 77859 77859 0 0 1
2 29427 42924 0 0 2
3 24962 32788 0 0 3
4 21230 7220 0 0 4
5 7786 3082 0 0 5
6 6717 2751 0 0 6
7 6512 1513 0 0 7
8 3536 954 0 0 8
9 3406 145 0 0 9
10 2214 62 0 0 10
11 1323 39 0 0 11
12 1186 19 0 0 12
13 748 16 0 0 13
14 289 5 0 0 14
15 40 3 0 0 15
16 17 1 0 0 16
17 4 1 0 0 17
18 4 0 0 0 18
19 4 0 0 0 19
20 4 0 0 0 20
21 4 0 0 0 21
22 3 0 0 0 22
23 2 0 0 0 23
24 0 0 0 0 24
25 0 0 0 0 25
Totals / t7max / over:
187277 169382 0 0
23 17 0 0
0 0 0 0
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
54311 53666 54769 -6 2 7 7
54312 53666 54769 -7 1 8 8
54313 53671 54769 0 0 0 9
54314 53671 54769 -1 -1 1 10
54315 53673 54793 4 5 2 2
54316 53673 54793 3 4 3 3
54317 53673 54793 2 3 4 4
54781 54313 55073 -12 -3 12 12
54782 54313 55075 -13 8 13 4
54783 54313 55075 -14 7 14 5
54784 54313 55075 -15 6 15 6
54785 54313 55075 -16 5 16 7
54786 54313 55075 -17 4 17 8
54787 54313 55075 -18 3 18 9
54788 54313 55075 -19 2 19 10
54789 54313 55075 -20 1 20 11
54790 54313 55075 -21 0 21 12
54791 54313 55075 -22 -1 22 13
54792 54313 55075 -23 -2 23 14
54793 54320 55080 0 9 0 0
54794 54320 55080 -1 8 1 1
54795 54320 55080 -2 7 2 2
54806 54328 55083 -5 2 5 4
54807 54328 55083 -6 1 6 5
54808 54328 55083 -7 0 7 6
54809 54335 55083 0 -1 0 7
54810 54335 55110 -1 0 1 0
54811 54337 55110 5 -1 2 1
54812 54337 55110 4 -2 3 2
54870 54464 55177 -3 2 3 4
54871 54464 55177 -4 1 4 5
54872 54464 55177 -5 0 5 6
54873 54472 55177 0 -1 0 7
54874 54472 55201 -1 4 1 2
54875 54472 55201 -2 3 2 3
54876 54472 55201 -3 2 3 4
55096 54808 56135 -13 -2 13 7
55097 54808 56141 -14 0 14 0
55098 54808 56141 -15 -1 15 1
55099 54808 56145 -16 1 16 2
55100 54808 56145 -17 0 17 3
55101 54808 56145 -18 -1 18 4
55102 54808 56145 -19 -2 19 5
55103 54808 56145 -20 -3 20 6
55104 54808 56145 -21 -4 21 7
55105 54810 56148 5 0 22 0
55106 54810 56148 4 -1 23 1
55107 54810 56153 3 1 24 2
55190 54872 56209 -13 -3 13 6
55191 54872 56211 -14 1 14 4
55192 54872 56211 -15 0 15 5
55193 54872 56211 -16 -1 16 6
55194 54872 56216 -17 1 17 2
55195 54872 56216 -18 0 18 3
55196 54872 56216 -19 -1 19 4
55197 54872 56216 -20 -2 20 5
55198 54872 56216 -21 -3 21 6
55199 54872 56218 -22 1 22 4
55200 54872 56218 -23 0 23 5
55201 54878 56218 0 -1 0 6
55202 54878 56224 -1 0 1 0
55203 54881 56224 5 -1 2 1
101612 98597 104800 -2 -13 9 13
101613 98597 104800 -3 -14 10 14
101614 98597 104800 -4 -15 11 15
101615 98599 104800 1 -16 5 16
101616 98599 104800 0 -17 6 17
101617 98599 104803 -1 0 7 0
101618 98605 104803 1 -1 2 1
101619 98605 104810 0 0 3 0
282262 257430 313184 -1 -13 1 13
282263 257433 313186 5 1 2 14
282264 257433 313186 4 0 3 15
282265 257433 313186 3 -1 4 16
282266 257433 313209 2 1 5 2
282267 257433 313209 1 0 6 3
282268 257433 313209 0 -1 7 4
313199 282264 349328 -13 1 13 4
313200 282264 349328 -14 0 14 5
313201 282264 349328 -15 -1 15 6
313202 282264 349328 -16 -2 16 7
313203 282264 349328 -17 -3 17 8
313204 282264 349328 -18 -4 18 9
313205 282264 349328 -19 -5 19 10
313206 282264 349328 -20 -6 20 11
313207 282264 349331 -21 0 21 0
313208 282264 349331 -22 -1 22 1
313209 282267 349343 0 0 0 0
313210 282267 349343 -1 -1 1 1
313211 282272 349345 0 5 0 2
================================================================================
Test T500. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 500 at: 08:27:25.515 950621
End execution of Test 500 at: 08:27:25.796 950621
i U V X Y
0 31 56 0 0
39999 255530 255542 0 0
79998 399999 399999 0 0
119997 399999 399999 0 0
159996 399999 399999 0 0
199995 399999 399999 0 0
239994 399999 399999 0 0
279993 399999 399999 0 0
319992 399999 399999 0 0
359991 399999 399999 0 0
399990 399999 399999 0 0
Start analysis of Test 5 at: 08:27:25.984 950621
End analysis of Test 5 at: 08:27:26.109 950621
Analysis of T5 data:
i U V X Y
================================================================================
Test T520. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 520 at: 08:27:26.843 950621
End execution of Test 520 at: 08:27:27.156 950621
i U V X Y
0 0 105 0 0
39999 259848 259858 0 0
79998 399999 399999 0 0
119997 399999 399999 0 0
159996 399999 399999 0 0
199995 399999 399999 0 0
239994 399999 399999 0 0
279993 399999 399999 0 0
319992 399999 399999 0 0
359991 399999 399999 0 0
399990 399999 399999 0 0
Start analysis of Test 5 at: 08:27:27.609 950621
End analysis of Test 5 at: 08:27:27.734 950621
Analysis of T5 data:
i U V X Y
================================================================================
Test T600. Seek a violation of A(CMP,RO,WO,WA).
Seek 6. U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 600 at: 08:27:28.468 950621
End execution of Test 600 at: 08:27:28.687 950621
i U V X Y
0 1 91 0 0
39999 366647 234935 0 0
79998 399999 399999 0 0
119997 399999 399999 0 0
159996 399999 399999 0 0
199995 399999 399999 0 0
239994 399999 399999 0 0
279993 399999 399999 0 0
319992 399999 399999 0 0
359991 399999 399999 0 0
399990 399999 399999 0 0
Start analysis of Test 6 at: 08:27:28.859 950621
End analysis of Test 6 at: 08:27:48.390 950621
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 08:27:48.984 950621
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 399999 5064 0 399999 5064
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F3
33
33
33
33
33
33
333
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
333
33
33
33
33
33
33
33
3
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
23
33
23
33
33
33
33
33
33
33
33
33
331
33
33
33
33
3
33
333
33
33
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 08:27:51.921 950621
Save output from Test 6? [n]
================================================================================
Test T610. Seek a violation of A(CMP,RO,WO,WA).
Seek 6. U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 610 at: 08:28:27.203 950621
End execution of Test 610 at: 08:28:35.468 950621
i U V X Y
0 0 4 0 0
39999 35146 38094 0 0
79998 94172 96905 0 0
119997 126991 120955 0 0
159996 208172 194530 0 0
199995 219314 212870 0 0
239994 316305 302796 0 0
279993 319172 305072 0 0
319992 399999 395166 0 0
359991 399999 399999 0 0
399990 399999 399999 0 0
Start analysis of Test 6 at: 08:28:35.609 950621
End analysis of Test 6 at: 08:28:45.109 950621
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 08:28:45.156 950621
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 399999 5064 0 399999 5064
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
33
33
33
3
33
33
33
3
33
33
33
33
33
3
33
33
33
33
33
33
3
33
33
33
33
33
33
33
3
33
33
33
33
33
3
33
33
33
33
33
33
33
33
33
3
23
33
33
33
33
33
33
3
33
33
33
33
33
33
3
33
33
33
33
33
33
33
33
33
33
33
333
3
333
33
33
33
3333333333
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 08:28:46.937 950621
Save output from Test 6? [n]
================================================================================
Test T620. Seek a violation of A(CMP,RO,WO,WA).
Seek 6. U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 620 at: 08:29:15.968 950621
End execution of Test 620 at: 08:29:16.390 950621
i U V X Y
0 1 187 0 0
39999 211283 296507 0 0
79998 399999 399999 0 0
119997 399999 399999 0 0
159996 399999 399999 0 0
199995 399999 399999 0 0
239994 399999 399999 0 0
279993 399999 399999 0 0
319992 399999 399999 0 0
359991 399999 399999 0 0
399990 399999 399999 0 0
Start analysis of Test 6 at: 08:29:17.234 950621
End analysis of Test 6 at: 08:29:18.640 950621
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 08:29:18.703 950621
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 399999 5064 0 399999 5064
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
33
33
3
33
33
33
33
3
33
33
33
33
3
33
33
33
3
33
33
31
3
33
33
33
3
33
33
33
33
3
33
33
33
3
33
33
33
3
33
33
33
33
3
33
33
33
3
33
33
33
3
33
33
33
33
3
33
33
33
3
23
33
33
33
3
33
33
33
33
3
33
33
33
3
33
33
33
3323333333333333333
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 08:29:20.265 950621
Save output from Test 6? [n]
================================================================================
Test T700. Seek a violation of A(CMP,UPO,RO,WO,WA).
Seek 7.1. U[i] < j and V[j] < i. d1 = v[ u[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = u[ v[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i. d3 = i - v[ u[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - u[ v[i]-1 ] < 0.
Start execution of Test 700 at: 08:29:22.687 950621
End execution of Test 700 at: 08:29:23.031 950621
i U V X Y
0 0 70 399999 399999
39999 37561 42286 0 0
79998 75129 84609 0 0
119997 114650 126760 0 0
159996 149513 170840 0 0
199995 186816 215603 0 0
239994 220344 262800 0 0
279993 254856 314083 0 0
319992 284256 357267 0 0
359991 322856 396732 0 0
399990 363393 399999 0 0
Start Part 1 analysis of Test 7 at: 08:29:23.218 950621
Error 7.2. v[ 2] = 83 < 84 and u[ 84] = 1 < 2
Error 7.2. v[ 4] = 90 < 91 and u[ 91] = 3 < 4
Error 7.2. v[ 6] = 95 < 96 and u[ 96] = 5 < 6
Error 7.2. v[ 9] = 97 < 98 and u[ 98] = 8 < 9
Error 7.2. v[ 11] = 102 < 103 and u[ 103] = 10 < 11
Error 7.2. v[ 14] = 105 < 106 and u[ 106] = 13 < 14
End Part 1 analysis of Test 7 at: 08:29:23.312 950621
Analysis of T7 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 70 83 0 2097152 0
1 0 83 82 0 2097152 0
2 0 83 81 -1 2097152 1
3 0 90 80 0 2097152 0
4 0 90 79 -1 2097152 1
5 0 95 78 0 2097152 0
6 0 95 77 -1 2097152 1
7 0 97 76 1 2097152 2
8 0 97 75 0 2097152 3
9 0 97 74 -1 2097152 4
10 0 102 73 0 2097152 0
11 0 102 72 -1 2097152 1
12 0 105 71 1 2097152 2
13 0 105 70 0 2097152 3
14 0 105 69 -1 2097152 4
15 0 105 68 -2 2097152 5
16 0 105 67 -3 2097152 6
17 0 108 66 0 2097152 0
81 0 192 2 0 2097152 0
82 1 192 1 -1 12 1
83 1 192 0 -2 13 2
84 1 192 -1 -3 14 3
85 1 194 -2 1 15 4
86 1 194 -3 0 16 5
87 1 194 -4 -1 17 6
88 3 194 2 -2 5 7
89 3 197 1 0 6 0
90 3 197 0 -1 7 1
91 3 201 -1 1 8 2
92 3 201 -2 0 9 3
93 3 201 -3 -1 10 4
94 5 201 1 -2 4 5
95 5 201 0 -3 5 6
96 5 203 -1 2 6 4
97 8 203 0 1 0 5
98 8 203 -1 0 1 6
99 8 203 -2 -1 2 7
100 8 203 -3 -2 3 8
101 10 203 1 -3 4 9
102 10 205 0 1 5 4
103 10 205 -1 0 6 5
104 10 205 -2 -1 7 6
105 13 208 0 0 0 0
106 13 208 -1 -1 1 1
107 17 208 1 -2 2 2
108 17 208 0 -3 3 3
109 17 210 -1 1 4 4
Start Part 2 analysis of Test 7 at: 08:29:24.078 950621
d = -22.
Error 7.1. u[ 167024] = 155752 < 155753 and v[ 155753] = 167002 < 167024
d = -21.
Error 7.1. u[ 167023] = 155752 < 155753 and v[ 155753] = 167002 < 167023
Error 7.1. u[ 193992] = 180314 < 180315 and v[ 180315] = 193971 < 193992
d = -20.
Error 7.1. u[ 193991] = 180314 < 180315 and v[ 180315] = 193971 < 193991
Error 7.1. u[ 167022] = 155752 < 155753 and v[ 155753] = 167002 < 167022
Error 7.1. u[ 393463] = 356682 < 356683 and v[ 356683] = 393443 < 393463
d = -19.
Error 7.1. u[ 193990] = 180314 < 180315 and v[ 180315] = 193971 < 193990
Error 7.1. u[ 393462] = 356682 < 356683 and v[ 356683] = 393443 < 393462
Error 7.1. u[ 167021] = 155752 < 155753 and v[ 155753] = 167002 < 167021
d = -18.
Error 7.1. u[ 230140] = 211064 < 211065 and v[ 211065] = 230122 < 230140
Error 7.1. u[ 238688] = 219208 < 219209 and v[ 219209] = 238670 < 238688
Error 7.1. u[ 393461] = 356682 < 356683 and v[ 356683] = 393443 < 393461
Error 7.1. u[ 193989] = 180314 < 180315 and v[ 180315] = 193971 < 193989
Error 7.1. u[ 167020] = 155752 < 155753 and v[ 155753] = 167002 < 167020
d = -17.
Error 7.1. u[ 238687] = 219208 < 219209 and v[ 219209] = 238670 < 238687
Error 7.1. u[ 193988] = 180314 < 180315 and v[ 180315] = 193971 < 193988
Error 7.1. u[ 393460] = 356682 < 356683 and v[ 356683] = 393443 < 393460
Error 7.1. u[ 167019] = 155752 < 155753 and v[ 155753] = 167002 < 167019
Error 7.1. u[ 230139] = 211064 < 211065 and v[ 211065] = 230122 < 230139
Error 7.2. v[ 175354] = 187784 < 187785 and u[ 187785] = 175337 < 175354
d = -16.
Error 7.1. u[ 230138] = 211064 < 211065 and v[ 211065] = 230122 < 230138
Error 7.2. v[ 263856] = 291896 < 291897 and u[ 291897] = 263840 < 263856
Error 7.2. v[ 263945] = 291981 < 291982 and u[ 291982] = 263929 < 263945
Error 7.2. v[ 264928] = 293144 < 293145 and u[ 293145] = 264912 < 264928
Error 7.2. v[ 304665] = 343370 < 343371 and u[ 343371] = 304649 < 304665
Error 7.1. u[ 393459] = 356682 < 356683 and v[ 356683] = 393443 < 393459
Error 7.1. u[ 193987] = 180314 < 180315 and v[ 180315] = 193971 < 193987
Error 7.2. v[ 175353] = 187784 < 187785 and u[ 187785] = 175337 < 175353
Error 7.1. u[ 238686] = 219208 < 219209 and v[ 219209] = 238670 < 238686
Error 7.1. u[ 167018] = 155752 < 155753 and v[ 155753] = 167002 < 167018
d = -15.
Error 7.1. u[ 238685] = 219208 < 219209 and v[ 219209] = 238670 < 238685
Error 7.2. v[ 179400] = 192040 < 192041 and u[ 192041] = 179385 < 179400
Error 7.1. u[ 193986] = 180314 < 180315 and v[ 180315] = 193971 < 193986
Error 7.1. u[ 36808] = 34280 < 34281 and v[ 34281] = 36793 < 36808
Error 7.2. v[ 245512] = 268927 < 268928 and u[ 268928] = 245497 < 245512
Error 7.2. v[ 261055] = 287224 < 287225 and u[ 287225] = 261040 < 261055
Error 7.2. v[ 263855] = 291896 < 291897 and u[ 291897] = 263840 < 263855
Error 7.2. v[ 105816] = 110397 < 110398 and u[ 110398] = 105801 < 105816
Error 7.2. v[ 263944] = 291981 < 291982 and u[ 291982] = 263929 < 263944
Error 7.1. u[ 110440] = 105864 < 105865 and v[ 105865] = 110425 < 110440
Error 7.2. v[ 264088] = 292093 < 292094 and u[ 292094] = 264073 < 264088
Error 7.2. v[ 264201] = 292191 < 292192 and u[ 292192] = 264186 < 264201
Error 7.2. v[ 264927] = 293144 < 293145 and u[ 293145] = 264912 < 264927
Error 7.1. u[ 110576] = 106008 < 106009 and v[ 106009] = 110561 < 110576
Error 7.2. v[ 269759] = 299048 < 299049 and u[ 299049] = 269744 < 269759
Error 7.1. u[ 270480] = 247864 < 247865 and v[ 247865] = 270465 < 270480
Error 7.1. u[ 276463] = 252296 < 252297 and v[ 252297] = 276448 < 276463
Error 7.2. v[ 287864] = 324143 < 324144 and u[ 324144] = 287849 < 287864
Error 7.1. u[ 291936] = 263880 < 263881 and v[ 263881] = 291921 < 291936
Error 7.1. u[ 292175] = 264168 < 264169 and v[ 264169] = 292160 < 292175
End Part 2 analysis of Test 7 at: 08:29:28.046 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 78105 78105 0 0 1
2 32190 32930 0 0 2
3 29311 30138 0 0 3
4 9305 9347 0 0 4
5 6795 6717 0 0 5
6 6600 6530 0 0 6
7 4538 4382 0 0 7
8 3868 3657 0 0 8
9 2038 1772 0 0 9
10 1667 1375 0 0 10
11 1400 1170 0 0 11
12 465 433 0 0 12
13 166 164 0 0 13
14 49 33 0 0 14
15 34 15 0 0 15
16 5 5 0 0 16
17 5 1 0 0 17
18 5 0 0 0 18
19 3 0 0 0 19
20 3 0 0 0 20
21 2 0 0 0 21
22 1 0 0 0 22
23 0 0 0 0 23
24 0 0 0 0 24
25 0 0 0 0 25
Totals / t7max / over:
176555 176774 0 0
22 17 0 0
0 0 0 0
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
155750 146011 167000 1 -12 4 12
155751 146011 167002 0 1 5 13
155752 146011 167002 -1 0 6 14
155753 146020 167002 0 -1 0 15
155754 146020 167024 -1 7 1 2
155755 146026 167024 0 6 0 3
155756 146026 167024 -1 5 1 4
167015 155752 178337 -13 2 13 65
167016 155752 178337 -14 1 14 66
167017 155752 178337 -15 0 15 67
167018 155752 178726 -16 0 16 0
167019 155752 178729 -17 4 17 1
167020 155752 178729 -18 3 18 2
167021 155752 178729 -19 2 19 3
167022 155752 178729 -20 1 20 4
167023 155752 178729 -21 0 21 5
167024 155752 178729 -22 -1 22 6
167025 155761 178732 1 0 1 0
167026 155761 178732 0 -1 2 1
167027 155761 178738 -1 0 3 0
180312 168504 193971 128 2 76 5
180313 168504 193971 127 1 77 6
180314 168504 193971 126 0 78 7
180315 168504 193971 125 -1 79 8
180316 168504 193993 124 8 80 2
180317 168504 193993 123 7 81 3
180318 168504 193993 122 6 82 4
193983 180314 208672 -12 4 12 6
193984 180314 208672 -13 3 13 7
193985 180314 208672 -14 2 14 8
193986 180314 208673 -15 1 15 9
193987 180314 208673 -16 0 16 10
193988 180314 208673 -17 -1 17 11
193989 180314 208673 -18 -2 18 12
193990 180314 208673 -19 -3 19 13
193991 180314 208675 -20 1 20 4
193992 180314 208675 -21 0 21 5
193993 180324 208675 0 -1 0 6
193994 180324 208688 -1 1 1 2
193995 180330 208688 0 0 0 3
211062 195745 230122 -3 2 6 12
211063 195747 230122 1 1 4 13
211064 195747 230122 0 0 5 14
211065 195747 230122 -1 -1 6 15
211066 195754 230141 0 6 0 2
211067 195754 230141 -1 5 1 3
211068 195754 230141 -2 4 2 4
230135 211064 250758 -13 -3 13 5
230136 211064 250760 -14 2 14 4
230137 211064 250760 -15 1 15 5
230138 211064 250760 -16 0 16 6
230139 211064 250760 -17 -1 17 7
230140 211064 250760 -18 -2 18 8
230141 211072 250760 0 -3 0 9
230142 211072 250762 -1 1 1 4
230143 211072 250762 -2 0 2 5
238682 219208 261082 -12 4 12 2
238683 219208 261082 -13 3 13 3
238684 219208 261082 -14 2 14 4
238685 219208 261082 -15 1 15 5
238686 219208 261082 -16 0 16 6
238687 219208 261082 -17 -1 17 7
238688 219208 261082 -18 -2 18 8
238689 219219 261085 0 0 0 0
238690 219219 261085 -1 -1 1 1
238691 219224 261089 0 1 0 2
356680 319704 393443 9 2 6 5
356681 319704 393443 8 1 7 6
356682 319704 393443 7 0 8 7
356683 319704 393443 6 -1 9 8
356684 319704 393464 5 13 10 2
356685 319704 393464 4 12 11 3
356686 319704 393464 3 11 12 4
393456 356682 399999 -13 2097152 13 30049
393457 356682 399999 -14 2097152 14 30050
393458 356682 399999 -15 2097152 15 30051
393459 356682 399999 -16 2097152 16 30052
393460 356682 399999 -17 2097152 17 30053
393461 356682 399999 -18 2097152 18 30054
393462 356682 399999 -19 2097152 19 30055
393463 356682 399999 -20 2097152 20 30056
393464 356684 399999 0 2097152 21 30057
393465 356697 399999 6 2097152 1 30058
393466 356697 399999 5 2097152 2 30059
================================================================================
Test T720. Seek a violation of A(CMP,UPO,RO,WO,WA).
Seek 7.1. U[i] < j and V[j] < i. d1 = v[ u[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = u[ v[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i. d3 = i - v[ u[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - u[ v[i]-1 ] < 0.
Start execution of Test 720 at: 08:29:30.625 950621
End execution of Test 720 at: 08:29:31.000 950621
i U V X Y
0 0 21 399999 0
39999 37958 42001 0 0
79998 77033 82913 0 0
119997 116673 123601 0 0
159996 153593 166848 0 0
199995 190015 211159 0 0
239994 226025 254682 0 0
279993 264169 297643 0 0
319992 301449 339979 0 0
359991 339666 382512 0 0
399990 376010 399999 0 0
Start Part 1 analysis of Test 7 at: 08:29:31.437 950621
Error 7.2. v[ 3] = 75 < 76 and u[ 76] = 2 < 3
Error 7.2. v[ 4] = 75 < 76 and u[ 76] = 2 < 4
Error 7.2. v[ 7] = 77 < 78 and u[ 78] = 6 < 7
Error 7.2. v[ 8] = 77 < 78 and u[ 78] = 6 < 8
Error 7.2. v[ 10] = 80 < 81 and u[ 81] = 9 < 10
Error 7.2. v[ 11] = 80 < 81 and u[ 81] = 9 < 11
End Part 1 analysis of Test 7 at: 08:29:31.546 950621
Analysis of T7 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 21 75 0 2097152 0
1 0 75 74 1 2097152 1
2 0 75 73 0 2097152 2
3 0 75 72 -1 2097152 3
4 0 75 71 -2 2097152 4
5 0 77 70 1 2097152 3
6 0 77 69 0 2097152 4
7 0 77 68 -1 2097152 5
8 0 77 67 -2 2097152 6
9 0 80 66 0 2097152 0
10 0 80 65 -1 2097152 1
11 0 80 64 -2 2097152 2
12 0 80 63 -3 2097152 3
13 0 83 62 0 2097152 0
14 0 83 61 -1 2097152 1
73 0 156 2 0 2097152 0
74 0 156 1 -1 2097152 1
75 2 162 0 0 0 0
76 2 162 -1 -1 1 1
77 6 167 0 0 0 0
78 6 167 -1 -1 1 1
79 9 169 1 1 2 2
80 9 169 0 0 3 3
81 9 169 -1 -1 4 4
82 13 174 1 0 2 0
83 13 174 0 -1 3 1
84 13 177 -1 1 4 2
Start Part 2 analysis of Test 7 at: 08:29:32.031 950621
d = -20.
Error 7.1. u[ 169245] = 162200 < 162201 and v[ 162201] = 169225 < 169245
d = -19.
Error 7.1. u[ 169244] = 162200 < 162201 and v[ 162201] = 169225 < 169244
Error 7.1. u[ 169492] = 162312 < 162313 and v[ 162313] = 169473 < 169492
Error 7.1. u[ 169549] = 162344 < 162345 and v[ 162345] = 169530 < 169549
Error 7.1. u[ 335252] = 316248 < 316249 and v[ 316249] = 335233 < 335252
d = -18.
Error 7.1. u[ 169491] = 162312 < 162313 and v[ 162313] = 169473 < 169491
Error 7.1. u[ 169243] = 162200 < 162201 and v[ 162201] = 169225 < 169243
Error 7.1. u[ 169548] = 162344 < 162345 and v[ 162345] = 169530 < 169548
Error 7.1. u[ 169356] = 162248 < 162249 and v[ 162249] = 169338 < 169356
Error 7.2. v[ 316235] = 335216 < 335217 and u[ 335217] = 316217 < 316235
Error 7.1. u[ 335251] = 316248 < 316249 and v[ 316249] = 335233 < 335251
Error 7.1. u[ 169420] = 162280 < 162281 and v[ 162281] = 169402 < 169420
d = -17.
Error 7.1. u[ 169355] = 162248 < 162249 and v[ 162249] = 169338 < 169355
Error 7.1. u[ 169490] = 162312 < 162313 and v[ 162313] = 169473 < 169490
Error 7.1. u[ 188242] = 179370 < 179371 and v[ 179371] = 188225 < 188242
Error 7.1. u[ 196290] = 186776 < 186777 and v[ 186777] = 196273 < 196290
Error 7.1. u[ 280258] = 264302 < 264303 and v[ 264303] = 280241 < 280258
Error 7.2. v[ 316234] = 335216 < 335217 and u[ 335217] = 316217 < 316234
Error 7.1. u[ 169242] = 162200 < 162201 and v[ 162201] = 169225 < 169242
Error 7.1. u[ 335250] = 316248 < 316249 and v[ 316249] = 335233 < 335250
Error 7.1. u[ 169419] = 162280 < 162281 and v[ 162281] = 169402 < 169419
Error 7.1. u[ 169547] = 162344 < 162345 and v[ 162345] = 169530 < 169547
Error 7.1. u[ 348162] = 328538 < 328539 and v[ 328539] = 348145 < 348162
Error 7.1. u[ 351538] = 331502 < 331503 and v[ 331503] = 351521 < 351538
Error 7.1. u[ 398418] = 374542 < 374543 and v[ 374543] = 398401 < 398418
d = -16.
Error 7.1. u[ 280257] = 264302 < 264303 and v[ 264303] = 280241 < 280257
Error 7.1. u[ 169418] = 162280 < 162281 and v[ 162281] = 169402 < 169418
Error 7.2. v[ 316233] = 335216 < 335217 and u[ 335217] = 316217 < 316233
Error 7.1. u[ 169546] = 162344 < 162345 and v[ 162345] = 169530 < 169546
Error 7.2. v[ 157881] = 164754 < 164755 and u[ 164755] = 157865 < 157881
Error 7.1. u[ 335249] = 316248 < 316249 and v[ 316249] = 335233 < 335249
Error 7.1. u[ 169354] = 162248 < 162249 and v[ 162249] = 169338 < 169354
Error 7.1. u[ 169489] = 162312 < 162313 and v[ 162313] = 169473 < 169489
Error 7.1. u[ 188241] = 179370 < 179371 and v[ 179371] = 188225 < 188241
Error 7.1. u[ 348161] = 328538 < 328539 and v[ 328539] = 348145 < 348161
Error 7.1. u[ 162840] = 156024 < 156025 and v[ 156025] = 162824 < 162840
Error 7.1. u[ 351537] = 331502 < 331503 and v[ 331503] = 351521 < 351537
Error 7.1. u[ 196289] = 186776 < 186777 and v[ 186777] = 196273 < 196289
Error 7.1. u[ 398417] = 374542 < 374543 and v[ 374543] = 398401 < 398417
Error 7.1. u[ 169241] = 162200 < 162201 and v[ 162201] = 169225 < 169241
d = -15.
Error 7.1. u[ 188240] = 179370 < 179371 and v[ 179371] = 188225 < 188240
Error 7.2. v[ 157880] = 164754 < 164755 and u[ 164755] = 157865 < 157880
Error 7.1. u[ 22066] = 20520 < 20521 and v[ 20521] = 22051 < 22066
Error 7.1. u[ 196264] = 186760 < 186761 and v[ 186761] = 196249 < 196264
Error 7.1. u[ 196288] = 186776 < 186777 and v[ 186777] = 196273 < 196288
Error 7.1. u[ 169488] = 162312 < 162313 and v[ 162313] = 169473 < 169488
Error 7.1. u[ 162762] = 155898 < 155899 and v[ 155899] = 162747 < 162762
Error 7.1. u[ 209216] = 198350 < 198351 and v[ 198351] = 209201 < 209216
Error 7.2. v[ 226112] = 240160 < 240161 and u[ 240161] = 226097 < 226112
Error 7.1. u[ 256978] = 241869 < 241870 and v[ 241870] = 256963 < 256978
End Part 2 analysis of Test 7 at: 08:29:36.078 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 92091 92091 0 0 1
2 33749 42953 0 0 2
3 30066 9857 0 0 3
4 7820 5488 0 0 4
5 5574 5334 0 0 5
6 5439 3295 0 0 6
7 4063 1595 0 0 7
8 3407 292 0 0 8
9 3316 198 0 0 9
10 1186 125 0 0 10
11 1088 66 0 0 11
12 1047 36 0 0 12
13 242 23 0 0 13
14 83 16 0 0 14
15 49 5 0 0 15
16 13 2 0 0 16
17 12 1 0 0 17
18 6 1 0 0 18
19 4 0 0 0 19
20 1 0 0 0 20
21 0 0 0 0 21
22 0 0 0 0 22
23 0 0 0 0 23
24 0 0 0 0 24
25 0 0 0 0 25
Totals / t7max / over:
189256 161378 0 0
20 18 0 0
0 0 0 0
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
162198 155449 169225 1 2 9 2
162199 155449 169225 0 1 10 3
162200 155449 169225 -1 0 11 4
162201 155456 169225 0 -1 1 5
162202 155456 169248 -1 0 2 0
162203 155456 169248 -2 -1 3 1
162204 155456 169248 -3 -2 4 2
162310 155545 169473 1 2 9 3
162311 155545 169473 0 1 10 4
162312 155545 169473 -1 0 11 5
162313 155552 169473 0 -1 0 6
162314 155552 169493 -1 3 1 2
162315 155552 169493 -2 2 2 3
162316 155552 169493 -3 1 3 4
162342 155577 169528 4 -5 6 5
162343 155577 169530 3 1 7 6
162344 155577 169530 2 0 8 7
162345 155577 169530 1 -1 9 8
162346 155577 169552 0 0 10 0
162347 155577 169552 -1 -1 11 1
162348 155577 169552 -2 -2 12 2
169238 162200 177330 -13 -3 13 3
169239 162200 177330 -14 -4 14 4
169240 162200 177330 -15 -5 15 5
169241 162200 177330 -16 -6 16 6
169242 162200 177336 -17 0 17 0
169243 162200 177336 -18 -1 18 1
169244 162200 177336 -19 -2 19 2
169245 162200 177336 -20 -3 20 3
169246 162202 177336 2 -4 21 4
169247 162202 177338 1 1 22 5
169248 162202 177338 0 0 23 6
169351 162248 177464 -13 0 13 4
169352 162248 177464 -14 -1 14 5
169353 162248 177472 -15 0 15 0
169354 162248 177472 -16 -1 16 1
169355 162248 177472 -17 -2 17 2
169356 162248 177472 -18 -3 18 3
169357 162253 177472 0 -4 0 4
169358 162253 177472 -1 -5 1 5
169359 162253 177472 -2 -6 2 6
169485 162312 177610 -12 0 12 4
169486 162312 177610 -13 -1 13 5
169487 162312 177610 -14 -2 14 6
169488 162312 177612 -15 2 15 3
169489 162312 177612 -16 1 16 4
169490 162312 177612 -17 0 17 5
169491 162312 177612 -18 -1 18 6
169492 162312 177612 -19 -2 19 7
169493 162317 177614 0 1 0 3
169494 162317 177614 -1 0 1 4
169495 162320 177614 9 -1 2 5
169543 162344 177666 -13 -1 13 9
169544 162344 177666 -14 -2 14 10
169545 162344 177674 -15 0 15 0
169546 162344 177674 -16 -1 16 1
169547 162344 177679 -17 0 17 0
169548 162344 177679 -18 -1 18 1
169549 162344 177681 -19 5 19 2
169550 162346 177681 2 4 20 3
169551 162346 177681 1 3 21 4
169552 162346 177681 0 2 22 5
316246 297736 335233 54 2 61 10
316247 297736 335233 53 1 62 11
316248 297736 335233 52 0 63 12
316249 297736 335233 51 -1 64 13
316250 297736 335253 50 6 65 2
316251 297736 335253 49 5 66 3
316252 297736 335253 48 4 67 4
335246 316248 355232 -13 -5 13 5
335247 316248 355232 -14 -6 14 6
335248 316248 355232 -15 -7 15 7
335249 316248 355235 -16 0 16 0
335250 316248 355235 -17 -1 17 1
335251 316248 355240 -18 0 18 0
335252 316248 355240 -19 -1 19 1
335253 316256 355240 0 -2 0 2
335254 316256 355242 -1 1 1 3
335255 316256 355242 -2 0 2 4
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 08:29:38.515 950621
End execution of Test 800 at: 08:29:38.984 950621
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 1 2 3
39999 399990 399991 399992 399993
79998 799980 799981 799982 799983
119997 1199970 1199971 1199972 1199973
159996 1599960 1599961 1599962 1599963
199995 1999950 1999951 1999952 1999953
239994 2399940 2399941 2399942 2399943
279993 2799930 2799931 2799932 2799933
319992 3199920 3199921 3199922 3199923
359991 3599910 3599911 3599912 3599913
399990 3999900 3999901 3999902 3999903
Start analysis of Test 8 at: 08:29:49.406 950621
End analysis of Test 8 at: 08:29:56.125 950621
Analysis of T8 data:
i w[][0] w[][1] w[][2] w[][3]
Save output from Test 8? [n]
================================================================================
Test T9. Collect performance data on cache hits.
Test T9.1. P2: inv -> excl & P3: inv -> excl.
Start execution of Test 9.1 at: 08:30:10.828 950621
End execution of Test 9.1 at: 08:30:11.625 950621
Start analysis of Test 9 at: 08:30:11.640 950621
End analysis of Test 9 at: 08:30:11.890 950621
0 424618 25 202 50 17 75 0
1 28 26 166 51 17 76 3
2 4 27 83 52 9 77 5
3 0 28 99 53 5 78 3
4 119 29 76 54 6 79 2
5 8 30 139 55 2 80 1
6 6 31 92 56 12 81 1
7 14 32 90 57 3 82 0
8 207 33 71 58 2 83 2
9 47220 34 85 59 8 84 4
10 3436 35 53 60 7 85 1
11 391 36 42 61 4 86 0
12 53 37 52 62 5 87 0
13 274 38 44 63 5 88 0
14 155 39 17 64 1 89 1
15 12546 40 6 65 5 90 27
16 912 41 33 66 3 91 25
17 1236 42 16 67 1 92 55
18 714 43 31 68 3 93 19
19 412 44 22 69 3 94 0
20 397 45 22 70 1 95 6
21 693 46 26 71 6 96 28
22 1638 47 25 72 3 97 20
23 1065 48 21 73 5 98 25
24 1553 49 10 74 2 99 9
Total = 499998, t9min = 0, t9max = 1566, under = 0, over = 0.
Test T9.2. P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at: 08:30:12.531 950621
End execution of Test 9.2 at: 08:30:12.890 950621
Start analysis of Test 9 at: 08:30:12.906 950621
End analysis of Test 9 at: 08:30:13.140 950621
0 416543 25 65 50 6 75 0
1 25 26 103 51 4 76 2
2 6 27 157 52 6 77 0
3 3 28 74 53 3 78 1
4 10227 29 51 54 4 79 0
5 1117 30 50 55 3 80 0
6 408 31 39 56 2 81 1
7 27 32 35 57 5 82 0
8 19586 33 35 58 3 83 0
9 6962 34 27 59 3 84 1
10 2679 35 20 60 3 85 2
11 439 36 14 61 0 86 1
12 118 37 15 62 0 87 1
13 28011 38 12 63 3 88 0
14 1192 39 16 64 2 89 0
15 198 40 11 65 0 90 1
16 710 41 16 66 2 91 1
17 1074 42 13 67 0 92 1
18 2748 43 10 68 0 93 0
19 1929 44 7 69 1 94 0
20 1400 45 6 70 1 95 0
21 909 46 9 71 0 96 0
22 2507 47 8 72 0 97 0
23 80 48 1 73 2 98 0
24 79 49 9 74 1 99 1
Total = 499998, t9min = 0, t9max = 1958, under = 0, over = 0.
Test T9.4. P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at: 08:30:13.781 950621
End execution of Test 9.4 at: 08:30:14.125 950621
Start analysis of Test 9 at: 08:30:14.140 950621
undr 0 999999 25 -999974
End analysis of Test 9 at: 08:30:14.375 950621
0 415052 25 71 50 2 75 0
1 37 26 86 51 8 76 1
2 4 27 55 52 6 77 1
3 8 28 49 53 3 78 0
4 23109 29 40 54 0 79 0
5 2556 30 37 55 4 80 0
6 943 31 19 56 0 81 0
7 442 32 18 57 1 82 1
8 95 33 14 58 2 83 1
9 105 34 16 59 2 84 0
10 4449 35 10 60 0 85 2
11 683 36 4 61 0 86 0
12 218 37 9 62 3 87 1
13 25110 38 9 63 0 88 0
14 16361 39 6 64 1 89 0
15 3265 40 10 65 0 90 1
16 19 41 22 66 0 91 0
17 1746 42 11 67 0 92 0
18 1816 43 9 68 0 93 0
19 424 44 4 69 1 94 1
20 40 45 3 70 0 95 0
21 976 46 5 71 0 96 0
22 724 47 7 72 0 97 3
23 1020 48 3 73 1 98 1
24 20 49 7 74 0 99 0
Total = 499997, t9min = -999974, t9max = 5728, under = 1, over = 0.
Test T9.3. P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at: 08:30:15.000 950621
End execution of Test 9.3 at: 08:30:15.343 950621
Start analysis of Test 9 at: 08:30:15.359 950621
End analysis of Test 9 at: 08:30:15.593 950621
0 416302 25 72 50 12 75 2
1 17 26 99 51 10 76 0
2 3 27 37 52 7 77 1
3 1 28 58 53 6 78 2
4 458 29 40 54 2 79 1
5 21 30 41 55 3 80 0
6 11 31 110 56 0 81 1
7 16 32 82 57 5 82 0
8 190 33 39 58 4 83 0
9 52443 34 21 59 5 84 0
10 6866 35 21 60 0 85 1
11 606 36 16 61 0 86 1
12 23 37 14 62 4 87 0
13 138 38 6 63 1 88 0
14 24 39 8 64 3 89 1
15 11333 40 8 65 0 90 0
16 592 41 12 66 1 91 1
17 465 42 15 67 1 92 1
18 699 43 12 68 2 93 0
19 126 44 9 69 1 94 0
20 67 45 6 70 3 95 0
21 65 46 6 71 0 96 1
22 3216 47 11 72 1 97 0
23 1956 48 5 73 0 98 1
24 3429 49 7 74 1 99 0
Total = 499998, t9min = 0, t9max = 307, under = 0, over = 0.
================================================================================
Failing tests: 400 420 700 720.
Run this job another time? [y] n