ARCHTEST.  Version 3.  950114. 
by W. W. Collier, mpdiag@acm.org. 

                                               09:10:43.175 950223
Compaq 4000 5/66

Default answers to the following questions are shown in brackets.

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

The following tests can be run:

  2    3    4    5    6    7    8    9   10   11   12   13   14   
       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?  [n]:  n

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      acpq4_00.out.
Number of processors:  4.
Length of the arrays:  20000.
Synchronize processes: n.
Test(s) to run:        200 220 300 310 320 400 420 500 520 600 610 620 700 720 800 900 1000 1100 1200 1300 1400 1500 

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

  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:               09:11:35.943 950223
  End execution of Test 200  at:               09:11:35.973 950223
      i       U       V       X       Y
      0    6100       0       0       0
   1999    9925       0       0       0
   3998   13716       0       0       0
   5997   17501       0       0       0
   7996   19999       0       0       0
   9995   19999       0       0       0
  11994   19999       0       0       0
  13993   19999       0       0       0
  15992   19999       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Start   analysis of Test 2 at:                 09:11:36.063 950223
  End   analysis of Test 2 at:                 09:11:36.078 950223
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:               09:11:36.183 950223
  End execution of Test 220  at:               09:11:36.198 950223
      i       U       V       X       Y
      0    4649       0       0       0
   1999    7822       0       0       0
   3998   10920       0       0       0
   5997   13826       0       0       0
   7996   17078       0       0       0
   9995   19999       0       0       0
  11994   19999       0       0       0
  13993   19999       0       0       0
  15992   19999       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Start   analysis of Test 2 at:                 09:11:36.303 950223
  End   analysis of Test 2 at:                 09:11:36.318 950223
Analysis of T2 data:
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 300  at:               09:11:36.437 950223
  End execution of Test 300  at:               09:11:36.467 950223
      i       U       V       X       Y
      0    1651    7758       0       0
   1999    5169   10272       0       0
   3998    8021   12854       0       0
   5997   10399   15472       0       0
   7996   12855   17914       0       0
   9995   15303   19998       0       0
  11994   17709   19998       0       0
  13993   19999   19998       0       0
  15992   19999   19998       0       0
  17991   19999   19998       0       0
  19990   19999   19998       0       0

Start   analysis of Test 3 at:                 09:11:36.557 950223
  End   analysis of Test 3 at:                 09:11:36.617 950223
Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 310  at:               09:11:36.737 950223
  End execution of Test 310  at:               09:11:37.082 950223
      i       U       V       X       Y
      0    4436     220       0       0
   1999    6242    1954       0       0
   3998    8062    8021       0       0
   5997    5543    9763       0       0
   7996    7367   11471       0       0
   9995    9175   13227       0       0
  11994   15334   14961       0       0
  13993   17158   16719       0       0
  15992   14581   18471       0       0
  17991   16251   15862       0       0
  19990   18487   17772       0       0

Start   analysis of Test 3 at:                 09:11:37.187 950223
  End   analysis of Test 3 at:                 09:11:37.307 950223
Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 320  at:               09:11:37.427 950223
  End execution of Test 320  at:               09:11:37.457 950223
      i       U       V       X       Y
      0   13944    1846       0       0
   1999    1937   15663       0       0
   3998   15990    3040       0       0
   5997    3333   16961       0       0
   7996   17294   17685       0       0
   9995    4767   18379       0       0
  11994   18736   19055       0       0
  13993   19436    6544       0       0
  15992    6915    7458       0       0
  17991    8685    9082       0       0
  19990    9797   11950       0       0

Start   analysis of Test 3 at:                 09:11:37.877 950223
  End   analysis of Test 3 at:                 09:11:37.982 950223
Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 400  at:               09:11:38.087 950223
  End execution of Test 400  at:               09:11:38.102 950223
      i       U       V       X       Y
      0       0    5853       0       0
   1999       0    8008       0       0
   3998       0   10124       0       0
   5997     126   12299       0       0
   7996    1988   14395       0       0
   9995    3865   16443       0       0
  11994    5706   18440       0       0
  13993    7608   19999       0       0
  15992    9562   19999       0       0
  17991   11539   19999       0       0
  19990   13543   19999       0       0

