ARCHTEST. Version 4. 950301.
by W. W. Collier, mpdiag@acm.org.
08:35:40.288 950621
Compaq Proliant
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]: 3
Define logical length of arrays (max=500000) [20000]: 500000
The following tests can be run:
2 3 4 5 6 7 8 9
310 610
220 320 420 520 620 720
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Note added July 1996.
The numbering scheme for some tests was changed in late 1995.
The numbers for the following tests have not changed.
200 300 400 500 600 700 800 900
Two tests, 310 and 610, have been deleted. They created
extraneous cache traffic in a fixed format in order to see if that
introduced relaxed behavior. Currently, any test can have extraneous
cache traffic introduced in a random fashion by setting run time
parameters.
The names of these tests have been changed
220 320 420 520 620 720
to
210 310 410 510 610 710
The change in numbers should cause little confusion in
interpreting the results. The relaxation that a test seeks to detect
is determined only by the initial digit in its number. See the file
ANALYSIS to understand the relaxations that each of the tests seeks
to detect.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
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: acpq__00.out.
Number of processors: 3.
Length of the arrays: 500000.
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:36:39.243 950621
End execution of Test 200 at: 08:36:39.504 950621
i U V X Y
0 17 0 0 0
49999 95910 0 0 0
99998 193984 0 0 0
149997 299981 0 0 0
199996 409869 0 0 0
249995 499999 0 0 0
299994 499999 0 0 0
349993 499999 0 0 0
399992 499999 0 0 0
449991 499999 0 0 0
499990 499999 0 0 0
Start analysis of Test 2 at: 08:36:39.604 950621
End analysis of Test 2 at: 08:36:39.724 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:36:40.305 950621
End execution of Test 220 at: 08:36:40.585 950621
i U V X Y
0 0 0 0 0
49999 103632 0 0 0
99998 210163 0 0 0
149997 317795 0 0 0
199996 425088 0 0 0
249995 499999 0 0 0
299994 499999 0 0 0
349993 499999 0 0 0
399992 499999 0 0 0
449991 499999 0 0 0
499990 499999 0 0 0
Start analysis of Test 2 at: 08:36:40.866 950621
End analysis of Test 2 at: 08:36:40.986 950621
Analysis of T2 data:
i U V X Y
================================================================================
The number of processors (3) is too few to run Test T300.
================================================================================
The number of processors (3) is too few to run Test T310.
================================================================================
The number of processors (3) is too few to run Test T320.
================================================================================
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:36:41.647 950621
End execution of Test 400 at: 08:36:41.957 950621
i U V X Y
0 0 24 0 0
49999 49546 50577 0 0
99998 96767 103178 0 0
149997 140649 160345 0 0
199996 184586 217657 0 0
249995 229540 272027 0 0
299994 277224 323528 0 0
349993 326657 370936 0 0
399992 380488 418105 0 0
449991 432984 466232 0 0
499990 484777 499999 0 0
Start Part 1 analysis of Test 4 at: 08:36:42.067 950621
Error 4.2. v[ 1] = 24 < 25 and u[ 25] = 0 < 1
Error 4.2. v[ 5] = 30 < 31 and u[ 31] = 4 < 5
Error 4.2. v[ 6] = 30 < 31 and u[ 31] = 4 < 6
Error 4.2. v[ 8] = 34 < 35 and u[ 35] = 7 < 8
Error 4.2. v[ 10] = 39 < 40 and u[ 40] = 9 < 10
Error 4.2. v[ 14] = 41 < 42 and u[ 42] = 13 < 14
End Part 1 analysis of Test 4 at: 08:36:42.127 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 24 0 2097152 0
1 0 24 23 -1 2097152 1
2 0 30 22 2 2097152 2
3 0 30 21 1 2097152 3
4 0 30 20 0 2097152 4
5 0 30 19 -1 2097152 5
6 0 30 18 -2 2097152 6
7 0 34 17 0 2097152 0
8 0 34 16 -1 2097152 1
9 0 39 15 0 2097152 0
10 0 39 14 -1 2097152 1
11 0 41 13 2 2097152 2
12 0 41 12 1 2097152 3
13 0 41 11 0 2097152 4
14 0 41 10 -1 2097152 5
15 0 41 9 -2 2097152 6
16 0 45 8 0 2097152 0
17 0 45 7 -1 2097152 1
22 0 48 2 -2 2097152 6
23 0 48 1 -3 2097152 7
24 0 52 0 0 2097152 0
25 0 57 -1 2 2097152 1
26 0 57 -2 1 2097152 2
27 0 57 -3 0 2097152 3
28 0 60 -4 2 2097152 1
29 0 60 -5 1 2097152 2
30 4 60 0 0 0 3
31 4 63 -1 2 1 1
32 7 63 2 1 2 2
33 7 63 1 0 3 3
34 7 66 0 2 4 1
35 7 66 -1 1 5 2
36 7 66 -2 0 6 3
37 9 69 2 2 3 1
38 9 69 1 1 4 2
39 9 69 0 0 5 3
40 9 72 -1 1 6 1
41 13 72 0 0 0 2
42 13 76 -1 0 1 1
43 16 76 2 -1 2 2
44 16 79 1 2 3 2
45 16 79 0 1 4 3
Start Part 2 analysis of Test 4 at: 08:36:42.558 950621
d = -20.
Error 4.1. u[ 476488] = 460152 < 460153 and v[ 460153] = 476468 < 476488
d = -19.
Error 4.1. u[ 476487] = 460152 < 460153 and v[ 460153] = 476468 < 476487
d = -18.
Error 4.1. u[ 476486] = 460152 < 460153 and v[ 460153] = 476468 < 476486
d = -17.
Error 4.1. u[ 476485] = 460152 < 460153 and v[ 460153] = 476468 < 476485
d = -16.
Error 4.2. v[ 442615] = 459144 < 459145 and u[ 459145] = 442599 < 442615
Error 4.1. u[ 476484] = 460152 < 460153 and v[ 460153] = 476468 < 476484
d = -15.
Error 4.2. v[ 442614] = 459144 < 459145 and u[ 459145] = 442599 < 442614
Error 4.2. v[ 452632] = 468776 < 468777 and u[ 468777] = 452617 < 452632
Error 4.2. v[ 466309] = 481960 < 481961 and u[ 481961] = 466294 < 466309
Error 4.2. v[ 466377] = 482024 < 482025 and u[ 482025] = 466362 < 466377
Error 4.1. u[ 476483] = 460152 < 460153 and v[ 460153] = 476468 < 476483
Error 4.1. u[ 482201] = 466568 < 466569 and v[ 466569] = 482186 < 482201
d = -14.
Error 4.2. v[ 466376] = 482024 < 482025 and u[ 482025] = 466362 < 466376
Error 4.2. v[ 442613] = 459144 < 459145 and u[ 459145] = 442599 < 442613
Error 4.1. u[ 476482] = 460152 < 460153 and v[ 460153] = 476468 < 476482
Error 4.2. v[ 248898] = 270568 < 270569 and u[ 270569] = 248884 < 248898
Error 4.2. v[ 301017] = 324152 < 324153 and u[ 324153] = 301003 < 301017
Error 4.2. v[ 452631] = 468776 < 468777 and u[ 468777] = 452617 < 452631
Error 4.1. u[ 326629] = 301688 < 301689 and v[ 301689] = 326615 < 326629
Error 4.2. v[ 460488] = 476664 < 476665 and u[ 476665] = 460474 < 460488
Error 4.2. v[ 466308] = 481960 < 481961 and u[ 481961] = 466294 < 466308
Error 4.1. u[ 476727] = 460536 < 460537 and v[ 460537] = 476713 < 476727
Error 4.1. u[ 482023] = 466360 < 466361 and v[ 466361] = 482009 < 482023
Error 4.1. u[ 482200] = 466568 < 466569 and v[ 466569] = 482186 < 482200
Error 4.1. u[ 426374] = 408552 < 408553 and v[ 408553] = 426360 < 426374
d = -13.
Error 4.2. v[ 464036] = 480120 < 480121 and u[ 480121] = 464023 < 464036
Error 4.2. v[ 466307] = 481960 < 481961 and u[ 481961] = 466294 < 466307
Error 4.2. v[ 327257] = 350376 < 350377 and u[ 350377] = 327244 < 327257
Error 4.2. v[ 391373] = 409752 < 409753 and u[ 409753] = 391360 < 391373
Error 4.2. v[ 466375] = 482024 < 482025 and u[ 482025] = 466362 < 466375
Error 4.1. u[ 424933] = 407096 < 407097 and v[ 407097] = 424920 < 424933
Error 4.1. u[ 426373] = 408552 < 408553 and v[ 408553] = 426360 < 426373
Error 4.1. u[ 476481] = 460152 < 460153 and v[ 460153] = 476468 < 476481
Error 4.2. v[ 31304] = 31608 < 31609 and u[ 31609] = 31291 < 31304
Error 4.2. v[ 442612] = 459144 < 459145 and u[ 459145] = 442599 < 442612
Error 4.1. u[ 298248] = 276088 < 276089 and v[ 276089] = 298235 < 298248
Error 4.2. v[ 301016] = 324152 < 324153 and u[ 324153] = 301003 < 301016
Error 4.1. u[ 53397] = 52744 < 52745 and v[ 52745] = 53384 < 53397
Error 4.2. v[ 452630] = 468776 < 468777 and u[ 468777] = 452617 < 452630
Error 4.2. v[ 301288] = 324552 < 324553 and u[ 324553] = 301275 < 301288
Error 4.1. u[ 476726] = 460536 < 460537 and v[ 460537] = 476713 < 476726
Error 4.1. u[ 326628] = 301688 < 301689 and v[ 301689] = 326615 < 326628
Error 4.1. u[ 482022] = 466360 < 466361 and v[ 466361] = 482009 < 482022
Error 4.2. v[ 460487] = 476664 < 476665 and u[ 476665] = 460474 < 460487
Error 4.1. u[ 482199] = 466568 < 466569 and v[ 466569] = 482186 < 482199
Error 4.2. v[ 248897] = 270568 < 270569 and u[ 270569] = 248884 < 248897
Error 4.2. v[ 460504] = 476680 < 476681 and u[ 476681] = 460491 < 460504
d = -12.
Error 4.1. u[ 457925] = 441257 < 441258 and v[ 441258] = 457913 < 457925
Error 4.2. v[ 460469] = 476648 < 476649 and u[ 476649] = 460457 < 460469
Error 4.2. v[ 460486] = 476664 < 476665 and u[ 476665] = 460474 < 460486
End Part 2 analysis of Test 4 at: 08:36:46.844 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 108125 108125 0 0 1
2 52062 52164 0 0 2
3 11328 11273 0 0 3
4 7789 7758 0 0 4
5 7609 7587 0 0 5
6 3872 3755 0 0 6
7 3280 3229 0 0 7
8 1152 1116 0 0 8
9 65 75 0 0 9
10 42 53 0 0 10
11 34 43 0 0 11
12 19 19 0 0 12
13 9 13 0 0 13
14 6 7 0 0 14
15 2 4 0 0 15
16 1 1 0 0 16
17 1 0 0 0 17
18 1 0 0 0 18
19 1 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:
195399 195222 0 0
20 16 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
442609 425427 459144 0 -10 0 10
442610 425427 459144 -1 -11 1 11
442611 425430 459144 2 -12 2 12
442612 425430 459144 1 -13 3 13
442613 425430 459144 0 -14 4 14
442614 425430 459144 -1 -15 5 15
442615 425430 459144 -2 -16 6 16
442616 425432 459148 0 0 3 0
442617 425432 459160 -1 14 4 1
442618 425442 459160 0 13 0 2
452627 435910 468776 1 -10 3 10
452628 435910 468776 0 -11 4 11
452629 435910 468776 -1 -12 5 12
452630 435910 468776 -2 -13 6 13
452631 435912 468776 0 -14 3 14
452632 435912 468776 -1 -15 4 15
452633 435912 468792 -2 17 5 1
452634 435912 468792 -3 16 6 2
452635 435916 468792 0 15 0 3
459142 442599 475441 2 -1 9 5
459143 442599 475441 1 -2 10 6
459144 442599 475445 0 0 11 0
459145 442599 475451 -1 1 12 1
459146 442616 475451 14 0 2 2
459147 442616 475451 13 -1 3 3
459148 442616 475451 12 -2 4 4
460150 443617 476468 -1 2 1 4
460151 443620 476468 1 1 2 5
460152 443620 476468 0 0 3 6
460153 443620 476468 -1 -1 4 7
460154 443627 476488 1 10 2 2
460155 443627 476488 0 9 3 3
460156 443627 476488 -1 8 4 4
466304 450061 481960 -1 -10 1 10
466305 450064 481960 2 -11 2 11
466306 450064 481960 1 -12 3 12
466307 450064 481960 0 -13 4 13
466308 450064 481960 -1 -14 5 14
466309 450064 481960 -2 -15 6 15
466310 450068 481962 0 2 0 16
466311 450068 481962 -1 1 1 17
466312 450072 481962 0 0 2 18
466372 450134 482024 0 -10 4 12
466373 450134 482024 -1 -11 5 13
466374 450134 482024 -2 -12 6 14
466375 450136 482024 0 -13 3 15
466376 450136 482024 -1 -14 4 16
466377 450136 482024 -2 -15 5 17
466378 450136 482029 -3 0 6 0
466379 450139 482029 0 -1 0 1
466380 450139 482038 -1 0 1 0
468774 452617 484404 2 0 5 0
468775 452617 484404 1 -1 6 1
468776 452617 484407 0 0 7 2
468777 452617 484407 -1 -1 8 3
468778 452632 484411 14 1 2 2
468779 452632 484411 13 0 3 3
468780 452632 484411 12 -1 4 4
476478 460152 492256 -10 0 10 4
476479 460152 492256 -11 -1 11 5
476480 460152 492256 -12 -2 12 6
476481 460152 492260 -13 0 13 0
476482 460152 492260 -14 -1 14 1
476483 460152 492263 -15 2 15 2
476484 460152 492263 -16 1 16 3
476485 460152 492263 -17 0 17 4
476486 460152 492263 -18 -1 18 5
476487 460152 492263 -19 -2 19 6
476488 460152 492265 -20 1 20 3
476489 460164 492265 0 0 1 4
476490 460164 492265 -1 -1 2 5
476491 460168 492273 13 0 2 0
481958 466292 497385 -5 3 13 2
481959 466294 497385 1 2 6 3
481960 466294 497385 0 1 7 4
481961 466294 497385 -1 0 8 5
481962 466312 497385 17 -1 0 6
481963 466312 497391 16 2 1 2
481964 466312 497391 15 1 2 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:36:48.487 950621
End execution of Test 420 at: 08:36:48.817 950621
i U V X Y
0 0 1 0 0
49999 41880 59444 0 0
99998 84997 117393 0 0
149997 128371 174737 0 0
199996 171624 231218 0 0
249995 216529 288241 0 0
299994 260193 344946 0 0
349993 304463 401111 0 0
399992 348881 456294 0 0
449991 394509 499999 0 0
499990 436587 499999 0 0
Start Part 1 analysis of Test 4 at: 08:36:49.268 950621
Error 4.2. v[ 7] = 81 < 82 and u[ 82] = 6 < 7
Error 4.2. v[ 8] = 81 < 82 and u[ 82] = 6 < 8
Error 4.2. v[ 11] = 93 < 94 and u[ 94] = 10 < 11
Error 4.2. v[ 12] = 93 < 94 and u[ 94] = 10 < 12
Error 4.2. v[ 14] = 96 < 97 and u[ 97] = 13 < 14
Error 4.2. v[ 15] = 96 < 97 and u[ 97] = 13 < 15
End Part 1 analysis of Test 4 at: 08:36:49.328 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
4 0 79 72 0 2097152 2
5 0 81 71 1 2097152 1
6 0 81 70 0 2097152 2
7 0 81 69 -1 2097152 3
8 0 81 68 -2 2097152 4
9 0 93 67 1 2097152 1
10 0 93 66 0 2097152 2
11 0 93 65 -1 2097152 3
12 0 93 64 -2 2097152 4
13 0 96 63 0 2097152 0
14 0 96 62 -1 2097152 1
15 0 96 61 -2 2097152 2
16 0 96 60 -3 2097152 3
17 0 96 59 -4 2097152 4
18 0 100 58 0 2097152 0
79 2 183 0 0 3 0
80 4 183 1 -1 1 1
81 6 186 0 1 0 2
82 6 186 -1 0 1 3
83 8 186 10 -1 2 4
84 8 186 9 -2 3 5
85 8 190 8 0 4 0
91 8 202 2 0 10 3
92 8 202 1 -1 11 4
93 10 202 0 -2 0 5
94 10 206 -1 0 1 0
95 13 206 1 -1 2 1
96 13 209 0 1 3 2
97 13 209 -1 0 4 3
98 18 209 2 -1 2 4
99 18 209 1 -2 3 5
100 18 213 0 0 4 0
Start Part 2 analysis of Test 4 at: 08:36:49.678 950621
d = -17.
Error 4.1. u[ 370416] = 322568 < 322569 and v[ 322569] = 370399 < 370416
d = -16.
Error 4.1. u[ 370415] = 322568 < 322569 and v[ 322569] = 370399 < 370415
d = -15.
Error 4.1. u[ 203841] = 175160 < 175161 and v[ 175161] = 203826 < 203841
Error 4.1. u[ 217535] = 187944 < 187945 and v[ 187945] = 217520 < 217535
Error 4.1. u[ 220048] = 190136 < 190137 and v[ 190137] = 220033 < 220048
Error 4.1. u[ 370414] = 322568 < 322569 and v[ 322569] = 370399 < 370414
Error 4.1. u[ 23600] = 18792 < 18793 and v[ 18793] = 23585 < 23600
Error 4.1. u[ 113503] = 96424 < 96425 and v[ 96425] = 113488 < 113503
Error 4.1. u[ 402193] = 350984 < 350985 and v[ 350985] = 402178 < 402193
Error 4.1. u[ 421696] = 368904 < 368905 and v[ 368905] = 421681 < 421696
Error 4.1. u[ 455143] = 399048 < 399049 and v[ 399049] = 455128 < 455143
d = -14.
Error 4.1. u[ 281019] = 243656 < 243657 and v[ 243657] = 281005 < 281019
Error 4.1. u[ 370413] = 322568 < 322569 and v[ 322569] = 370399 < 370413
Error 4.1. u[ 113502] = 96424 < 96425 and v[ 96425] = 113488 < 113502
Error 4.1. u[ 217534] = 187944 < 187945 and v[ 187945] = 217520 < 217534
Error 4.1. u[ 23599] = 18792 < 18793 and v[ 18793] = 23585 < 23599
Error 4.1. u[ 402192] = 350984 < 350985 and v[ 350985] = 402178 < 402192
Error 4.1. u[ 220047] = 190136 < 190137 and v[ 190137] = 220033 < 220047
Error 4.1. u[ 421695] = 368904 < 368905 and v[ 368905] = 421681 < 421695
Error 4.1. u[ 203840] = 175160 < 175161 and v[ 175161] = 203826 < 203840
Error 4.1. u[ 426460] = 373384 < 373385 and v[ 373385] = 426446 < 426460
Error 4.1. u[ 455142] = 399048 < 399049 and v[ 399049] = 455128 < 455142
Error 4.1. u[ 270049] = 234248 < 234249 and v[ 234249] = 270035 < 270049
Error 4.1. u[ 483786] = 423368 < 423369 and v[ 423369] = 483772 < 483786
d = -13.
Error 4.2. v[ 148082] = 172448 < 172449 and u[ 172449] = 148069 < 148082
Error 4.1. u[ 172304] = 147944 < 147945 and v[ 147945] = 172291 < 172304
Error 4.1. u[ 220046] = 190136 < 190137 and v[ 190137] = 220033 < 220046
Error 4.1. u[ 203839] = 175160 < 175161 and v[ 175161] = 203826 < 203839
Error 4.1. u[ 402191] = 350984 < 350985 and v[ 350985] = 402178 < 402191
Error 4.1. u[ 23598] = 18792 < 18793 and v[ 18793] = 23585 < 23598
Error 4.1. u[ 270048] = 234248 < 234249 and v[ 234249] = 270035 < 270048
Error 4.1. u[ 421694] = 368904 < 368905 and v[ 368905] = 421681 < 421694
Error 4.1. u[ 113501] = 96424 < 96425 and v[ 96425] = 113488 < 113501
Error 4.1. u[ 281018] = 243656 < 243657 and v[ 243657] = 281005 < 281018
Error 4.1. u[ 426459] = 373384 < 373385 and v[ 373385] = 426446 < 426459
Error 4.1. u[ 217533] = 187944 < 187945 and v[ 187945] = 217520 < 217533
Error 4.1. u[ 455141] = 399048 < 399049 and v[ 399049] = 455128 < 455141
Error 4.1. u[ 326860] = 284216 < 284217 and v[ 284217] = 326847 < 326860
Error 4.1. u[ 358124] = 311576 < 311577 and v[ 311577] = 358111 < 358124
Error 4.1. u[ 467678] = 410024 < 410025 and v[ 410025] = 467665 < 467678
Error 4.1. u[ 481579] = 421496 < 421497 and v[ 421497] = 481566 < 481579
Error 4.1. u[ 481605] = 421512 < 421513 and v[ 421513] = 481592 < 481605
Error 4.1. u[ 483785] = 423368 < 423369 and v[ 423369] = 483772 < 483785
Error 4.1. u[ 370412] = 322568 < 322569 and v[ 322569] = 370399 < 370412
d = -12.
Error 4.2. v[ 369732] = 422560 < 422561 and u[ 422561] = 369720 < 369732
Error 4.1. u[ 370411] = 322568 < 322569 and v[ 322569] = 370399 < 370411
Error 4.2. v[ 124029] = 145360 < 145361 and u[ 145361] = 124017 < 124029
Error 4.2. v[ 125889] = 147136 < 147137 and u[ 147137] = 125877 < 125889
Error 4.2. v[ 148081] = 172448 < 172449 and u[ 172449] = 148069 < 148081
Error 4.1. u[ 220045] = 190136 < 190137 and v[ 190137] = 220033 < 220045
End Part 2 analysis of Test 4 at: 08:36:54.185 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 113852 113852 0 0 1
2 57080 52007 0 0 2
3 13966 8822 0 0 3
4 9924 5912 0 0 4
5 9704 5051 0 0 5
6 8393 816 0 0 6
7 8197 136 0 0 7
8 5793 93 0 0 8
9 316 45 0 0 9
10 79 23 0 0 10
11 57 11 0 0 11
12 28 6 0 0 12
13 19 1 0 0 13
14 13 0 0 0 14
15 9 0 0 0 15
16 1 0 0 0 16
17 1 0 0 0 17
18 0 0 0 0 18
19 0 0 0 0 19
20 0 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:
227432 186775 0 0
17 13 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
23595 18792 29306 -10 1 10 3
23596 18792 29306 -11 0 11 4
23597 18792 29306 -12 -1 12 5
23598 18792 29306 -13 -2 13 6
23599 18792 29310 -14 0 14 0
23600 18792 29310 -15 -1 15 1
23601 18795 29313 0 1 0 2
23602 18795 29313 -1 0 1 3
23603 18798 29313 2 -1 2 4
175158 150339 203826 -1 2 5 8
175159 150339 203826 -2 1 6 9
175160 150342 203826 0 0 0 10
175161 150342 203826 -1 -1 1 11
175162 150344 203842 8 2 2 2
175163 150344 203842 7 1 3 3
175164 150344 203842 6 0 4 4
187942 161064 217515 -6 0 10 0
187943 161064 217515 -7 -1 11 1
187944 161066 217520 2 0 8 0
187945 161066 217520 1 -1 9 1
187946 161066 217536 0 12 10 2
187947 161066 217536 -1 11 11 3
187948 161066 217536 -2 10 12 4
190134 163097 220032 1 2 6 14
190135 163099 220032 0 1 0 15
190136 163099 220033 -1 0 1 11
190137 163103 220033 2 -1 2 12
190138 163103 220049 1 2 3 2
190139 163103 220049 0 1 4 3
190140 163103 220049 -1 0 5 4
203836 175160 235602 -10 -1 10 1
203837 175160 235605 -11 1 11 2
203838 175160 235605 -12 0 12 3
203839 175160 235605 -13 -1 13 4
203840 175160 235605 -14 -2 14 5
203841 175160 235609 -15 0 15 0
203842 175164 235609 0 -1 0 1
203843 175164 235612 -1 2 1 2
203844 175167 235612 2 1 2 3
217530 187944 251216 -10 1 15 7
217531 187944 251218 -11 0 16 0
217532 187944 251218 -12 -1 17 1
217533 187944 251221 -13 1 18 2
217534 187944 251221 -14 0 19 3
217535 187944 251221 -15 -1 20 4
217536 187947 251221 0 -2 0 5
217537 187958 251225 0 0 1 0
217538 187958 251225 -1 -1 2 1
220042 190136 254112 -9 9 10 2
220043 190136 254112 -10 8 11 3
220044 190136 254112 -11 7 12 4
220045 190136 254112 -12 6 13 5
220046 190136 254112 -13 5 14 6
220047 190136 254112 -14 4 15 7
220048 190136 254112 -15 3 16 8
220049 190140 254112 0 2 0 9
220050 190140 254112 -1 1 1 10
220051 190143 254115 8 0 2 0
322566 280638 370397 -1 -2 1 8
322567 280641 370399 2 1 2 3
322568 280641 370399 1 0 3 4
322569 280641 370399 0 -1 4 5
322570 280641 370417 -1 3 5 2
322571 280641 370417 -2 2 6 3
322572 280645 370417 0 1 0 4
370408 322568 423392 -9 0 9 3
370409 322568 423392 -10 -1 10 4
370410 322568 423392 -11 -2 11 5
370411 322568 423392 -12 -3 12 6
370412 322568 423392 -13 -4 13 7
370413 322568 423392 -14 -5 14 8
370414 322568 423396 -15 0 15 0
370415 322568 423396 -16 -1 16 1
370416 322568 423399 -17 1 17 2
370417 322573 423399 0 0 0 3
370418 322573 423399 -1 -1 1 4
370419 322576 423399 2 -2 2 5
================================================================================
Test T500. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 500 at: 08:36:55.807 950621
End execution of Test 500 at: 08:36:56.057 950621
i U V X Y
0 49 74 0 0
49999 499999 499999 0 0
99998 499999 499999 0 0
149997 499999 499999 0 0
199996 499999 499999 0 0
249995 499999 499999 0 0
299994 499999 499999 0 0
349993 499999 499999 0 0
399992 499999 499999 0 0
449991 499999 499999 0 0
499990 499999 499999 0 0
Start analysis of Test 5 at: 08:36:56.168 950621
End analysis of Test 5 at: 08:36:56.288 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:36:56.879 950621
End execution of Test 520 at: 08:36:57.149 950621
i U V X Y
0 0 115 0 0
49999 499999 499999 0 0
99998 499999 499999 0 0
149997 499999 499999 0 0
199996 499999 499999 0 0
249995 499999 499999 0 0
299994 499999 499999 0 0
349993 499999 499999 0 0
399992 499999 499999 0 0
449991 499999 499999 0 0
499990 499999 499999 0 0
Start analysis of Test 5 at: 08:36:57.570 950621
End analysis of Test 5 at: 08:36:57.690 950621
Analysis of T5 data:
i U V X Y
================================================================================
The number of processors (3) is too few to run Test T600.
================================================================================
The number of processors (3) is too few to run Test T610.
================================================================================
The number of processors (3) is too few to run Test T620.
================================================================================
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:36:58.361 950621
End execution of Test 700 at: 08:36:58.751 950621
i U V X Y
0 0 2 499999 499999
49999 48693 51357 0 0
99998 98410 101720 0 0
149997 147080 152847 0 0
199996 195793 204283 0 0
249995 245551 254598 0 0
299994 294217 305838 0 0
349993 344286 355165 0 0
399992 394404 405624 0 0
449991 443667 456323 0 0
499990 492905 499999 0 0
Start Part 1 analysis of Test 7 at: 08:36:58.861 950621
Error 7.2. v[ 3] = 9 < 10 and u[ 10] = 2 < 3
Error 7.2. v[ 4] = 9 < 10 and u[ 10] = 2 < 4
Error 7.2. v[ 5] = 9 < 10 and u[ 10] = 2 < 5
Error 7.2. v[ 7] = 12 < 13 and u[ 13] = 6 < 7
Error 7.2. v[ 9] = 14 < 15 and u[ 15] = 8 < 9
Error 7.1. u[ 10] = 2 < 3 and v[ 3] = 9 < 10
End Part 1 analysis of Test 7 at: 08:36:58.922 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 2 9 0 2097152 0
1 0 9 8 1 2097152 1
2 0 9 7 0 2097152 2
3 0 9 6 -1 2097152 3
4 0 9 5 -2 2097152 4
5 0 9 4 -3 2097152 5
6 0 12 3 0 2097152 0
7 0 12 2 -1 2097152 1
8 0 14 1 0 2097152 2
9 2 14 0 -1 0 3
10 2 19 -1 1 1 2
11 6 19 1 0 2 3
12 6 19 0 -1 3 4
13 6 22 -1 0 4 0
14 8 22 0 -1 2 1
15 8 24 -1 8 3 2
16 8 24 -2 7 4 3
17 8 24 -3 6 5 4
18 8 24 -4 5 6 5
Start Part 2 analysis of Test 7 at: 08:36:59.142 950621
d = -13.
Error 7.1. u[ 325496] = 319784 < 319785 and v[ 319785] = 325483 < 325496
Error 7.2. v[ 399174] = 404776 < 404777 and u[ 404777] = 399161 < 399174
Error 7.1. u[ 404711] = 399096 < 399097 and v[ 399097] = 404698 < 404711
Error 7.1. u[ 404966] = 399336 < 399337 and v[ 399337] = 404953 < 404966
Error 7.1. u[ 430183] = 424472 < 424473 and v[ 424473] = 430170 < 430183
d = -12.
Error 7.1. u[ 404710] = 399096 < 399097 and v[ 399097] = 404698 < 404710
Error 7.1. u[ 325511] = 319800 < 319801 and v[ 319801] = 325499 < 325511
Error 7.1. u[ 404965] = 399336 < 399337 and v[ 399337] = 404953 < 404965
Error 7.2. v[ 399173] = 404776 < 404777 and u[ 404777] = 399161 < 399173
Error 7.2. v[ 424437] = 430136 < 430137 and u[ 430137] = 424425 < 424437
Error 7.1. u[ 430182] = 424472 < 424473 and v[ 424473] = 430170 < 430182
Error 7.1. u[ 325495] = 319784 < 319785 and v[ 319785] = 325483 < 325495
d = -11.
Error 7.1. u[ 325556] = 319848 < 319849 and v[ 319849] = 325545 < 325556
Error 7.1. u[ 404964] = 399336 < 399337 and v[ 399337] = 404953 < 404964
Error 7.2. v[ 399172] = 404776 < 404777 and u[ 404777] = 399161 < 399172
Error 7.1. u[ 325494] = 319784 < 319785 and v[ 319785] = 325483 < 325494
Error 7.2. v[ 424436] = 430136 < 430137 and u[ 430137] = 424425 < 424436
Error 7.1. u[ 325510] = 319800 < 319801 and v[ 319801] = 325499 < 325510
Error 7.1. u[ 430181] = 424472 < 424473 and v[ 424473] = 430170 < 430181
Error 7.1. u[ 404709] = 399096 < 399097 and v[ 399097] = 404698 < 404709
Error 7.1. u[ 325190] = 319416 < 319417 and v[ 319417] = 325179 < 325190
d = -10.
Error 7.2. v[ 399313] = 404920 < 404921 and u[ 404921] = 399303 < 399313
Error 7.1. u[ 404708] = 399096 < 399097 and v[ 399097] = 404698 < 404708
Error 7.1. u[ 325509] = 319800 < 319801 and v[ 319801] = 325499 < 325509
Error 7.1. u[ 214886] = 210504 < 210505 and v[ 210505] = 214876 < 214886
Error 7.1. u[ 325316] = 319592 < 319593 and v[ 319593] = 325306 < 325316
Error 7.1. u[ 404963] = 399336 < 399337 and v[ 399337] = 404953 < 404963
Error 7.1. u[ 325555] = 319848 < 319849 and v[ 319849] = 325545 < 325555
Error 7.1. u[ 325493] = 319784 < 319785 and v[ 319785] = 325483 < 325493
Error 7.1. u[ 379169] = 374008 < 374009 and v[ 374009] = 379159 < 379169
Error 7.2. v[ 424435] = 430136 < 430137 and u[ 430137] = 424425 < 424435
Error 7.2. v[ 399093] = 404696 < 404697 and u[ 404697] = 399083 < 399093
Error 7.2. v[ 399171] = 404776 < 404777 and u[ 404777] = 399161 < 399171
Error 7.2. v[ 424469] = 430168 < 430169 and u[ 430169] = 424459 < 424469
Error 7.1. u[ 430180] = 424472 < 424473 and v[ 424473] = 430170 < 430180
Error 7.2. v[ 319589] = 325304 < 325305 and u[ 325305] = 319579 < 319589
Error 7.2. v[ 320072] = 325768 < 325769 and u[ 325769] = 320062 < 320072
Error 7.1. u[ 325189] = 319416 < 319417 and v[ 319417] = 325179 < 325189
d = -9.
Error 7.1. u[ 83698] = 82072 < 82073 and v[ 82073] = 83689 < 83698
Error 7.2. v[ 399312] = 404920 < 404921 and u[ 404921] = 399303 < 399312
Error 7.2. v[ 320071] = 325768 < 325769 and u[ 325769] = 320062 < 320071
Error 7.1. u[ 404707] = 399096 < 399097 and v[ 399097] = 404698 < 404707
Error 7.1. u[ 325508] = 319800 < 319801 and v[ 319801] = 325499 < 325508
Error 7.2. v[ 125234] = 127544 < 127545 and u[ 127545] = 125225 < 125234
Error 7.1. u[ 325156] = 319368 < 319369 and v[ 319369] = 325147 < 325156
Error 7.1. u[ 325188] = 319416 < 319417 and v[ 319417] = 325179 < 325188
Error 7.1. u[ 404962] = 399336 < 399337 and v[ 399337] = 404953 < 404962
Error 7.1. u[ 325523] = 319816 < 319817 and v[ 319817] = 325514 < 325523
Error 7.1. u[ 325554] = 319848 < 319849 and v[ 319849] = 325545 < 325554
Error 7.2. v[ 141576] = 144344 < 144345 and u[ 144345] = 141567 < 141576
End Part 2 analysis of Test 7 at: 08:37:03.448 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 149944 149944 0 0 1
2 15494 15534 0 0 2
3 12571 12618 0 0 3
4 10604 10591 0 0 4
5 9489 9423 0 0 5
6 6389 6215 0 0 6
7 444 434 0 0 7
8 217 222 0 0 8
9 15 11 0 0 9
10 10 7 0 0 10
11 7 2 0 0 11
12 5 2 0 0 12
13 4 1 0 0 13
14 0 0 0 0 14
15 0 0 0 0 15
16 0 0 0 0 16
17 0 0 0 0 17
18 0 0 0 0 18
19 0 0 0 0 19
20 0 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:
205193 205004 0 0
13 13 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
319782 313620 325483 1 2 2 6
319783 313620 325483 0 1 3 7
319784 313620 325483 -1 0 4 8
319785 313624 325483 0 -1 0 9
319786 313624 325497 -1 8 1 2
319787 313624 325497 -2 7 2 3
319788 313624 325497 -3 6 3 4
325490 319784 331236 -7 -1 7 4
325491 319784 331238 -8 1 8 2
325492 319784 331238 -9 0 9 3
325493 319784 331238 -10 -1 10 4
325494 319784 331240 -11 0 11 2
325495 319784 331240 -12 -1 12 3
325496 319784 331240 -13 -2 13 4
325497 319794 331240 0 -3 0 5
325498 319794 331240 -1 -4 1 6
325499 319800 331243 0 0 0 0
399090 393508 404696 -1 -7 4 7
399091 393511 404696 0 -8 0 8
399092 393511 404696 -1 -9 1 9
399093 393513 404696 4 -10 2 10
399094 393513 404698 3 2 3 11
399095 393513 404698 2 1 4 12
399096 393513 404698 1 0 5 13
399097 393513 404698 0 -1 6 14
399098 393513 404712 -1 14 7 2
399099 393517 404712 1 13 2 3
399100 393517 404712 0 12 3 4
399168 393587 404776 1 -7 2 7
399169 393587 404776 0 -8 3 8
399170 393587 404776 -1 -9 4 9
399171 393589 404776 1 -10 2 10
399172 393589 404776 0 -11 3 11
399173 393589 404776 -1 -12 4 12
399174 393592 404776 0 -13 0 13
399175 393592 404780 -1 0 1 0
399176 393592 404780 -2 -1 2 1
399177 393592 404793 -3 5 3 1
399334 393741 404953 -1 2 4 9
399335 393744 404953 0 1 0 10
399336 393744 404953 -1 0 1 11
399337 393749 404953 0 -1 0 12
399338 393749 404968 -1 0 1 0
399339 393751 404968 1 -1 2 1
399340 393751 404968 0 -2 3 2
404704 399096 410444 -6 -1 6 1
404705 399096 410446 -7 2 7 2
404706 399096 410446 -8 1 8 3
404707 399096 410446 -9 0 9 4
404708 399096 410446 -10 -1 10 5
404709 399096 410449 -11 0 11 0
404710 399096 410449 -12 -1 12 1
404711 399096 410451 -13 1 13 2
404712 399100 410451 0 0 0 3
404713 399112 410451 0 -1 0 4
404714 399112 410457 -1 3 1 2
404774 399161 410516 2 -1 11 1
404775 399161 410518 1 1 12 2
404776 399161 410518 0 0 13 3
404777 399161 410518 -1 -1 14 4
404778 399175 410523 2 1 2 2
404779 399175 410523 1 0 3 3
404780 399175 410523 0 -1 4 4
404959 399336 410680 -6 -6 6 6
404960 399336 410680 -7 -7 7 7
404961 399336 410683 -8 0 8 0
404962 399336 410683 -9 -1 9 1
404963 399336 410685 -10 1 10 2
404964 399336 410685 -11 0 11 3
404965 399336 410685 -12 -1 12 4
404966 399336 410688 -13 0 13 0
404967 399338 410688 1 -1 14 1
404968 399338 410690 0 0 15 2
404969 399338 410690 -1 -1 16 3
430177 424472 436125 -7 0 7 0
430178 424472 436125 -8 -1 8 1
430179 424472 436127 -9 1 9 2
430180 424472 436127 -10 0 10 3
430181 424472 436127 -11 -1 11 4
430182 424472 436130 -12 0 12 0
430183 424472 436130 -13 -1 13 1
430184 424474 436132 0 0 14 2
430185 424474 436132 -1 -1 15 3
430186 424485 436138 0 3 0 2
================================================================================
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:37:05.191 950621
End execution of Test 720 at: 08:37:05.591 950621
i U V X Y
0 0 9 499999 0
49999 40943 61784 0 0
99998 80354 124535 0 0
149997 120792 186971 0 0
199996 160237 250392 0 0
249995 199663 314166 0 0
299994 239308 379895 0 0
349993 277638 446131 0 0
399992 315262 499999 0 0
449991 353231 499999 0 0
499990 394597 499999 0 0
Start Part 1 analysis of Test 7 at: 08:37:06.032 950621
Error 7.2. v[ 3] = 53 < 54 and u[ 54] = 2 < 3
Error 7.2. v[ 5] = 56 < 57 and u[ 57] = 4 < 5
Error 7.2. v[ 7] = 59 < 60 and u[ 60] = 6 < 7
Error 7.2. v[ 12] = 66 < 67 and u[ 67] = 11 < 12
Error 7.2. v[ 14] = 69 < 70 and u[ 70] = 13 < 14
Error 7.2. v[ 16] = 72 < 73 and u[ 73] = 15 < 16
End Part 1 analysis of Test 7 at: 08:37:06.092 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 9 53 0 2097152 0
1 0 53 52 1 2097152 1
2 0 53 51 0 2097152 2
3 0 53 50 -1 2097152 3
4 0 56 49 0 2097152 0
5 0 56 48 -1 2097152 1
6 0 59 47 0 2097152 0
7 0 59 46 -1 2097152 1
8 0 62 45 0 2097152 0
9 0 66 44 2 2097152 1
10 0 66 43 1 2097152 2
11 0 66 42 0 2097152 3
12 0 66 41 -1 2097152 4
13 0 69 40 0 2097152 0
14 0 69 39 -1 2097152 1
15 0 72 38 0 2097152 0
16 0 72 37 -1 2097152 1
17 0 75 36 0 2097152 0
18 0 75 35 -1 2097152 1
19 0 78 34 0 2097152 0
51 0 116 2 -1 2097152 1
52 0 119 1 0 2097152 0
53 2 119 0 -1 0 1
54 2 122 -1 0 1 0
55 4 122 1 -1 2 1
56 4 125 0 0 3 0
57 4 130 -1 2 4 1
58 6 130 1 1 2 2
59 6 130 0 0 3 3
60 6 130 -1 -1 4 4
61 8 133 5 0 2 0
62 8 133 4 -1 3 1
63 8 136 3 0 4 0
64 8 136 2 -1 5 1
65 8 139 1 0 6 0
66 11 139 0 -1 0 1
67 11 142 -1 0 1 0
68 13 142 1 -1 2 1
69 13 144 0 0 3 2
70 13 144 -1 -1 4 3
71 15 144 1 -2 2 4
72 15 144 0 -3 3 5
73 15 144 -1 -4 4 6
74 17 147 1 0 2 0
75 17 147 0 -1 3 1
76 17 150 -1 0 4 0
Start Part 2 analysis of Test 7 at: 08:37:06.563 950621
d = -15.
Error 7.1. u[ 55678] = 45448 < 45449 and v[ 45449] = 55663 < 55678
d = -14.
Error 7.1. u[ 55677] = 45448 < 45449 and v[ 45449] = 55663 < 55677
d = -13.
Error 7.1. u[ 55676] = 45448 < 45449 and v[ 45449] = 55663 < 55676
d = -12.
Error 7.2. v[ 42601] = 52240 < 52241 and u[ 52241] = 42589 < 42601
Error 7.1. u[ 52848] = 43224 < 43225 and v[ 43225] = 52836 < 52848
Error 7.1. u[ 55675] = 45448 < 45449 and v[ 45449] = 55663 < 55675
Error 7.1. u[ 56013] = 45704 < 45705 and v[ 45705] = 56001 < 56013
d = -11.
Error 7.1. u[ 55674] = 45448 < 45449 and v[ 45449] = 55663 < 55674
Error 7.1. u[ 52847] = 43224 < 43225 and v[ 43225] = 52836 < 52847
Error 7.1. u[ 56012] = 45704 < 45705 and v[ 45705] = 56001 < 56012
Error 7.2. v[ 42600] = 52240 < 52241 and u[ 52241] = 42589 < 42600
d = -10.
Error 7.1. u[ 55673] = 45448 < 45449 and v[ 45449] = 55663 < 55673
Error 7.1. u[ 52846] = 43224 < 43225 and v[ 43225] = 52836 < 52846
Error 7.1. u[ 56011] = 45704 < 45705 and v[ 45705] = 56001 < 56011
Error 7.2. v[ 17179] = 21072 < 21073 and u[ 21073] = 17169 < 17179
Error 7.2. v[ 42599] = 52240 < 52241 and u[ 52241] = 42589 < 42599
Error 7.1. u[ 69552] = 56312 < 56313 and v[ 56313] = 69542 < 69552
Error 7.1. u[ 81789] = 66024 < 66025 and v[ 66025] = 81779 < 81789
Error 7.2. v[ 101469] = 126544 < 126545 and u[ 126545] = 101459 < 101469
Error 7.2. v[ 176613] = 220720 < 220721 and u[ 220721] = 176603 < 176613
Error 7.1. u[ 234799] = 187544 < 187545 and v[ 187545] = 234789 < 234799
d = -9.
Error 7.1. u[ 55622] = 45400 < 45401 and v[ 45401] = 55613 < 55622
Error 7.1. u[ 69551] = 56312 < 56313 and v[ 56313] = 69542 < 69551
Error 7.1. u[ 55672] = 45448 < 45449 and v[ 45449] = 55663 < 55672
Error 7.1. u[ 77484] = 62568 < 62569 and v[ 62569] = 77475 < 77484
Error 7.1. u[ 81788] = 66024 < 66025 and v[ 66025] = 81779 < 81788
Error 7.2. v[ 42598] = 52240 < 52241 and u[ 52241] = 42589 < 42598
Error 7.2. v[ 90108] = 112176 < 112177 and u[ 112177] = 90099 < 90108
Error 7.2. v[ 101468] = 126544 < 126545 and u[ 126545] = 101459 < 101468
Error 7.1. u[ 56010] = 45704 < 45705 and v[ 45705] = 56001 < 56010
Error 7.1. u[ 105469] = 84584 < 84585 and v[ 84585] = 105460 < 105469
Error 7.2. v[ 172980] = 216576 < 216577 and u[ 216577] = 172971 < 172980
Error 7.2. v[ 174291] = 218195 < 218196 and u[ 218196] = 174282 < 174291
Error 7.2. v[ 176612] = 220720 < 220721 and u[ 220721] = 176603 < 176612
Error 7.2. v[ 17178] = 21072 < 21073 and u[ 21073] = 17169 < 17178
Error 7.1. u[ 234798] = 187544 < 187545 and v[ 187545] = 234789 < 234798
Error 7.1. u[ 52845] = 43224 < 43225 and v[ 43225] = 52836 < 52845
d = -8.
Error 7.1. u[ 54122] = 44328 < 44329 and v[ 44329] = 54114 < 54122
Error 7.1. u[ 54222] = 44392 < 44393 and v[ 44393] = 54214 < 54222
Error 7.1. u[ 54330] = 44488 < 44489 and v[ 44489] = 54322 < 54330
Error 7.1. u[ 56108] = 45768 < 45769 and v[ 45769] = 56100 < 56108
Error 7.1. u[ 56393] = 45977 < 45978 and v[ 45978] = 56385 < 56393
Error 7.2. v[ 62605] = 77520 < 77521 and u[ 77521] = 62597 < 62605
Error 7.1. u[ 69550] = 56312 < 56313 and v[ 56313] = 69542 < 69550
Error 7.1. u[ 54577] = 44664 < 44665 and v[ 44665] = 54569 < 54577
Error 7.1. u[ 55163] = 45080 < 45081 and v[ 45081] = 55155 < 55163
Error 7.2. v[ 73507] = 91120 < 91121 and u[ 91121] = 73499 < 73507
Error 7.1. u[ 77483] = 62568 < 62569 and v[ 62569] = 77475 < 77483
Error 7.1. u[ 55416] = 45256 < 45257 and v[ 45257] = 55408 < 55416
Error 7.1. u[ 81787] = 66024 < 66025 and v[ 66025] = 81779 < 81787
End Part 2 analysis of Test 7 at: 08:37:10.268 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 135785 135785 0 0 1
2 9408 15812 0 0 2
3 4369 13222 0 0 3
4 2375 11329 0 0 4
5 2166 461 0 0 5
6 813 223 0 0 6
7 52 40 0 0 7
8 32 15 0 0 8
9 9 7 0 0 9
10 6 4 0 0 10
11 3 1 0 0 11
12 3 1 0 0 12
13 1 0 0 0 13
14 1 0 0 0 14
15 1 0 0 0 15
16 0 0 0 0 16
17 0 0 0 0 17
18 0 0 0 0 18
19 0 0 0 0 19
20 0 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:
155024 176900 0 0
15 12 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
17175 14075 21072 -1 -6 4 6
17176 14077 21072 1 -7 2 7
17177 14077 21072 0 -8 3 8
17178 14077 21072 -1 -9 4 9
17179 14079 21072 1 -10 2 10
17180 14079 21076 0 0 3 0
17181 14079 21076 -1 -1 4 1
17182 14081 21080 1 0 2 0
42595 35328 52240 1 -6 2 8
42596 35328 52240 0 -7 3 9
42597 35328 52240 -1 -8 4 10
42598 35330 52240 2 -9 2 11
42599 35330 52240 1 -10 3 12
42600 35330 52240 0 -11 4 13
42601 35330 52240 -1 -12 5 14
42602 35332 52244 1 0 2 0
42603 35332 52244 0 -1 3 1
42604 35332 52251 -1 0 4 0
43222 35784 52834 7 -1 5 14
43223 35784 52834 6 -2 6 15
43224 35784 52836 5 0 7 3
43225 35784 52836 4 -1 8 4
43226 35784 52849 3 8 9 2
43227 35784 52849 2 7 10 3
43228 35784 52849 1 6 11 4
45446 37387 55661 0 -1 0 6
45447 37387 55661 -1 -2 1 7
45448 37389 55663 1 0 2 3
45449 37389 55663 0 -1 3 4
45450 37389 55679 -1 2 4 2
45451 37389 55679 -2 1 5 3
45452 37392 55679 0 0 0 4
45702 37576 56001 5 2 6 6
45703 37576 56001 4 1 7 7
45704 37576 56001 3 0 8 8
45705 37576 56001 2 -1 9 9
45706 37576 56014 1 1 10 2
45707 37578 56014 0 0 0 3
45708 37578 56014 -1 -1 1 4
52238 42587 64485 0 -1 4 1
52239 42587 64488 -1 0 5 0
52240 42589 64488 0 -1 2 1
52241 42589 64491 -1 0 3 0
52242 42602 64491 2 -1 2 1
52243 42602 64495 1 0 3 0
52244 42602 64495 0 -1 4 1
52842 43224 65296 -6 -1 8 1
52843 43224 65296 -7 -2 9 2
52844 43224 65296 -8 -3 10 3
52845 43224 65296 -9 -4 11 4
52846 43224 65299 -10 0 12 0
52847 43224 65299 -11 -1 13 1
52848 43224 65302 -12 1 14 2
52849 43234 65302 0 0 0 3
52850 43234 65302 -1 -1 1 4
52851 43238 65305 0 0 0 0
55669 45448 68694 -6 -1 8 1
55670 45448 68697 -7 0 9 0
55671 45448 68697 -8 -1 10 1
55672 45448 68700 -9 0 11 0
55673 45448 68707 -10 1 12 1
55674 45448 68707 -11 0 13 2
55675 45448 68707 -12 -1 14 3
55676 45448 68707 -13 -2 15 4
55677 45448 68710 -14 0 16 0
55678 45448 68710 -15 -1 17 1
55679 45452 68713 0 0 0 0
55680 45452 68713 -1 -1 1 1
55681 45461 68716 1 0 1 0
56007 45704 69153 -6 0 6 4
56008 45704 69153 -7 -1 7 5
56009 45704 69158 -8 0 8 0
56010 45704 69158 -9 -1 9 1
56011 45704 69162 -10 0 10 0
56012 45704 69162 -11 -1 11 1
56013 45704 69165 -12 0 12 0
56014 45707 69165 0 -1 0 1
56015 45707 69168 -1 0 1 0
56016 45710 69168 0 -1 2 1
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 08:37:11.900 950621
End execution of Test 800 at: 08:37:12.882 950621
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 1 2 3
49999 491911 499991 499992 499993
99998 999980 999981 999982 999983
149997 1499970 1633512 1499972 1499973
199996 1999960 1999961 1999962 1999963
249995 2499950 2563750 2499952 2499953
299994 2999940 2999941 2999942 2999943
349993 3417431 3499931 3207591 3499933
399992 3999920 4357222 3999922 3999923
449991 4451271 4499911 4499912 4499913
499990 4999900 4999901 4527861 4999903
Start analysis of Test 8 at: 08:37:13.983 950621
End analysis of Test 8 at: 08:37:25.189 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:37:27.723 950621
End execution of Test 9.1 at: 08:37:27.973 950621
Start analysis of Test 9 at: 08:37:27.993 950621
End analysis of Test 9 at: 08:37:28.214 950621
0 454005 25 13 50 11 75 0
1 10 26 18 51 1 76 0
2 23 27 14 52 11 77 0
3 3 28 21 53 5 78 0
4 8 29 13 54 2 79 0
5 6 30 52 55 1 80 0
6 64 31 6 56 0 81 0
7 3 32 8 57 6 82 0
8 4 33 6 58 1 83 0
9 5 34 4 59 2 84 0
10 6 35 0 60 0 85 0
11 14 36 1 61 0 86 0
12 12 37 1 62 0 87 0
13 3 38 2 63 0 88 0
14 6 39 1 64 1 89 0
15 6 40 1119 65 0 90 0
16 5 41 323 66 0 91 0
17 33553 42 75 67 0 92 0
18 1746 43 2771 68 0 93 0
19 3854 44 380 69 0 94 0
20 20 45 591 70 0 95 0
21 633 46 263 71 0 96 0
22 40 47 35 72 0 97 0
23 41 48 6 73 0 98 0
24 58 49 9 74 0 99 0
Total = 499998, t9min = 0, t9max = 1553, under = 0, over = 0.
Test T9.2. P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at: 08:37:28.614 950621
End execution of Test 9.2 at: 08:37:28.865 950621
Start analysis of Test 9 at: 08:37:28.885 950621
End analysis of Test 9 at: 08:37:29.095 950621
0 420290 25 1554 50 0 75 0
1 4 26 107 51 0 76 0
2 62 27 25 52 0 77 0
3 5 28 5158 53 0 78 0
4 2 29 19 54 0 79 0
5 4 30 186 55 0 80 0
6 8327 31 19 56 0 81 0
7 3534 32 17 57 0 82 0
8 77 33 6 58 0 83 0
9 14 34 54 59 0 84 0
10 53123 35 0 60 0 85 0
11 162 36 4 61 0 86 0
12 52 37 5 62 0 87 0
13 2053 38 0 63 0 88 0
14 20 39 2 64 0 89 0
15 27 40 2 65 0 90 0
16 24 41 5 66 0 91 0
17 1016 42 1 67 0 92 0
18 63 43 0 68 0 93 0
19 32 44 0 69 0 94 0
20 30 45 0 70 0 95 0
21 1788 46 0 71 0 96 0
22 1926 47 0 72 0 97 0
23 36 48 0 73 0 98 0
24 20 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 2170, under = 0, over = 0.
Test T9.4. P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at: 08:37:29.496 950621
End execution of Test 9.4 at: 08:37:29.736 950621
Start analysis of Test 9 at: 08:37:29.746 950621
End analysis of Test 9 at: 08:37:29.956 950621
0 417038 25 2819 50 0 75 0
1 3 26 315 51 0 76 0
2 20 27 170 52 0 77 0
3 6 28 122 53 0 78 0
4 3 29 3 54 0 79 0
5 164 30 3 55 0 80 0
6 14844 31 1 56 0 81 0
7 117 32 3 57 0 82 0
8 65 33 1 58 0 83 0
9 7 34 1 59 0 84 0
10 15 35 3 60 0 85 0
11 16 36 0 61 0 86 0
12 54723 37 0 62 1 87 0
13 3060 38 0 63 0 88 0
14 2905 39 0 64 0 89 0
15 1793 40 0 65 0 90 0
16 952 41 1 66 0 91 0
17 42 42 0 67 0 92 0
18 33 43 0 68 0 93 0
19 14 44 0 69 0 94 0
20 30 45 0 70 0 95 0
21 514 46 0 71 0 96 0
22 44 47 0 72 0 97 0
23 50 48 0 73 0 98 0
24 33 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 1643, under = 0, over = 0.
Test T9.3. P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at: 08:37:30.357 950621
End execution of Test 9.3 at: 08:37:30.627 950621
Start analysis of Test 9 at: 08:37:30.637 950621
undr 0 999999 28 -999971
End analysis of Test 9 at: 08:37:30.857 950621
0 450714 25 12 50 2 75 0
1 4 26 7 51 2 76 0
2 11 27 14 52 1 77 0
3 0 28 3 53 0 78 0
4 5 29 6 54 1 79 0
5 105 30 22 55 1 80 0
6 507 31 7 56 1 81 0
7 29 32 4 57 0 82 0
8 64 33 2 58 1 83 0
9 7 34 2 59 0 84 0
10 22 35 1 60 0 85 0
11 20 36 2 61 0 86 0
12 41 37 0 62 1 87 0
13 24 38 1 63 0 88 0
14 12 39 1 64 0 89 0
15 48 40 1379 65 0 90 0
16 13 41 396 66 0 91 0
17 35705 42 97 67 0 92 0
18 1753 43 2855 68 0 93 0
19 4018 44 381 69 0 94 0
20 20 45 603 70 0 95 0
21 700 46 245 71 0 96 0
22 31 47 25 72 0 97 0
23 31 48 1 73 0 98 0
24 22 49 1 74 0 99 0
Total = 499997, t9min = -999971, t9max = 1445, under = 1, over = 0.
================================================================================
Failing tests: 400 420 700 720.
Run this job another time? [y] n