ARCHTEST.  Version 4.  950301.
by W. W. Collier, mpdiag@acm.org.

                                               08:35:40.288 950621
Compaq Proliant

Default answers to the following questions are shown in brackets.

Specify how to generate the data to be analyzed.
1.  Execute real multiprocessing code to generate data.
2.  Execute the real mp code, but with only one processor.
3.  Generate data randomly with errors.
4.  Generate data randomly, but without errors.
5.  Use static data with errors.
6.  Use static data without errors.
(Choices 2-6 are for debugging.)  Choice [1]: 1
Enter the number of processors (from 2 to 8) [2]:   3
Define logical length of arrays (max=500000) [20000]:   500000

The following tests can be run:

  2    3    4    5    6    7    8    9
       310            610
  220  320  420  520  620  720

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

     Note added July 1996.

     The numbering scheme for some tests was changed in late 1995.

     The numbers for the following tests have not changed.

     200 300 400 500 600 700 800 900

     Two tests, 310 and 610, have been deleted.  They created
extraneous cache traffic in a fixed format in order to see if that
introduced relaxed behavior.  Currently, any test can have extraneous
cache traffic introduced in a random fashion by setting run time
parameters.

     The names of these tests have been changed

     220 320 420 520 620 720
to
     210 310 410 510 610 710

     The change in numbers should cause little confusion in
interpreting the results.  The relaxation that a test seeks to detect
is determined only by the initial digit in its number.  See the file
ANALYSIS to understand the relaxations that each of the tests seeks
to detect.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Specify which tests to run [all]:   all
Synchronize the start of test processes?  [y]:  y

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      acpq__00.out.
Number of processors:  3.
Length of the arrays:  500000.
Synchronize processes: y.
Test(s) to run:        200 220 300 310 320 400 420 500 520 600 610 620 700 720 800 900

================================================================================

  Test T200.  Seek a violation of A(CMP,RO,WO).

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[21]   > U[2i+1] + 1
Start execution of Test 200  at:               08:36:39.243 950621
  End execution of Test 200  at:               08:36:39.504 950621
      i       U       V       X       Y
      0      17       0       0       0
  49999   95910       0       0       0
  99998  193984       0       0       0
 149997  299981       0       0       0
 199996  409869       0       0       0
 249995  499999       0       0       0
 299994  499999       0       0       0
 349993  499999       0       0       0
 399992  499999       0       0       0
 449991  499999       0       0       0
 499990  499999       0       0       0

Start   analysis of Test 2 at:                 08:36:39.604 950621
  End   analysis of Test 2 at:                 08:36:39.724 950621
Analysis of T2 data:
      i       U       V       X       Y

================================================================================

  Test T220.  Seek a violation of A(CMP,RO,WO).

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[21]   > U[2i+1] + 1
Start execution of Test 220  at:               08:36:40.305 950621
  End execution of Test 220  at:               08:36:40.585 950621
      i       U       V       X       Y
      0       0       0       0       0
  49999  103632       0       0       0
  99998  210163       0       0       0
 149997  317795       0       0       0
 199996  425088       0       0       0
 249995  499999       0       0       0
 299994  499999       0       0       0
 349993  499999       0       0       0
 399992  499999       0       0       0
 449991  499999       0       0       0
 499990  499999       0       0       0

Start   analysis of Test 2 at:                 08:36:40.866 950621
  End   analysis of Test 2 at:                 08:36:40.986 950621
Analysis of T2 data:
      i       U       V       X       Y

================================================================================
The number of processors (3) is too few to run Test T300.
================================================================================
The number of processors (3) is too few to run Test T310.
================================================================================
The number of processors (3) is too few to run Test T320.
================================================================================

  Test T400.  Seek a violation of A(CMP,PO).

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 400  at:               08:36:41.647 950621
  End execution of Test 400  at:               08:36:41.957 950621
      i       U       V       X       Y
      0       0      24       0       0
  49999   49546   50577       0       0
  99998   96767  103178       0       0
 149997  140649  160345       0       0
 199996  184586  217657       0       0
 249995  229540  272027       0       0
 299994  277224  323528       0       0
 349993  326657  370936       0       0
 399992  380488  418105       0       0
 449991  432984  466232       0       0
 499990  484777  499999       0       0

Start Part 1 analysis of Test 4 at:            08:36:42.067 950621
Error 4.2. v[      1] =      24 <      25 and u[     25] =       0 <       1
Error 4.2. v[      5] =      30 <      31 and u[     31] =       4 <       5
Error 4.2. v[      6] =      30 <      31 and u[     31] =       4 <       6
Error 4.2. v[      8] =      34 <      35 and u[     35] =       7 <       8
Error 4.2. v[     10] =      39 <      40 and u[     40] =       9 <      10
Error 4.2. v[     14] =      41 <      42 and u[     42] =      13 <      14
  End Part 1 analysis of Test 4 at:            08:36:42.127 950621

Analysis of T4 data:

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
      0       0      24      24       0 2097152       0
      1       0      24      23      -1 2097152       1
      2       0      30      22       2 2097152       2
      3       0      30      21       1 2097152       3
      4       0      30      20       0 2097152       4
      5       0      30      19      -1 2097152       5
      6       0      30      18      -2 2097152       6
      7       0      34      17       0 2097152       0
      8       0      34      16      -1 2097152       1
      9       0      39      15       0 2097152       0
     10       0      39      14      -1 2097152       1
     11       0      41      13       2 2097152       2
     12       0      41      12       1 2097152       3
     13       0      41      11       0 2097152       4
     14       0      41      10      -1 2097152       5
     15       0      41       9      -2 2097152       6
     16       0      45       8       0 2097152       0
     17       0      45       7      -1 2097152       1

     22       0      48       2      -2 2097152       6
     23       0      48       1      -3 2097152       7
     24       0      52       0       0 2097152       0
     25       0      57      -1       2 2097152       1
     26       0      57      -2       1 2097152       2
     27       0      57      -3       0 2097152       3
     28       0      60      -4       2 2097152       1
     29       0      60      -5       1 2097152       2
     30       4      60       0       0       0       3
     31       4      63      -1       2       1       1
     32       7      63       2       1       2       2
     33       7      63       1       0       3       3
     34       7      66       0       2       4       1
     35       7      66      -1       1       5       2
     36       7      66      -2       0       6       3
     37       9      69       2       2       3       1
     38       9      69       1       1       4       2
     39       9      69       0       0       5       3
     40       9      72      -1       1       6       1
     41      13      72       0       0       0       2
     42      13      76      -1       0       1       1
     43      16      76       2      -1       2       2
     44      16      79       1       2       3       2
     45      16      79       0       1       4       3

Start Part 2 analysis of Test 4 at:            08:36:42.558 950621
 d = -20.
Error 4.1. u[ 476488] =  460152 <  460153 and v[ 460153] =  476468 <  476488
 d = -19.
Error 4.1. u[ 476487] =  460152 <  460153 and v[ 460153] =  476468 <  476487
 d = -18.
Error 4.1. u[ 476486] =  460152 <  460153 and v[ 460153] =  476468 <  476486
 d = -17.
Error 4.1. u[ 476485] =  460152 <  460153 and v[ 460153] =  476468 <  476485
 d = -16.
Error 4.2. v[ 442615] =  459144 <  459145 and u[ 459145] =  442599 <  442615
Error 4.1. u[ 476484] =  460152 <  460153 and v[ 460153] =  476468 <  476484
 d = -15.
Error 4.2. v[ 442614] =  459144 <  459145 and u[ 459145] =  442599 <  442614
Error 4.2. v[ 452632] =  468776 <  468777 and u[ 468777] =  452617 <  452632
Error 4.2. v[ 466309] =  481960 <  481961 and u[ 481961] =  466294 <  466309
Error 4.2. v[ 466377] =  482024 <  482025 and u[ 482025] =  466362 <  466377
Error 4.1. u[ 476483] =  460152 <  460153 and v[ 460153] =  476468 <  476483
Error 4.1. u[ 482201] =  466568 <  466569 and v[ 466569] =  482186 <  482201
 d = -14.