Start   analysis of Test 4/7 at:               09:11:38.222 950223
Error 4.2. v[      3] =    5874 <    5875 and u[   5875] =       2 <       3
Error 4.2. v[      4] =    5874 <    5875 and u[   5875] =       2 <       4
Error 4.2. v[      6] =    5877 <    5878 and u[   5878] =       5 <       6
Error 4.2. v[      9] =    5880 <    5881 and u[   5881] =       8 <       9
Error 4.2. v[     10] =    5880 <    5881 and u[   5881] =       8 <      10
Error 4.2. v[     11] =    5880 <    5881 and u[   5881] =       8 <      11
  End   analysis of Test 4/7 at:               09:11:38.267 950223
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    5853    5874       0 2097152       0
      1       0    5874    5873       1 2097152       1
      2       0    5874    5872       0 2097152       2
      3       0    5874    5871      -1 2097152       3
      4       0    5874    5870      -2 2097152       4
      5       0    5877    5869       0 2097152       0
      6       0    5877    5868      -1 2097152       1
      7       0    5880    5867       1 2097152       2
      8       0    5880    5866       0 2097152       3
      9       0    5880    5865      -1 2097152       4
     10       0    5880    5864      -2 2097152       5
     11       0    5880    5863      -3 2097152       6
     12       0    5880    5862      -4 2097152       7
     13       0    5884    5861       0 2097152       0
     14       0    5884    5860      -1 2097152       1

   5872       0   12162       2      -1 2097152       1
   5873       0   12165       1       1 2097152       2
   5874       2   12165       0       0       0       3
   5875       2   12165      -1      -1       1       4
   5876       5   12165       1      -2       2       5
   5877       5   12168       0       4       3       0
   5878       5   12168      -1       3       4       1
   5879       5   12168      -2       2       5       2
   5880       8   12168       0       1       0       3
   5881       8   12168      -1       0       1       4
   5882      13   12171       2       1       2       1
   5883      13   12171       1       0       3       2
   5884      13   12171       0      -1       4       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:               09:11:38.612 950223
  End execution of Test 420  at:               09:11:38.642 950223
      i       U       V       X       Y
      0       0    4439       0       0
   1999       0    7096       0       0
   3998       0    9864       0       0
   5997    1157   12479       0       0
   7996    2660   15101       0       0
   9995    4103   17641       0       0
  11994    5630   19975       0       0
  13993    7160   19999       0       0
  15992    8687   19999       0       0
  17991   10295   19999       0       0
  19990   12009   19999       0       0

