ARCHTEST. Version 4. 950301.
by W. W. Collier, mpdiag@acm.org.
08:38:34.926 950621
NCR 2 processor
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]: 2
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
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: ancr2_00.out.
Number of processors: 2.
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:38:55.846 950621
End execution of Test 200 at: 08:38:59.321 950621
i U V X Y
0 208 0 0 0
49999 499999 0 0 0
99998 499999 0 0 0
149997 499999 0 0 0
199996 499999 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:38:59.672 950621
End analysis of Test 2 at: 08:38:59.912 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:39:12.721 950621
End execution of Test 220 at: 08:39:13.562 950621
i U V X Y
0 0 0 0 0
49999 474783 0 0 0
99998 499999 0 0 0
149997 499999 0 0 0
199996 499999 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:39:14.033 950621
End analysis of Test 2 at: 08:39:14.243 950621
Analysis of T2 data:
i U V X Y
================================================================================
The number of processors (2) is too few to run Test T300.
================================================================================
The number of processors (2) is too few to run Test T310.
================================================================================
The number of processors (2) 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:39:15.585 950621
End execution of Test 400 at: 08:39:16.076 950621
i U V X Y
0 657 0 0 0
49999 50880 48984 0 0
99998 107448 94473 0 0
149997 182457 131257 0 0
199996 257122 162263 0 0
249995 388865 195544 0 0
299994 495640 218893 0 0
349993 499999 235220 0 0
399992 499999 254049 0 0
449991 499999 272227 0 0
499990 499999 302817 0 0
Start Part 1 analysis of Test 4 at: 08:39:16.266 950621
Error 4.1. u[ 1] = 657 < 658 and v[ 658] = 0 < 1
Error 4.1. u[ 3] = 665 < 666 and v[ 666] = 2 < 3
Error 4.1. u[ 9] = 675 < 676 and v[ 676] = 8 < 9
Error 4.1. u[ 18] = 682 < 683 and v[ 683] = 17 < 18
Error 4.1. u[ 28] = 689 < 690 and v[ 690] = 27 < 28
Error 4.1. u[ 30] = 695 < 696 and v[ 696] = 29 < 30
End Part 1 analysis of Test 4 at: 08:39:16.366 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 657 0 0 657 0 2097152
1 657 0 -1 656 1 2097152
2 665 0 0 655 2 2097152
3 665 0 -1 654 3 2097152
4 670 0 0 653 2 2097152
5 675 0 3 652 1 2097152
6 675 0 2 651 2 2097152
7 675 0 1 650 3 2097152
8 675 0 0 649 4 2097152
9 675 0 -1 648 5 2097152
10 681 0 7 647 2 2097152
11 681 0 6 646 3 2097152
12 681 0 5 645 4 2097152
13 681 0 4 644 5 2097152
14 681 0 3 643 6 2097152
15 681 0 2 642 7 2097152
16 681 0 1 641 8 2097152
17 682 0 0 640 4 2097152
18 682 0 -1 639 5 2097152
19 688 0 8 638 2 2097152
20 688 0 7 637 3 2097152
21 688 0 6 636 4 2097152
25 688 0 2 632 8 2097152
26 688 0 1 631 9 2097152
27 689 0 0 630 8 2097152
28 689 0 -1 629 9 2097152
29 695 0 0 628 2 2097152
30 695 0 -1 627 3 2097152
31 695 0 -2 626 4 2097152
32 695 0 -3 625 5 2097152
33 697 0 6 624 4 2097152
655 1201 0 2 2 6 2097152
656 1201 0 1 1 7 2097152
657 1202 0 0 0 4 2097152
658 1208 0 11 -1 1 2097152
659 1208 0 10 -2 2 2097152
660 1208 0 9 -3 3 2097152
661 1208 0 8 -4 4 2097152
662 1208 0 7 -5 5 2097152
663 1208 0 6 -6 6 2097152
664 1208 0 5 -7 7 2097152
665 1208 2 4 0 8 8
666 1208 2 3 -1 9 9
667 1208 2 2 -2 10 10
668 1208 2 1 -3 11 11
669 1209 2 0 -4 11 12
673 1215 4 2 2 4 8
674 1215 4 1 1 5 9
675 1216 8 0 0 4 0
676 1216 8 -1 -1 5 1
677 1216 8 -2 -2 6 2
678 1216 8 -3 -3 7 3
679 1216 8 -4 -4 8 4
680 1216 8 -5 -5 9 5
681 1216 13 -6 0 10 0
682 1216 17 -7 0 11 1
683 1218 17 0 -1 8 2
684 1218 17 -1 -2 9 3
685 1224 17 10 -3 2 4
686 1224 17 9 -4 3 5
687 1224 17 8 -5 4 6
688 1224 19 7 0 5 6
689 1224 27 6 0 6 1
690 1224 27 5 -1 7 2
691 1224 27 4 -2 8 3
692 1224 27 3 -3 9 4
693 1224 27 2 -4 10 5
694 1224 27 1 -5 11 6
695 1225 29 0 0 10 6
696 1225 29 -1 -1 11 7
697 1231 33 0 0 2 2
698 1231 39 -1 0 3 1
699 1235 39 8 -1 2 2
Start Part 2 analysis of Test 4 at: 08:39:17.458 950621
d = -8.
Error 4.1. u[ 152] = 800 < 801 and v[ 801] = 144 < 152
Error 4.1. u[ 368] = 992 < 993 and v[ 993] = 360 < 368
Error 4.1. u[ 416] = 1024 < 1025 and v[ 1025] = 408 < 416
Error 4.1. u[ 496] = 1080 < 1081 and v[ 1081] = 488 < 496
Error 4.1. u[ 736] = 1256 < 1257 and v[ 1257] = 728 < 736
Error 4.1. u[ 1200] = 1640 < 1641 and v[ 1641] = 1192 < 1200
Error 4.2. v[ 2000] = 1560 < 1561 and u[ 1561] = 1992 < 2000
Error 4.1. u[ 2336] = 2696 < 2697 and v[ 2697] = 2328 < 2336
Error 4.1. u[ 2472] = 2816 < 2817 and v[ 2817] = 2464 < 2472
Error 4.1. u[ 2672] = 2960 < 2961 and v[ 2961] = 2664 < 2672
Error 4.1. u[ 3168] = 3360 < 3361 and v[ 3361] = 3160 < 3168
Error 4.1. u[ 4248] = 4304 < 4305 and v[ 4305] = 4240 < 4248
Error 4.1. u[ 4888] = 4808 < 4809 and v[ 4809] = 4880 < 4888
Error 4.1. u[ 5584] = 5408 < 5409 and v[ 5409] = 5576 < 5584
Error 4.1. u[ 6560] = 6240 < 6241 and v[ 6241] = 6552 < 6560
Error 4.1. u[ 11016] = 10896 < 10897 and v[ 10897] = 11008 < 11016
Error 4.1. u[ 11240] = 11104 < 11105 and v[ 11105] = 11232 < 11240
Error 4.1. u[ 11304] = 11168 < 11169 and v[ 11169] = 11296 < 11304
Error 4.1. u[ 11536] = 11376 < 11377 and v[ 11377] = 11528 < 11536
Error 4.1. u[ 12304] = 12000 < 12001 and v[ 12001] = 12296 < 12304
Error 4.1. u[ 12488] = 12176 < 12177 and v[ 12177] = 12480 < 12488
Error 4.1. u[ 13464] = 13064 < 13065 and v[ 13065] = 13456 < 13464
Error 4.1. u[ 13512] = 13104 < 13105 and v[ 13105] = 13504 < 13512
Error 4.1. u[ 13864] = 13400 < 13401 and v[ 13401] = 13856 < 13864
Error 4.2. v[ 17800] = 16712 < 16713 and u[ 16713] = 17792 < 17800
Error 4.1. u[ 20056] = 20344 < 20345 and v[ 20345] = 20048 < 20056
Error 4.1. u[ 20824] = 21017 < 21018 and v[ 21018] = 20816 < 20824
Error 4.1. u[ 21104] = 21272 < 21273 and v[ 21273] = 21096 < 21104
Error 4.1. u[ 21848] = 21848 < 21849 and v[ 21849] = 21840 < 21848
Error 4.1. u[ 21968] = 21936 < 21937 and v[ 21937] = 21960 < 21968
Error 4.1. u[ 22048] = 21992 < 21993 and v[ 21993] = 22040 < 22048
Error 4.1. u[ 22096] = 22024 < 22025 and v[ 22025] = 22088 < 22096
Error 4.1. u[ 22176] = 22080 < 22081 and v[ 22081] = 22168 < 22176
Error 4.1. u[ 22256] = 22136 < 22137 and v[ 22137] = 22248 < 22256
Error 4.2. v[ 22960] = 22848 < 22849 and u[ 22849] = 22952 < 22960
Error 4.1. u[ 24328] = 24392 < 24393 and v[ 24393] = 24320 < 24328
Error 4.1. u[ 24392] = 24440 < 24441 and v[ 24441] = 24384 < 24392
Error 4.1. u[ 25664] = 25904 < 25905 and v[ 25905] = 25656 < 25664
Error 4.1. u[ 25744] = 25960 < 25961 and v[ 25961] = 25736 < 25744
Error 4.1. u[ 28080] = 29368 < 29369 and v[ 29369] = 28072 < 28080
Error 4.1. u[ 28848] = 30152 < 30153 and v[ 30153] = 28840 < 28848
Error 4.1. u[ 29712] = 30920 < 30921 and v[ 30921] = 29704 < 29712
Error 4.1. u[ 29824] = 31016 < 31017 and v[ 31017] = 29816 < 29824
Error 4.1. u[ 31064] = 32352 < 32353 and v[ 32353] = 31056 < 31064
Error 4.1. u[ 32272] = 33296 < 33297 and v[ 33297] = 32264 < 32272
Error 4.1. u[ 32392] = 33384 < 33385 and v[ 33385] = 32384 < 32392
Error 4.1. u[ 32480] = 33456 < 33457 and v[ 33457] = 32472 < 32480
Error 4.1. u[ 32960] = 33872 < 33873 and v[ 33873] = 32952 < 32960
Error 4.2. v[ 34056] = 33160 < 33161 and u[ 33161] = 34048 < 34056
Error 4.1. u[ 34112] = 34792 < 34793 and v[ 34793] = 34104 < 34112
End Part 2 analysis of Test 4 at: 08:39:20.652 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 15159 15159 0 0 1
2 6937 8007 0 0 2
3 6746 7877 0 0 3
4 4888 6143 0 0 4
5 4505 5553 0 0 5
6 1649 1420 0 0 6
7 1496 1208 0 0 7
8 114 71 0 0 8
9 0 0 0 0 9
10 0 0 0 0 10
11 0 0 0 0 11
12 0 0 0 0 12
13 0 0 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:
41494 45438 0 0
8 8 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
149 800 0 -5 508 7 2097152
150 800 0 -6 507 8 2097152
151 800 0 -7 506 9 2097152
152 800 0 -8 505 10 2097152
153 802 0 0 504 9 2097152
154 808 0 12 503 1 2097152
155 808 0 11 502 2 2097152
365 992 0 -5 292 7 2097152
366 992 0 -6 291 8 2097152
367 992 0 -7 290 9 2097152
368 992 0 -8 289 10 2097152
369 994 0 0 288 9 2097152
370 1000 0 11 287 1 2097152
371 1000 0 10 286 2 2097152
413 1024 0 -5 244 7 2097152
414 1024 0 -6 243 8 2097152
415 1024 0 -7 242 9 2097152
416 1024 0 -8 241 10 2097152
417 1026 0 0 240 9 2097152
418 1032 0 11 239 1 2097152
419 1032 0 10 238 2 2097152
493 1080 0 -5 164 7 2097152
494 1080 0 -6 163 8 2097152
495 1080 0 -7 162 9 2097152
496 1080 0 -8 161 10 2097152
497 1082 0 0 160 9 2097152
498 1088 0 11 159 1 2097152
499 1088 0 10 158 2 2097152
733 1256 75 -5 -4 7 5
734 1256 75 -6 -5 8 6
735 1256 77 -7 0 9 6
736 1256 81 -8 1 10 1
737 1261 81 0 0 0 2
738 1265 81 9 -1 1 3
739 1265 81 8 -2 2 4
798 1306 142 0 -4 6 6
799 1312 142 6 -5 1 7
800 1312 144 5 0 2 6
801 1312 144 4 -1 3 7
802 1312 153 3 6 4 2
803 1312 153 2 5 5 3
804 1312 153 1 4 6 4
990 1479 358 2 -4 6 6
991 1479 358 1 -5 7 7
992 1480 360 0 0 6 6
993 1480 360 -1 -1 7 7
994 1486 369 6 6 2 2
995 1486 369 5 5 3 3
996 1486 369 4 4 4 4
1022 1506 406 5 -5 6 6
1023 1506 406 4 -6 7 7
1024 1506 408 3 0 8 7
1025 1506 408 2 -1 9 8
1026 1506 417 1 6 10 2
1027 1507 417 0 5 5 3
1028 1507 417 -1 4 6 4
1078 1552 486 1 -4 8 6
1079 1553 486 0 -5 8 7
1080 1553 488 -1 0 9 6
1081 1559 488 0 -1 2 7
1082 1563 497 3 6 1 2
1083 1563 497 2 5 2 3
1084 1563 497 1 4 3 4
================================================================================
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:39:23.266 950621
End execution of Test 420 at: 08:39:23.797 950621
i U V X Y
0 0 10 0 0
49999 33381 75294 0 0
99998 71241 145019 0 0
149997 101672 261272 0 0
199996 119985 346504 0 0
249995 143268 422517 0 0
299994 172088 499999 0 0
349993 202085 499999 0 0
399992 238512 499999 0 0
449991 262384 499999 0 0
499990 291136 499999 0 0
Start Part 1 analysis of Test 4 at: 08:39:24.508 950621
Error 4.2. v[ 2] = 85 < 86 and u[ 86] = 1 < 2
Error 4.2. v[ 3] = 85 < 86 and u[ 86] = 1 < 3
Error 4.2. v[ 4] = 85 < 86 and u[ 86] = 1 < 4
Error 4.2. v[ 7] = 91 < 92 and u[ 92] = 6 < 7
Error 4.2. v[ 8] = 91 < 92 and u[ 92] = 6 < 8
Error 4.2. v[ 10] = 93 < 94 and u[ 94] = 9 < 10
End Part 1 analysis of Test 4 at: 08:39:24.608 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 10 85 0 2097152 0
1 0 85 84 0 2097152 1
2 0 85 83 -1 2097152 2
3 0 85 82 -2 2097152 3
4 0 85 81 -3 2097152 4
5 0 87 80 0 2097152 4
6 0 91 79 0 2097152 1
7 0 91 78 -1 2097152 2
8 0 91 77 -2 2097152 3
9 0 93 76 0 2097152 3
10 0 93 75 -1 2097152 4
11 0 97 74 0 2097152 2
12 0 97 73 -1 2097152 3
13 0 97 72 -2 2097152 4
83 0 224 2 4 2097152 1
84 0 224 1 3 2097152 2
85 1 224 0 2 75 3
86 1 224 -1 1 76 4
87 5 225 4 0 2 5
88 5 232 3 0 3 1
89 5 232 2 -1 4 2
90 5 238 1 0 5 2
91 6 238 0 -1 4 3
92 6 238 -1 -2 5 4
93 9 238 0 -3 2 5
94 9 238 -1 -4 3 6
95 9 240 -2 0 4 5
96 9 240 -3 -1 5 6
97 11 245 0 0 4 0
Start Part 2 analysis of Test 4 at: 08:39:25.079 950621
d = -10.
Error 4.1. u[ 49581] = 33054 < 33055 and v[ 33055] = 49571 < 49581
Error 4.1. u[ 49621] = 33078 < 33079 and v[ 33079] = 49611 < 49621
Error 4.1. u[ 49922] = 33331 < 33332 and v[ 33332] = 49912 < 49922
d = -9.
Error 4.1. u[ 49580] = 33054 < 33055 and v[ 33055] = 49571 < 49580
Error 4.1. u[ 49701] = 33145 < 33146 and v[ 33146] = 49692 < 49701
Error 4.1. u[ 49789] = 33225 < 33226 and v[ 33226] = 49780 < 49789
Error 4.1. u[ 49921] = 33331 < 33332 and v[ 33332] = 49912 < 49921
Error 4.1. u[ 49620] = 33078 < 33079 and v[ 33079] = 49611 < 49620
d = -8.
Error 4.1. u[ 3416] = 1384 < 1385 and v[ 1385] = 3408 < 3416
Error 4.1. u[ 3472] = 1416 < 1417 and v[ 1417] = 3464 < 3472
Error 4.1. u[ 3664] = 1568 < 1569 and v[ 1569] = 3656 < 3664
Error 4.1. u[ 4056] = 1848 < 1849 and v[ 1849] = 4048 < 4056
Error 4.1. u[ 4720] = 2304 < 2305 and v[ 2305] = 4712 < 4720
Error 4.1. u[ 4840] = 2376 < 2377 and v[ 2377] = 4832 < 4840
Error 4.1. u[ 5040] = 2504 < 2505 and v[ 2505] = 5032 < 5040
Error 4.1. u[ 5096] = 2536 < 2537 and v[ 2537] = 5088 < 5096
Error 4.1. u[ 5344] = 2712 < 2713 and v[ 2713] = 5336 < 5344
Error 4.1. u[ 5512] = 2816 < 2817 and v[ 2817] = 5504 < 5512
Error 4.1. u[ 5672] = 2920 < 2921 and v[ 2921] = 5664 < 5672
Error 4.1. u[ 7584] = 3760 < 3761 and v[ 3761] = 7576 < 7584
Error 4.1. u[ 8616] = 4504 < 4505 and v[ 4505] = 8608 < 8616
Error 4.1. u[ 9456] = 5072 < 5073 and v[ 5073] = 9448 < 9456
Error 4.1. u[ 9656] = 5200 < 5201 and v[ 5201] = 9648 < 9656
Error 4.1. u[ 10784] = 6024 < 6025 and v[ 6025] = 10776 < 10784
Error 4.1. u[ 11136] = 6272 < 6273 and v[ 6273] = 11128 < 11136
Error 4.1. u[ 11672] = 6624 < 6625 and v[ 6625] = 11664 < 11672
Error 4.1. u[ 12096] = 6912 < 6913 and v[ 6913] = 12088 < 12096
Error 4.1. u[ 12824] = 7456 < 7457 and v[ 7457] = 12816 < 12824
Error 4.1. u[ 13056] = 7616 < 7617 and v[ 7617] = 13048 < 13056
Error 4.1. u[ 13304] = 7768 < 7769 and v[ 7769] = 13296 < 13304
Error 4.1. u[ 13352] = 7800 < 7801 and v[ 7801] = 13344 < 13352
Error 4.1. u[ 13480] = 7888 < 7889 and v[ 7889] = 13472 < 13480
Error 4.1. u[ 13600] = 7960 < 7961 and v[ 7961] = 13592 < 13600
Error 4.1. u[ 14944] = 8968 < 8969 and v[ 8969] = 14936 < 14944
Error 4.1. u[ 15352] = 9224 < 9225 and v[ 9225] = 15344 < 15352
Error 4.1. u[ 15496] = 9304 < 9305 and v[ 9305] = 15488 < 15496
Error 4.1. u[ 16384] = 9720 < 9721 and v[ 9721] = 16376 < 16384
Error 4.1. u[ 16520] = 9800 < 9801 and v[ 9801] = 16512 < 16520
Error 4.1. u[ 16744] = 9944 < 9945 and v[ 9945] = 16736 < 16744
Error 4.1. u[ 17288] = 10312 < 10313 and v[ 10313] = 17280 < 17288
Error 4.1. u[ 17464] = 10408 < 10409 and v[ 10409] = 17456 < 17464
Error 4.1. u[ 17920] = 10680 < 10681 and v[ 10681] = 17912 < 17920
Error 4.1. u[ 17976] = 10712 < 10713 and v[ 10713] = 17968 < 17976
Error 4.1. u[ 18624] = 11368 < 11369 and v[ 11369] = 18616 < 18624
Error 4.1. u[ 19208] = 11800 < 11801 and v[ 11801] = 19200 < 19208
Error 4.1. u[ 20112] = 12144 < 12145 and v[ 12145] = 20104 < 20112
Error 4.1. u[ 20256] = 12232 < 12233 and v[ 12233] = 20248 < 20256
Error 4.1. u[ 20344] = 12288 < 12289 and v[ 12289] = 20336 < 20344
Error 4.1. u[ 20520] = 12408 < 12409 and v[ 12409] = 20512 < 20520
Error 4.1. u[ 20672] = 12512 < 12513 and v[ 12513] = 20664 < 20672
End Part 2 analysis of Test 4 at: 08:39:29.375 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 34770 34770 0 0 1
2 9666 24996 0 0 2
3 9521 23452 0 0 3
4 8263 14395 0 0 4
5 7918 3437 0 0 5
6 4403 3370 0 0 6
7 4351 33 0 0 7
8 334 0 0 0 8
9 5 0 0 0 9
10 3 0 0 0 10
11 0 0 0 0 11
12 0 0 0 0 12
13 0 0 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:
79234 104453 0 0
10 7 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
33052 20223 49569 4 -2 4 3
33053 20223 49569 3 -3 5 4
33054 20223 49571 2 0 6 4
33055 20223 49571 1 -1 7 5
33056 20224 49582 0 0 7 2
33057 20224 49582 -1 -1 8 3
33058 20228 49587 6 0 2 2
33076 20241 49609 4 -2 4 3
33077 20241 49609 3 -3 5 4
33078 20241 49611 2 0 6 4
33079 20241 49611 1 -1 7 5
33080 20242 49622 0 0 7 2
33081 20248 49622 5 -1 1 3
33082 20248 49625 4 2 2 2
33143 20297 49690 1 0 7 0
33144 20298 49690 0 -1 7 1
33145 20304 49692 5 0 1 2
33146 20304 49692 4 -1 2 3
33147 20304 49702 3 0 3 2
33148 20304 49702 2 -1 4 3
33149 20304 49702 1 -2 5 4
33329 20458 49910 0 -4 6 6
33330 20458 49910 -1 -5 7 7
33331 20463 49912 5 0 2 6
33332 20463 49912 4 -1 3 7
33333 20463 49923 3 0 4 2
33334 20463 49923 2 -1 5 3
33335 20463 49923 1 -2 6 4
49577 33054 74702 -6 -2 8 4
49578 33054 74704 -7 6 9 3
49579 33054 74704 -8 5 10 4
49580 33054 74704 -9 4 11 5
49581 33054 74704 -10 3 12 6
49582 33056 74704 0 2 11 7
49583 33056 74704 -1 1 12 8
49584 33056 74704 -2 0 13 9
49617 33078 74745 -6 -1 8 2
49618 33078 74751 -7 0 9 2
49619 33078 74751 -8 -1 10 3
49620 33078 74751 -9 -2 11 4
49621 33078 74751 -10 -3 12 5
49622 33080 74751 0 -4 11 6
49623 33080 74753 -1 0 12 5
49624 33080 74753 -2 -1 13 6
49698 33145 74841 -6 0 8 8
49699 33145 74841 -7 -1 9 9
49700 33145 74847 -8 0 10 2
49701 33145 74847 -9 -1 11 3
49702 33147 74847 0 -2 10 4
49703 33147 74847 -1 -3 11 5
49704 33155 74847 0 -4 2 6
49786 33225 74976 -6 4 8 1
49787 33225 74976 -7 3 9 2
49788 33225 74976 -8 2 10 3
49789 33225 74976 -9 1 11 4
49790 33227 74977 0 0 10 5
49791 33227 74984 -1 4 11 1
49792 33232 74984 0 3 2 2
49918 33331 75171 -6 0 8 4
49919 33331 75176 -7 2 9 1
49920 33331 75176 -8 1 10 2
49921 33331 75180 -9 0 11 0
49922 33331 75184 -10 3 12 1
49923 33333 75184 0 2 11 2
49924 33333 75184 -1 1 12 3
49925 33337 75185 3 0 2 4
================================================================================
The number of processors (2) is too few to run Test T500.
================================================================================
The number of processors (2) is too few to run Test T520.
================================================================================
The number of processors (2) is too few to run Test T600.
================================================================================
The number of processors (2) is too few to run Test T610.
================================================================================
The number of processors (2) 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:39:32.459 950621
End execution of Test 700 at: 08:39:33.020 950621
i U V X Y
0 0 13 499999 499999
49999 44410 56074 0 0
99998 86448 116648 0 0
149997 133986 164944 0 0
199996 181945 215768 0 0
249995 232860 269824 0 0
299994 277800 327360 0 0
349993 318184 378824 0 0
399992 370584 458808 0 0
449991 396664 499999 0 0
499990 418758 499999 0 0
Start Part 1 analysis of Test 7 at: 08:39:33.220 950621
Error 7.2. v[ 2] = 28 < 29 and u[ 29] = 1 < 2
Error 7.2. v[ 3] = 28 < 29 and u[ 29] = 1 < 3
Error 7.2. v[ 4] = 28 < 29 and u[ 29] = 1 < 4
Error 7.2. v[ 5] = 28 < 29 and u[ 29] = 1 < 5
Error 7.2. v[ 11] = 38 < 39 and u[ 39] = 10 < 11
Error 7.2. v[ 22] = 49 < 50 and u[ 50] = 21 < 22
End Part 1 analysis of Test 7 at: 08:39:33.320 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 13 28 0 2097152 0
1 0 28 27 0 2097152 1
2 0 28 26 -1 2097152 2
3 0 28 25 -2 2097152 3
4 0 28 24 -3 2097152 4
5 0 28 23 -4 2097152 5
6 0 31 22 0 2097152 0
7 0 34 21 3 2097152 1
8 0 34 20 2 2097152 2
9 0 34 19 1 2097152 3
10 0 38 18 0 2097152 0
11 0 38 17 -1 2097152 1
12 0 41 16 4 2097152 2
13 0 41 15 3 2097152 3
14 0 41 14 2 2097152 4
19 0 48 9 2 2097152 3
20 0 48 8 1 2097152 4
21 0 49 7 0 2097152 5
22 0 49 6 -1 2097152 6
23 0 54 5 1 2097152 2
24 0 54 4 0 2097152 3
25 0 54 3 -1 2097152 4
26 0 59 2 0 2097152 0
27 0 64 1 6 2097152 1
28 1 64 0 5 15 2
29 1 64 -1 4 16 3
30 6 64 4 3 2 4
31 6 64 3 2 3 5
32 6 64 2 1 4 6
36 10 72 2 2 2 3
37 10 72 1 1 3 4
38 10 73 0 0 4 5
39 10 80 -1 8 5 1
40 10 80 -2 7 6 2
41 13 80 0 6 0 3
42 16 80 6 5 1 4
47 16 81 1 0 6 8
48 16 86 0 0 7 1
49 21 86 0 -1 1 2
50 21 86 -1 -2 2 3
51 21 86 -2 -3 3 4
52 21 86 -3 -4 4 5
53 21 88 -4 0 5 5
Start Part 2 analysis of Test 7 at: 08:39:33.981 950621
d = -8.
Error 7.1. u[ 26960] = 23424 < 23425 and v[ 23425] = 26952 < 26960
Error 7.1. u[ 121512] = 104832 < 104833 and v[ 104833] = 121504 < 121512
Error 7.1. u[ 177008] = 160600 < 160601 and v[ 160601] = 177000 < 177008
Error 7.2. v[ 247968] = 267352 < 267353 and u[ 267353] = 247960 < 247968
d = -7.
Error 7.1. u[ 807] = 688 < 689 and v[ 689] = 800 < 807
Error 7.2. v[ 1263] = 1408 < 1409 and u[ 1409] = 1256 < 1263
Error 7.2. v[ 1311] = 1472 < 1473 and u[ 1473] = 1304 < 1311
Error 7.1. u[ 1312] = 1160 < 1161 and v[ 1161] = 1305 < 1312
Error 7.2. v[ 1456] = 1640 < 1641 and u[ 1641] = 1449 < 1456
Error 7.1. u[ 2344] = 2112 < 2113 and v[ 2113] = 2337 < 2344
Error 7.2. v[ 2512] = 2768 < 2769 and u[ 2769] = 2505 < 2512
Error 7.2. v[ 2752] = 3008 < 3009 and u[ 3009] = 2745 < 2752
Error 7.1. u[ 2824] = 2560 < 2561 and v[ 2561] = 2817 < 2824
Error 7.2. v[ 2960] = 3216 < 3217 and u[ 3217] = 2953 < 2960
Error 7.2. v[ 3240] = 3472 < 3473 and u[ 3473] = 3233 < 3240
Error 7.2. v[ 3736] = 3952 < 3953 and u[ 3953] = 3729 < 3736
Error 7.1. u[ 3879] = 3648 < 3649 and v[ 3649] = 3872 < 3879
Error 7.1. u[ 4343] = 4104 < 4105 and v[ 4105] = 4336 < 4343
Error 7.1. u[ 4928] = 4728 < 4729 and v[ 4729] = 4921 < 4928
Error 7.2. v[ 5344] = 5480 < 5481 and u[ 5481] = 5337 < 5344
Error 7.1. u[ 5424] = 5280 < 5281 and v[ 5281] = 5417 < 5424
Error 7.2. v[ 5784] = 6488 < 6489 and u[ 6489] = 5777 < 5784
Error 7.1. u[ 6456] = 5736 < 5737 and v[ 5737] = 6449 < 6456
Error 7.2. v[ 6567] = 7304 < 7305 and u[ 7305] = 6560 < 6567
Error 7.2. v[ 6664] = 7408 < 7409 and u[ 7409] = 6657 < 6664
Error 7.1. u[ 6680] = 5968 < 5969 and v[ 5969] = 6673 < 6680
Error 7.2. v[ 6935] = 7728 < 7729 and u[ 7729] = 6928 < 6935
Error 7.1. u[ 6960] = 6248 < 6249 and v[ 6249] = 6953 < 6960
Error 7.1. u[ 7024] = 6304 < 6305 and v[ 6305] = 7017 < 7024
Error 7.2. v[ 7080] = 7872 < 7873 and u[ 7873] = 7073 < 7080
Error 7.1. u[ 7328] = 6576 < 6577 and v[ 6577] = 7321 < 7328
Error 7.2. v[ 7871] = 8664 < 8665 and u[ 8665] = 7864 < 7871
Error 7.2. v[ 8184] = 9000 < 9001 and u[ 9001] = 8177 < 8184
Error 7.2. v[ 8360] = 9168 < 9169 and u[ 9169] = 8353 < 8360
Error 7.2. v[ 8400] = 9208 < 9209 and u[ 9209] = 8393 < 8400
Error 7.1. u[ 8704] = 7896 < 7897 and v[ 7897] = 8697 < 8704
Error 7.1. u[ 9239] = 8424 < 8425 and v[ 8425] = 9232 < 9239
Error 7.1. u[ 9327] = 8512 < 8513 and v[ 8513] = 9320 < 9327
Error 7.2. v[ 9400] = 10272 < 10273 and u[ 10273] = 9393 < 9400
Error 7.2. v[ 9639] = 10520 < 10521 and u[ 10521] = 9632 < 9639
Error 7.2. v[ 9815] = 10696 < 10697 and u[ 10697] = 9808 < 9815
Error 7.2. v[ 9920] = 10808 < 10809 and u[ 10809] = 9913 < 9920
Error 7.2. v[ 9960] = 10848 < 10849 and u[ 10849] = 9953 < 9960
Error 7.1. u[ 10455] = 9552 < 9553 and v[ 9553] = 10448 < 10455
Error 7.1. u[ 10576] = 9688 < 9689 and v[ 9689] = 10569 < 10576
Error 7.1. u[ 10895] = 10000 < 10001 and v[ 10001] = 10888 < 10895
Error 7.1. u[ 11095] = 10232 < 10233 and v[ 10233] = 11088 < 11095
Error 7.1. u[ 11127] = 10264 < 10265 and v[ 10265] = 11120 < 11127
Error 7.2. v[ 11224] = 12416 < 12417 and u[ 12417] = 11217 < 11224
Error 7.1. u[ 11599] = 10696 < 10697 and v[ 10697] = 11592 < 11599
End Part 2 analysis of Test 7 at: 08:39:36.705 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 10431 10431 0 0 1
2 5259 5119 0 0 2
3 4787 4643 0 0 3
4 4047 4028 0 0 4
5 910 848 0 0 5
6 817 753 0 0 6
7 522 502 0 0 7
8 3 1 0 0 8
9 0 0 0 0 9
10 0 0 0 0 10
11 0 0 0 0 11
12 0 0 0 0 12
13 0 0 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:
26776 26325 0 0
8 8 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
804 688 920 -4 -3 6 3
805 688 920 -5 -4 7 4
806 688 923 -6 0 8 0
807 688 928 -7 8 9 1
808 691 928 0 7 0 2
809 697 928 7 6 1 3
810 697 928 6 5 2 4
23422 21190 26951 436 2 38 6
23423 21190 26951 435 1 39 7
23424 21190 26952 434 0 40 5
23425 21190 26952 433 -1 41 6
23426 21190 26961 432 6 42 2
23427 21190 26961 431 5 43 3
23428 21190 26961 430 4 44 4
26957 23424 30752 -5 3 6 5
26958 23424 30752 -6 2 7 6
26959 23424 30752 -7 1 8 7
26960 23424 30753 -8 0 9 8
26961 23427 30762 0 5 0 1
26962 23432 30762 8 4 1 2
26963 23432 30762 7 3 2 3
104830 90672 121503 2 2 6 4
104831 90672 121503 1 1 7 5
104832 90673 121504 0 0 8 5
104833 90681 121504 3 -1 1 6
104834 90681 121513 2 6 2 2
104835 90681 121513 1 5 3 3
104836 90681 121513 0 4 4 4
121509 104832 139960 -5 5 6 5
121510 104832 139960 -6 4 7 6
121511 104832 139960 -7 3 8 7
121512 104832 139960 -8 2 9 8
121513 104835 139960 0 1 0 9
121514 104840 139964 10 0 1 0
121515 104840 139968 9 5 2 1
160598 145530 176999 2 2 5 4
160599 145530 176999 1 1 6 5
160600 145530 177000 0 0 7 5
160601 145537 177000 7 -1 1 6
160602 145537 177009 6 6 2 2
160603 145537 177009 5 5 3 3
160604 145537 177009 4 4 4 4
177005 160600 194440 -5 5 6 5
177006 160600 194440 -6 4 7 6
177007 160600 194440 -7 3 8 7
177008 160600 194440 -8 2 9 8
177009 160605 194440 0 1 0 9
177010 160608 194444 6 0 1 0
177011 160608 194448 5 5 2 1
247965 230848 267352 7 -5 5 6
247966 230848 267352 6 -6 6 7
247967 230848 267352 5 -7 7 8
247968 230848 267352 4 -8 8 9
247969 230848 267357 3 0 9 0
247970 230848 267360 2 6 10 1
247971 230848 267360 1 5 11 2
267350 247959 289064 2 2 6 6
267351 247959 289064 1 1 7 7
267352 247960 289065 0 0 5 8
267353 247960 289074 -1 7 6 1
267354 247969 289074 6 6 2 2
267355 247969 289074 5 5 3 3
267356 247969 289074 4 4 4 4
================================================================================
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:39:39.449 950621
End execution of Test 720 at: 08:39:40.090 950621
i U V X Y
0 0 4 499999 0
49999 40264 60545 0 0
99998 90860 106913 0 0
149997 160186 142817 0 0
199996 227352 180633 0 0
249995 279598 217945 0 0
299994 324408 270629 0 0
349993 378233 324584 0 0
399992 428186 372020 0 0
449991 477936 423724 0 0
499990 499999 471593 0 0
Start Part 1 analysis of Test 7 at: 08:39:40.811 950621
Error 7.2. v[ 8] = 76 < 77 and u[ 77] = 7 < 8
Error 7.2. v[ 23] = 95 < 96 and u[ 96] = 22 < 23
Error 7.2. v[ 24] = 95 < 96 and u[ 96] = 22 < 24
Error 7.2. v[ 26] = 97 < 98 and u[ 98] = 25 < 26
Error 7.2. v[ 27] = 97 < 98 and u[ 98] = 25 < 27
Error 7.2. v[ 28] = 97 < 98 and u[ 98] = 25 < 28
End Part 1 analysis of Test 7 at: 08:39:40.911 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
5 0 75 70 2 2097152 5
6 0 75 69 1 2097152 6
7 0 76 68 0 2097152 4
8 0 76 67 -1 2097152 5
9 0 81 66 4 2097152 2
10 0 81 65 3 2097152 3
11 0 81 64 2 2097152 4
20 0 88 55 1 2097152 7
21 0 89 54 0 2097152 7
22 0 95 53 0 2097152 1
23 0 95 52 -1 2097152 2
24 0 95 51 -2 2097152 3
25 0 97 50 0 2097152 3
26 0 97 49 -1 2097152 4
27 0 97 48 -2 2097152 5
28 0 97 47 -3 2097152 6
29 0 100 46 0 2097152 0
30 0 104 45 4 2097152 1
31 0 104 44 3 2097152 2
74 0 160 1 -2 2097152 3
75 3 160 0 -3 0 4
76 7 163 0 0 1 0
77 7 168 -1 4 2 1
78 7 168 -2 3 3 2
79 7 168 -3 2 4 3
80 7 168 -4 1 5 4
93 21 192 2 4 5 1
94 21 192 1 3 6 2
95 22 192 0 2 6 3
96 22 192 -1 1 7 4
97 25 196 0 0 2 0
98 25 200 -1 5 3 1
99 29 200 5 4 2 2
100 29 200 4 3 3 3
101 29 200 3 2 4 4
Start Part 2 analysis of Test 7 at: 08:39:41.482 950621
d = -7.
Error 7.1. u[ 384] = 264 < 265 and v[ 265] = 377 < 384
Error 7.1. u[ 536] = 376 < 377 and v[ 377] = 529 < 536
Error 7.1. u[ 656] = 456 < 457 and v[ 457] = 649 < 656
Error 7.1. u[ 991] = 680 < 681 and v[ 681] = 984 < 991
Error 7.1. u[ 1256] = 880 < 881 and v[ 881] = 1249 < 1256
Error 7.1. u[ 1552] = 1104 < 1105 and v[ 1105] = 1545 < 1552
Error 7.1. u[ 1600] = 1144 < 1145 and v[ 1145] = 1593 < 1600
Error 7.1. u[ 1783] = 1280 < 1281 and v[ 1281] = 1776 < 1783
Error 7.1. u[ 1888] = 1344 < 1345 and v[ 1345] = 1881 < 1888
Error 7.1. u[ 2199] = 1584 < 1585 and v[ 1585] = 2192 < 2199
Error 7.1. u[ 2360] = 1696 < 1697 and v[ 1697] = 2353 < 2360
Error 7.1. u[ 2687] = 1944 < 1945 and v[ 1945] = 2680 < 2687
Error 7.1. u[ 2904] = 2112 < 2113 and v[ 2113] = 2897 < 2904
Error 7.1. u[ 3944] = 2848 < 2849 and v[ 2849] = 3937 < 3944
Error 7.1. u[ 4048] = 2928 < 2929 and v[ 2929] = 4041 < 4048
Error 7.1. u[ 4176] = 3016 < 3017 and v[ 3017] = 4169 < 4176
Error 7.1. u[ 4368] = 3160 < 3161 and v[ 3161] = 4361 < 4368
Error 7.1. u[ 4504] = 3264 < 3265 and v[ 3265] = 4497 < 4504
Error 7.1. u[ 4791] = 3488 < 3489 and v[ 3489] = 4784 < 4791
Error 7.1. u[ 5026] = 3656 < 3657 and v[ 3657] = 5019 < 5026
Error 7.1. u[ 5112] = 3728 < 3729 and v[ 3729] = 5105 < 5112
Error 7.1. u[ 5368] = 3928 < 3929 and v[ 3929] = 5361 < 5368
Error 7.1. u[ 5383] = 3936 < 3937 and v[ 3937] = 5376 < 5383
Error 7.1. u[ 5760] = 4112 < 4113 and v[ 4113] = 5753 < 5760
Error 7.1. u[ 6024] = 4304 < 4305 and v[ 4305] = 6017 < 6024
Error 7.1. u[ 6152] = 4400 < 4401 and v[ 4401] = 6145 < 6152
Error 7.1. u[ 6167] = 4408 < 4409 and v[ 4409] = 6160 < 6167
Error 7.1. u[ 6408] = 4568 < 4569 and v[ 4569] = 6401 < 6408
Error 7.1. u[ 6448] = 4592 < 4593 and v[ 4593] = 6441 < 6448
Error 7.1. u[ 6463] = 4600 < 4601 and v[ 4601] = 6456 < 6463
Error 7.1. u[ 6538] = 4648 < 4649 and v[ 4649] = 6531 < 6538
Error 7.1. u[ 7072] = 5040 < 5041 and v[ 5041] = 7065 < 7072
Error 7.1. u[ 7208] = 5128 < 5129 and v[ 5129] = 7201 < 7208
Error 7.1. u[ 7264] = 5168 < 5169 and v[ 5169] = 7257 < 7264
Error 7.1. u[ 7432] = 5288 < 5289 and v[ 5289] = 7425 < 7432
Error 7.1. u[ 7520] = 5360 < 5361 and v[ 5361] = 7513 < 7520
Error 7.1. u[ 7986] = 5720 < 5721 and v[ 5721] = 7979 < 7986
Error 7.1. u[ 8216] = 5880 < 5881 and v[ 5881] = 8209 < 8216
Error 7.1. u[ 8640] = 6200 < 6201 and v[ 6201] = 8633 < 8640
Error 7.1. u[ 8712] = 6256 < 6257 and v[ 6257] = 8705 < 8712
Error 7.1. u[ 8744] = 6280 < 6281 and v[ 6281] = 8737 < 8744
Error 7.1. u[ 8776] = 6304 < 6305 and v[ 6305] = 8769 < 8776
Error 7.1. u[ 8952] = 6424 < 6425 and v[ 6425] = 8945 < 8952
Error 7.1. u[ 9176] = 6584 < 6585 and v[ 6585] = 9169 < 9176
Error 7.1. u[ 9280] = 6664 < 6665 and v[ 6665] = 9273 < 9280
Error 7.1. u[ 9656] = 6952 < 6953 and v[ 6953] = 9649 < 9656
Error 7.1. u[ 9935] = 7176 < 7177 and v[ 7177] = 9928 < 9935
Error 7.1. u[ 10039] = 7248 < 7249 and v[ 7249] = 10032 < 10039
Error 7.1. u[ 10351] = 7464 < 7465 and v[ 7465] = 10344 < 10351
Error 7.1. u[ 10464] = 7544 < 7545 and v[ 7545] = 10457 < 10464
End Part 2 analysis of Test 7 at: 08:39:45.558 950621
Histograms of negative d values:
i d1 d2 d3 d4 i
1 36941 36941 0 0 1
2 14941 21768 0 0 2
3 14764 16471 0 0 3
4 12306 3543 0 0 4
5 8314 1037 0 0 5
6 1787 29 0 0 6
7 1716 0 0 0 7
8 0 0 0 0 8
9 0 0 0 0 9
10 0 0 0 0 10
11 0 0 0 0 11
12 0 0 0 0 12
13 0 0 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:
90769 79789 0 0
7 6 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
262 158 371 2 -3 5 6
263 158 374 1 0 6 0
264 158 377 0 0 7 1
265 163 377 0 -1 1 2
266 163 385 -1 6 2 2
267 163 385 -2 5 3 3
268 163 385 -3 4 4 4
374 263 523 3 -3 3 4
375 263 526 2 0 4 0
376 263 529 1 0 5 1
377 264 529 0 -1 3 2
378 264 537 -1 6 4 2
379 264 537 -2 5 5 3
380 264 537 -3 4 6 4
381 264 537 -4 3 7 5
382 264 537 -5 2 8 6
383 264 537 -6 1 9 7
384 264 538 -7 0 10 4
385 268 548 0 0 0 1
386 272 548 7 -1 1 2
387 272 548 6 -2 2 3
454 320 646 -3 -1 3 1
455 320 649 -4 1 4 2
456 320 649 -5 0 5 3
457 324 649 0 -1 0 4
458 328 657 6 5 1 2
459 328 657 5 4 2 3
460 328 657 4 3 3 4
533 376 774 -4 0 7 0
534 376 777 -5 0 8 1
535 376 777 -6 -1 9 2
536 376 777 -7 -2 10 3
537 380 782 0 0 0 0
538 384 785 10 6 1 1
539 384 785 9 5 2 2
653 456 952 -4 1 4 5
654 456 953 -5 0 5 6
655 456 959 -6 0 6 1
656 456 959 -7 -1 7 2
657 458 959 0 -2 8 3
658 463 961 6 6 1 3
659 463 961 5 5 2 4
678 471 979 2 0 5 0
679 471 979 1 -1 6 1
680 471 984 0 0 7 2
681 475 984 0 -1 1 3
682 475 992 -1 0 2 2
683 475 992 -2 -1 3 3
684 475 992 -3 -2 4 4
878 601 1247 -2 -2 7 3
879 601 1247 -3 -3 8 4
880 601 1249 -4 0 9 4
881 603 1249 0 -1 5 5
882 607 1257 6 6 1 2
883 607 1257 5 5 2 3
884 607 1257 4 4 3 4
988 680 1393 -4 4 9 4
989 680 1393 -5 3 10 5
990 680 1393 -6 2 11 6
991 680 1393 -7 1 12 7
992 682 1394 0 0 8 4
993 682 1404 -1 0 9 1
994 688 1404 7 -1 2 2
1253 880 1740 -4 0 6 0
1254 880 1744 -5 4 7 1
1255 880 1744 -6 3 8 2
1256 880 1744 -7 2 9 3
1257 884 1744 0 1 0 4
1258 888 1748 7 0 1 0
1259 888 1748 6 -1 2 1
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 08:39:47.981 950621
End execution of Test 800 at: 08:39:49.454 950621
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 1 2 3
49999 499990 499991 499992 499993
99998 999980 999981 999982 999983
149997 1499970 1499971 1499972 1499973
199996 1999960 1999961 1999962 1999963
249995 2499950 2499951 2499952 2499953
299994 2999940 2999941 2999942 2999943
349993 3499930 3499931 3499932 3499933
399992 3999920 3999921 3999922 3999923
449991 4499910 4499911 4499912 4499913
499990 4999900 4999901 4999902 4999903
Start analysis of Test 8 at: 08:39:55.302 950621
End analysis of Test 8 at: 08:40:10.324 950621
Analysis of T8 data:
i w[][0] w[][1] w[][2] w[][3]
Save output from Test 8? [n]
================================================================================
The number of processors (2) is too few to run Test T900.
================================================================================
Failing tests: 400 420 700 720.
Run this job another time? [y] n