Error 4.2. v[ 466376] =  482024 <  482025 and u[ 482025] =  466362 <  466376
Error 4.2. v[ 442613] =  459144 <  459145 and u[ 459145] =  442599 <  442613
Error 4.1. u[ 476482] =  460152 <  460153 and v[ 460153] =  476468 <  476482
Error 4.2. v[ 248898] =  270568 <  270569 and u[ 270569] =  248884 <  248898
Error 4.2. v[ 301017] =  324152 <  324153 and u[ 324153] =  301003 <  301017
Error 4.2. v[ 452631] =  468776 <  468777 and u[ 468777] =  452617 <  452631
Error 4.1. u[ 326629] =  301688 <  301689 and v[ 301689] =  326615 <  326629
Error 4.2. v[ 460488] =  476664 <  476665 and u[ 476665] =  460474 <  460488
Error 4.2. v[ 466308] =  481960 <  481961 and u[ 481961] =  466294 <  466308
Error 4.1. u[ 476727] =  460536 <  460537 and v[ 460537] =  476713 <  476727
Error 4.1. u[ 482023] =  466360 <  466361 and v[ 466361] =  482009 <  482023
Error 4.1. u[ 482200] =  466568 <  466569 and v[ 466569] =  482186 <  482200
Error 4.1. u[ 426374] =  408552 <  408553 and v[ 408553] =  426360 <  426374
 d = -13.
Error 4.2. v[ 464036] =  480120 <  480121 and u[ 480121] =  464023 <  464036
Error 4.2. v[ 466307] =  481960 <  481961 and u[ 481961] =  466294 <  466307
Error 4.2. v[ 327257] =  350376 <  350377 and u[ 350377] =  327244 <  327257
Error 4.2. v[ 391373] =  409752 <  409753 and u[ 409753] =  391360 <  391373
Error 4.2. v[ 466375] =  482024 <  482025 and u[ 482025] =  466362 <  466375
Error 4.1. u[ 424933] =  407096 <  407097 and v[ 407097] =  424920 <  424933
Error 4.1. u[ 426373] =  408552 <  408553 and v[ 408553] =  426360 <  426373
Error 4.1. u[ 476481] =  460152 <  460153 and v[ 460153] =  476468 <  476481
Error 4.2. v[  31304] =   31608 <   31609 and u[  31609] =   31291 <   31304
Error 4.2. v[ 442612] =  459144 <  459145 and u[ 459145] =  442599 <  442612
Error 4.1. u[ 298248] =  276088 <  276089 and v[ 276089] =  298235 <  298248
Error 4.2. v[ 301016] =  324152 <  324153 and u[ 324153] =  301003 <  301016
Error 4.1. u[  53397] =   52744 <   52745 and v[  52745] =   53384 <   53397
Error 4.2. v[ 452630] =  468776 <  468777 and u[ 468777] =  452617 <  452630
Error 4.2. v[ 301288] =  324552 <  324553 and u[ 324553] =  301275 <  301288
Error 4.1. u[ 476726] =  460536 <  460537 and v[ 460537] =  476713 <  476726
Error 4.1. u[ 326628] =  301688 <  301689 and v[ 301689] =  326615 <  326628
Error 4.1. u[ 482022] =  466360 <  466361 and v[ 466361] =  482009 <  482022
Error 4.2. v[ 460487] =  476664 <  476665 and u[ 476665] =  460474 <  460487
Error 4.1. u[ 482199] =  466568 <  466569 and v[ 466569] =  482186 <  482199
Error 4.2. v[ 248897] =  270568 <  270569 and u[ 270569] =  248884 <  248897
Error 4.2. v[ 460504] =  476680 <  476681 and u[ 476681] =  460491 <  460504
 d = -12.
Error 4.1. u[ 457925] =  441257 <  441258 and v[ 441258] =  457913 <  457925
Error 4.2. v[ 460469] =  476648 <  476649 and u[ 476649] =  460457 <  460469
Error 4.2. v[ 460486] =  476664 <  476665 and u[ 476665] =  460474 <  460486
  End Part 2 analysis of Test 4 at:            08:36:46.844 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1    108125    108125         0         0     1
 2     52062     52164         0         0     2
 3     11328     11273         0         0     3
 4      7789      7758         0         0     4
 5      7609      7587         0         0     5
 6      3872      3755         0         0     6
 7      3280      3229         0         0     7
 8      1152      1116         0         0     8
 9        65        75         0         0     9
10        42        53         0         0    10
11        34        43         0         0    11
12        19        19         0         0    12
13         9        13         0         0    13
14         6         7         0         0    14
15         2         4         0         0    15
16         1         1         0         0    16
17         1         0         0         0    17
18         1         0         0         0    18
19         1         0         0         0    19
20         1         0         0         0    20
21         0         0         0         0    21
22         0         0         0         0    22
23         0         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:
      195399    195222         0         0
          20        16         0         0
           0         0         0         0

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
 442609  425427  459144       0     -10       0      10
 442610  425427  459144      -1     -11       1      11
 442611  425430  459144       2     -12       2      12
 442612  425430  459144       1     -13       3      13
 442613  425430  459144       0     -14       4      14
 442614  425430  459144      -1     -15       5      15
 442615  425430  459144      -2     -16       6      16
 442616  425432  459148       0       0       3       0
 442617  425432  459160      -1      14       4       1
 442618  425442  459160       0      13       0       2

 452627  435910  468776       1     -10       3      10
 452628  435910  468776       0     -11       4      11
 452629  435910  468776      -1     -12       5      12
 452630  435910  468776      -2     -13       6      13
 452631  435912  468776       0     -14       3      14
 452632  435912  468776      -1     -15       4      15
 452633  435912  468792      -2      17       5       1
 452634  435912  468792      -3      16       6       2
 452635  435916  468792       0      15       0       3

 459142  442599  475441       2      -1       9       5
 459143  442599  475441       1      -2      10       6
 459144  442599  475445       0       0      11       0
 459145  442599  475451      -1       1      12       1
 459146  442616  475451      14       0       2       2
 459147  442616  475451      13      -1       3       3
 459148  442616  475451      12      -2       4       4

 460150  443617  476468      -1       2       1       4
 460151  443620  476468       1       1       2       5
 460152  443620  476468       0       0       3       6
 460153  443620  476468      -1      -1       4       7
 460154  443627  476488       1      10       2       2
 460155  443627  476488       0       9       3       3
 460156  443627  476488      -1       8       4       4

 466304  450061  481960      -1     -10       1      10
 466305  450064  481960       2     -11       2      11
 466306  450064  481960       1     -12       3      12
 466307  450064  481960       0     -13       4      13
 466308  450064  481960      -1     -14       5      14
 466309  450064  481960      -2     -15       6      15
 466310  450068  481962       0       2       0      16
 466311  450068  481962      -1       1       1      17
 466312  450072  481962       0       0       2      18

 466372  450134  482024       0     -10       4      12
 466373  450134  482024      -1     -11       5      13
 466374  450134  482024      -2     -12       6      14
 466375  450136  482024       0     -13       3      15
 466376  450136  482024      -1     -14       4      16
 466377  450136  482024      -2     -15       5      17
 466378  450136  482029      -3       0       6       0
 466379  450139  482029       0      -1       0       1
 466380  450139  482038      -1       0       1       0

 468774  452617  484404       2       0       5       0
 468775  452617  484404       1      -1       6       1
 468776  452617  484407       0       0       7       2
 468777  452617  484407      -1      -1       8       3
 468778  452632  484411      14       1       2       2
 468779  452632  484411      13       0       3       3
 468780  452632  484411      12      -1       4       4

 476478  460152  492256     -10       0      10       4
 476479  460152  492256     -11      -1      11       5
 476480  460152  492256     -12      -2      12       6
 476481  460152  492260     -13       0      13       0
 476482  460152  492260     -14      -1      14       1
 476483  460152  492263     -15       2      15       2
 476484  460152  492263     -16       1      16       3
 476485  460152  492263     -17       0      17       4
 476486  460152  492263     -18      -1      18       5
 476487  460152  492263     -19      -2      19       6
 476488  460152  492265     -20       1      20       3
 476489  460164  492265       0       0       1       4
 476490  460164  492265      -1      -1       2       5
 476491  460168  492273      13       0       2       0

 481958  466292  497385      -5       3      13       2
 481959  466294  497385       1       2       6       3
 481960  466294  497385       0       1       7       4
 481961  466294  497385      -1       0       8       5
 481962  466312  497385      17      -1       0       6
 481963  466312  497391      16       2       1       2
 481964  466312  497391      15       1       2       3