Start   analysis of Test 4/7 at:               09:11:38.762 950223
Error 4.2. v[     19] =    4513 <    4514 and u[   4514] =      18 <      19
Error 4.2. v[     21] =    4516 <    4517 and u[   4517] =      20 <      21
Error 4.2. v[     23] =    4520 <    4521 and u[   4521] =      22 <      23
Error 4.2. v[     30] =    4530 <    4531 and u[   4531] =      29 <      30
Error 4.2. v[     33] =    4533 <    4534 and u[   4534] =      32 <      33
Error 4.2. v[     35] =    4536 <    4537 and u[   4537] =      34 <      35
  End   analysis of Test 4/7 at:               09:11:38.807 950223
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
     16       0    4511    4471       0 2097152       2
     17       0    4513    4470       1 2097152       1
     18       0    4513    4469       0 2097152       2
     19       0    4513    4468      -1 2097152       3
     20       0    4516    4467       0 2097152       0
     21       0    4516    4466      -1 2097152       1
     22       0    4520    4465       0 2097152       0
     23       0    4520    4464      -1 2097152       1
     24       0    4523    4463       0 2097152       2
     25       0    4528    4462       4 2097152       1
     26       0    4528    4461       3 2097152       2
     27       0    4528    4460       2 2097152       3
     28       0    4528    4459       1 2097152       4
     29       0    4530    4458       0 2097152       0
     30       0    4530    4457      -1 2097152       1
     31       0    4533    4456       1 2097152       2
     32       0    4533    4455       0 2097152       3
     33       0    4533    4454      -1 2097152       4
     34       0    4536    4453       0 2097152       0
     35       0    4536    4452      -1 2097152       1
     36       0    4539    4451       1 2097152       2
     37       0    4539    4450       0 2097152       3
     38       0    4539    4449      -1 2097152       4

   4511      14   10538       0       1       3       1
   4512      16   10538       1       0       1       2
   4513      18   10541       0       2       0       1
   4514      18   10541      -1       1       1       2
   4515      20   10543       1       0       2       0
   4516      20   10543       0      -1       3       1
   4517      20   10545      -1       1       4       2
   4518      20   10545      -2       0       5       3
   4519      22   10548       1       1       3       1
   4520      22   10548       0       0       4       2
   4521      22   10555      -1       1       5       1
   4522      22   10555      -2       0       6       2
   4523      24   10555       5      -1       3       3
   4524      24   10558       4       0       4       0

   4528      24   10561       0      -1       8       4
   4529      29   10564       1       0       1       0
   4530      29   10564       0      -1       2       1
   4531      29   10569      -1       1       3       2
   4532      29   10569      -2       0       4       3
   4533      32   10569       0      -1       0       4
   4534      32   10572      -1       0       1       0
   4535      34   10572       1      -1       2       1
   4536      34   10575       0       0       3       2
   4537      34   10577      -1       1       4       1
   4538      34   10577      -2       0       5       2
   4539      37   10580       0       1       0       1
   4540      37   10580      -1       0       1       2

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

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

Seek 5.  U[i] > V[i].
Start execution of Test 500  at:               09:11:39.287 950223
  End execution of Test 500  at:               09:11:39.302 950223
      i       U       V       X       Y
      0   12139   12152       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Start   analysis of Test 5 at:                 09:11:39.407 950223
  End   analysis of Test 5 at:                 09:11:39.422 950223
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:               09:11:39.511 950223
  End execution of Test 520  at:               09:11:39.541 950223
      i       U       V       X       Y
      0   12670   12694       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Start   analysis of Test 5 at:                 09:11:39.871 950223
  End   analysis of Test 5 at:                 09:11:39.886 950223
Analysis of T5 data:
      i       U       V       X       Y

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

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 600  at:               09:11:39.976 950223
  End execution of Test 600  at:               09:11:40.006 950223
      i       U       V       X       Y
      0   16449   19999       0       0
   1999   13750   19299       0       0
   3998   19999   19999       0       0
   5997   19227   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Start   analysis of Test 6 at:                 09:11:40.111 950223
  End   analysis of Test 6 at:                 09:11:43.125 950223
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           09:11:43.155 950223
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                                               
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                              1                                                 
                              11                                                
                               11                                               
                                11                                              
                                 11                                             
                                  11                                            
                                   11                                           
                                    11                                          
                                     11                                         
                                      11                                        
                                       11                                       
                                        11                                      
                                         11                                     
                                          11                                    
                                           111111111111111111111333333333333333 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           09:11:43.455 950223
Save output from Test 6? [n] 
================================================================================

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 610  at:               09:11:50.998 950223
  End execution of Test 610  at:               09:11:51.358 950223
      i       U       V       X       Y
      0    3056    3221       0       0
   1999    2166    2204       0       0
   3998    7257    7216       0       0
   5997    6178    6042       0       0
   7996   11377   11116       0       0
   9995   10144    9808       0       0
  11994   15483   15039       0       0
  13993   14123   13604       0       0
  15992   19611   19006       0       0
  17991   17897   17536       0       0
  19990   19999   19999       0       0

