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