================================================================================

  Test T420.  Seek a violation of A(CMP,PO).

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 420  at:               08:36:48.487 950621
  End execution of Test 420  at:               08:36:48.817 950621
      i       U       V       X       Y
      0       0       1       0       0
  49999   41880   59444       0       0
  99998   84997  117393       0       0
 149997  128371  174737       0       0
 199996  171624  231218       0       0
 249995  216529  288241       0       0
 299994  260193  344946       0       0
 349993  304463  401111       0       0
 399992  348881  456294       0       0
 449991  394509  499999       0       0
 499990  436587  499999       0       0

Start Part 1 analysis of Test 4 at:            08:36:49.268 950621
Error 4.2. v[      7] =      81 <      82 and u[     82] =       6 <       7
Error 4.2. v[      8] =      81 <      82 and u[     82] =       6 <       8
Error 4.2. v[     11] =      93 <      94 and u[     94] =      10 <      11
Error 4.2. v[     12] =      93 <      94 and u[     94] =      10 <      12
Error 4.2. v[     14] =      96 <      97 and u[     97] =      13 <      14
Error 4.2. v[     15] =      96 <      97 and u[     97] =      13 <      15
  End Part 1 analysis of Test 4 at:            08:36:49.328 950621

Analysis of T4 data:

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
      4       0      79      72       0 2097152       2
      5       0      81      71       1 2097152       1
      6       0      81      70       0 2097152       2
      7       0      81      69      -1 2097152       3
      8       0      81      68      -2 2097152       4
      9       0      93      67       1 2097152       1
     10       0      93      66       0 2097152       2
     11       0      93      65      -1 2097152       3
     12       0      93      64      -2 2097152       4
     13       0      96      63       0 2097152       0
     14       0      96      62      -1 2097152       1
     15       0      96      61      -2 2097152       2
     16       0      96      60      -3 2097152       3
     17       0      96      59      -4 2097152       4
     18       0     100      58       0 2097152       0

     79       2     183       0       0       3       0
     80       4     183       1      -1       1       1
     81       6     186       0       1       0       2
     82       6     186      -1       0       1       3
     83       8     186      10      -1       2       4
     84       8     186       9      -2       3       5
     85       8     190       8       0       4       0

     91       8     202       2       0      10       3
     92       8     202       1      -1      11       4
     93      10     202       0      -2       0       5
     94      10     206      -1       0       1       0
     95      13     206       1      -1       2       1
     96      13     209       0       1       3       2
     97      13     209      -1       0       4       3
     98      18     209       2      -1       2       4
     99      18     209       1      -2       3       5
    100      18     213       0       0       4       0

Start Part 2 analysis of Test 4 at:            08:36:49.678 950621
 d = -17.
Error 4.1. u[ 370416] =  322568 <  322569 and v[ 322569] =  370399 <  370416
 d = -16.
Error 4.1. u[ 370415] =  322568 <  322569 and v[ 322569] =  370399 <  370415
 d = -15.
Error 4.1. u[ 203841] =  175160 <  175161 and v[ 175161] =  203826 <  203841
Error 4.1. u[ 217535] =  187944 <  187945 and v[ 187945] =  217520 <  217535
Error 4.1. u[ 220048] =  190136 <  190137 and v[ 190137] =  220033 <  220048
Error 4.1. u[ 370414] =  322568 <  322569 and v[ 322569] =  370399 <  370414
Error 4.1. u[  23600] =   18792 <   18793 and v[  18793] =   23585 <   23600
Error 4.1. u[ 113503] =   96424 <   96425 and v[  96425] =  113488 <  113503
Error 4.1. u[ 402193] =  350984 <  350985 and v[ 350985] =  402178 <  402193
Error 4.1. u[ 421696] =  368904 <  368905 and v[ 368905] =  421681 <  421696
Error 4.1. u[ 455143] =  399048 <  399049 and v[ 399049] =  455128 <  455143
 d = -14.
Error 4.1. u[ 281019] =  243656 <  243657 and v[ 243657] =  281005 <  281019
Error 4.1. u[ 370413] =  322568 <  322569 and v[ 322569] =  370399 <  370413
Error 4.1. u[ 113502] =   96424 <   96425 and v[  96425] =  113488 <  113502
Error 4.1. u[ 217534] =  187944 <  187945 and v[ 187945] =  217520 <  217534
Error 4.1. u[  23599] =   18792 <   18793 and v[  18793] =   23585 <   23599
Error 4.1. u[ 402192] =  350984 <  350985 and v[ 350985] =  402178 <  402192
Error 4.1. u[ 220047] =  190136 <  190137 and v[ 190137] =  220033 <  220047
Error 4.1. u[ 421695] =  368904 <  368905 and v[ 368905] =  421681 <  421695
Error 4.1. u[ 203840] =  175160 <  175161 and v[ 175161] =  203826 <  203840
Error 4.1. u[ 426460] =  373384 <  373385 and v[ 373385] =  426446 <  426460
Error 4.1. u[ 455142] =  399048 <  399049 and v[ 399049] =  455128 <  455142
Error 4.1. u[ 270049] =  234248 <  234249 and v[ 234249] =  270035 <  270049
Error 4.1. u[ 483786] =  423368 <  423369 and v[ 423369] =  483772 <  483786
 d = -13.
Error 4.2. v[ 148082] =  172448 <  172449 and u[ 172449] =  148069 <  148082
Error 4.1. u[ 172304] =  147944 <  147945 and v[ 147945] =  172291 <  172304
Error 4.1. u[ 220046] =  190136 <  190137 and v[ 190137] =  220033 <  220046
Error 4.1. u[ 203839] =  175160 <  175161 and v[ 175161] =  203826 <  203839
Error 4.1. u[ 402191] =  350984 <  350985 and v[ 350985] =  402178 <  402191
Error 4.1. u[  23598] =   18792 <   18793 and v[  18793] =   23585 <   23598
Error 4.1. u[ 270048] =  234248 <  234249 and v[ 234249] =  270035 <  270048
Error 4.1. u[ 421694] =  368904 <  368905 and v[ 368905] =  421681 <  421694
Error 4.1. u[ 113501] =   96424 <   96425 and v[  96425] =  113488 <  113501
Error 4.1. u[ 281018] =  243656 <  243657 and v[ 243657] =  281005 <  281018
Error 4.1. u[ 426459] =  373384 <  373385 and v[ 373385] =  426446 <  426459
Error 4.1. u[ 217533] =  187944 <  187945 and v[ 187945] =  217520 <  217533
Error 4.1. u[ 455141] =  399048 <  399049 and v[ 399049] =  455128 <  455141
Error 4.1. u[ 326860] =  284216 <  284217 and v[ 284217] =  326847 <  326860
Error 4.1. u[ 358124] =  311576 <  311577 and v[ 311577] =  358111 <  358124
Error 4.1. u[ 467678] =  410024 <  410025 and v[ 410025] =  467665 <  467678
Error 4.1. u[ 481579] =  421496 <  421497 and v[ 421497] =  481566 <  481579
Error 4.1. u[ 481605] =  421512 <  421513 and v[ 421513] =  481592 <  481605
Error 4.1. u[ 483785] =  423368 <  423369 and v[ 423369] =  483772 <  483785
Error 4.1. u[ 370412] =  322568 <  322569 and v[ 322569] =  370399 <  370412
 d = -12.