Start   analysis of Test 6 at:                 09:11:51.448 950223
  End   analysis of Test 6 at:                 09:11:54.327 950223
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           09:11:54.357 950223
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19761 251
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                                               
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
13                                                                              
 33                                                                             
  33                                                                            
   33                                                                           
    33                                                                          
     33                                                                         
      3                                                                         
       3                                                                        
       33                                                                       
        33                                                                      
         33                                                                     
          33                                                                    
           33                                                                   
            33                                                                  
             33                                                                 
              33                                                                
               33                                                               
                33                                                              
                 33                                                             
                  33                                                            
                   33                                                           
                    33                                                          
                     33                                                         
                      33                                                        
                       33                                                       
                        33                                                      
                         33                                                     
                          33                                                    

                           33                                                   
                            33                                                  
                             33                                                 
                              33                                                
                               3                                                
                               33                                               
                                33                                              
                                 33                                             
                                  33                                            
                                   33                                           
                                    33                                          
                                     33                                         
                                      33                                        
                                       33                                       
                                        33                                      
                                         33                                     
                                          33                                    
                                           33                                   
                                            33                                  
                                             33                                 
                                              33                                
                                               33                               
                                                3                               
                                                33                              
                                                 33                             
                                                  33                            
                                                   33                           
                                                    33                          
                                                     33                         
                                                      33                        
                                                       33                       
                                                        33                      
                                                         33                     
                                                          33                    
                                                           33                   
                                                            33                  
                                                             33                 
                                                              33                
                                                               33               
                                                                33333333333331  
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           09:11:54.717 950223
Save output from Test 6? [n] 
================================================================================

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 620  at:               09:11:56.036 950223
  End execution of Test 620  at:               09:11:56.051 950223
      i       U       V       X       Y
      0   17277   19999       0       0
   1999    8705   11522       0       0
   3998   19999   19999       0       0
   5997   12429   15962       0       0
   7996   19999   19999       0       0
   9995   17086   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Start   analysis of Test 6 at:                 09:11:56.186 950223
  End   analysis of Test 6 at:                 09:11:57.746 950223
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           09:11:57.776 950223
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                                               
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                  11                                                            
                   1                                                            
                   11                                                           
                    11                                                          
                     1                                                          
                     11                                                         
                      1                                                         
                       1                                                        
                       11                                                       
                        1                                                       
                        1111111111113333333333333333333333333333333333333333333 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           09:11:58.211 950223
Save output from Test 6? [n] 
================================================================================

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 700  at:               09:11:59.500 950223
  End execution of Test 700  at:               09:11:59.530 950223
      i       U       V       X       Y
      0       0    6652   19999   19999
   1999       0    8708       0       0
   3998       0   10552       0       0
   5997       0   12331       0       0
   7996    1331   14424       0       0
   9995    3418   16442       0       0
  11994    5451   18362       0       0
  13993    7562   19999       0       0
  15992    9520   19999       0       0
  17991   11565   19999       0       0
  19990   13816   19999       0       0

Start   analysis of Test 4/7 at:               09:11:59.770 950223
Error 7.2. v[      4] =    6666 <    6667 and u[   6667] =       3 <       4
Error 7.2. v[      7] =    6668 <    6669 and u[   6669] =       6 <       7
Error 7.2. v[     11] =    6674 <    6675 and u[   6675] =      10 <      11
Error 7.2. v[     14] =    6676 <    6677 and u[   6677] =      13 <      14
Error 7.2. v[     17] =    6678 <    6679 and u[   6679] =      16 <      17
Error 7.2. v[     26] =    6682 <    6683 and u[   6683] =      25 <      26
  End   analysis of Test 4/7 at:               09:11:59.815 950223
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
      1       0    6666    6665       2 2097152       1
      2       0    6666    6664       1 2097152       2
      3       0    6666    6663       0 2097152       3
      4       0    6666    6662      -1 2097152       4
      5       0    6668    6661       1 2097152       2
      6       0    6668    6660       0 2097152       3
      7       0    6668    6659      -1 2097152       4
      8       0    6670    6658       0 2097152       2
      9       0    6674    6657       1 2097152       1
     10       0    6674    6656       0 2097152       2
     11       0    6674    6655      -1 2097152       3
     12       0    6676    6654       1 2097152       2
     13       0    6676    6653       0 2097152       3
     14       0    6676    6652      -1 2097152       4
     15       0    6678    6651       1 2097152       2
     16       0    6678    6650       0 2097152       3
     17       0    6678    6649      -1 2097152       4
     18       0    6680    6648       7 2097152       2
     19       0    6680    6647       6 2097152       3
     20       0    6680    6646       5 2097152       4
     21       0    6680    6645       4 2097152       5
     22       0    6680    6644       3 2097152       6
     23       0    6680    6643       2 2097152       7
     24       0    6680    6642       1 2097152       8
     25       0    6682    6641       0 2097152       0
     26       0    6682    6640      -1 2097152       1
     27       0    6685    6639       0 2097152       0
     28       0    6685    6638      -1 2097152       1
     29       0    6688    6637       0 2097152       0

   6664       0   13080       2       2 2097152       3
   6665       0   13080       1       1 2097152       4
   6666       3   13082       0       0       0       0
   6667       3   13082      -1      -1       1       1
   6668       6   13085       0       0       0       0
   6669       6   13085      -1      -1       1       1
   6670       8   13088       4       0       2       0
   6671       8   13088       3      -1       3       1
   6672       8   13091       2       0       4       0
   6673       8   13091       1      -1       5       1
   6674      10   13094       0       0       0       0
   6675      10   13094      -1      -1       1       1
   6676      13   13096       0       0       0       2
   6677      13   13096      -1      -1       1       3
   6678      16   13096       0      -2       0       4
   6679      16   13096      -1      -3       1       5
   6680      19   13098       0       0       0       4
   6681      25   13104       1       1       1       1
   6682      25   13104       0       0       2       2
   6683      25   13104      -1      -1       3       3
   6684      27   13106       1       1       2       2
   6685      27   13106       0       0       3       3
   6686      27   13106      -1      -1       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:               09:12:00.415 950223
  End execution of Test 720  at:               09:12:00.445 950223
      i       U       V       X       Y
      0       0    5180   19999       0
   1999       0    7195       0       0
   3998       0    9247       0       0
   5997     776   11211       0       0
   7996    2713   13137       0       0
   9995    4758   15052       0       0
  11994    6824   16905       0       0
  13993    8856   18765       0       0
  15992   10991   19999       0       0
  17991   13181   19999       0       0
  19990   15525   19999       0       0