Error 4.2. v[ 369732] =  422560 <  422561 and u[ 422561] =  369720 <  369732
Error 4.1. u[ 370411] =  322568 <  322569 and v[ 322569] =  370399 <  370411
Error 4.2. v[ 124029] =  145360 <  145361 and u[ 145361] =  124017 <  124029
Error 4.2. v[ 125889] =  147136 <  147137 and u[ 147137] =  125877 <  125889
Error 4.2. v[ 148081] =  172448 <  172449 and u[ 172449] =  148069 <  148081
Error 4.1. u[ 220045] =  190136 <  190137 and v[ 190137] =  220033 <  220045
  End Part 2 analysis of Test 4 at:            08:36:54.185 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1    113852    113852         0         0     1
 2     57080     52007         0         0     2
 3     13966      8822         0         0     3
 4      9924      5912         0         0     4
 5      9704      5051         0         0     5
 6      8393       816         0         0     6
 7      8197       136         0         0     7
 8      5793        93         0         0     8
 9       316        45         0         0     9
10        79        23         0         0    10
11        57        11         0         0    11
12        28         6         0         0    12
13        19         1         0         0    13
14        13         0         0         0    14
15         9         0         0         0    15
16         1         0         0         0    16
17         1         0         0         0    17
18         0         0         0         0    18
19         0         0         0         0    19
20         0         0         0         0    20
21         0         0         0         0    21
22         0         0         0         0    22
23         0         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:
      227432    186775         0         0
          17        13         0         0
           0         0         0         0

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
  23595   18792   29306     -10       1      10       3
  23596   18792   29306     -11       0      11       4
  23597   18792   29306     -12      -1      12       5
  23598   18792   29306     -13      -2      13       6
  23599   18792   29310     -14       0      14       0
  23600   18792   29310     -15      -1      15       1
  23601   18795   29313       0       1       0       2
  23602   18795   29313      -1       0       1       3
  23603   18798   29313       2      -1       2       4

 175158  150339  203826      -1       2       5       8
 175159  150339  203826      -2       1       6       9
 175160  150342  203826       0       0       0      10
 175161  150342  203826      -1      -1       1      11
 175162  150344  203842       8       2       2       2
 175163  150344  203842       7       1       3       3
 175164  150344  203842       6       0       4       4

 187942  161064  217515      -6       0      10       0
 187943  161064  217515      -7      -1      11       1
 187944  161066  217520       2       0       8       0
 187945  161066  217520       1      -1       9       1
 187946  161066  217536       0      12      10       2
 187947  161066  217536      -1      11      11       3
 187948  161066  217536      -2      10      12       4

 190134  163097  220032       1       2       6      14
 190135  163099  220032       0       1       0      15
 190136  163099  220033      -1       0       1      11
 190137  163103  220033       2      -1       2      12
 190138  163103  220049       1       2       3       2
 190139  163103  220049       0       1       4       3
 190140  163103  220049      -1       0       5       4

 203836  175160  235602     -10      -1      10       1
 203837  175160  235605     -11       1      11       2
 203838  175160  235605     -12       0      12       3
 203839  175160  235605     -13      -1      13       4
 203840  175160  235605     -14      -2      14       5
 203841  175160  235609     -15       0      15       0
 203842  175164  235609       0      -1       0       1
 203843  175164  235612      -1       2       1       2
 203844  175167  235612       2       1       2       3

 217530  187944  251216     -10       1      15       7
 217531  187944  251218     -11       0      16       0
 217532  187944  251218     -12      -1      17       1
 217533  187944  251221     -13       1      18       2
 217534  187944  251221     -14       0      19       3
 217535  187944  251221     -15      -1      20       4
 217536  187947  251221       0      -2       0       5
 217537  187958  251225       0       0       1       0
 217538  187958  251225      -1      -1       2       1

 220042  190136  254112      -9       9      10       2
 220043  190136  254112     -10       8      11       3
 220044  190136  254112     -11       7      12       4
 220045  190136  254112     -12       6      13       5
 220046  190136  254112     -13       5      14       6
 220047  190136  254112     -14       4      15       7
 220048  190136  254112     -15       3      16       8
 220049  190140  254112       0       2       0       9
 220050  190140  254112      -1       1       1      10
 220051  190143  254115       8       0       2       0

 322566  280638  370397      -1      -2       1       8
 322567  280641  370399       2       1       2       3
 322568  280641  370399       1       0       3       4
 322569  280641  370399       0      -1       4       5
 322570  280641  370417      -1       3       5       2
 322571  280641  370417      -2       2       6       3
 322572  280645  370417       0       1       0       4

 370408  322568  423392      -9       0       9       3
 370409  322568  423392     -10      -1      10       4
 370410  322568  423392     -11      -2      11       5
 370411  322568  423392     -12      -3      12       6
 370412  322568  423392     -13      -4      13       7
 370413  322568  423392     -14      -5      14       8
 370414  322568  423396     -15       0      15       0
 370415  322568  423396     -16      -1      16       1
 370416  322568  423399     -17       1      17       2
 370417  322573  423399       0       0       0       3
 370418  322573  423399      -1      -1       1       4
 370419  322576  423399       2      -2       2       5

================================================================================

  Test T500.  Seek a violation of A(CMP,RO,WO,WA).

Seek 5.  U[i] > V[i].
Start execution of Test 500  at:               08:36:55.807 950621
  End execution of Test 500  at:               08:36:56.057 950621
      i       U       V       X       Y
      0      49      74       0       0
  49999  499999  499999       0       0
  99998  499999  499999       0       0
 149997  499999  499999       0       0
 199996  499999  499999       0       0
 249995  499999  499999       0       0
 299994  499999  499999       0       0
 349993  499999  499999       0       0
 399992  499999  499999       0       0
 449991  499999  499999       0       0
 499990  499999  499999       0       0

Start   analysis of Test 5 at:                 08:36:56.168 950621
  End   analysis of Test 5 at:                 08:36:56.288 950621
Analysis of T5 data:
      i       U       V       X       Y

================================================================================

  Test T520.  Seek a violation of A(CMP,RO,WO,WA).

Seek 5.  U[i] > V[i].
Start execution of Test 520  at:               08:36:56.879 950621
  End execution of Test 520  at:               08:36:57.149 950621
      i       U       V       X       Y
      0       0     115       0       0
  49999  499999  499999       0       0
  99998  499999  499999       0       0
 149997  499999  499999       0       0
 199996  499999  499999       0       0
 249995  499999  499999       0       0
 299994  499999  499999       0       0
 349993  499999  499999       0       0
 399992  499999  499999       0       0
 449991  499999  499999       0       0
 499990  499999  499999       0       0

Start   analysis of Test 5 at:                 08:36:57.570 950621
  End   analysis of Test 5 at:                 08:36:57.690 950621
Analysis of T5 data:
      i       U       V       X       Y

================================================================================
The number of processors (3) is too few to run Test T600.
================================================================================
The number of processors (3) is too few to run Test T610.
================================================================================
The number of processors (3) is too few to run Test T620.
================================================================================

  Test T700.  Seek a violation of A(CMP,UPO,RO,WO,WA).