Start   analysis of Test 4/7 at:               09:12:00.580 950223
Error 7.2. v[      3] =    5239 <    5240 and u[   5240] =       2 <       3
Error 7.2. v[      6] =    5241 <    5242 and u[   5242] =       5 <       6
Error 7.2. v[     15] =    5250 <    5251 and u[   5251] =      14 <      15
Error 7.2. v[     18] =    5253 <    5254 and u[   5254] =      17 <      18
Error 7.2. v[     21] =    5255 <    5256 and u[   5256] =      20 <      21
Error 7.2. v[     24] =    5257 <    5258 and u[   5258] =      23 <      24
  End   analysis of Test 4/7 at:               09:12:00.625 950223
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    5180    5239       0 2097152       0
      1       0    5239    5238       1 2097152       1
      2       0    5239    5237       0 2097152       2
      3       0    5239    5236      -1 2097152       3
      4       0    5241    5235       1 2097152       2
      5       0    5241    5234       0 2097152       3
      6       0    5241    5233      -1 2097152       4
      7       0    5243    5232       1 2097152       2
      8       0    5243    5231       0 2097152       3
      9       0    5248    5230       5 2097152       1
     10       0    5248    5229       4 2097152       2
     11       0    5248    5228       3 2097152       3
     12       0    5248    5227       2 2097152       4
     13       0    5248    5226       1 2097152       5
     14       0    5250    5225       0 2097152       0
     15       0    5250    5224      -1 2097152       1
     16       0    5253    5223       1 2097152       2
     17       0    5253    5222       0 2097152       3
     18       0    5253    5221      -1 2097152       4
     19       0    5255    5220       1 2097152       2
     20       0    5255    5219       0 2097152       3
     21       0    5255    5218      -1 2097152       4
     22       0    5257    5217       1 2097152       2
     23       0    5257    5216       0 2097152       3
     24       0    5257    5215      -1 2097152       4
     25       0    5262    5214       0 2097152       0
     26       0    5262    5213      -1 2097152       1
     27       0    5265    5212       1 2097152       2

   5237       0   10472       2      -1 2097152       1
   5238       0   10475       1       1 2097152       2
   5239       2   10475       0       0       0       3
   5240       2   10475      -1      -1       1       4
   5241       5   10480       0       0       0       0
   5242       5   10480      -1      -1       1       1
   5243       8   10482       5       1       0       2
   5244       8   10482       4       0       1       3
   5245       8   10482       3      -1       2       4
   5246       8   10484       2       1       3       2
   5247       8   10484       1       0       4       3
   5248      10   10484       0      -1       0       4
   5249      14   10486       1       1       1       2
   5250      14   10486       0       0       2       3
   5251      14   10486      -1      -1       3       4
   5252      14   10488      -2       1       4       2
   5253      17   10488       0       0       0       3
   5254      17   10488      -1      -1       1       4
   5255      20   10488       0      -2       0       5
   5256      20   10490      -1       0       1       3
   5257      23   10496       0       5       0       1
   5258      23   10496      -1       4       1       2
   5259      25   10496       3       3       2       3
   5260      25   10496       2       2       3       4
   5261      25   10496       1       1       4       5

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

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

Start execution of Test 800  at:               09:12:01.105 950223
  End execution of Test 800  at:               09:12:01.165 950223
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0       1       2   68870
    1999   19990   19991   19992   19993
    3998   39980   78790   39982   39983
    5997    1262   28983   50993   59973
    7996   79960   79961   71323   79963
    9995   62531   99951   99952   99953
   11994  119940  119941  119942  119943
   13993  104501  139931  161821  139933
   15992  159920  159921  159922  159923
   17991  179910  179911  179912  179913
   19990  199900  199901  199902  199903
Start   analysis of Test 8 at:                 09:12:01.569 950223
  End   analysis of Test 8 at:                 09:12:02.304 950223
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:               09:12:04.478 950223
  End execution of Test 9.1  at:               09:12:04.808 950223

Start   analysis of Test 9 at:                 09:12:04.823 950223
  End   analysis of Test 9 at:                 09:12:05.093 950223
 0  413976   25       3   50       0   75       0
 1       5   26       1   51       0   76       0
 2       3   27       3   52       0   77       0
 3       1   28       1   53       0   78       0
 4     589   29       1   54       0   79       0
 5      67   30       0   55       0   80       1
 6     104   31       0   56       0   81       0
 7      56   32       0   57       0   82       0
 8      70   33       0   58       0   83       0
 9      42   34       0   59       0   84       2
10      39   35       0   60       0   85       0
11   70735   36       0   61       0   86       0
12    7295   37       0   62       0   87       0
13    1447   38       0   63       0   88       0
14      21   39       0   64       0   89       0
15      36   40       0   65       0   90       0
16      67   41       0   66       0   91       0
17    3330   42       0   67       0   92       0
18     341   43       0   68       0   93       0
19    1525   44       0   69       0   94       0
20     200   45       0   70       0   95       0
21      15   46       0   71       0   96       0
22       1   47       0   72       1   97       0
23       8   48       0   73       0   98       0
24       2   49       0   74       0   99       0

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


Test T9.2.  P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2  at:               09:12:05.468 950223
  End execution of Test 9.2  at:               09:12:05.873 950223

Start   analysis of Test 9 at:                 09:12:05.888 950223
  End   analysis of Test 9 at:                 09:12:06.158 950223
 0  349431   25       7   50       0   75       0
 1      17   26       3   51       0   76       0
 2       1   27       1   52       0   77       0
 3       2   28       0   53       0   78       0
 4    3775   29       1   54       0   79       0
 5    4643   30       0   55       0   80       0
 6  124018   31       1   56       0   81       0
 7      72   32       1   57       0   82       2
 8    4136   33       0   58       0   83       0
 9     131   34       0   59       0   84       0
10    3426   35       0   60       0   85       0
11     429   36       0   61       0   86       0
12    4848   37       0   62       1   87       0
13     370   38       0   63       0   88       0
14    3527   39       0   64       0   89       0
15     919   40       0   65       0   90       1
16      62   41       0   66       0   91       0
17      18   42       0   67       0   92       0
18     106   43       0   68       1   93       1
19       5   44       0   69       0   94       0
20       3   45       0   70       0   95       1
21       9   46       0   71       0   96       1
22       8   47       0   72       1   97       0
23       2   48       0   73       0   98       1
24       4   49       0   74       0   99       0

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


Test T9.4.  P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4  at:               09:12:06.518 950223
  End execution of Test 9.4  at:               09:12:06.848 950223

Start   analysis of Test 9 at:                 09:12:06.863 950223
  End   analysis of Test 9 at:                 09:12:07.133 950223
 0  351168   25       7   50       0   75       1
 1      12   26       7   51       0   76       0
 2       0   27       4   52       0   77       0
 3       9   28       4   53       0   78       0
 4   44796   29       3   54       0   79       0
 5     341   30       1   55       0   80       0
 6     107   31       1   56       0   81       2
 7   81059   32       0   57       0   82       0
 8    4544   33       0   58       0   83       1
 9    8317   34       0   59       0   84       1
10    3192   35       0   60       0   85       0
11     133   36       0   61       0   86       0
12      59   37       0   62       0   87       0
13    1485   38       0   63       0   88       0
14     184   39       0   64       0   89       0
15    3619   40       1   65       0   90       0
16     445   41       0   66       0   91       0
17     410   42       0   67       0   92       0
18      19   43       0   68       0   93       0
19      12   44       0   69       0   94       0
20       8   45       0   70       0   95       0
21      10   46       0   71       0   96       0
22       7   47       0   72       0   97       0
23       8   48       0   73       0   98       1
24       6   49       0   74       0   99       0

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


Test T9.3.  P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3  at:               09:12:07.493 950223
  End execution of Test 9.3  at:               09:12:07.822 950223

Start   analysis of Test 9 at:                 09:12:07.837 950223
  End   analysis of Test 9 at:                 09:12:08.107 950223
 0  414423   25       6   50       0   75       0
 1       4   26       4   51       0   76       0
 2       1   27       5   52       0   77       0
 3       2   28       1   53       0   78       1
 4     455   29       0   54       0   79       0
 5      44   30       1   55       0   80       0
 6      69   31       1   56       0   81       0
 7      30   32       0   57       0   82       0
 8      32   33       0   58       0   83       1
 9      26   34       0   59       0   84       0
10      21   35       0   60       0   85       1
11   70811   36       0   61       0   86       0
12    7089   37       0   62       0   87       0
13    1515   38       0   63       0   88       0
14      19   39       0   64       0   89       1
15      31   40       0   65       0   90       0
16      33   41       0   66       0   91       0
17    1856   42       0   67       0   92       0
18     191   43       0   68       0   93       1
19    2833   44       0   69       0   94       0
20     448   45       1   70       1   95       0
21      12   46       0   71       0   96       1
22       4   47       0   72       0   97       0
23       9   48       0   73       0   98       0
24       4   49       0   74       0   99       0

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

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

  Test T1000.  Seek a critsec failure.

Seek 10.  Operand A != 0. 
Start execution of Test 1000 at:               09:12:08.917 950223
  End execution of Test 1000 at:               09:12:08.932 950223
================================================================================


Failing tests:  400 420 700 720.

Run this job another time? [y]  n