Seek 7.1. U[i] < j and V[j] < i.  d1 = v[ u[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = u[ v[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - v[ u[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - u[ v[i]-1 ] < 0.

Start execution of Test 700  at:               08:36:58.361 950621
  End execution of Test 700  at:               08:36:58.751 950621
      i       U       V       X       Y
      0       0       2  499999  499999
  49999   48693   51357       0       0
  99998   98410  101720       0       0
 149997  147080  152847       0       0
 199996  195793  204283       0       0
 249995  245551  254598       0       0
 299994  294217  305838       0       0
 349993  344286  355165       0       0
 399992  394404  405624       0       0
 449991  443667  456323       0       0
 499990  492905  499999       0       0

Start Part 1 analysis of Test 7 at:            08:36:58.861 950621
Error 7.2. v[      3] =       9 <      10 and u[     10] =       2 <       3
Error 7.2. v[      4] =       9 <      10 and u[     10] =       2 <       4
Error 7.2. v[      5] =       9 <      10 and u[     10] =       2 <       5
Error 7.2. v[      7] =      12 <      13 and u[     13] =       6 <       7
Error 7.2. v[      9] =      14 <      15 and u[     15] =       8 <       9
Error 7.1. u[     10] =       2 <       3 and v[      3] =       9 <      10
  End Part 1 analysis of Test 7 at:            08:36:58.922 950621

Analysis of T7 data:

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
      0       0       2       9       0 2097152       0
      1       0       9       8       1 2097152       1
      2       0       9       7       0 2097152       2
      3       0       9       6      -1 2097152       3
      4       0       9       5      -2 2097152       4
      5       0       9       4      -3 2097152       5
      6       0      12       3       0 2097152       0
      7       0      12       2      -1 2097152       1
      8       0      14       1       0 2097152       2
      9       2      14       0      -1       0       3
     10       2      19      -1       1       1       2
     11       6      19       1       0       2       3
     12       6      19       0      -1       3       4
     13       6      22      -1       0       4       0
     14       8      22       0      -1       2       1
     15       8      24      -1       8       3       2
     16       8      24      -2       7       4       3
     17       8      24      -3       6       5       4
     18       8      24      -4       5       6       5

Start Part 2 analysis of Test 7 at:            08:36:59.142 950621
 d = -13.
Error 7.1. u[ 325496] =  319784 <  319785 and v[ 319785] =  325483 <  325496
Error 7.2. v[ 399174] =  404776 <  404777 and u[ 404777] =  399161 <  399174
Error 7.1. u[ 404711] =  399096 <  399097 and v[ 399097] =  404698 <  404711
Error 7.1. u[ 404966] =  399336 <  399337 and v[ 399337] =  404953 <  404966
Error 7.1. u[ 430183] =  424472 <  424473 and v[ 424473] =  430170 <  430183
 d = -12.
Error 7.1. u[ 404710] =  399096 <  399097 and v[ 399097] =  404698 <  404710
Error 7.1. u[ 325511] =  319800 <  319801 and v[ 319801] =  325499 <  325511
Error 7.1. u[ 404965] =  399336 <  399337 and v[ 399337] =  404953 <  404965
Error 7.2. v[ 399173] =  404776 <  404777 and u[ 404777] =  399161 <  399173
Error 7.2. v[ 424437] =  430136 <  430137 and u[ 430137] =  424425 <  424437
Error 7.1. u[ 430182] =  424472 <  424473 and v[ 424473] =  430170 <  430182
Error 7.1. u[ 325495] =  319784 <  319785 and v[ 319785] =  325483 <  325495
 d = -11.
Error 7.1. u[ 325556] =  319848 <  319849 and v[ 319849] =  325545 <  325556
Error 7.1. u[ 404964] =  399336 <  399337 and v[ 399337] =  404953 <  404964
Error 7.2. v[ 399172] =  404776 <  404777 and u[ 404777] =  399161 <  399172
Error 7.1. u[ 325494] =  319784 <  319785 and v[ 319785] =  325483 <  325494
Error 7.2. v[ 424436] =  430136 <  430137 and u[ 430137] =  424425 <  424436
Error 7.1. u[ 325510] =  319800 <  319801 and v[ 319801] =  325499 <  325510
Error 7.1. u[ 430181] =  424472 <  424473 and v[ 424473] =  430170 <  430181
Error 7.1. u[ 404709] =  399096 <  399097 and v[ 399097] =  404698 <  404709
Error 7.1. u[ 325190] =  319416 <  319417 and v[ 319417] =  325179 <  325190
 d = -10.
Error 7.2. v[ 399313] =  404920 <  404921 and u[ 404921] =  399303 <  399313
Error 7.1. u[ 404708] =  399096 <  399097 and v[ 399097] =  404698 <  404708
Error 7.1. u[ 325509] =  319800 <  319801 and v[ 319801] =  325499 <  325509
Error 7.1. u[ 214886] =  210504 <  210505 and v[ 210505] =  214876 <  214886
Error 7.1. u[ 325316] =  319592 <  319593 and v[ 319593] =  325306 <  325316
Error 7.1. u[ 404963] =  399336 <  399337 and v[ 399337] =  404953 <  404963
Error 7.1. u[ 325555] =  319848 <  319849 and v[ 319849] =  325545 <  325555
Error 7.1. u[ 325493] =  319784 <  319785 and v[ 319785] =  325483 <  325493
Error 7.1. u[ 379169] =  374008 <  374009 and v[ 374009] =  379159 <  379169
Error 7.2. v[ 424435] =  430136 <  430137 and u[ 430137] =  424425 <  424435
Error 7.2. v[ 399093] =  404696 <  404697 and u[ 404697] =  399083 <  399093
Error 7.2. v[ 399171] =  404776 <  404777 and u[ 404777] =  399161 <  399171
Error 7.2. v[ 424469] =  430168 <  430169 and u[ 430169] =  424459 <  424469
Error 7.1. u[ 430180] =  424472 <  424473 and v[ 424473] =  430170 <  430180
Error 7.2. v[ 319589] =  325304 <  325305 and u[ 325305] =  319579 <  319589
Error 7.2. v[ 320072] =  325768 <  325769 and u[ 325769] =  320062 <  320072
Error 7.1. u[ 325189] =  319416 <  319417 and v[ 319417] =  325179 <  325189
 d =  -9.
Error 7.1. u[  83698] =   82072 <   82073 and v[  82073] =   83689 <   83698
Error 7.2. v[ 399312] =  404920 <  404921 and u[ 404921] =  399303 <  399312
Error 7.2. v[ 320071] =  325768 <  325769 and u[ 325769] =  320062 <  320071
Error 7.1. u[ 404707] =  399096 <  399097 and v[ 399097] =  404698 <  404707
Error 7.1. u[ 325508] =  319800 <  319801 and v[ 319801] =  325499 <  325508
Error 7.2. v[ 125234] =  127544 <  127545 and u[ 127545] =  125225 <  125234
Error 7.1. u[ 325156] =  319368 <  319369 and v[ 319369] =  325147 <  325156
Error 7.1. u[ 325188] =  319416 <  319417 and v[ 319417] =  325179 <  325188
Error 7.1. u[ 404962] =  399336 <  399337 and v[ 399337] =  404953 <  404962
Error 7.1. u[ 325523] =  319816 <  319817 and v[ 319817] =  325514 <  325523
Error 7.1. u[ 325554] =  319848 <  319849 and v[ 319849] =  325545 <  325554
Error 7.2. v[ 141576] =  144344 <  144345 and u[ 144345] =  141567 <  141576
  End Part 2 analysis of Test 7 at:            08:37:03.448 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1    149944    149944         0         0     1
 2     15494     15534         0         0     2
 3     12571     12618         0         0     3
 4     10604     10591         0         0     4
 5      9489      9423         0         0     5
 6      6389      6215         0         0     6
 7       444       434         0         0     7
 8       217       222         0         0     8
 9        15        11         0         0     9
10        10         7         0         0    10
11         7         2         0         0    11
12         5         2         0         0    12
13         4         1         0         0    13
14         0         0         0         0    14
15         0         0         0         0    15
16         0         0         0         0    16
17         0         0         0         0    17
18         0         0         0         0    18
19         0         0         0         0    19
20         0         0         0         0    20
21         0         0         0         0    21
22         0         0         0         0    22
23         0         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:
      205193    205004         0         0
          13        13         0         0
           0         0         0         0

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
 319782  313620  325483       1       2       2       6
 319783  313620  325483       0       1       3       7
 319784  313620  325483      -1       0       4       8
 319785  313624  325483       0      -1       0       9
 319786  313624  325497      -1       8       1       2
 319787  313624  325497      -2       7       2       3
 319788  313624  325497      -3       6       3       4

 325490  319784  331236      -7      -1       7       4
 325491  319784  331238      -8       1       8       2
 325492  319784  331238      -9       0       9       3
 325493  319784  331238     -10      -1      10       4
 325494  319784  331240     -11       0      11       2
 325495  319784  331240     -12      -1      12       3
 325496  319784  331240     -13      -2      13       4
 325497  319794  331240       0      -3       0       5
 325498  319794  331240      -1      -4       1       6
 325499  319800  331243       0       0       0       0

 399090  393508  404696      -1      -7       4       7
 399091  393511  404696       0      -8       0       8
 399092  393511  404696      -1      -9       1       9
 399093  393513  404696       4     -10       2      10
 399094  393513  404698       3       2       3      11
 399095  393513  404698       2       1       4      12
 399096  393513  404698       1       0       5      13
 399097  393513  404698       0      -1       6      14
 399098  393513  404712      -1      14       7       2
 399099  393517  404712       1      13       2       3
 399100  393517  404712       0      12       3       4

 399168  393587  404776       1      -7       2       7
 399169  393587  404776       0      -8       3       8
 399170  393587  404776      -1      -9       4       9
 399171  393589  404776       1     -10       2      10
 399172  393589  404776       0     -11       3      11
 399173  393589  404776      -1     -12       4      12
 399174  393592  404776       0     -13       0      13
 399175  393592  404780      -1       0       1       0
 399176  393592  404780      -2      -1       2       1
 399177  393592  404793      -3       5       3       1

 399334  393741  404953      -1       2       4       9
 399335  393744  404953       0       1       0      10
 399336  393744  404953      -1       0       1      11
 399337  393749  404953       0      -1       0      12
 399338  393749  404968      -1       0       1       0
 399339  393751  404968       1      -1       2       1
 399340  393751  404968       0      -2       3       2

 404704  399096  410444      -6      -1       6       1
 404705  399096  410446      -7       2       7       2
 404706  399096  410446      -8       1       8       3
 404707  399096  410446      -9       0       9       4
 404708  399096  410446     -10      -1      10       5
 404709  399096  410449     -11       0      11       0
 404710  399096  410449     -12      -1      12       1
 404711  399096  410451     -13       1      13       2
 404712  399100  410451       0       0       0       3
 404713  399112  410451       0      -1       0       4
 404714  399112  410457      -1       3       1       2

 404774  399161  410516       2      -1      11       1
 404775  399161  410518       1       1      12       2
 404776  399161  410518       0       0      13       3
 404777  399161  410518      -1      -1      14       4
 404778  399175  410523       2       1       2       2
 404779  399175  410523       1       0       3       3
 404780  399175  410523       0      -1       4       4

 404959  399336  410680      -6      -6       6       6
 404960  399336  410680      -7      -7       7       7
 404961  399336  410683      -8       0       8       0
 404962  399336  410683      -9      -1       9       1
 404963  399336  410685     -10       1      10       2
 404964  399336  410685     -11       0      11       3
 404965  399336  410685     -12      -1      12       4
 404966  399336  410688     -13       0      13       0
 404967  399338  410688       1      -1      14       1
 404968  399338  410690       0       0      15       2
 404969  399338  410690      -1      -1      16       3

 430177  424472  436125      -7       0       7       0
 430178  424472  436125      -8      -1       8       1
 430179  424472  436127      -9       1       9       2
 430180  424472  436127     -10       0      10       3
 430181  424472  436127     -11      -1      11       4
 430182  424472  436130     -12       0      12       0
 430183  424472  436130     -13      -1      13       1
 430184  424474  436132       0       0      14       2
 430185  424474  436132      -1      -1      15       3
 430186  424485  436138       0       3       0       2

================================================================================
Test T720.  Seek a violation of A(CMP,UPO,RO,WO,WA).

Seek 7.1. U[i] < j and V[j] < i.  d1 = v[ u[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = u[ v[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - v[ u[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - u[ v[i]-1 ] < 0.

Start execution of Test 720  at:               08:37:05.191 950621
  End execution of Test 720  at:               08:37:05.591 950621
      i       U       V       X       Y
      0       0       9  499999       0
  49999   40943   61784       0       0
  99998   80354  124535       0       0
 149997  120792  186971       0       0
 199996  160237  250392       0       0
 249995  199663  314166       0       0
 299994  239308  379895       0       0
 349993  277638  446131       0       0
 399992  315262  499999       0       0
 449991  353231  499999       0       0
 499990  394597  499999       0       0

Start Part 1 analysis of Test 7 at:            08:37:06.032 950621
Error 7.2. v[      3] =      53 <      54 and u[     54] =       2 <       3
Error 7.2. v[      5] =      56 <      57 and u[     57] =       4 <       5
Error 7.2. v[      7] =      59 <      60 and u[     60] =       6 <       7
Error 7.2. v[     12] =      66 <      67 and u[     67] =      11 <      12
Error 7.2. v[     14] =      69 <      70 and u[     70] =      13 <      14
Error 7.2. v[     16] =      72 <      73 and u[     73] =      15 <      16
  End Part 1 analysis of Test 7 at:            08:37:06.092 950621

Analysis of T7 data:

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
      0       0       9      53       0 2097152       0
      1       0      53      52       1 2097152       1
      2       0      53      51       0 2097152       2
      3       0      53      50      -1 2097152       3
      4       0      56      49       0 2097152       0
      5       0      56      48      -1 2097152       1
      6       0      59      47       0 2097152       0
      7       0      59      46      -1 2097152       1
      8       0      62      45       0 2097152       0
      9       0      66      44       2 2097152       1
     10       0      66      43       1 2097152       2
     11       0      66      42       0 2097152       3
     12       0      66      41      -1 2097152       4
     13       0      69      40       0 2097152       0
     14       0      69      39      -1 2097152       1
     15       0      72      38       0 2097152       0
     16       0      72      37      -1 2097152       1
     17       0      75      36       0 2097152       0
     18       0      75      35      -1 2097152       1
     19       0      78      34       0 2097152       0

     51       0     116       2      -1 2097152       1
     52       0     119       1       0 2097152       0
     53       2     119       0      -1       0       1
     54       2     122      -1       0       1       0
     55       4     122       1      -1       2       1
     56       4     125       0       0       3       0
     57       4     130      -1       2       4       1
     58       6     130       1       1       2       2
     59       6     130       0       0       3       3
     60       6     130      -1      -1       4       4
     61       8     133       5       0       2       0
     62       8     133       4      -1       3       1
     63       8     136       3       0       4       0
     64       8     136       2      -1       5       1
     65       8     139       1       0       6       0
     66      11     139       0      -1       0       1
     67      11     142      -1       0       1       0
     68      13     142       1      -1       2       1
     69      13     144       0       0       3       2
     70      13     144      -1      -1       4       3
     71      15     144       1      -2       2       4
     72      15     144       0      -3       3       5
     73      15     144      -1      -4       4       6
     74      17     147       1       0       2       0
     75      17     147       0      -1       3       1
     76      17     150      -1       0       4       0

Start Part 2 analysis of Test 7 at:            08:37:06.563 950621
 d = -15.
Error 7.1. u[  55678] =   45448 <   45449 and v[  45449] =   55663 <   55678
 d = -14.
Error 7.1. u[  55677] =   45448 <   45449 and v[  45449] =   55663 <   55677
 d = -13.
Error 7.1. u[  55676] =   45448 <   45449 and v[  45449] =   55663 <   55676
 d = -12.
Error 7.2. v[  42601] =   52240 <   52241 and u[  52241] =   42589 <   42601
Error 7.1. u[  52848] =   43224 <   43225 and v[  43225] =   52836 <   52848
Error 7.1. u[  55675] =   45448 <   45449 and v[  45449] =   55663 <   55675
Error 7.1. u[  56013] =   45704 <   45705 and v[  45705] =   56001 <   56013
 d = -11.
Error 7.1. u[  55674] =   45448 <   45449 and v[  45449] =   55663 <   55674
Error 7.1. u[  52847] =   43224 <   43225 and v[  43225] =   52836 <   52847
Error 7.1. u[  56012] =   45704 <   45705 and v[  45705] =   56001 <   56012
Error 7.2. v[  42600] =   52240 <   52241 and u[  52241] =   42589 <   42600
 d = -10.
Error 7.1. u[  55673] =   45448 <   45449 and v[  45449] =   55663 <   55673
Error 7.1. u[  52846] =   43224 <   43225 and v[  43225] =   52836 <   52846
Error 7.1. u[  56011] =   45704 <   45705 and v[  45705] =   56001 <   56011
Error 7.2. v[  17179] =   21072 <   21073 and u[  21073] =   17169 <   17179
Error 7.2. v[  42599] =   52240 <   52241 and u[  52241] =   42589 <   42599
Error 7.1. u[  69552] =   56312 <   56313 and v[  56313] =   69542 <   69552
Error 7.1. u[  81789] =   66024 <   66025 and v[  66025] =   81779 <   81789
Error 7.2. v[ 101469] =  126544 <  126545 and u[ 126545] =  101459 <  101469
Error 7.2. v[ 176613] =  220720 <  220721 and u[ 220721] =  176603 <  176613
Error 7.1. u[ 234799] =  187544 <  187545 and v[ 187545] =  234789 <  234799
 d =  -9.
Error 7.1. u[  55622] =   45400 <   45401 and v[  45401] =   55613 <   55622
Error 7.1. u[  69551] =   56312 <   56313 and v[  56313] =   69542 <   69551
Error 7.1. u[  55672] =   45448 <   45449 and v[  45449] =   55663 <   55672
Error 7.1. u[  77484] =   62568 <   62569 and v[  62569] =   77475 <   77484
Error 7.1. u[  81788] =   66024 <   66025 and v[  66025] =   81779 <   81788
Error 7.2. v[  42598] =   52240 <   52241 and u[  52241] =   42589 <   42598
Error 7.2. v[  90108] =  112176 <  112177 and u[ 112177] =   90099 <   90108
Error 7.2. v[ 101468] =  126544 <  126545 and u[ 126545] =  101459 <  101468
Error 7.1. u[  56010] =   45704 <   45705 and v[  45705] =   56001 <   56010
Error 7.1. u[ 105469] =   84584 <   84585 and v[  84585] =  105460 <  105469
Error 7.2. v[ 172980] =  216576 <  216577 and u[ 216577] =  172971 <  172980
Error 7.2. v[ 174291] =  218195 <  218196 and u[ 218196] =  174282 <  174291
Error 7.2. v[ 176612] =  220720 <  220721 and u[ 220721] =  176603 <  176612
Error 7.2. v[  17178] =   21072 <   21073 and u[  21073] =   17169 <   17178
Error 7.1. u[ 234798] =  187544 <  187545 and v[ 187545] =  234789 <  234798
Error 7.1. u[  52845] =   43224 <   43225 and v[  43225] =   52836 <   52845
 d =  -8.
Error 7.1. u[  54122] =   44328 <   44329 and v[  44329] =   54114 <   54122
Error 7.1. u[  54222] =   44392 <   44393 and v[  44393] =   54214 <   54222
Error 7.1. u[  54330] =   44488 <   44489 and v[  44489] =   54322 <   54330
Error 7.1. u[  56108] =   45768 <   45769 and v[  45769] =   56100 <   56108
Error 7.1. u[  56393] =   45977 <   45978 and v[  45978] =   56385 <   56393
Error 7.2. v[  62605] =   77520 <   77521 and u[  77521] =   62597 <   62605
Error 7.1. u[  69550] =   56312 <   56313 and v[  56313] =   69542 <   69550
Error 7.1. u[  54577] =   44664 <   44665 and v[  44665] =   54569 <   54577
Error 7.1. u[  55163] =   45080 <   45081 and v[  45081] =   55155 <   55163
Error 7.2. v[  73507] =   91120 <   91121 and u[  91121] =   73499 <   73507
Error 7.1. u[  77483] =   62568 <   62569 and v[  62569] =   77475 <   77483
Error 7.1. u[  55416] =   45256 <   45257 and v[  45257] =   55408 <   55416
Error 7.1. u[  81787] =   66024 <   66025 and v[  66025] =   81779 <   81787
  End Part 2 analysis of Test 7 at:            08:37:10.268 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1    135785    135785         0         0     1
 2      9408     15812         0         0     2
 3      4369     13222         0         0     3
 4      2375     11329         0         0     4
 5      2166       461         0         0     5
 6       813       223         0         0     6
 7        52        40         0         0     7
 8        32        15         0         0     8
 9         9         7         0         0     9
10         6         4         0         0    10
11         3         1         0         0    11
12         3         1         0         0    12
13         1         0         0         0    13
14         1         0         0         0    14
15         1         0         0         0    15
16         0         0         0         0    16
17         0         0         0         0    17
18         0         0         0         0    18
19         0         0         0         0    19
20         0         0         0         0    20
21         0         0         0         0    21
22         0         0         0         0    22
23         0         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:
      155024    176900         0         0
          15        12         0         0
           0         0         0         0

                                  d1 = v[ u[i]+1 ] - i;
                                  d2 = u[ v[i]+1 ] - i;
                                  d3 = i - v[ u[i]-1 ];
                                  d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
  17175   14075   21072      -1      -6       4       6
  17176   14077   21072       1      -7       2       7
  17177   14077   21072       0      -8       3       8
  17178   14077   21072      -1      -9       4       9
  17179   14079   21072       1     -10       2      10
  17180   14079   21076       0       0       3       0
  17181   14079   21076      -1      -1       4       1
  17182   14081   21080       1       0       2       0

  42595   35328   52240       1      -6       2       8
  42596   35328   52240       0      -7       3       9
  42597   35328   52240      -1      -8       4      10
  42598   35330   52240       2      -9       2      11
  42599   35330   52240       1     -10       3      12
  42600   35330   52240       0     -11       4      13
  42601   35330   52240      -1     -12       5      14
  42602   35332   52244       1       0       2       0
  42603   35332   52244       0      -1       3       1
  42604   35332   52251      -1       0       4       0

  43222   35784   52834       7      -1       5      14
  43223   35784   52834       6      -2       6      15
  43224   35784   52836       5       0       7       3
  43225   35784   52836       4      -1       8       4
  43226   35784   52849       3       8       9       2
  43227   35784   52849       2       7      10       3
  43228   35784   52849       1       6      11       4

  45446   37387   55661       0      -1       0       6
  45447   37387   55661      -1      -2       1       7
  45448   37389   55663       1       0       2       3
  45449   37389   55663       0      -1       3       4
  45450   37389   55679      -1       2       4       2
  45451   37389   55679      -2       1       5       3
  45452   37392   55679       0       0       0       4

  45702   37576   56001       5       2       6       6
  45703   37576   56001       4       1       7       7
  45704   37576   56001       3       0       8       8
  45705   37576   56001       2      -1       9       9
  45706   37576   56014       1       1      10       2
  45707   37578   56014       0       0       0       3
  45708   37578   56014      -1      -1       1       4

  52238   42587   64485       0      -1       4       1
  52239   42587   64488      -1       0       5       0
  52240   42589   64488       0      -1       2       1
  52241   42589   64491      -1       0       3       0
  52242   42602   64491       2      -1       2       1
  52243   42602   64495       1       0       3       0
  52244   42602   64495       0      -1       4       1

  52842   43224   65296      -6      -1       8       1
  52843   43224   65296      -7      -2       9       2
  52844   43224   65296      -8      -3      10       3
  52845   43224   65296      -9      -4      11       4
  52846   43224   65299     -10       0      12       0
  52847   43224   65299     -11      -1      13       1
  52848   43224   65302     -12       1      14       2
  52849   43234   65302       0       0       0       3
  52850   43234   65302      -1      -1       1       4
  52851   43238   65305       0       0       0       0

  55669   45448   68694      -6      -1       8       1
  55670   45448   68697      -7       0       9       0
  55671   45448   68697      -8      -1      10       1
  55672   45448   68700      -9       0      11       0
  55673   45448   68707     -10       1      12       1
  55674   45448   68707     -11       0      13       2
  55675   45448   68707     -12      -1      14       3
  55676   45448   68707     -13      -2      15       4
  55677   45448   68710     -14       0      16       0
  55678   45448   68710     -15      -1      17       1
  55679   45452   68713       0       0       0       0
  55680   45452   68713      -1      -1       1       1
  55681   45461   68716       1       0       1       0

  56007   45704   69153      -6       0       6       4
  56008   45704   69153      -7      -1       7       5
  56009   45704   69158      -8       0       8       0
  56010   45704   69158      -9      -1       9       1
  56011   45704   69162     -10       0      10       0
  56012   45704   69162     -11      -1      11       1
  56013   45704   69165     -12       0      12       0
  56014   45707   69165       0      -1       0       1
  56015   45707   69168      -1       0       1       0
  56016   45710   69168       0      -1       2       1

================================================================================

  Test T8.  Seek a violation of A(CMP,UPO,CON).

Start execution of Test 800  at:               08:37:11.900 950621
  End execution of Test 800  at:               08:37:12.882 950621
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0       1       2       3
   49999  491911  499991  499992  499993
   99998  999980  999981  999982  999983
  149997 1499970 1633512 1499972 1499973
  199996 1999960 1999961 1999962 1999963
  249995 2499950 2563750 2499952 2499953
  299994 2999940 2999941 2999942 2999943
  349993 3417431 3499931 3207591 3499933
  399992 3999920 4357222 3999922 3999923
  449991 4451271 4499911 4499912 4499913
  499990 4999900 4999901 4527861 4999903
Start   analysis of Test 8 at:                 08:37:13.983 950621
  End   analysis of Test 8 at:                 08:37:25.189 950621
Analysis of T8 data:
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [n]
================================================================================

Test T9.  Collect performance data on cache hits.

Test T9.1.  P2: inv -> excl & P3: inv -> excl.
Start execution of Test 9.1  at:               08:37:27.723 950621
  End execution of Test 9.1  at:               08:37:27.973 950621

Start   analysis of Test 9 at:                 08:37:27.993 950621
  End   analysis of Test 9 at:                 08:37:28.214 950621
 0  454005   25      13   50      11   75       0
 1      10   26      18   51       1   76       0
 2      23   27      14   52      11   77       0
 3       3   28      21   53       5   78       0
 4       8   29      13   54       2   79       0
 5       6   30      52   55       1   80       0
 6      64   31       6   56       0   81       0
 7       3   32       8   57       6   82       0
 8       4   33       6   58       1   83       0
 9       5   34       4   59       2   84       0
10       6   35       0   60       0   85       0
11      14   36       1   61       0   86       0
12      12   37       1   62       0   87       0
13       3   38       2   63       0   88       0
14       6   39       1   64       1   89       0
15       6   40    1119   65       0   90       0
16       5   41     323   66       0   91       0
17   33553   42      75   67       0   92       0
18    1746   43    2771   68       0   93       0
19    3854   44     380   69       0   94       0
20      20   45     591   70       0   95       0
21     633   46     263   71       0   96       0
22      40   47      35   72       0   97       0
23      41   48       6   73       0   98       0
24      58   49       9   74       0   99       0

Total = 499998, t9min = 0, t9max = 1553, under = 0, over = 0.


Test T9.2.  P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2  at:               08:37:28.614 950621
  End execution of Test 9.2  at:               08:37:28.865 950621

Start   analysis of Test 9 at:                 08:37:28.885 950621
  End   analysis of Test 9 at:                 08:37:29.095 950621
 0  420290   25    1554   50       0   75       0
 1       4   26     107   51       0   76       0
 2      62   27      25   52       0   77       0
 3       5   28    5158   53       0   78       0
 4       2   29      19   54       0   79       0
 5       4   30     186   55       0   80       0
 6    8327   31      19   56       0   81       0
 7    3534   32      17   57       0   82       0
 8      77   33       6   58       0   83       0
 9      14   34      54   59       0   84       0
10   53123   35       0   60       0   85       0
11     162   36       4   61       0   86       0
12      52   37       5   62       0   87       0
13    2053   38       0   63       0   88       0
14      20   39       2   64       0   89       0
15      27   40       2   65       0   90       0
16      24   41       5   66       0   91       0
17    1016   42       1   67       0   92       0
18      63   43       0   68       0   93       0
19      32   44       0   69       0   94       0
20      30   45       0   70       0   95       0
21    1788   46       0   71       0   96       0
22    1926   47       0   72       0   97       0
23      36   48       0   73       0   98       0
24      20   49       0   74       0   99       0

Total = 499998, t9min = 0, t9max = 2170, under = 0, over = 0.


Test T9.4.  P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4  at:               08:37:29.496 950621
  End execution of Test 9.4  at:               08:37:29.736 950621

Start   analysis of Test 9 at:                 08:37:29.746 950621
  End   analysis of Test 9 at:                 08:37:29.956 950621
 0  417038   25    2819   50       0   75       0
 1       3   26     315   51       0   76       0
 2      20   27     170   52       0   77       0
 3       6   28     122   53       0   78       0
 4       3   29       3   54       0   79       0
 5     164   30       3   55       0   80       0
 6   14844   31       1   56       0   81       0
 7     117   32       3   57       0   82       0
 8      65   33       1   58       0   83       0
 9       7   34       1   59       0   84       0
10      15   35       3   60       0   85       0
11      16   36       0   61       0   86       0
12   54723   37       0   62       1   87       0
13    3060   38       0   63       0   88       0
14    2905   39       0   64       0   89       0
15    1793   40       0   65       0   90       0
16     952   41       1   66       0   91       0
17      42   42       0   67       0   92       0
18      33   43       0   68       0   93       0
19      14   44       0   69       0   94       0
20      30   45       0   70       0   95       0
21     514   46       0   71       0   96       0
22      44   47       0   72       0   97       0
23      50   48       0   73       0   98       0
24      33   49       0   74       0   99       0

Total = 499998, t9min = 0, t9max = 1643, under = 0, over = 0.


Test T9.3.  P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3  at:               08:37:30.357 950621
  End execution of Test 9.3  at:               08:37:30.627 950621

Start   analysis of Test 9 at:                 08:37:30.637 950621
 undr    0 999999   28 -999971
  End   analysis of Test 9 at:                 08:37:30.857 950621
 0  450714   25      12   50       2   75       0
 1       4   26       7   51       2   76       0
 2      11   27      14   52       1   77       0
 3       0   28       3   53       0   78       0
 4       5   29       6   54       1   79       0
 5     105   30      22   55       1   80       0
 6     507   31       7   56       1   81       0
 7      29   32       4   57       0   82       0
 8      64   33       2   58       1   83       0
 9       7   34       2   59       0   84       0
10      22   35       1   60       0   85       0
11      20   36       2   61       0   86       0
12      41   37       0   62       1   87       0
13      24   38       1   63       0   88       0
14      12   39       1   64       0   89       0
15      48   40    1379   65       0   90       0
16      13   41     396   66       0   91       0
17   35705   42      97   67       0   92       0
18    1753   43    2855   68       0   93       0
19    4018   44     381   69       0   94       0
20      20   45     603   70       0   95       0
21     700   46     245   71       0   96       0
22      31   47      25   72       0   97       0
23      31   48       1   73       0   98       0
24      22   49       1   74       0   99       0

Total = 499997, t9min = -999971, t9max = 1445, under = 1, over = 0.

================================================================================


Failing tests:  400 420 700 720.

Run this job another time? [y]  n