ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

                                               17:28:19.406 980623

  Parameters initialized from file:  reilly.
 An Intergraph TD400, two 200 MHz Pentium Pro processors
running Windows NT 4.0, 1381.
 Thanks to Jim Reilly at Aqua Process Corp., jim@aquaprocess.com.

Default answers to the following questions are shown in brackets.

Specify how to generate the data to be analyzed.
1.  Perform a real multiprocessor test.
2.  Execute the mp test code serially and with only one thread.
3.  Generate test data with relaxed events.
4.  Generate test data without relaxed events.
5.  Process output from simulation.        Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]:   2
Define logical length of arrays (max=500000) [500000]:   500000

The following tests can be run:

   100  200  300  400  500  600  700  800  900 1000 1100 1200
        210  310  410  510  610  710           1010 1110 1210
   120  220  320  420  520  620  720  820  920 1020 1120 1220
                                               1030          
Specify which tests to run ('a' for all): 
 
[  100  200  300  400  500  600  700  800  900 1000 1100 1200                    
        210  310  410  510  610  710           1010 1110 1210                    
   120  220  320  420  520  620  720  820  920 1020 1120 1220                    
                                               1030           ]                  

Parameters for this run:
Type of run:           1. Perform a real multiprocessor test.
Output file name:      a2222200.out.
Number of threads:     2.
Length of the arrays:  500000.
Test(s) to run:        
   100  200  300  400  500  600  700  800  900 1000 1100 1200                    
        210  310  410  510  610  710           1010 1110 1210                    
   120  220  320  420  520  620  720  820  920 1020 1120 1220                    
                                               1030                              

Select other options? (y,n,?)[n]  
==sss========================================================================

  Test T100.  Seek a relaxation of A(CMP,UPO,URR,WW)
                            and of A(CMP,UPO,URR,CC3).

          T0            T1            
     L0: A = 0;   L0: U[0] = A;     
     L1: A = 1;   L1: U[1] = A;     
     L2: A = 2;   L2: U[2] = A;     
     L3: A = 3;   L3: U[3] = A;     
     L4: A = 4;   L4: U[4] = A;     
     L5: A = 5;   L5: U[5] = A;     
     L6: A = 6;   L6: U[6] = A;     
     L7: A = 7;   L7: U[7] = A; etc.

  Seek 1.0.  U[i] > U[i+1].  d = U[i+1] - U[i].
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T100  at               17:28:34.906 980623
  End execution of Test T100  at               17:28:35.406 980623
  Duration                                            0.500 
Start  analysis of Test T100  at               17:28:35.406 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.078    0.078    0.000    0.000    0.000    0.000    0.000    0.000 
   0.078    0.078    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999   55574       0       0       0
  49998  126192       0       0       0
  74997  191040       0       0       0
  99996  262248       0       0       0
 124995  334564       0       0       0
 149994  403899       0       0       0
 174993  470335       0       0       0
 199992  539967       0       0       0
 224991  608188       0       0       0
 249990  677078       0       0       0
 274989  745481       0       0       0
 299988  797157       0       0       0
 324987  865326       0       0       0
 349986  931724       0       0       0
 374985  999999       0       0       0
 399984  999999       0       0       0
 424983  999999       0       0       0
 449982  999999       0       0       0
 474981  999999       0       0       0
 499980  999999       0       0       0

  dim =    80, max = 1000000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                           111111111111111111111
                                                          1                     
                                                                                
                                                         1                      
                                                        1                       
                                                       1                        
                                                                                
                                                      1                         
                                                     1                          
                                                    1                           
                                                                                
                                                   1                            
                                                  1                             
                                                                                
                                                 1                              
                                                1                               
                                               1                                
                                                                                
                                             11                                 
                                            1                                   
                                           1                                    
                                                                                
                                          1                                     
                                         1                                      
                                                                                
                                        1                                       
                                       1                                        
                                      1                                         
                                                                                
                                     1                                          
                                    1                                           
                                                                                
                                   1                                            
                                  1                                             
                                 1                                              
                                                                                
                                1                                               
                               1                                                
                              1                                                 
                                                                                
                             1                                                  
                            1                                                   
                                                                                
                           1                                                    
                          1                                                     
                                                                                
                         1                                                      
                        1                                                       
                       1                                                        
                                                                                
                      1                                                         
                     1                                                          
                    1                                                           
                                                                                
                   1                                                            
                  1                                                             
                                                                                
                 1                                                              
                1                                                               
                                                                                
               1                                                                
              1                                                                 
                                                                                
             1                                                                  
            1                                                                   
                                                                                
           1                                                                    
          1                                                                     
         1                                                                      
        1                                                                       
                                                                                
       1                                                                        
      1                                                                         
                                                                                
     1                                                                          
    1                                                                           
   1                                                                            
  1                                                                             
                                                                                
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       403199          0
   1            0       8604
   2            1       1414
   3            0      36352
   4          161      31081
   5        25521       7338
   6         1171       9782
   7         1055        896
   8        13739         52
   9         7012          2
  10         1546          0
  11         1237          2
  12         1505          4
  13        14960         13
  14        11654         73
  15        14571        463
  16          827        357
  17          484        281
  18          472         11
  19          142          9
over           68         65
  End  analysis of Test T100  at               17:28:35.671 980623
==sss========================================================================

  Test T120.  Seek a relaxation of A(CMP,UPO,URR,WW)
                            and of A(CMP,UPO,URR,CC3).

          T0            T1            
     L0: A = 0;   L0: U[0] = A;     
     L1: A = 1;   L1: U[1] = A;     
     L2: A = 2;   L2: U[2] = A;     
     L3: A = 3;   L3: U[3] = A;     
     L4: A = 4;   L4: U[4] = A;     
     L5: A = 5;   L5: U[5] = A;     
     L6: A = 6;   L6: U[6] = A;     
     L7: A = 7;   L7: U[7] = A; etc.

  Seek 1.0.  U[i] > U[i+1].  d = U[i+1] - U[i].
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T120  at               17:28:36.000 980623
  End execution of Test T120  at               17:28:36.500 980623
  Duration                                            0.500 
Start  analysis of Test T120  at               17:28:36.953 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.093    0.093    0.000    0.000    0.000    0.000    0.000    0.000 
   0.093    0.093    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999   41886       0       0       0
  49998   88078       0       0       0
  74997  135873       0       0       0
  99996  181503       0       0       0
 124995  228083       0       0       0
 149994  275704       0       0       0
 174993  322642       0       0       0
 199992  369352       0       0       0
 224991  416490       0       0       0
 249990  463790       0       0       0
 274989  511362       0       0       0
 299988  558831       0       0       0
 324987  605285       0       0       0
 349986  652862       0       0       0
 374985  701944       0       0       0
 399984  749691       0       0       0
 424983  797452       0       0       0
 449982  846350       0       0       0
 474981  896183       0       0       0
 499980  944818       0       0       0

  dim =    80, max = 944856, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              11
                                                                             1  
                                                                                
                                                                            1   
                                                                           1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                 1              
                                                                1               
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                                                
                                                       1                        
                                                      1                         
                                                     1                          
                                                    1                           
                                                   1                            
                                                  1                             
                                                 1                              
                                                1                               
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                           1                                    
                                          1                                     
                                         1                                      
                                        1                                       
                                       1                                        
                                      1                                         
                                     1                                          
                                    1                                           
                                   1                                            
                                  1                                             
                                 1                                              
                                1                                               
                               1                                                
                              1                                                 
                             1                                                  
                            1                                                   
                           1                                                    
                          1                                                     
                         1                                                      
                        1                                                       
                       1                                                        
                      1                                                         
                     1                                                          
                    1                                                           
                   1                                                            
                  1                                                             
                 1                                                              
                1                                                               
               1                                                                
              1                                                                 
             1                                                                  
            1                                                                   
           1                                                                    
          1                                                                     
         1                                                                      
        1                                                                       
       1                                                                        
      1                                                                         
     1                                                                          
    1                                                                           
   1                                                                            
  1                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       372407          0
   1            0       4632
   2            0        841
   3           93      48882
   4        43457      32010
   5         1522      34383
   6        15715       5529
   7        10891        829
   8          984          6
   9          266          0
  10        30403          0
  11        17954          0
  12         4630          0
  13          954          0
  14          192          2
  15           66         27
  16          417        405
  17            1         42
  18            0          1
  19           15          0
over            8          2
  End  analysis of Test T120  at               17:28:37.218 980623
==sss========================================================================

  Test T200.  Seek a relaxation of A(CMP,UPO,RR,WW).

          T0            T1            
     L11: A = 1;   L11: U[1] = A;     
     L12: B = 1;   L12: V[1] = B;     
     L21: A = 2;   L21: U[2] = A;     
     L22: B = 2;   L22: V[2] = B;     
     L31: A = 3;   L31: U[3] = A;     
     L32: B = 3;   L32: V[3] = B;     
     L41: A = 4;   L41: U[4] = A;     
     L42: B = 4;   L42: V[4] = B; etc.

  Seek 2.0.  U[i] > U[i+1].  d = U[i+1] - U[i].
  Seek 2.0.  V[i] > V[i+1].  d = V[i+1] - V[i].
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 2.1.  V[i] > U[i+1].  d = U[i+1] - V[i]
  Seek 2.2.  U[i] > V[i]+1.  d = V[i]+1 - U[i]
   To show:  Not A(CMP,UPO,RR,WW). 

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T200  at               17:28:37.562 980623
  End execution of Test T200  at               17:28:38.062 980623
  Duration                                            0.500 
Start  analysis of Test T200  at               17:28:38.062 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.219    0.250    0.000    0.000    0.000    0.000    0.000    0.000 
   0.219    0.250    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999  158151  158154       0       0
  49998  333412  333415       0       0
  74997  508409  508415       0       0
  99996  674452  674455       0       0
 124995  847580  847586       0       0
 149994 1019060 1019064       0       0
 174993 1200927 1200927       0       0
 199992 1374707 1374717       0       0
 224991 1499999 1499999       0       0
 249990 1499999 1499999       0       0
 274989 1499999 1499999       0       0
 299988 1499999 1499999       0       0
 324987 1499999 1499999       0       0
 349986 1499999 1499999       0       0
 374985 1499999 1499999       0       0
 399984 1499999 1499999       0       0
 424983 1499999 1499999       0       0
 449982 1499999 1499999       0       0
 474981 1499999 1499999       0       0
 499980 1499999 1499999       0       0

  dim =    80, max = 1500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                   333333333333333333333333333333333333333333333
                                  3                                             
                                                                                
                                 3                                              
                                                                                
                                3                                               
                                                                                
                                                                                
                               3                                                
                                                                                
                              3                                                 
                                                                                
                             3                                                  
                                                                                
                                                                                
                            3                                                   
                                                                                
                           3                                                    
                                                                                
                          3                                                     
                                                                                
                                                                                
                         3                                                      
                                                                                
                        3                                                       
                                                                                
                                                                                
                       3                                                        
                                                                                
                      3                                                         
                                                                                
                     3                                                          
                                                                                
                                                                                
                    3                                                           
                                                                                
                   3                                                            
                                                                                
                  3                                                             
                                                                                
                                                                                
                 3                                                              
                                                                                
                3                                                               
                                                                                
               3                                                                
                                                                                
                                                                                
              3                                                                 
                                                                                
             3                                                                  
                                                                                
            3                                                                   
                                                                                
                                                                                
           3                                                                    
                                                                                
          3                                                                     
                                                                                
         3                                                                      
                                                                                
        3                                                                       
                                                                                
                                                                                
       3                                                                        
                                                                                
      3                                                                         
                                                                                
                                                                                
     3                                                                          
                                                                                
    3                                                                           
                                                                                
   3                                                                            
                                                                                
  3                                                                             
                                                                                
 3                                                                              
                                                                                
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       656860          0
   1         2000     250719
   2            2      92405
   3            2          0
   4          444          2
   5         1383          0
   6        11340          0
   7       158527          3
   8        21943          1
   9        79750          0
  10         4083          2
  11        17719          0
  12         2475          0
  13        11995          0
  14        13657          0
  15         5802          0
  16         1356          0
  17         5923          0
  18         4185          0
  19          293          0
over           86          4

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   985292   0      186  20 
      0 -79        0 -59        0 -39        0 -19   389689   1       47  21 
      0 -78        0 -58        0 -38        0 -18        4   2        0  22 
      0 -77        0 -57        0 -37        0 -17     6622   3       10  23 
      0 -76        0 -56        0 -36        0 -16   138486   4        0  24 
      0 -75        0 -55        0 -35        0 -15    19336   5        0  25 
      0 -74        0 -54        0 -34        0 -14    56045   6        1  26 
      0 -73        0 -53        0 -33        0 -13   209815   7        0  27 
      0 -72        0 -52        0 -32        0 -12    26479   8        0  28 
      0 -71        0 -51        0 -31        0 -11    81725   9        0  29 
      0 -70        0 -50        0 -30        0 -10     4403  10        0  30 
      0 -69        0 -49        0 -29        0  -9    18454  11        0  31 
      0 -68        0 -48        0 -28        0  -8     2663  12        0  32 
      0 -67        0 -47        0 -27        0  -7    16917  13        0  33 
      0 -66        0 -46        0 -26        0  -6    20487  14        0  34 
      0 -65        0 -45        0 -25        0  -5     9223  15        0  35 
      0 -64        0 -44        0 -24        0  -4     2018  16        0  36 
      0 -63        0 -43        0 -23        0  -3     7035  17        0  37 
      0 -62        0 -42        0 -22        0  -2     4716  18        0  38 
      0 -61        0 -41        0 -21        0  -1      297  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             o                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             oo                                      
300000 |                             oo                                      
250000 |                             oo                                      
200000 |                             oo     o                                
150000 |                             oo     o                                
100000 |                             oo  o  o                                
 50000 |                             oo  o oo o                              
     0 |_________._________._________.ooooooooooooooooooooo_o__o___._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         200.        Total   = 1999992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1449.        0 thru  39 = 1999950.
  histend                     K       =  500000.       40 thru Max =      42.

  End  analysis of Test T200  at               17:28:38.812 980623
==sss========================================================================

  Test T210.  Seek a relaxation of A(CMP,UPO,RR,WW).

          T0            T1            
     L11: A = 1;   L11: U[1] = A;     
     L12: B = 1;   L12: V[1] = B;     
     L21: A = 2;   L21: U[2] = A;     
     L22: B = 2;   L22: V[2] = B;     
     L31: A = 3;   L31: U[3] = A;     
     L32: B = 3;   L32: V[3] = B;     
     L41: A = 4;   L41: U[4] = A;     
     L42: B = 4;   L42: V[4] = B; etc.

  Seek 2.0.  U[i] > U[i+1].  d = U[i+1] - U[i].
  Seek 2.0.  V[i] > V[i+1].  d = V[i+1] - V[i].
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 2.1.  V[i] > U[i+1].  d = U[i+1] - V[i]
  Seek 2.2.  U[i] > V[i]+1.  d = V[i]+1 - U[i]
   To show:  Not A(CMP,UPO,RR,WW). 

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T210  at               17:28:39.140 980623
  End execution of Test T210  at               17:28:39.640 980623
  Duration                                            0.500 
Start  analysis of Test T210  at               17:28:39.843 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.266    0.297    0.000    0.000    0.000    0.000    0.000    0.000 
   0.266    0.297    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999  126113  126119       0       0
  49998  271892  271891       0       0
  74997  408405  408407       0       0
  99996  545819  545818       0       0
 124995  684782  684787       0       0
 149994  831881  831880       0       0
 174993  966257  966257       0       0
 199992 1107368 1107370       0       0
 224991 1247858 1247860       0       0
 249990 1390245 1390247       0       0
 274989 1499999 1499999       0       0
 299988 1499999 1499999       0       0
 324987 1499999 1499999       0       0
 349986 1499999 1499999       0       0
 374985 1499999 1499999       0       0
 399984 1499999 1499999       0       0
 424983 1499999 1499999       0       0
 449982 1499999 1499999       0       0
 474981 1499999 1499999       0       0
 499980 1499999 1499999       0       0

  dim =    80, max = 1500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                           3333333333333333333333333333333333333
                                          3                                     
                                                                                
                                         3                                      
                                        3                                       
                                                                                
                                       3                                        
                                                                                
                                      3                                         
                                                                                
                                     3                                          
                                                                                
                                    3                                           
                                                                                
                                   3                                            
                                                                                
                                  3                                             
                                                                                
                                 3                                              
                                                                                
                                3                                               
                                                                                
                               3                                                
                                                                                
                              3                                                 
                             3                                                  
                                                                                
                            3                                                   
                                                                                
                           3                                                    
                                                                                
                          3                                                     
                                                                                
                         3                                                      
                                                                                
                        3                                                       
                                                                                
                       3                                                        
                                                                                
                      3                                                         
                     3                                                          
                                                                                
                                                                                
                    3                                                           
                   3                                                            
                                                                                
                  3                                                             
                                                                                
                 3                                                              
                                                                                
                3                                                               
                                                                                
               3                                                                
                                                                                
              3                                                                 
                                                                                
             3                                                                  
            3                                                                   
                                                                                
           3                                                                    
                                                                                
          3                                                                     
                                                                                
         3                                                                      
                                                                                
        3                                                                       
                                                                                
       3                                                                        
                                                                                
      3                                                                         
                                                                                
     3                                                                          
                                                                                
    3                                                                           
   3                                                                            
                                                                                
  3                                                                             
                                                                                
 3                                                                              
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       580403          0
   1         2813     301428
   2            0     118153
   3          108          0
   4          461          0
   5       100902          0
   6       101153          1
   7       129822          1
   8         7420          2
   9        11437          1
  10        10800          1
  11         7149          0
  12        26794          0
  13         5727          0
  14         9261          0
  15         2967          0
  16         2597          0
  17           89          0
  18           27          0
  19           20          0
over           44          6

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   870607   0        4  20 
      0 -79        0 -59        0 -39        0 -19   369135   1        1  21 
      0 -78        0 -58        0 -38        0 -18        0   2        1  22 
      0 -77        0 -57        0 -37        0 -17   170797   3        0  23 
      0 -76        0 -56        0 -36        0 -16     9750   4        2  24 
      0 -75        0 -55        0 -35        0 -15   168422   5        4  25 
      0 -74        0 -54        0 -34        0 -14   157851   6        2  26 
      0 -73        0 -53        0 -33        0 -13   144981   7        0  27 
      0 -72        0 -52        0 -32        0 -12     7889   8        0  28 
      0 -71        0 -51        0 -31        0 -11    12094   9        1  29 
      0 -70        0 -50        0 -30        0 -10    11505  10        0  30 
      0 -69        0 -49        0 -29        0  -9     8300  11        0  31 
      0 -68        0 -48        0 -28        0  -8    42305  12        0  32 
      0 -67        0 -47        0 -27        0  -7     8245  13        0  33 
      0 -66        0 -46        0 -26        0  -6    10224  14        0  34 
      0 -65        0 -45        0 -25        0  -5     3938  15        0  35 
      0 -64        0 -44        0 -24        0  -4     3719  16        0  36 
      0 -63        0 -43        0 -23        0  -3      102  17        0  37 
      0 -62        0 -42        0 -22        0  -2       33  18        0  38 
      0 -61        0 -41        0 -21        0  -1       29  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             |                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             oo                                      
300000 |                             oo                                      
250000 |                             oo                                      
200000 |                             oo                                      
150000 |                             oo o oo                                 
100000 |                             oo o ooo                                
 50000 |                             oo o ooo                                
     0 |_________._________._________.o_oooooooooooooooooooo_ooo__o._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         210.        Total   = 1999992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =     845.        0 thru  39 = 1999941.
  histend                     K       =  500000.       40 thru Max =      51.

  End  analysis of Test T210  at               17:28:40.625 980623
==sss========================================================================

  Test T220.  Seek a relaxation of A(CMP,UPO,RR,WW).

          T0            T1            
     L11: A = 1;   L11: U[1] = A;     
     L12: B = 1;   L12: V[1] = B;     
     L21: A = 2;   L21: U[2] = A;     
     L22: B = 2;   L22: V[2] = B;     
     L31: A = 3;   L31: U[3] = A;     
     L32: B = 3;   L32: V[3] = B;     
     L41: A = 4;   L41: U[4] = A;     
     L42: B = 4;   L42: V[4] = B; etc.

  Seek 2.0.  U[i] > U[i+1].  d = U[i+1] - U[i].
  Seek 2.0.  V[i] > V[i+1].  d = V[i+1] - V[i].
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 2.1.  V[i] > U[i+1].  d = U[i+1] - V[i]
  Seek 2.2.  U[i] > V[i]+1.  d = V[i]+1 - U[i]
   To show:  Not A(CMP,UPO,RR,WW). 

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T220  at               17:28:40.953 980623
  End execution of Test T220  at               17:28:41.453 980623
  Duration                                            0.500 
Start  analysis of Test T220  at               17:28:41.906 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.265    0.297    0.000    0.000    0.000    0.000    0.000    0.000 
   0.265    0.297    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999  122972  122977       0       0
  49998  242947  242946       0       0
  74997  367224  367226       0       0
  99996  489615  489614       0       0
 124995  610025  610030       0       0
 149994  733203  733202       0       0
 174993  854462  854473       0       0
 199992  978051  978053       0       0
 224991 1107499 1107505       0       0
 249990 1229057 1229056       0       0
 274989 1353610 1353616       0       0
 299988 1470696 1470698       0       0
 324987 1499999 1499999       0       0
 349986 1499999 1499999       0       0
 374985 1499999 1499999       0       0
 399984 1499999 1499999       0       0
 424983 1499999 1499999       0       0
 449982 1499999 1499999       0       0
 474981 1499999 1499999       0       0
 499980 1499999 1499999       0       0

  dim =    80, max = 1500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                33333333333333333333333333333333
                                                                                
                                               3                                
                                              3                                 
                                                                                
                                             3                                  
                                                                                
                                            3                                   
                                           3                                    
                                                                                
                                          3                                     
                                         3                                      
                                                                                
                                        3                                       
                                                                                
                                       3                                        
                                      3                                         
                                                                                
                                     3                                          
                                                                                
                                    3                                           
                                   3                                            
                                                                                
                                  3                                             
                                                                                
                                 3                                              
                                                                                
                                3                                               
                               3                                                
                                                                                
                              3                                                 
                                                                                
                             3                                                  
                            3                                                   
                                                                                
                           3                                                    
                                                                                
                          3                                                     
                         3                                                      
                                                                                
                        3                                                       
                       3                                                        
                                                                                
                      3                                                         
                                                                                
                     3                                                          
                    3                                                           
                                                                                
                   3                                                            
                                                                                
                  3                                                             
                 3                                                              
                                                                                
                3                                                               
                                                                                
               3                                                                
                                                                                
              3                                                                 
             3                                                                  
                                                                                
            3                                                                   
           3                                                                    
                                                                                
          3                                                                     
                                                                                
         3                                                                      
        3                                                                       
                                                                                
       3                                                                        
                                                                                
      3                                                                         
     3                                                                          
                                                                                
    3                                                                           
   3                                                                            
                                                                                
  3                                                                             
                                                                                
 3                                                                              
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       600347          0
   1         5097     193716
   2           13     205803
   3          122          0
   4          962         27
   5        66188         70
   6        85103         10
   7       155819          7
   8         2617          1
   9        12962          1
  10         4635          2
  11         5962          0
  12        38267          2
  13         7721          0
  14         3156          1
  15         5317          1
  16         5174          0
  17          337          0
  18          119          0
  19           16          0
over           50          8

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   900533   0       12  20 
      0 -79        0 -59        0 -39        0 -19   425197   1        5  21 
      0 -78        0 -58        0 -38        0 -18       26   2        5  22 
      0 -77        0 -57        0 -37        0 -17   105197   3        3  23 
      0 -76        0 -56        0 -36        0 -16    12539   4        1  24 
      0 -75        0 -55        0 -35        0 -15    98273   5        0  25 
      0 -74        0 -54        0 -34        0 -14   129364   6        0  26 
      0 -73        0 -53        0 -33        0 -13   211083   7        0  27 
      0 -72        0 -52        0 -32        0 -12     3312   8        0  28 
      0 -71        0 -51        0 -31        0 -11    13578   9        0  29 
      0 -70        0 -50        0 -30        0 -10     5183  10        0  30 
      0 -69        0 -49        0 -29        0  -9     8965  11        0  31 
      0 -68        0 -48        0 -28        0  -8    56878  12        0  32 
      0 -67        0 -47        0 -27        0  -7    10486  13        0  33 
      0 -66        0 -46        0 -26        0  -6     3795  14        0  34 
      0 -65        0 -45        0 -25        0  -5     7318  15        0  35 
      0 -64        0 -44        0 -24        0  -4     7604  16        0  36 
      0 -63        0 -43        0 -23        0  -3      418  17        0  37 
      0 -62        0 -42        0 -22        0  -2      143  18        0  38 
      0 -61        0 -41        0 -21        0  -1       20  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             oo                                      
350000 |                             oo                                      
300000 |                             oo                                      
250000 |                             oo                                      
200000 |                             oo     o                                
150000 |                             oo     o                                
100000 |                             oo o  oo                                
 50000 |                             oo o ooo    o                           
     0 |_________._________._________.oooooooooooooooooooooooo_____._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         220.        Total   = 1999992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    6258.        0 thru  39 = 1999938.
  histend                     K       =  500000.       40 thru Max =      54.

  End  analysis of Test T220  at               17:28:42.687 980623
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================

  Test T400.  Seek a relaxation of both A(CMP,UPO,WW,WR)
                                    and A(CMP,UPO,WR,CC3)
                             or of both A(CMP,UPO,WW)
                                    and A(CMP,UPO,RW).

           T0                 T1                                 
     L00: A    = 0;     L00: B    = 0;                           
     L01: U[0] = B;     L01: V[0] = A;                           
     L10: A    = 1;     L10: B    = 1;                           
     L11: U[1] = B;     L11: V[1] = A;                           
     L20: A    = 2;     L20: B    = 2;                           
     L21: U[2] = B;     L21: V[2] = A;                           
     L30: A    = 3;     L30: B    = 3;                           
     L31: U[3] = B;     L31: V[3] = A; etc.                      

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  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.  
   To show:  Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).   
  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.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 
      
  d1<0, d2<0 => the machine performed a read operation before    
                a logically preceding write operation.           
  d3<0, d4<0 => the machine performed a write operation before   
                a logically preceding read operation.            

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T400  at               17:28:43.031 980623
  End execution of Test T400  at               17:28:43.531 980623
  Duration                                            0.500 
Start  analysis of Test T400  at               17:28:43.546 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.156    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.156    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0      66       0       0
  24999   23378   26468       0       0
  49998   50218   49800       0       0
  74997   76584   73493       0       0
  99996  102799   97228       0       0
 124995  129154  121096       0       0
 149994  155045  145128       0       0
 174993  181112  169146       0       0
 199992  207386  192934       0       0
 224991  232746  217744       0       0
 249990  259005  241238       0       0
 274989  285185  265360       0       0
 299988  313536  288424       0       0
 324987  340432  310890       0       0
 349986  367047  333956       0       0
 374985  393272  357556       0       0
 399984  422220  381388       0       0
 424983  448341  402327       0       0
 449982  475546  426574       0       0
 474981  499999  449512       0       0
 499980  499999  472832       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                          111111
                                                                         1      
                                                                        1       
                                                                                
                                                                       1       2
                                                                      1       2 
                                                                     1       2  
                                                                    1       2   
                                                                   1       2    
                                                                  1      22     
                                                                 1      2       
                                                                1      2        
                                                               1      2         
                                                                     2          
                                                              1     2           
                                                             1     2            
                                                            1     2             
                                                           1     2              
                                                          1     2               
                                                         1     2                
                                                        1     2                 
                                                       1     2                  
                                                      1     2                   
                                                     1    22                    
                                                    1    2                      
                                                   1    2                       
                                                  1    2                        
                                                      2                         
                                                 1   2                          
                                                1   2                           
                                               1   2                            
                                              1   2                             
                                             1   2                              
                                            1   2                               
                                           1   2                                
                                          1   2                                 
                                         1   2                                  
                                           22                                   
                                        1 2                                     
                                       1 2                                      
                                      1 2                                       
                                     1 2                                        
                                    1 2                                         
                                   1 2                                          
                                  1 2                                           
                                 1 2                                            
                                1 2                                             
                               1 2                                              
                              1 2                                               
                             1 2                                                
                            1 2                                                 
                           1 2                                                  
                          1 2                                                   
                         1 2                                                    
                        1 2                                                     
                       1 2                                                      
                      1 2                                                       
                       2                                                        
                     12                                                         
                    12                                                          
                   12                                                           
                  12                                                            
                 12                                                             
                12                                                              
               12                                                               
              12                                                                
             12                                                                 
            12                                                                  
           12                                                                   
          12                                                                    
         32                                                                     
        3                                                                       
       3                                                                        
      2                                                                         
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       815356          0
   1         5325        978
   2         8397      44360
   3        27901      12060
   4        30171       9011
   5        62873      39553
   6        17940      33430
   7         6069      13440
   8         5115      11080
   9         1186       5796
  10        12348       7911
  11          487       1719
  12         2008       1174
  13          480       1836
  14         2630       1060
  15         1404       1000
  16           68         48
  17           15         57
  18          122         15
  19           68         72
over           14         40

 d = -20. 
Event 4.1. u[   6262] =    5048 <    5049; v[   5049] =    6242 <    6262.
b=2 c=1 u[   6243]:    5046    5046    5046    5046    5046    5048    5048
                       5048    5048    5048    5048    5048    5048    5048
                       5048    5048    5048    5048    5048    5048
Event 4.1. u[  12910] =   10496 <   10497; v[  10497] =   12890 <   12910.
b=2 c=1 u[  12891]:   10494   10494   10494   10494   10494   10496   10496
                      10496   10496   10496   10496   10496   10496   10496
                      10496   10496   10496   10496   10496   10496
Event 4.1. u[  53155] =   53552 <   53553; v[  53553] =   53135 <   53155.
b=0 c=0 u[  53136]:   53552   53552   53552   53552   53552   53552   53552
                      53552   53552   53552   53552   53552   53552   53552
                      53552   53552   53552   53552   53552   53552
Event 4.1. u[ 407390] =  430040 <  430041; v[ 430041] =  407370 <  407390.
b=1 c=1 u[ 407371]:  430039  430039  430039  430039  430039  430040  430040
                     430040  430040  430040  430040  430040  430040  430040
                     430040  430040  430040  430040  430040  430040
 d = -19. 
Event 4.1. u[   5682] =    4664 <    4665; v[   4665] =    5663 <    5682.
b=0 c=0 u[   5664]:    4664    4664    4664    4664    4664    4664    4664
                       4664    4664    4664    4664    4664    4664    4664
                       4664    4664    4664    4664    4664
Event 4.1. u[   5827] =    4744 <    4745; v[   4745] =    5808 <    5827.
b=0 c=0 u[   5809]:    4744    4744    4744    4744    4744    4744    4744
                       4744    4744    4744    4744    4744    4744    4744
                       4744    4744    4744    4744    4744
Event 4.1. u[   6261] =    5048 <    5049; v[   5049] =    6242 <    6261.
b=2 c=1 u[   6243]:    5046    5046    5046    5046    5046    5048    5048
                       5048    5048    5048    5048    5048    5048    5048
                       5048    5048    5048    5048    5048
Event 4.1. u[  10790] =    8912 <    8913; v[   8913] =   10771 <   10790.
b=1 c=1 u[  10772]:    8911    8911    8911    8911    8912    8912    8912
                       8912    8912    8912    8912    8912    8912    8912
                       8912    8912    8912    8912    8912
Event 4.1. u[  12909] =   10496 <   10497; v[  10497] =   12890 <   12909.
b=2 c=1 u[  12891]:   10494   10494   10494   10494   10494   10496   10496
                      10496   10496   10496   10496   10496   10496   10496
                      10496   10496   10496   10496   10496
Event 4.1. u[  13427] =   10856 <   10857; v[  10857] =   13408 <   13427.
b=0 c=0 u[  13409]:   10856   10856   10856   10856   10856   10856   10856
                      10856   10856   10856   10856   10856   10856   10856
                      10856   10856   10856   10856   10856
Event 4.2. v[  18410] =   20352 <   20353; u[  20353] =   18391 <   18410.
b=0 c=0 v[  18392]:   20352   20352   20352   20352   20352   20352   20352
                      20352   20352   20352   20352   20352   20352   20352
                      20352   20352   20352   20352   20352
Event 4.2. v[  27554] =   28912 <   28913; u[  28913] =   27535 <   27554.
b=0 c=0 v[  27536]:   28912   28912   28912   28912   28912   28912   28912
                      28912   28912   28912   28912   28912   28912   28912
                      28912   28912   28912   28912   28912
Event 4.1. u[  40137] =   39776 <   39777; v[  39777] =   40118 <   40137.
b=0 c=0 u[  40119]:   39776   39776   39776   39776   39776   39776   39776
                      39776   39776   39776   39776   39776   39776   39776
                      39776   39776   39776   39776   39776
Event 4.1. u[  45034] =   44896 <   44897; v[  44897] =   45015 <   45034.
b=0 c=0 u[  45016]:   44896   44896   44896   44896   44896   44896   44896
                      44896   44896   44896   44896   44896   44896   44896
                      44896   44896   44896   44896   44896
Event 4.1. u[ 457145] =  483336 <  483337; v[ 483337] =  457126 <  457145.
b=0 c=0 u[ 457127]:  483336  483336  483336  483336  483336  483336  483336
                     483336  483336  483336  483336  483336  483336  483336
                     483336  483336  483336  483336  483336
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     67621     67621         0         0     -1
 -2     66112     65386         0         0     -2
 -3     64175     63261         0         0     -3
 -4     59809     59481         0         0     -4
 -5     39764     35874         0         0     -5
 -6     25562     28658         0         0     -6
 -7     17979     23483         0         0     -7
 -8     12954     19694         0         0     -8
 -9      9790     18091         0         0     -9
-10      4737      8214         0         0    -10
-11      2778      5047         0         0    -11
-12      2403      2993         0         0    -12
-13      2328      1712         0         0    -13
-14      2125       794         0         0    -14
-15      1330       152         0         0    -15
-16      1287       134         0         0    -16
-17      1268       111         0         0    -17
-18       786        46         0         0    -18
-19        25         4         0         0    -19
-20         4         0         0         0    -20
-21         0         0         0         0    -21

Totals / Min / Under -25:  
       382837    400756         0         0
           20        19         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        4 -20   932481   0       34  20 
      0 -79        0 -59        0 -39       29 -19    37143   1       14  21 
      0 -78        0 -58        0 -38      832 -18    25423   2       14  22 
      0 -77        0 -57        0 -37     1379 -17    34038   3       14  23 
      0 -76        0 -56        0 -36     1421 -16    34282   4       14  24 
      0 -75        0 -55        0 -35     1482 -15    64495   5       14  25 
      0 -74        0 -54        0 -34     2919 -14    19133   6       15  26 
      0 -73        0 -53        0 -33     4040 -13     7107   7       14  27 
      0 -72        0 -52        0 -32     5396 -12     5991   8       14  28 
      0 -71        0 -51        0 -31     7825 -11     1350   9       14  29 
      0 -70        0 -50        0 -30    12951 -10    12464  10       14  30 
      0 -69        0 -49        0 -29    27881  -9      582  11       14  31 
      0 -68        0 -48        0 -28    32648  -8     2082  12       13  32 
      0 -67        0 -47        0 -27    41462  -7      521  13       13  33 
      0 -66        0 -46        0 -26    54220  -6     2665  14       13  34 
      0 -65        0 -45        0 -25    75638  -5     1432  15       13  35 
      0 -64        0 -44        0 -24   119290  -4       90  16       13  36 
      0 -63        0 -43        0 -23   127436  -3       36  17       13  37 
      0 -62        0 -42        0 -22   131498  -2      141  18       13  38 
      0 -61        0 -41        0 -21   135242  -1       85  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                         ooooo                                       
 50000 |                       ooooooo    o                                  
     0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   = 1972845.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -20.      -80 thru  -1 =  783593.
  Behav =     Relaxed.        Maximum =    3017.        0 thru  39 = 1181834.
  histend                     K       =  500000.       40 thru Max =    7418.

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         0         0         0         0     -1

Totals / Min / Under -25:  
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20    19222   0     1725  20 
      0 -79        0 -59        0 -39        0 -19    31818   1      317  21 
      0 -78        0 -58        0 -38        0 -18    77730   2      200  22 
      0 -77        0 -57        0 -37        0 -17    87341   3      164  23 
      0 -76        0 -56        0 -36        0 -16    98745   4      112  24 
      0 -75        0 -55        0 -35        0 -15   129220   5       24  25 
      0 -74        0 -54        0 -34        0 -14   121045   6       17  26 
      0 -73        0 -53        0 -33        0 -13   100945   7       16  27 
      0 -72        0 -52        0 -32        0 -12    81868   8       15  28 
      0 -71        0 -51        0 -31        0 -11    68955   9       14  29 
      0 -70        0 -50        0 -30        0 -10    48275  10       14  30 
      0 -69        0 -49        0 -29        0  -9    31499  11       14  31 
      0 -68        0 -48        0 -28        0  -8    14827  12       14  32 
      0 -67        0 -47        0 -27        0  -7     9722  13       14  33 
      0 -66        0 -46        0 -26        0  -6     8019  14       14  34 
      0 -65        0 -45        0 -25        0  -5     8652  15       13  35 
      0 -64        0 -44        0 -24        0  -4     8092  16       13  36 
      0 -63        0 -43        0 -23        0  -3     7009  17       13  37 
      0 -62        0 -42        0 -22        0  -2     5521  18       13  38 
      0 -61        0 -41        0 -21        0  -1     4110  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |                                       
120000 |                             |    oo                                 
110000 |                             |    oo                                 
100000 |                             |    ooo                                
 90000 |                             |   oooo                                
 80000 |                             |  oooooo                               
 70000 |                             | ooooooo                               
 60000 |                             | oooooooo                              
 50000 |                             | oooooooo                              
 40000 |                             | ooooooooo                             
 30000 |                             |ooooooooooo                            
 20000 |                             |ooooooooooo                            
 10000 |                             ooooooooooooo                           
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         400.        Total   =  999918.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   27152.        0 thru  39 =  965354.
  histend                     K       =  500000.       40 thru Max =   34564.

  End  analysis of Test T400  at               17:28:44.984 980623
==sss========================================================================

  Test T410.  Seek a relaxation of both A(CMP,UPO,WW,WR)
                                    and A(CMP,UPO,WR,CC3)
                             or of both A(CMP,UPO,WW)
                                    and A(CMP,UPO,RW).

           T0                 T1                                 
     L00: A    = 0;     L00: B    = 0;                           
     L01: U[0] = B;     L01: V[0] = A;                           
     L10: A    = 1;     L10: B    = 1;                           
     L11: U[1] = B;     L11: V[1] = A;                           
     L20: A    = 2;     L20: B    = 2;                           
     L21: U[2] = B;     L21: V[2] = A;                           
     L30: A    = 3;     L30: B    = 3;                           
     L31: U[3] = B;     L31: V[3] = A; etc.                      

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  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.  
   To show:  Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).   
  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.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 
      
  d1<0, d2<0 => the machine performed a read operation before    
                a logically preceding write operation.           
  d3<0, d4<0 => the machine performed a write operation before   
                a logically preceding read operation.            

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T410  at               17:28:45.312 980623
  End execution of Test T410  at               17:28:45.812 980623
  Duration                                            0.500 
Start  analysis of Test T410  at               17:28:46.015 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.172    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.172    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     866       0       0       0
  24999   26536   23184       0       0
  49998   50096   49866       0       0
  74997   73088   77223       0       0
  99996   94848  105684       0       0
 124995  117272  133456       0       0
 149994  139857  161258       0       0
 174993  162328  188914       0       0
 199992  185032  216470       0       0
 224991  207630  244365       0       0
 249990  230098  272224       0       0
 274989  251570  300733       0       0
 299988  274229  325640       0       0
 324987  299338  353189       0       0
 349986  322137  380530       0       0
 374985  344698  407610       0       0
 399984  367975  434850       0       0
 424983  390403  461304       0       0
 449982  414402  487555       0       0
 474981  438149  499999       0       0
 499980  462105  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                         2222222
                                                                        2       
                                                                       2        
                                                                      2         
                                                                     2          
                                                                    2           
                                                                   2           1
                                                                  2           1 
                                                                 2          11  
                                                                2          1    
                                                               2          1     
                                                              2          1      
                                                             2          1       
                                                            2          1        
                                                                      1         
                                                           2         1          
                                                          2         1           
                                                         2         1            
                                                        2         1             
                                                       2         1              
                                                      2         1               
                                                     2         1                
                                                    2         1                 
                                                   2         1                  
                                                  2         1                   
                                                          11                    
                                                 2       1                      
                                                2       1                       
                                               2       1                        
                                              2       1                         
                                             2       1                          
                                            2       1                           
                                           2       1                            
                                          2       1                             
                                         2       1                              
                                        2       1                               
                                               1                                
                                       2      1                                 
                                      2      1                                  
                                     2      1                                   
                                    2     11                                    
                                   2     1                                      
                                  2     1                                       
                                 2     1                                        
                                2     1                                         
                                     1                                          
                               2    1                                           
                              2    1                                            
                             2    1                                             
                            2    1                                              
                           2   11                                               
                          2   1                                                 
                         2   1                                                  
                        2   1                                                   
                           1                                                    
                       2  1                                                     
                      2  1                                                      
                     2  1                                                       
                    2  1                                                        
                   2  1                                                         
                  2 11                                                          
                 2 1                                                            
                2 1                                                             
               2 1                                                              
                1                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         31                                                                     
        3                                                                       
       3                                                                        
      1                                                                         
     12                                                                         
    12                                                                          
   12                                                                           
  12                                                                            
 12                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       794368          0
   1         6052      12241
   2        15129      44520
   3        41016      13997
   4        45492      28883
   5        54945      40286
   6        23163      31498
   7         2867      12354
   8         3402       7128
   9         1910       2544
  10         6315       6790
  11          750        899
  12         1087       1722
  13         1348        673
  14          841       1189
  15         1118        755
  16           57         49
  17           15         11
  18           49         19
  19           47         46
over           16         24

 d = -20. 
Event 4.1. u[ 222915] =  205672 <  205673; v[ 205673] =  222895 <  222915.
b=0 c=0 u[ 222896]:  205672  205672  205672  205672  205672  205672  205672
                     205672  205672  205672  205672  205672  205672  205672
                     205672  205672  205672  205672  205672  205672
 d = -19. 
Event 4.2. v[  11253] =    9664 <    9665; u[   9665] =   11234 <   11253.
b=2 c=1 v[  11235]:    9662    9662    9662    9662    9662    9664    9664
                       9664    9664    9664    9664    9664    9664    9664
                       9664    9664    9664    9664    9664
Event 4.2. v[  17253] =   14632 <   14633; u[  14633] =   17234 <   17253.
b=2 c=1 v[  17235]:   14630   14630   14630   14630   14632   14632   14632
                      14632   14632   14632   14632   14632   14632   14632
                      14632   14632   14632   14632   14632
Event 4.1. u[ 222914] =  205672 <  205673; v[ 205673] =  222895 <  222914.
b=0 c=0 u[ 222896]:  205672  205672  205672  205672  205672  205672  205672
                     205672  205672  205672  205672  205672  205672  205672
                     205672  205672  205672  205672  205672
Event 4.1. u[ 444995] =  409592 <  409593; v[ 409593] =  444976 <  444995.
b=0 c=0 u[ 444977]:  409592  409592  409592  409592  409592  409592  409592
                     409592  409592  409592  409592  409592  409592  409592
                     409592  409592  409592  409592  409592
Event 4.1. u[ 468418] =  431752 <  431753; v[ 431753] =  468399 <  468418.
b=0 c=0 u[ 468400]:  431752  431752  431752  431752  431752  431752  431752
                     431752  431752  431752  431752  431752  431752  431752
                     431752  431752  431752  431752  431752
Event 4.1. u[ 485651] =  448176 <  448177; v[ 448177] =  485632 <  485651.
b=8 c=2 u[ 485633]:  448168  448168  448175  448175  448175  448175  448175
                     448176  448176  448176  448176  448176  448176  448176
                     448176  448176  448176  448176  448176
Event 4.1. u[ 487475] =  449896 <  449897; v[ 449897] =  487456 <  487475.
b=8 c=2 u[ 487457]:  449888  449888  449895  449895  449895  449895  449895
                     449896  449896  449896  449896  449896  449896  449896
                     449896  449896  449896  449896  449896
Event 4.1. u[ 494259] =  456496 <  456497; v[ 456497] =  494240 <  494259.
b=8 c=2 u[ 494241]:  456488  456488  456495  456495  456495  456495  456495
                     456496  456496  456496  456496  456496  456496  456496
                     456496  456496  456496  456496  456496
Event 4.1. u[ 494755] =  456944 <  456945; v[ 456945] =  494736 <  494755.
b=8 c=2 u[ 494737]:  456936  456936  456943  456943  456943  456943  456943
                     456944  456944  456944  456944  456944  456944  456944
                     456944  456944  456944  456944  456944
Event 4.1. u[ 495483] =  457608 <  457609; v[ 457609] =  495464 <  495483.
b=8 c=2 u[ 495465]:  457600  457600  457607  457607  457607  457607  457607
                     457608  457608  457608  457608  457608  457608  457608
                     457608  457608  457608  457608  457608
Event 4.1. u[ 496443] =  458488 <  458489; v[ 458489] =  496424 <  496443.
b=8 c=2 u[ 496425]:  458480  458480  458487  458487  458487  458487  458487
                     458488  458488  458488  458488  458488  458488  458488
                     458488  458488  458488  458488  458488
Event 4.1. u[ 496827] =  458808 <  458809; v[ 458809] =  496808 <  496827.
b=8 c=2 u[ 496809]:  458800  458800  458807  458807  458807  458807  458807
                     458808  458808  458808  458808  458808  458808  458808
                     458808  458808  458808  458808  458808
Event 4.1. u[ 498171] =  460152 <  460153; v[ 460153] =  498152 <  498171.
b=8 c=2 u[ 498153]:  460144  460144  460151  460151  460151  460151  460151
                     460152  460152  460152  460152  460152  460152  460152
                     460152  460152  460152  460152  460152
 d = -18. 
Event 4.1. u[   1260] =    2440 <    2441; v[   2441] =    1242 <    1260.
b=2 c=1 u[   1243]:    2438    2438    2438    2438    2438    2440    2440
                       2440    2440    2440    2440    2440    2440    2440
                       2440    2440    2440    2440
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     72223     72223         0         0     -1
 -2     76036     66275         0         0     -2
 -3     77100     62651         0         0     -3
 -4     64455     41624         0         0     -4
 -5     36869     33284         0         0     -5
 -6     17455     29465         0         0     -6
 -7     11690     23808         0         0     -7
 -8      9195     20007         0         0     -8
 -9      8252     11283         0         0     -9
-10      5163      4365         0         0    -10
-11      3670      3370         0         0    -11
-12      2659      3055         0         0    -12
-13      2215      2956         0         0    -13
-14      1491       346         0         0    -14
-15       255       333         0         0    -15
-16       220       144         0         0    -16
-17       208        76         0         0    -17
-18       161         3         0         0    -18
-19        11         2         0         0    -19
-20         1         0         0         0    -20
-21         0         0         0         0    -21

Totals / Min / Under -25:  
       389329    375270         0         0
           20        19         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        1 -20   916503   0       26  20 
      0 -79        0 -59        0 -39       13 -19    37873   1       18  21 
      0 -78        0 -58        0 -38      164 -18    30940   2       17  22 
      0 -77        0 -57        0 -37      284 -17    47286   3       17  23 
      0 -76        0 -56        0 -36      364 -16    51142   4       16  24 
      0 -75        0 -55        0 -35      588 -15    57639   5       16  25 
      0 -74        0 -54        0 -34     1837 -14    25248   6       16  26 
      0 -73        0 -53        0 -33     5171 -13     4492   7       16  27 
      0 -72        0 -52        0 -32     5714 -12     3671   8       16  28 
      0 -71        0 -51        0 -31     7040 -11     2079   9       16  29 
      0 -70        0 -50        0 -30     9528 -10     6391  10       14  30 
      0 -69        0 -49        0 -29    19535  -9      820  11       14  31 
      0 -68        0 -48        0 -28    29202  -8     1141  12       14  32 
      0 -67        0 -47        0 -27    35498  -7     1386  13       14  33 
      0 -66        0 -46        0 -26    46920  -6      873  14       14  34 
      0 -65        0 -45        0 -25    70153  -5     1139  15       14  35 
      0 -64        0 -44        0 -24   106079  -4       76  16       14  36 
      0 -63        0 -43        0 -23   139751  -3       33  17       13  37 
      0 -62        0 -42        0 -22   142311  -2       66  18       13  38 
      0 -61        0 -41        0 -21   144446  -1       64  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                         ooooo                                       
 50000 |                        oooooo   oo                                  
     0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   = 1962127.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -20.      -80 thru  -1 =  764599.
  Behav =     Relaxed.        Maximum =    2957.        0 thru  39 = 1189173.
  histend                     K       =  500000.       40 thru Max =    8355.

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         0         0         0         0     -1

Totals / Min / Under -25:  
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20    13927   0     1289  20 
      0 -79        0 -59        0 -39        0 -19    31821   1      111  21 
      0 -78        0 -58        0 -38        0 -18    77064   2      101  22 
      0 -77        0 -57        0 -37        0 -17    88598   3       91  23 
      0 -76        0 -56        0 -36        0 -16   125852   4       75  24 
      0 -75        0 -55        0 -35        0 -15   140800   5       23  25 
      0 -74        0 -54        0 -34        0 -14   127969   6       18  26 
      0 -73        0 -53        0 -33        0 -13   103772   7       17  27 
      0 -72        0 -52        0 -32        0 -12    76215   8       17  28 
      0 -71        0 -51        0 -31        0 -11    57138   9       17  29 
      0 -70        0 -50        0 -30        0 -10    33704  10       17  30 
      0 -69        0 -49        0 -29        0  -9    19182  11       16  31 
      0 -68        0 -48        0 -28        0  -8    12241  12       15  32 
      0 -67        0 -47        0 -27        0  -7    11153  13       14  33 
      0 -66        0 -46        0 -26        0  -6     6455  14       14  34 
      0 -65        0 -45        0 -25        0  -5     7265  15       14  35 
      0 -64        0 -44        0 -24        0  -4     6916  16       14  36 
      0 -63        0 -43        0 -23        0  -3     6449  17       14  37 
      0 -62        0 -42        0 -22        0  -2     3081  18       14  38 
      0 -61        0 -41        0 -21        0  -1     2209  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |    o                                  
130000 |                             |    o                                  
120000 |                             |   ooo                                 
110000 |                             |   ooo                                 
100000 |                             |   oooo                                
 90000 |                             |   oooo                                
 80000 |                             |  ooooo                                
 70000 |                             | ooooooo                               
 60000 |                             | ooooooo                               
 50000 |                             | oooooooo                              
 40000 |                             | oooooooo                              
 30000 |                             |oooooooooo                             
 20000 |                             |oooooooooo                             
 10000 |                             oooooooooooooo                          
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         410.        Total   =  999117.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   37868.        0 thru  39 =  953715.
  histend                     K       =  500000.       40 thru Max =   45402.

  End  analysis of Test T410  at               17:28:47.468 980623
==sss========================================================================

  Test T420.  Seek a relaxation of both A(CMP,UPO,WW,WR)
                                    and A(CMP,UPO,WR,CC3)
                             or of both A(CMP,UPO,WW)
                                    and A(CMP,UPO,RW).

           T0                 T1                                 
     L00: A    = 0;     L00: B    = 0;                           
     L01: U[0] = B;     L01: V[0] = A;                           
     L10: A    = 1;     L10: B    = 1;                           
     L11: U[1] = B;     L11: V[1] = A;                           
     L20: A    = 2;     L20: B    = 2;                           
     L21: U[2] = B;     L21: V[2] = A;                           
     L30: A    = 3;     L30: B    = 3;                           
     L31: U[3] = B;     L31: V[3] = A; etc.                      

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  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.  
   To show:  Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).   
  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.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 
      
  d1<0, d2<0 => the machine performed a read operation before    
                a logically preceding write operation.           
  d3<0, d4<0 => the machine performed a write operation before   
                a logically preceding read operation.            

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T420  at               17:28:47.796 980623
  End execution of Test T420  at               17:28:48.296 980623
  Duration                                            0.500 
Start  analysis of Test T420  at               17:28:48.750 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    0.172    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    0.172    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     920       0       0       0
  24999   25839   24039       0       0
  49998   49398   50587       0       0
  74997   74508   75504       0       0
  99996   97565  102596       0       0
 124995  120477  129923       0       0
 149994  144233  156151       0       0
 174993  168064  182520       0       0
 199992  191480  209374       0       0
 224991  214704  235944       0       0
 249990  238082  262403       0       0
 274989  262266  288448       0       0
 299988  285820  315274       0       0
 324987  308836  339954       0       0
 349986  333968  367426       0       0
 374985  357066  393734       0       0
 399984  381031  419730       0       0
 424983  404824  445995       0       0
 449982  428683  479871       0       0
 474981  445004  499999       0       0
 499980  467416  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                         2222222
                                                                        2       
                                                                                
                                                                       2        
                                                                                
                                                                      2        1
                                                                     2        1 
                                                                    2       11  
                                                                   2      11    
                                                                  2      1      
                                                                 2      1       
                                                                2      1        
                                                                      1         
                                                               2     1          
                                                              2     1           
                                                             2     1            
                                                            2     1             
                                                           2     1              
                                                          2     1               
                                                         2     1                
                                                        2     1                 
                                                       2     1                  
                                                      2     1                   
                                                     2     1                    
                                                    2     1                     
                                                   2    11                      
                                                  2    1                        
                                                 2    1                         
                                                2    1                          
                                               2                                
                                                   11                           
                                              2   1                             
                                             2   1                              
                                            2   1                               
                                           2   1                                
                                          2   1                                 
                                         2   1                                  
                                        2   1                                   
                                       2   1                                    
                                      2   1                                     
                                     2   1                                      
                                    2   1                                       
                                   2   1                                        
                                  2   1                                         
                                     1                                          
                                 2  1                                           
                                2  1                                            
                               2  1                                             
                              2  1                                              
                             2 11                                               
                            2 1                                                 
                           2 1                                                  
                          2 1                                                   
                         2 1                                                    
                        2 1                                                     
                       2 1                                                      
                      2 1                                                       
                     2 1                                                        
                    2 1                                                         
                     1                                                          
                   21                                                           
                  21                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            31                                                                  
           3                                                                    
          2                                                                     
         21                                                                     
        31                                                                      
       3                                                                        
      3                                                                         
     1                                                                          
    12                                                                          
   12                                                                           
  12                                                                            
 12                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       785831          0
   1         7240       7032
   2        21386      41630
   3        27618      23507
   4        85139      60342
   5        38916      35599
   6        15654      22443
   7         2033       5847
   8         2136       4894
   9         4181       2713
  10         4569       2384
  11         3069       1849
  12          741       2213
  13          285       1614
  14          591       1534
  15           34        212
  16           39        188
  17          425         56
  18            3         58
  19           51         24
over           27         26

 d = -19. 
Event 4.1. u[ 201315] =  192640 <  192641; v[ 192641] =  201296 <  201315.
b=11 c=2 u[ 201297]:  192629  192638  192638  192638  192638  192638  192638
                     192640  192640  192640  192640  192640  192640  192640
                     192640  192640  192640  192640  192640
Event 4.2. v[ 239760] =  251760 <  251761; u[ 251761] =  239741 <  239760.
b=0 c=0 v[ 239742]:  251760  251760  251760  251760  251760  251760  251760
                     251760  251760  251760  251760  251760  251760  251760
                     251760  251760  251760  251760  251760
Event 4.2. v[ 406384] =  426632 <  426633; u[ 426633] =  406365 <  406384.
b=0 c=0 v[ 406366]:  426632  426632  426632  426632  426632  426632  426632
                     426632  426632  426632  426632  426632  426632  426632
                     426632  426632  426632  426632  426632
 d = -18. 
Event 4.1. u[  10185] =   13112 <   13113; v[  13113] =   10167 <   10185.
b=0 c=0 u[  10168]:   13112   13112   13112   13112   13112   13112   13112
                      13112   13112   13112   13112   13112   13112   13112
                      13112   13112   13112   13112
Event 4.1. u[  71465] =   71088 <   71089; v[  71089] =   71447 <   71465.
b=0 c=0 u[  71448]:   71088   71088   71088   71088   71088   71088   71088
                      71088   71088   71088   71088   71088   71088   71088
                      71088   71088   71088   71088
Event 4.1. u[ 105457] =  102528 <  102529; v[ 102529] =  105439 <  105457.
b=0 c=0 u[ 105440]:  102528  102528  102528  102528  102528  102528  102528
                     102528  102528  102528  102528  102528  102528  102528
                     102528  102528  102528  102528
Event 4.1. u[ 126777] =  122072 <  122073; v[ 122073] =  126759 <  126777.
b=0 c=0 u[ 126760]:  122072  122072  122072  122072  122072  122072  122072
                     122072  122072  122072  122072  122072  122072  122072
                     122072  122072  122072  122072
Event 4.1. u[ 173961] =  167064 <  167065; v[ 167065] =  173943 <  173961.
b=0 c=0 u[ 173944]:  167064  167064  167064  167064  167064  167064  167064
                     167064  167064  167064  167064  167064  167064  167064
                     167064  167064  167064  167064
Event 4.2. v[ 192697] =  201352 <  201353; u[ 201353] =  192679 <  192697.
b=0 c=0 v[ 192680]:  201352  201352  201352  201352  201352  201352  201352
                     201352  201352  201352  201352  201352  201352  201352
                     201352  201352  201352  201352
Event 4.1. u[ 201314] =  192640 <  192641; v[ 192641] =  201296 <  201314.
b=11 c=2 u[ 201297]:  192629  192638  192638  192638  192638  192638  192638
                     192640  192640  192640  192640  192640  192640  192640
                     192640  192640  192640  192640
Event 4.1. u[ 215657] =  206080 <  206081; v[ 206081] =  215639 <  215657.
b=0 c=0 u[ 215640]:  206080  206080  206080  206080  206080  206080  206080
                     206080  206080  206080  206080  206080  206080  206080
                     206080  206080  206080  206080
Event 4.2. v[ 239759] =  251760 <  251761; u[ 251761] =  239741 <  239759.
b=0 c=0 v[ 239742]:  251760  251760  251760  251760  251760  251760  251760
                     251760  251760  251760  251760  251760  251760  251760
                     251760  251760  251760  251760
Event 4.2. v[ 266265] =  279184 <  279185; u[ 279185] =  266247 <  266265.
b=0 c=0 v[ 266248]:  279184  279184  279184  279184  279184  279184  279184
                     279184  279184  279184  279184  279184  279184  279184
                     279184  279184  279184  279184
Event 4.2. v[ 319745] =  334472 <  334473; u[ 334473] =  319727 <  319745.
b=0 c=0 v[ 319728]:  334472  334472  334472  334472  334472  334472  334472
                     334472  334472  334472  334472  334472  334472  334472
                     334472  334472  334472  334472
Event 4.2. v[ 463329] =  496264 <  496265; u[ 496265] =  463311 <  463329.
b=0 c=0 v[ 463312]:  496264  496264  496264  496264  496264  496264  496264
                     496264  496264  496264  496264  496264  496264  496264
                     496264  496264  496264  496264
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     95597     95597         0         0     -1
 -2     80342     78230         0         0     -2
 -3     67120     70559         0         0     -3
 -4     33951     32025         0         0     -4
 -5     15755     15438         0         0     -5
 -6      9250      7817         0         0     -6
 -7      7950      6876         0         0     -7
 -8      6870      6097         0         0     -8
 -9      5508      4309         0         0     -9
-10      5057      3504         0         0    -10
-11      4023      2257         0         0    -11
-12      2978      1405         0         0    -12
-13      1790      1069         0         0    -13
-14       386       304         0         0    -14
-15       319       169         0         0    -15
-16       142        92         0         0    -16
-17       106        38         0         0    -17
-18        17         8         0         0    -18
-19         1         2         0         0    -19
-20         0         0         0         0    -20

Totals / Min / Under -25:  
       337162    325796         0         0
           19        19         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   957519   0       51  20 
      0 -79        0 -59        0 -39        3 -19    46092   1       27  21 
      0 -78        0 -58        0 -38       25 -18    54707   2       23  22 
      0 -77        0 -57        0 -37      144 -17    39545   3       23  23 
      0 -76        0 -56        0 -36      234 -16    94446   4       22  24 
      0 -75        0 -55        0 -35      488 -15    44310   5       22  25 
      0 -74        0 -54        0 -34      690 -14    18990   6       22  26 
      0 -73        0 -53        0 -33     2859 -13     3430   7       21  27 
      0 -72        0 -52        0 -32     4383 -12     3238   8       21  28 
      0 -71        0 -51        0 -31     6280 -11     4902   9       22  29 
      0 -70        0 -50        0 -30     8561 -10     5157  10       21  30 
      0 -69        0 -49        0 -29     9817  -9     3623  11       21  31 
      0 -68        0 -48        0 -28    12967  -8      993  12       21  32 
      0 -67        0 -47        0 -27    14826  -7      403  13       21  33 
      0 -66        0 -46        0 -26    17067  -6      655  14       21  34 
      0 -65        0 -45        0 -25    31193  -5       65  15       20  35 
      0 -64        0 -44        0 -24    65976  -4       67  16       20  36 
      0 -63        0 -43        0 -23   137679  -3      448  17       20  37 
      0 -62        0 -42        0 -22   158572  -2       26  18       21  38 
      0 -61        0 -41        0 -21   191194  -1       74  19       20  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             o                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                           ooo                                       
100000 |                          oooo                                       
 50000 |                         ooooo o o                                   
     0 |_________.ooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   = 1967430.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -19.      -80 thru  -1 =  662958.
  Behav =     Relaxed.        Maximum =    7882.        0 thru  39 = 1279150.
  histend                     K       =  500000.       40 thru Max =   25322.

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         0         0         0         0     -1

Totals / Min / Under -25:  
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20    13388   0      215  20 
      0 -79        0 -59        0 -39        0 -19    38852   1      155  21 
      0 -78        0 -58        0 -38        0 -18    70777   2      118  22 
      0 -77        0 -57        0 -37        0 -17    90771   3       46  23 
      0 -76        0 -56        0 -36        0 -16   148088   4       25  24 
      0 -75        0 -55        0 -35        0 -15   153233   5       21  25 
      0 -74        0 -54        0 -34        0 -14   135719   6       21  26 
      0 -73        0 -53        0 -33        0 -13   117137   7       20  27 
      0 -72        0 -52        0 -32        0 -12    52679   8       20  28 
      0 -71        0 -51        0 -31        0 -11    30631   9       19  29 
      0 -70        0 -50        0 -30        0 -10    19637  10       19  30 
      0 -69        0 -49        0 -29        0  -9    15566  11       18  31 
      0 -68        0 -48        0 -28        0  -8    13162  12       18  32 
      0 -67        0 -47        0 -27        0  -7    11694  13       18  33 
      0 -66        0 -46        0 -26        0  -6     9200  14       18  34 
      0 -65        0 -45        0 -25        0  -5     8406  15       18  35 
      0 -64        0 -44        0 -24        0  -4     7458  16       18  36 
      0 -63        0 -43        0 -23        0  -3     3075  17       18  37 
      0 -62        0 -42        0 -22        0  -2     1061  18       19  38 
      0 -61        0 -41        0 -21        0  -1      562  19       19  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |    o                                  
140000 |                             |   oo                                  
130000 |                             |   ooo                                 
120000 |                             |   ooo                                 
110000 |                             |   oooo                                
100000 |                             |   oooo                                
 90000 |                             |  ooooo                                
 80000 |                             |  ooooo                                
 70000 |                             | oooooo                                
 60000 |                             | oooooo                                
 50000 |                             | ooooooo                               
 40000 |                             | ooooooo                               
 30000 |                             |ooooooooo                              
 20000 |                             |ooooooooo                              
 10000 |                             oooooooooooooo                          
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         420.        Total   =  998934.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   32567.        0 thru  39 =  941939.
  histend                     K       =  500000.       40 thru Max =   56995.

  End  analysis of Test T420  at               17:28:50.171 980623
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================

  Test T700.  Seek a relaxation of A(CMP,UPO,RR,CC1)
                        or of both A(CMP,UPO,WW)
                               and A(CMP,UPO,RW).

           T0                T1            
     L00: A    = 0;    L00: B    = 0;      
     L01: -    = A;    L01: -    = B;      
     L02: U[0] = B;    L02: V[0] = A;      
     L10: A    = 1;    L10: B    = 1;      
     L11: -    = A;    L11: -    = B;      
     L12: U[1] = B;    L12: V[1] = A;      
     L20: A    = 2;    L20: B    = 2;      
     L21: -    = A;    L21: -    = B;      
     L22: U[2] = B;    L22: V[2] = A;      
     L30: A    = 3;    L30: B    = 3;      
     L31: -    = A;    L31: -    = B;      
     L32: U[3] = B;    L32: V[3] = A; etc. 

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  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.  
   To show:  Not A(CMP,UPO,RR,CC1).                            
  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.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T700  at               17:28:50.500 980623
  End execution of Test T700  at               17:28:51.015 980623
  Duration                                            0.515 
Start  analysis of Test T700  at               17:28:51.015 980623

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.203    0.000    0.000    0.000    0.000    0.000    0.000 
   0.188    0.188    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     177       0  499999  499999
  24999   23438   26552       0       0
  49998   48264   51771       0       0
  74997   73331   76706       0       0
  99996   97563  102451       0       0
 124995  122623  127313       0       0
 149994  147848  152080       0       0
 174993  172681  177244       0       0
 199992  197749  202245       0       0
 224991  222480  227459       0       0
 249990  247033  252899       0       0
 274989  271992  277984       0       0
 299988  297011  303048       0       0
 324987  321724  328349       0       0
 349986  345976  353940       0       0
 374985  370725  379109       0       0
 399984  395621  402357       0       0
 424983  421891  428152       0       0
 449982  446336  453752       0       0
 474981  471272  478707       0       0
 499980  496294  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                                             23
                                                                             21 
                                                                            21  
                                                                           21   
                                                                          21    
                                                                         21     
                                                                        21      
                                                                       21       
                                                                      21        
                                                                     21         
                                                                    21          
                                                                   21           
                                                                  21            
                                                                 21             
                                                                21              
                                                               21               
                                                              21                
                                                             21                 
                                                            21                  
                                                           21                   
                                                          21                    
                                                         21                     
                                                        21                      
                                                       21                       
                                                      21                        
                                                     21                         
                                                    21                          
                                                   21                           
                                                  21                            
                                                 21                             
                                                21                              
                                               21                               
                                              21                                
                                             21                                 
                                            21                                  
                                           21                                   
                                          21                                    
                                         21                                     
                                        21                                      
                                        1                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            2                                                   
                           21                                                   
                          21                                                    
                         21                                                     
                        21                                                      
                       21                                                       
                      21                                                        
                     21                                                         
                    21                                                          
                   21                                                           
                  21                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       749715          0
   1        10082       5633
   2        48175      70482
   3        17496       7309
   4       110618     104148
   5        13245       4860
   6        42810      44559
   7         2132       5649
   8         2794       3649
   9         1362        665
  10          609        487
  11          576        846
  12          209        905
  13           60        678
  14           32        168
  15           52        166
  16            5         25
  17            6         31
  18            3          2
  19            0          1
over           15         18

 d = -21. 
Event 7.1. u[ 481545] =  477832 <  477833; v[ 477833] =  481524 <  481545.
b=0 c=0 u[ 481525]:  477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832  477832
 d = -20. 
Event 7.1. u[ 481544] =  477832 <  477833; v[ 477833] =  481524 <  481544.
b=0 c=0 u[ 481525]:  477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832
 d = -19. 
Event 7.1. u[ 481543] =  477832 <  477833; v[ 477833] =  481524 <  481543.
b=0 c=0 u[ 481525]:  477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832
 d = -18. 
Event 7.1. u[  19001] =   17400 <   17401; v[  17401] =   18983 <   19001.
b=0 c=0 u[  18984]:   17400   17400   17400   17400   17400   17400   17400
                      17400   17400   17400   17400   17400   17400   17400
                      17400   17400   17400   17400
Event 7.1. u[ 481542] =  477832 <  477833; v[ 477833] =  481524 <  481542.
b=0 c=0 u[ 481525]:  477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832
 d = -17. 
Event 7.1. u[  19000] =   17400 <   17401; v[  17401] =   18983 <   19000.
b=0 c=0 u[  18984]:   17400   17400   17400   17400   17400   17400   17400
                      17400   17400   17400   17400   17400   17400   17400
                      17400   17400   17400
Event 7.1. u[ 198680] =  196528 <  196529; v[ 196529] =  198663 <  198680.
b=0 c=0 u[ 198664]:  196528  196528  196528  196528  196528  196528  196528
                     196528  196528  196528  196528  196528  196528  196528
                     196528  196528  196528
Event 7.1. u[ 481541] =  477832 <  477833; v[ 477833] =  481524 <  481541.
b=0 c=0 u[ 481525]:  477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832  477832  477832  477832  477832
                     477832  477832  477832
 d = -16. 
Event 7.1. u[  18999] =   17400 <   17401; v[  17401] =   18983 <   18999.
b=0 c=0 u[  18984]:   17400   17400   17400   17400   17400   17400   17400
                      17400   17400   17400   17400   17400   17400   17400
                      17400   17400
Event 7.2. v[  71179] =   72840 <   72841; u[  72841] =   71163 <   71179.
b=0 c=0 v[  71164]:   72840   72840   72840   72840   72840   72840   72840
                      72840   72840   72840   72840   72840   72840   72840
                      72840   72840
Event 7.1. u[  76299] =   74592 <   74593; v[  74593] =   76283 <   76299.
b=0 c=0 u[  76284]:   74592   74592   74592   74592   74592   74592   74592
                      74592   74592   74592   74592   74592   74592   74592
                      74592   74592
Event 7.1. u[  84307] =   81920 <   81921; v[  81921] =   84291 <   84307.
b=0 c=0 u[  84292]:   81920   81920   81920   81920   81920   81920   81920
                      81920   81920   81920   81920   81920   81920   81920
                      81920   81920
Event 7.2. v[  94435] =   96816 <   96817; u[  96817] =   94419 <   94435.
b=0 c=0 v[  94420]:   96816   96816   96816   96816   96816   96816   96816
                      96816   96816   96816   96816   96816   96816   96816
                      96816   96816
Event 7.1. u[ 116883] =  114552 <  114553; v[ 114553] =  116867 <  116883.
b=0 c=0 u[ 116868]:  114552  114552  114552  114552  114552  114552  114552
                     114552  114552  114552  114552  114552  114552  114552
                     114552  114552
Event 7.1. u[ 497003] =  493288 <  493289; v[ 493289] =  496987 <  497003.
b=0 c=0 u[ 496988]:  493288  493288  493288  493288  493288  493288  493288
                     493288  493288  493288  493288  493288  493288  493288
                     493288  493288
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1    116308    116308         0         0     -1
 -2     84430     80147         0         0     -2
 -3     82056     78268         0         0     -3
 -4     27276     29794         0         0     -4
 -5     22139     24893         0         0     -5
 -6      2741      4029         0         0     -6
 -7      2387      3236         0         0     -7
 -8      1750      2412         0         0     -8
 -9      1377      1771         0         0     -9
-10      1232      1537         0         0    -10
-11       798      1159         0         0    -11
-12       355       702         0         0    -12
-13       162       223         0         0    -13
-14       103       104         0         0    -14
-15        38         9         0         0    -15
-16        20         6         0         0    -16
-17         3         0         0         0    -17
-18         2         0         0         0    -18
-19         1         0         0         0    -19
-20         1         0         0         0    -20
-21         1         0         0         0    -21
-22         0         0         0         0    -22

Totals / Min / Under -25:  
       343180    344598         0         0
           21        16         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        1 -20   978264   0       16  20 
      0 -79        0 -59        0 -39        1 -19    36698   1       16  21 
      0 -78        0 -58        0 -38        2 -18    73626   2       16  22 
      0 -77        0 -57        0 -37        3 -17    26749   3       16  23 
      0 -76        0 -56        0 -36       26 -16   116021   4       16  24 
      0 -75        0 -55        0 -35       47 -15    15999   5       16  25 
      0 -74        0 -54        0 -34      207 -14    45224   6       16  26 
      0 -73        0 -53        0 -33      385 -13     3562   7       16  27 
      0 -72        0 -52        0 -32     1057 -12     3956   8       15  28 
      0 -71        0 -51        0 -31     1957 -11     1623   9       15  29 
      0 -70        0 -50        0 -30     2769 -10      765  10       15  30 
      0 -69        0 -49        0 -29     3148  -9      656  11       15  31 
      0 -68        0 -48        0 -28     4162  -8      250  12       15  32 
      0 -67        0 -47        0 -27     5623  -7       94  13       15  33 
      0 -66        0 -46        0 -26     6770  -6       62  14       15  34 
      0 -65        0 -45        0 -25    47032  -5       81  15       15  35 
      0 -64        0 -44        0 -24    57070  -4       31  16       15  36 
      0 -63        0 -43        0 -23   160324  -3       30  17       15  37 
      0 -62        0 -42        0 -22   164577  -2       20  18       15  38 
      0 -61        0 -41        1 -21   232616  -1       16  19       15  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             o                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                            oo                                       
150000 |                          oooo                                       
100000 |                          oooo   o                                   
 50000 |                         ooooo o o                                   
     0 |________ooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   = 1996300.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =     -21.      -80 thru  -1 =  687778.
  Behav =     Relaxed.        Maximum =    2332.        0 thru  39 = 1304035.
  histend                     K       =  500000.       40 thru Max =    4487.

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         0         0         0         0     -1

Totals / Min / Under -25:  
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20     9479   0       63  20 
      0 -79        0 -59        0 -39        0 -19    26616   1       28  21 
      0 -78        0 -58        0 -38        0 -18    88437   2       23  22 
      0 -77        0 -57        0 -37        0 -17    84182   3       18  23 
      0 -76        0 -56        0 -36        0 -16   168040   4       17  24 
      0 -75        0 -55        0 -35        0 -15   165952   5       17  25 
      0 -74        0 -54        0 -34        0 -14   193903   6       16  26 
      0 -73        0 -53        0 -33        0 -13   186427   7       16  27 
      0 -72        0 -52        0 -32        0 -12    22891   8       16  28 
      0 -71        0 -51        0 -31        0 -11    12551   9       15  29 
      0 -70        0 -50        0 -30        0 -10     8393  10       15  30 
      0 -69        0 -49        0 -29        0  -9     7052  11       15  31 
      0 -68        0 -48        0 -28        0  -8     5479  12       15  32 
      0 -67        0 -47        0 -27        0  -7     3972  13       15  33 
      0 -66        0 -46        0 -26        0  -6     2917  14       15  34 
      0 -65        0 -45        0 -25        0  -5     2289  15       15  35 
      0 -64        0 -44        0 -24        0  -4     1877  16       15  36 
      0 -63        0 -43        0 -23        0  -3      471  17       15  37 
      0 -62        0 -42        0 -22        0  -2      351  18       15  38 
      0 -61        0 -41        0 -21        0  -1       97  19       15  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |     o                                 
180000 |                             |     oo                                
170000 |                             |     oo                                
160000 |                             |   oooo                                
150000 |                             |   oooo                                
140000 |                             |   oooo                                
130000 |                             |   oooo                                
120000 |                             |   oooo                                
110000 |                             |   oooo                                
100000 |                             |   oooo                                
 90000 |                             |   oooo                                
 80000 |                             | oooooo                                
 70000 |                             | oooooo                                
 60000 |                             | oooooo                                
 50000 |                             | oooooo                                
 40000 |                             | oooooo                                
 30000 |                             | oooooo                                
 20000 |                             |oooooooo                               
 10000 |                             |ooooooooo                              
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         700.        Total   =  999816.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    3693.        0 thru  39 =  991755.
  histend                     K       =  500000.       40 thru Max =    8061.

  End  analysis of Test T700  at               17:28:52.406 980623
==sss========================================================================

  Test T710.  Seek a relaxation of A(CMP,UPO,RR,CC1)
                        or of both A(CMP,UPO,WW)
                               and A(CMP,UPO,RW).

           T0                T1            
     L00: A    = 0;    L00: B    = 0;      
     L01: -    = A;    L01: -    = B;      
     L02: U[0] = B;    L02: V[0] = A;      
     L10: A    = 1;    L10: B    = 1;      
     L11: -    = A;    L11: -    = B;      
     L12: U[1] = B;    L12: V[1] = A;      
     L20: A    = 2;    L20: B    = 2;      
     L21: -    = A;    L21: -    = B;      
     L22: U[2] = B;    L22: V[2] = A;      
     L30: A    = 3;    L30: B    = 3;      
     L31: -    = A;    L31: -    = B;      
     L32: U[3] = B;    L32: V[3] = A; etc. 

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  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.  
   To show:  Not A(CMP,UPO,RR,CC1).                            
  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.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T710  at               17:28:52.734 980623
  End execution of Test T710  at               17:28:53.234 980623
  Duration                                            0.500 
Start  analysis of Test T710  at               17:28:53.437 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.187    0.187    0.000    0.000    0.000    0.000    0.000    0.000 
   0.187    0.187    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0      28       0  499999       0
  24999   23032   26952       0       0
  49998   49652   50288       0       0
  74997   77152   72872       0       0
  99996  104243   96002       0       0
 124995  131596  118719       0       0
 149994  158578  142434       0       0
 174993  185315  165320       0       0
 199992  212668  188432       0       0
 224991  239923  211008       0       0
 249990  265769  234232       0       0
 274989  292907  258403       0       0
 299988  320265  281410       0       0
 324987  344036  304371       0       0
 349986  371162  330624       0       0
 374985  397272  353587       0       0
 399984  423732  377456       0       0
 424983  449818  401228       0       0
 449982  474745  425128       0       0
 474981  499999  450232       0       0
 499980  499999  474192       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4                                                                         111111
                                                                                
                                                                         1      
                                                                        1       
                                                                       1       2
                                                                     11       2 
                                                                             2  
                                                                    1       2   
                                                                   1      22    
                                                                  1             
                                                                 1       2      
                                                                1       2       
                                                               1       2        
                                                              1       2         
                                                             1      22          
                                                            1      2            
                                                           1      2             
                                                          1      2              
                                                         1      2               
                                                        1      2                
                                                       1      2                 
                                                             2                  
                                                      1     2                   
                                                     1     2                    
                                                    1     2                     
                                                  11     2                      
                                                        2                       
                                                 1     2                        
                                                1     2                         
                                               1     2                          
                                              1     2                           
                                             1     2                            
                                            1     2                             
                                           1     2                              
                                          1     2                               
                                         1     2                                
                                        1     2                                 
                                             2                                  
                                      11    2                                   
                                          22                                    
                                     1   2                                      
                                    1                                           
                                   1    2                                       
                                  1   22                                        
                                 1   2                                          
                                1   2                                           
                               1   2                                            
                              1   2                                             
                             1   2                                              
                            1   2                                               
                               2                                                
                           1  2                                                 
                          1  2                                                  
                         1  2                                                   
                        1  2                                                    
                       1  2                                                     
                      1 22                                                      
                     1 2                                                        
                    1 2                                                         
                   1 2                                                          
                  1 2                                                           
                 1 2                                                            
                  2                                                             
                12                                                              
               12                                                               
              12                                                                
             12                                                                 
            12                                                                  
           12                                                                   
          12                                                                    
         32                                                                     
        3                                                                       
       2                                                                        
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       755039          0
   1        41981      52930
   2        19330      31720
   3        32346      10698
   4        91323      78079
   5        17463      12459
   6         4268      12805
   7        23085      31635
   8         5634       6093
   9         3884       1721
  10         2131       2061
  11          487        828
  12          156       1623
  13         1123       1773
  14         1482        287
  15           79        182
  16          143         42
  17           27          3
  18            0          0
  19            0          1
over           15         17

 d = -20. 
Event 7.1. u[   3118] =    2520 <    2521; v[   2521] =    3098 <    3118.
b=1 c=1 u[   3099]:    2519    2519    2519    2519    2520    2520    2520
                       2520    2520    2520    2520    2520    2520    2520
                       2520    2520    2520    2520    2520    2520
 d = -19. 
Event 7.1. u[   3117] =    2520 <    2521; v[   2521] =    3098 <    3117.
b=1 c=1 u[   3099]:    2519    2519    2519    2519    2520    2520    2520
                       2520    2520    2520    2520    2520    2520    2520
                       2520    2520    2520    2520    2520
 d = -18. 
Event 7.1. u[   3116] =    2520 <    2521; v[   2521] =    3098 <    3116.
b=1 c=1 u[   3099]:    2519    2519    2519    2519    2520    2520    2520
                       2520    2520    2520    2520    2520    2520    2520
                       2520    2520    2520    2520
 d = -17. 
Event 7.1. u[   3115] =    2520 <    2521; v[   2521] =    3098 <    3115.
b=1 c=1 u[   3099]:    2519    2519    2519    2519    2520    2520    2520
                       2520    2520    2520    2520    2520    2520    2520
                       2520    2520    2520
 d = -16. 
Event 7.1. u[   3114] =    2520 <    2521; v[   2521] =    3098 <    3114.
b=1 c=1 u[   3099]:    2519    2519    2519    2519    2520    2520    2520
                       2520    2520    2520    2520    2520    2520    2520
                       2520    2520
Event 7.2. v[ 118679] =  113064 <  113065; u[ 113065] =  118663 <  118679.
b=0 c=0 v[ 118664]:  113064  113064  113064  113064  113064  113064  113064
                     113064  113064  113064  113064  113064  113064  113064
                     113064  113064
Event 7.2. v[ 264071] =  248288 <  248289; u[ 248289] =  264055 <  264071.
b=0 c=0 v[ 264056]:  248288  248288  248288  248288  248288  248288  248288
                     248288  248288  248288  248288  248288  248288  248288
                     248288  248288
Event 7.2. v[ 447530] =  422728 <  422729; u[ 422729] =  447514 <  447530.
b=1 c=1 v[ 447515]:  422727  422727  422727  422728  422728  422728  422728
                     422728  422728  422728  422728  422728  422728  422728
                     422728  422728
 d = -15. 
Event 7.1. u[   3113] =    2520 <    2521; v[   2521] =    3098 <    3113.
b=1 c=1 u[   3099]:    2519    2519    2519    2519    2520    2520    2520
                       2520    2520    2520    2520    2520    2520    2520
                       2520
Event 7.2. v[  42274] =   43136 <   43137; u[  43137] =   42259 <   42274.
b=0 c=0 v[  42260]:   43136   43136   43136   43136   43136   43136   43136
                      43136   43136   43136   43136   43136   43136   43136
                      43136
Event 7.2. v[  55058] =   54680 <   54681; u[  54681] =   55043 <   55058.
b=0 c=0 v[  55044]:   54680   54680   54680   54680   54680   54680   54680
                      54680   54680   54680   54680   54680   54680   54680
                      54680
Event 7.2. v[ 106834] =  102296 <  102297; u[ 102297] =  106819 <  106834.
b=0 c=0 v[ 106820]:  102296  102296  102296  102296  102296  102296  102296
                     102296  102296  102296  102296  102296  102296  102296
                     102296
Event 7.2. v[ 118678] =  113064 <  113065; u[ 113065] =  118663 <  118678.
b=0 c=0 v[ 118664]:  113064  113064  113064  113064  113064  113064  113064
                     113064  113064  113064  113064  113064  113064  113064
                     113064
Event 7.2. v[ 124434] =  118184 <  118185; u[ 118185] =  124419 <  124434.
b=0 c=0 v[ 124420]:  118184  118184  118184  118184  118184  118184  118184
                     118184  118184  118184  118184  118184  118184  118184
                     118184
Event 7.1. u[ 172042] =  182016 <  182017; v[ 182017] =  172027 <  172042.
b=0 c=0 u[ 172028]:  182016  182016  182016  182016  182016  182016  182016
                     182016  182016  182016  182016  182016  182016  182016
                     182016
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     67498     67498         0         0     -1
 -2     49861     59150         0         0     -2
 -3     46456     52591         0         0     -3
 -4     14139     35093         0         0     -4
 -5      7039     29285         0         0     -5
 -6      5193     28109         0         0     -6
 -7      3987      6820         0         0     -7
 -8      2148      4668         0         0     -8
 -9      1333      1954         0         0     -9
-10        73      1334         0         0    -10
-11        26       878         0         0    -11
-12        19       489         0         0    -12
-13        12       229         0         0    -13
-14        10        27         0         0    -14
-15         2        12         0         0    -15
-16         1         3         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

Totals / Min / Under -25:  
       197801    288140         0         0
           20        16         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        1 -20   934553   0       16  20 
      0 -79        0 -59        0 -39        1 -19   117407   1       16  21 
      0 -78        0 -58        0 -38        1 -18    88399   2       16  22 
      0 -77        0 -57        0 -37        1 -17    87073   3       16  23 
      0 -76        0 -56        0 -36        4 -16   141992   4       16  24 
      0 -75        0 -55        0 -35       14 -15    32576   5       16  25 
      0 -74        0 -54        0 -34       37 -14    14881   6       15  26 
      0 -73        0 -53        0 -33      241 -13    28917   7       15  27 
      0 -72        0 -52        0 -32      508 -12     9692   8       15  28 
      0 -71        0 -51        0 -31      904 -11     7220   9       16  29 
      0 -70        0 -50        0 -30     1407 -10     5304  10       14  30 
      0 -69        0 -49        0 -29     3287  -9     3524  11       14  31 
      0 -68        0 -48        0 -28     6816  -8     3002  12       14  32 
      0 -67        0 -47        0 -27    10807  -7     2866  13       14  33 
      0 -66        0 -46        0 -26    33302  -6     1746  14       14  34 
      0 -65        0 -45        0 -25    36324  -5      267  15       14  35 
      0 -64        0 -44        0 -24    49232  -4      188  16       14  36 
      0 -63        0 -43        0 -23    99047  -3       44  17       14  37 
      0 -62        0 -42        0 -22   109011  -2       16  18       14  38 
      0 -61        0 -41        0 -21   134996  -1       16  19       14  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                           oooo  o                                   
 50000 |                          oooooooo                                   
     0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   = 1974198.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =     -20.      -80 thru  -1 =  485941.
  Behav =     Relaxed.        Maximum =    2636.        0 thru  39 = 1479980.
  histend                     K       =  500000.       40 thru Max =    8277.

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         0         0         0         0     -1

Totals / Min / Under -25:  
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20    17727   0      152  20 
      0 -79        0 -59        0 -39        0 -19    75426   1       36  21 
      0 -78        0 -58        0 -38        0 -18    94149   2       33  22 
      0 -77        0 -57        0 -37        0 -17    94833   3       29  23 
      0 -76        0 -56        0 -36        0 -16   154532   4       16  24 
      0 -75        0 -55        0 -35        0 -15   147971   5       16  25 
      0 -74        0 -54        0 -34        0 -14   137991   6       16  26 
      0 -73        0 -53        0 -33        0 -13   141304   7       16  27 
      0 -72        0 -52        0 -32        0 -12    34872   8       16  28 
      0 -71        0 -51        0 -31        0 -11    19545   9       16  29 
      0 -70        0 -50        0 -30        0 -10    13346  10       14  30 
      0 -69        0 -49        0 -29        0  -9     9165  11       14  31 
      0 -68        0 -48        0 -28        0  -8     7476  12       14  32 
      0 -67        0 -47        0 -27        0  -7     5984  13       14  33 
      0 -66        0 -46        0 -26        0  -6     5168  14       14  34 
      0 -65        0 -45        0 -25        0  -5     3181  15       14  35 
      0 -64        0 -44        0 -24        0  -4     1346  16       14  36 
      0 -63        0 -43        0 -23        0  -3      805  17       14  37 
      0 -62        0 -42        0 -22        0  -2      321  18       14  38 
      0 -61        0 -41        0 -21        0  -1      271  19       14  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |   o                                   
140000 |                             |   oo o                                
130000 |                             |   oooo                                
120000 |                             |   oooo                                
110000 |                             |   oooo                                
100000 |                             |   oooo                                
 90000 |                             | oooooo                                
 80000 |                             | oooooo                                
 70000 |                             |ooooooo                                
 60000 |                             |ooooooo                                
 50000 |                             |ooooooo                                
 40000 |                             |ooooooo                                
 30000 |                             |oooooooo                               
 20000 |                             |oooooooo                               
 10000 |                             ooooooooooo                             
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         710.        Total   =  999960.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   25799.        0 thru  39 =  965899.
  histend                     K       =  500000.       40 thru Max =   34061.

  End  analysis of Test T710  at               17:28:54.828 980623
==sss========================================================================

  Test T720.  Seek a relaxation of A(CMP,UPO,RR,CC1)
                        or of both A(CMP,UPO,WW)
                               and A(CMP,UPO,RW).

           T0                T1            
     L00: A    = 0;    L00: B    = 0;      
     L01: -    = A;    L01: -    = B;      
     L02: U[0] = B;    L02: V[0] = A;      
     L10: A    = 1;    L10: B    = 1;      
     L11: -    = A;    L11: -    = B;      
     L12: U[1] = B;    L12: V[1] = A;      
     L20: A    = 2;    L20: B    = 2;      
     L21: -    = A;    L21: -    = B;      
     L22: U[2] = B;    L22: V[2] = A;      
     L30: A    = 3;    L30: B    = 3;      
     L31: -    = A;    L31: -    = B;      
     L32: U[3] = B;    L32: V[3] = A; etc. 

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  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.  
   To show:  Not A(CMP,UPO,RR,CC1).                            
  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.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T720  at               17:28:55.156 980623
  End execution of Test T720  at               17:28:55.656 980623
  Duration                                            0.500 
Start  analysis of Test T720  at               17:28:56.109 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.219    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.219    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0      31       0       0       0
  24999   23572   26594       0       0
  49998   46744   53608       0       0
  74997   69648   80704       0       0
  99996   93112  106959       0       0
 124995  116754  133881       0       0
 149994  140173  160573       0       0
 174993  163404  187288       0       0
 199992  186287  214704       0       0
 224991  209418  241627       0       0
 249990  232600  268564       0       0
 274989  255984  295355       0       0
 299988  279185  322487       0       0
 324987  302254  349235       0       0
 349986  325711  375825       0       0
 374985  349220  404256       0       0
 399984  371180  430601       0       0
 424983  394672  457760       0       0
 449982  417834  484890       0       0
 474981  440747  499999       0       0
 499980  464201  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                         2222222
                                                                        2       
                                                                       2        
                                                                      2         
                                                                     2          
                                                                    2          1
                                                                   2          1 
                                                                             1  
                                                                  2         1   
                                                                 2         1    
                                                                2         1     
                                                               2         1      
                                                              2         1       
                                                             2         1        
                                                            2         1         
                                                           2         1          
                                                          2        11           
                                                         2        1             
                                                                 1              
                                                        2       1               
                                                       2       1                
                                                      2       1                 
                                                     2       1                  
                                                    2       1                   
                                                   2       1                    
                                                  2       1                     
                                                 2       1                      
                                                2       1                       
                                               2       1                        
                                              2       1                         
                                                     1                          
                                             2     11                           
                                            2     1                             
                                           2     1                              
                                          2     1                               
                                         2     1                                
                                        2     1                                 
                                       2     1                                  
                                      2     1                                   
                                     2     1                                    
                                    2     1                                     
                                   2     1                                      
                                        1                                       
                                  2    1                                        
                                 2    1                                         
                                2    1                                          
                               2   11                                           
                              2   1                                             
                             2   1                                              
                            2   1                                               
                           2   1                                                
                          2   1                                                 
                         2   1                                                  
                        2   1                                                   
                           1                                                    
                       2  1                                                     
                      2  1                                                      
                     2  1                                                       
                    2  1                                                        
                   2  1                                                         
                  2  1                                                          
                 2  1                                                           
                2 11                                                            
               2 1                                                              
              2 1                                                               
             2 1                                                                
            2 1                                                                 
             1                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


 Data for calculating the percentage of time threads
were simultaneously active:                                 
  Histogram of deltas in value of consecutive array entries.
  Histogram of the lengths of strings of consecutive array
entries, all with the same value.  

   i       deltas    strings 
   0       722777          0
   1        36716      82210
   2        46734      40339
   3        74143      21424
   4        74397      56958
   5        17189      21394
   6         6681      28787
   7         5333       8021
   8         8681       9929
   9         4320       3661
  10          873        655
  11          421        399
  12          122       1031
  13          564       1639
  14          684        411
  15          258        235
  16           74         97
  17           10          5
  18            1          2
  19            0          4
over           17         18

 d = -16. 
Event 7.2. v[  80106] =   86136 <   86137; u[  86137] =   80090 <   80106.
b=1 c=1 v[  80091]:   86135   86135   86135   86135   86136   86136   86136
                      86136   86136   86136   86136   86136   86136   86136
                      86136   86136
Event 7.2. v[ 123106] =  131688 <  131689; u[ 131689] =  123090 <  123106.
b=1 c=1 v[ 123091]:  131687  131687  131687  131687  131688  131688  131688
                     131688  131688  131688  131688  131688  131688  131688
                     131688  131688
Event 7.2. v[ 177250] =  189664 <  189665; u[ 189665] =  177234 <  177250.
b=1 c=1 v[ 177235]:  189663  189663  189663  189663  189664  189664  189664
                     189664  189664  189664  189664  189664  189664  189664
                     189664  189664
Event 7.2. v[ 226266] =  242960 <  242961; u[ 242961] =  226250 <  226266.
b=1 c=1 v[ 226251]:  242959  242959  242959  242959  242960  242960  242960
                     242960  242960  242960  242960  242960  242960  242960
                     242960  242960
Event 7.2. v[ 337810] =  363016 <  363017; u[ 363017] =  337794 <  337810.
b=1 c=1 v[ 337795]:  363015  363015  363015  363015  363016  363016  363016
                     363016  363016  363016  363016  363016  363016  363016
                     363016  363016
Event 7.2. v[ 366730] =  395248 <  395249; u[ 395249] =  366714 <  366730.
b=1 c=1 v[ 366715]:  395247  395247  395247  395247  395248  395248  395248
                     395248  395248  395248  395248  395248  395248  395248
                     395248  395248
Event 7.2. v[ 396026] =  426384 <  426385; u[ 426385] =  396010 <  396026.
b=1 c=1 v[ 396011]:  426383  426383  426383  426383  426384  426384  426384
                     426384  426384  426384  426384  426384  426384  426384
                     426384  426384
Event 7.2. v[ 403026] =  434048 <  434049; u[ 434049] =  403010 <  403026.
b=1 c=1 v[ 403011]:  434047  434047  434047  434047  434047  434048  434048
                     434048  434048  434048  434048  434048  434048  434048
                     434048  434048
 d = -15. 
Event 7.2. v[  18514] =   19728 <   19729; u[  19729] =   18499 <   18514.
b=0 c=0 v[  18500]:   19728   19728   19728   19728   19728   19728   19728
                      19728   19728   19728   19728   19728   19728   19728
                      19728
Event 7.2. v[  18554] =   19768 <   19769; u[  19769] =   18539 <   18554.
b=0 c=0 v[  18540]:   19768   19768   19768   19768   19768   19768   19768
                      19768   19768   19768   19768   19768   19768   19768
                      19768
Event 7.2. v[  27042] =   28664 <   28665; u[  28665] =   27027 <   27042.
b=0 c=0 v[  27028]:   28664   28664   28664   28664   28664   28664   28664
                      28664   28664   28664   28664   28664   28664   28664
                      28664
Event 7.2. v[  37426] =   40104 <   40105; u[  40105] =   37411 <   37426.
b=0 c=0 v[  37412]:   40104   40104   40104   40104   40104   40104   40104
                      40104   40104   40104   40104   40104   40104   40104
                      40104
Event 7.2. v[  38754] =   41360 <   41361; u[  41361] =   38739 <   38754.
b=0 c=0 v[  38740]:   41360   41360   41360   41360   41360   41360   41360
                      41360   41360   41360   41360   41360   41360   41360
                      41360
Event 7.2. v[  59250] =   63632 <   63633; u[  63633] =   59235 <   59250.
b=0 c=0 v[  59236]:   63632   63632   63632   63632   63632   63632   63632
                      63632   63632   63632   63632   63632   63632   63632
                      63632
Event 7.2. v[ 452722] =  487736 <  487737; u[ 487737] =  452707 <  452722.
b=0 c=0 v[ 452708]:  487736  487736  487736  487736  487736  487736  487736
                     487736  487736  487736  487736  487736  487736  487736
                     487736
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     73535     73535         0         0     -1
 -2     49908     56871         0         0     -2
 -3     29771     42409         0         0     -3
 -4     16851     16134         0         0     -4
 -5     11571     10518         0         0     -5
 -6      9222      8904         0         0     -6
 -7      7380      7013         0         0     -7
 -8      3655      3117         0         0     -8
 -9       705      1491         0         0     -9
-10       509      1046         0         0    -10
-11       266       930         0         0    -11
-12       114       718         0         0    -12
-13        31       180         0         0    -13
-14        14       124         0         0    -14
-15         0        76         0         0    -15
-16         0         8         0         0    -16
-17         0         0         0         0    -17

Totals / Min / Under -25:  
       203532    223074         0         0
           14        16         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   915722   0       18  20 
      0 -79        0 -59        0 -39        0 -19   132557   1       17  21 
      0 -78        0 -58        0 -38        0 -18   124481   2       17  22 
      0 -77        0 -57        0 -37        0 -17   139930   3       17  23 
      0 -76        0 -56        0 -36        8 -16   122108   4       17  24 
      0 -75        0 -55        0 -35       76 -15    41680   5       17  25 
      0 -74        0 -54        0 -34      138 -14    19052   6       17  26 
      0 -73        0 -53        0 -33      211 -13     9412   7       17  27 
      0 -72        0 -52        0 -32      832 -12    11281   8       17  28 
      0 -71        0 -51        0 -31     1196 -11     6504   9       17  29 
      0 -70        0 -50        0 -30     1555 -10     2851  10       18  30 
      0 -69        0 -49        0 -29     2196  -9     2117  11       16  31 
      0 -68        0 -48        0 -28     6772  -8     1690  12       16  32 
      0 -67        0 -47        0 -27    14393  -7     1614  13       16  33 
      0 -66        0 -46        0 -26    18126  -6     1057  14       16  34 
      0 -65        0 -45        0 -25    22089  -5      368  15       16  35 
      0 -64        0 -44        0 -24    32985  -4      106  16       16  36 
      0 -63        0 -43        0 -23    72180  -3       29  17       16  37 
      0 -62        0 -42        0 -22   106779  -2       19  18       16  38 
      0 -61        0 -41        0 -21   147070  -1       18  19       17  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                           ooooooo                                   
 50000 |                          oooooooo                                   
     0 |_________.___oooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   = 1964210.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =     -16.      -80 thru  -1 =  426606.
  Behav =     Relaxed.        Maximum =    1202.        0 thru  39 = 1532930.
  histend                     K       =  500000.       40 thru Max =    4674.

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         0         0         0         0     -1

Totals / Min / Under -25:  
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20    26016   0       59  20 
      0 -79        0 -59        0 -39        0 -19    95841   1       35  21 
      0 -78        0 -58        0 -38        0 -18   110122   2       25  22 
      0 -77        0 -57        0 -37        0 -17   131012   3       17  23 
      0 -76        0 -56        0 -36        0 -16   158334   4       16  24 
      0 -75        0 -55        0 -35        0 -15   144959   5       16  25 
      0 -74        0 -54        0 -34        0 -14   119674   6       16  26 
      0 -73        0 -53        0 -33        0 -13    75857   7       16  27 
      0 -72        0 -52        0 -32        0 -12    37673   8       16  28 
      0 -71        0 -51        0 -31        0 -11    21592   9       16  29 
      0 -70        0 -50        0 -30        0 -10    11209  10       16  30 
      0 -69        0 -49        0 -29        0  -9     6269  11       16  31 
      0 -68        0 -48        0 -28        0  -8     5114  12       16  32 
      0 -67        0 -47        0 -27        0  -7     4185  13       15  33 
      0 -66        0 -46        0 -26        0  -6     3663  14       15  34 
      0 -65        0 -45        0 -25        0  -5     3268  15       15  35 
      0 -64        0 -44        0 -24        0  -4     2686  16       15  36 
      0 -63        0 -43        0 -23        0  -3     1245  17       15  37 
      0 -62        0 -42        0 -22        0  -2      253  18       15  38 
      0 -61        0 -41        0 -21        0  -1       94  19       15  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |   o                                   
140000 |                             |   oo                                  
130000 |                             |  ooo                                  
120000 |                             |  ooo                                  
110000 |                             | ooooo                                 
100000 |                             | ooooo                                 
 90000 |                             |oooooo                                 
 80000 |                             |oooooo                                 
 70000 |                             |ooooooo                                
 60000 |                             |ooooooo                                
 50000 |                             |ooooooo                                
 40000 |                             |ooooooo                                
 30000 |                             |oooooooo                               
 20000 |                             oooooooooo                              
 10000 |                             ooooooooooo                             
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         720.        Total   =  999924.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   35784.        0 thru  39 =  959451.
  histend                     K       =  500000.       40 thru Max =   40473.

  End  analysis of Test T720  at               17:28:57.500 980623
==sss========================================================================

  Test T800.  Seek a relaxation of both A(CMP,UPO,CC3)
                                    and A(CMP,UPO,WW,WR)
                                  or of A(CMP,UPO,CC3),

        T0              T1              T2              T3    
L11: A   = 11;  L11: A   = 12;  L11: A   = 13;  L11: A   = 14;
L12: U[1] = A;  L12: V[1] = A;  L12: X[1] = A;  L12: Y[1] = A;
L21: A   = 21;  L21: A   = 22;  L21: A   = 23;  L21: A   = 24;
L22: U[2] = A;  L22: V[2] = A;  L22: X[2] = A;  L22: Y[2] = A;
L31: A   = 31;  L31: A   = 32;  L31: A   = 33;  L31: A   = 34;
L32: U[3] = A;  L32: V[3] = A;  L32: X[3] = A;  L32: Y[3] = A;
L41: A   = 41;  L41: A   = 42;  L41: A   = 43;  L41: A   = 44;
L42: U[4] = A;  L42: V[4] = A;  L42: X[4] = A;  L42: Y[4] = A;
L51: A   = 51;  L51: A   = 52;  L51: A   = 53;  L51: A   = 54;
L52: U[5] = A;  L52: V[5] = A;  L52: X[5] = A;  L52: Y[5] = A;
L61: A   = 61;  L61: A   = 62;  L61: A   = 63;  L61: A   = 64;
L62: U[6] = A;  L62: V[6] = A;  L62: X[6] = A;  L62: Y[6] = A; etc.

 Seek 8.0:  W[i] >= W[i+]; W[i] and W[i+] are congruent 
modulo 10, where i+ > i, and W = U, V, X, Y.

   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).

                                                         
    Consistency event (two changes in the value of one operand
  became visible in different orders to two different threads):
  8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,    
  such that a < b < c < d < e, and                       
    1.  a,b,c,d come from different arrays.              
    2.  e occurs in the same array as a, but earlier.    
     To show:  Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
  8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,    
  such that a > b > c > d > e, and                       
    1.  a,b,c,d come from different arrays.              
    2.  e occurs in the same array as a, but earlier.    
     To show:  Not A(CMP,UPO,CC3).                     

  Suffixes for packed simulation output:  T0: 0; T1: 1; T2: 2; T3: 3.

Start execution of Test T800  at               17:28:57.828 980623
  End execution of Test T800  at               17:28:58.328 980623
  Duration                                            0.500 
Start  analysis of Test T800  at               17:28:58.687 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.125    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.125    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       1       2       3
  24999  249990  249991  249992  249993
  49998  499980  499981  499982  499983
  74997  749970  749971  749972  749973
  99996  999960  999961  999962  999963
 124995 1249950 1249951 1249952 1249953
 149994 1499940 1499941 1499942 1499943
 174993 1749930 1749931 1749932 1749933
 199992 1999920 1999921 1999922 1999923
 224991 2249910 2249911 2249912 2249913
 249990 2499900 2499901 2499902 2499903
 274989 2749890 2749891 2749892 2749893
 299988 2999880 2999881 2999882 2999883
 324987 3249870 3249871 3249872 3249873
 349986 3499860 3499861 3499862 3499863
 374985 3749850 3749851 3749852 3749853
 399984 3999840 3999841 3999842 3999843
 424983 4249830 4249831 4249832 4249833
 449982 4499820 4499821 4499822 4499823
 474981 4749810 4749811 4749812 4749813
 499980 4999800 4999801 4999802 4999803

  dim =    80, max = 5000000, pamx =     2.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                            22 F
                                                                           22 F 
                                                                          22 F  
                                                                         22 F   
                                                                        22 F    
                                                                       22 F     
                                                                      22 F  1   
                                                                     22 F       
                                                                    22 F        
                                                                   22 F         
                                                                  22 F          
                                                                 22 F           
                                                                22 F            
                                                               22 F             
                                                              22 F              
                                                             22 F               
                                                            22 F                
                                                           22 F                 
                                                          22 F                  
                                                         22 F                   
                                                        22 F                    
                                                       22 F                     
                                                      22 F                      
                                                     22 F                       
                                                    22 F                        
                                                    2 F 1                       
                                                   22F 1                        
                                                  22F 11                        
                                                 22F 1                          
                                                22F                             
                                               22F                              
                                              22F                               
                                             22F                                
                                            22F11                               
                                           22F                                  
                                          22F                                   
                                         22F                                    
                                        22F1                                    
                                       22F                                      
                                      22F                                       
                                     22F                                        
                                    22F                                         
                                    2F1                                         
                                   2F                                           
                                  2F                                            
                                 2F                                             
                                2F                                              
                               2F1                                              
                              2F                                                
                             2F                                                 
                            2F                                                  
                           2F                                                   
                          2F                                                    
                         2F                                                     
                        2F1                                                     
                       2F                                                       
                      2F                                                        
                     2F                                                         
                    2F                                                          
                   2F                                                           
                  2F                                                            
                 2F                                                             
                 F                                                              
                F                                                               
               F                                                                
              F2                                                                
             F2                                                                 
            F2                                                                  
           F2                                                                   
          F2                                                                    
         F2                                                                     
        F2                                                                      
       F2                                                                       
      F2                                                                        
     F2                                                                         
    F2                                                                          
   F2                                                                           
  F2                                                                            
 F2                                                                             
F2                                                                              
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1982995   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18        0   2        0  22 
      0 -77        0 -57        0 -37        0 -17        1   3        0  23 
      0 -76        0 -56        0 -36        0 -16        0   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        0   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        1   9        0  29 
      0 -70        0 -50        0 -30        0 -10        0  10        0  30 
      0 -69        0 -49        0 -29        0  -9        0  11        0  31 
      0 -68        0 -48        0 -28        0  -8        0  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        0  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________.__o_____o._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   = 1982997.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       9.        0 thru  39 = 1982997.
  histend                     K       =  500000.       40 thru Max =       0.


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1982995   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18        1   2        0  22 
      0 -77        0 -57        0 -37        0 -17        0   3        0  23 
      0 -76        0 -56        0 -36        0 -16        0   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        0   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        0   9        0  29 
      0 -70        0 -50        0 -30        0 -10        0  10        0  30 
      0 -69        0 -49        0 -29        0  -9        0  11        0  31 
      0 -68        0 -48        0 -28        0  -8        0  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        0  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________._o_______._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   = 1982996.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       2.        0 thru  39 = 1982996.
  histend                     K       =  500000.       40 thru Max =       0.


  Convoys are sequences of values which appear to two or more
processors.  The 5 longest convoys on this test were:

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T800  at               17:29:29.093 980623
==sss========================================================================

  Test T820.  Seek a relaxation of both A(CMP,UPO,CC3)
                                    and A(CMP,UPO,WW,WR)
                                  or of A(CMP,UPO,CC3),

        T0              T1              T2              T3    
L11: A   = 11;  L11: A   = 12;  L11: A   = 13;  L11: A   = 14;
L12: U[1] = A;  L12: V[1] = A;  L12: X[1] = A;  L12: Y[1] = A;
L21: A   = 21;  L21: A   = 22;  L21: A   = 23;  L21: A   = 24;
L22: U[2] = A;  L22: V[2] = A;  L22: X[2] = A;  L22: Y[2] = A;
L31: A   = 31;  L31: A   = 32;  L31: A   = 33;  L31: A   = 34;
L32: U[3] = A;  L32: V[3] = A;  L32: X[3] = A;  L32: Y[3] = A;
L41: A   = 41;  L41: A   = 42;  L41: A   = 43;  L41: A   = 44;
L42: U[4] = A;  L42: V[4] = A;  L42: X[4] = A;  L42: Y[4] = A;
L51: A   = 51;  L51: A   = 52;  L51: A   = 53;  L51: A   = 54;
L52: U[5] = A;  L52: V[5] = A;  L52: X[5] = A;  L52: Y[5] = A;
L61: A   = 61;  L61: A   = 62;  L61: A   = 63;  L61: A   = 64;
L62: U[6] = A;  L62: V[6] = A;  L62: X[6] = A;  L62: Y[6] = A; etc.

 Seek 8.0:  W[i] >= W[i+]; W[i] and W[i+] are congruent 
modulo 10, where i+ > i, and W = U, V, X, Y.

   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).

                                                         
    Consistency event (two changes in the value of one operand
  became visible in different orders to two different threads):
  8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,    
  such that a < b < c < d < e, and                       
    1.  a,b,c,d come from different arrays.              
    2.  e occurs in the same array as a, but earlier.    
     To show:  Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
  8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,    
  such that a > b > c > d > e, and                       
    1.  a,b,c,d come from different arrays.              
    2.  e occurs in the same array as a, but earlier.    
     To show:  Not A(CMP,UPO,CC3).                     

  Suffixes for packed simulation output:  T0: 0; T1: 1; T2: 2; T3: 3.

Start execution of Test T820  at               17:29:29.421 980623
  End execution of Test T820  at               17:29:29.921 980623
  Duration                                            0.500 
Start  analysis of Test T820  at               17:29:30.796 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.157    0.157    0.000    0.000    0.000    0.000    0.000    0.000 
   0.157    0.157    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       1       2       3
  24999  249990  249991  249992  249993
  49998  499980  499981  499982  499983
  74997  749970  749971  749972  749973
  99996  999960  999961  999962  999963
 124995 1249950 1249951 1249952 1249953
 149994 1499940 1499941 1499942 1499943
 174993 1749930 1749931 1749932 1749933
 199992 1999920 1999921 1999922 1999923
 224991 2249910 2249911 2249912 2249913
 249990 2499900 2499901 2499902 2499903
 274989 2749890 2749891 2749892 2749893
 299988 2999880 2999881 2999882 2999883
 324987 3249870 3249871 3249872 3249873
 349986 3499860 3499861 3499862 3499863
 374985 3749850 3749851 3749852 3749853
 399984 3999840 3999841 3999842 3999843
 424983 4249830 4249831 4249832 4249833
 449982 4499820 4499821 4499822 4499823
 474981 4749810 4749811 4749812 4749813
 499980 4999800 4999801 4999802 4999803

  dim =    80, max = 5000000, pamx =     2.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               F
                                                                             1F 
                                                                            1F  
                                                                           1F2  
                                                                          1F2   
                                                                         1F2    
                                                                        1F2     
                                                                       1F2      
                                                                      1F2       
                                                                     1F2        
                                                                    1F2         
                                                                   1F2          
                                                                  1F            
                                                                  F2            
                                                                1F              
                                                               1F2              
                                                              1F2               
                                                             2F2                
                                                            2F1                 
                                                            F                   
                                                          2F1                   
                                                         2F1                    
                                                        2F1                     
                                                       2F1                      
                                                      2F1                       
                                                     2F                         
                                                    2F1                         
                                                   2F1                          
                                                  2F1                           
                                                 2F                             
                                                2F1                             
                                               2F1                              
                                               F1                               
                                             2F1                                
                                            2F1                                 
                                           2F1                                  
                                          2F1                                   
                                         2F1                                    
                                        2F                                      
                                        F1                                      
                                      2F                                        
                                     2F                                         
                                    2F1                                         
                                   2F1                                          
                                  2F1                                           
                                 2F1                                            
                                2F1                                             
                               2F1                                              
                               F1                                               
                             2F1                                                
                            1F1                                                 
                           1F2                                                  
                          1F2                                                   
                         1F2                                                    
                        1F2                                                     
                       1F2                                                      
                      1F2                                                       
                     1F2                                                        
                    1F                                                          
                   1F2                                                          
                  1F2                                                           
                 1F2                                                            
                1F2                                                             
               1F2                                                              
              1F2                                                               
             1F2                                                                
             F2                                                                 
           1F2                                                                  
          1F2                                                                   
         1F2                                                                    
        1F2                                                                     
       1F2                                                                      
      1F2                                                                       
      F2                                                                        
    1F2                                                                         
   1F2                                                                          
  1F2                                                                           
 1F2                                                                            
1F2                                                                             
F2                                                                              
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1993432   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18       18   2        0  22 
      0 -77        0 -57        0 -37        0 -17       27   3        0  23 
      0 -76        0 -56        0 -36        0 -16       37   4        0  24 
      0 -75        0 -55        0 -35        0 -15       29   5        0  25 
      0 -74        0 -54        0 -34        0 -14        8   6        0  26 
      0 -73        0 -53        0 -33        0 -13        2   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        2   9        0  29 
      0 -70        0 -50        0 -30        0 -10        1  10        0  30 
      0 -69        0 -49        0 -29        0  -9        5  11        0  31 
      0 -68        0 -48        0 -28        0  -8        0  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        0  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________._oooooo_ooo________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
  Nmbr  =         820.        Total   = 1993561.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =      11.        0 thru  39 = 1993561.
  histend                     K       =  500000.       40 thru Max =       0.


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1993432   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18        0   2        0  22 
      0 -77        0 -57        0 -37        0 -17        0   3        0  23 
      0 -76        0 -56        0 -36        0 -16       82   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        1   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        1   8        0  28 
      0 -71        0 -51        0 -31        0 -11        0   9        0  29 
      0 -70        0 -50        0 -30        0 -10        0  10        0  30 
      0 -69        0 -49        0 -29        0  -9        0  11        0  31 
      0 -68        0 -48        0 -28        0  -8        0  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        0  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________.___o_o_o_._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         820.        Total   = 1993516.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       8.        0 thru  39 = 1993516.
  histend                     K       =  500000.       40 thru Max =       0.


  Convoys are sequences of values which appear to two or more
processors.  The 5 longest convoys on this test were:

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T820  at               17:30:01.140 980623
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T900.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T920.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1000.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1010.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1020.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1030.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1100.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1110.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1120.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1200.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1210.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1220.
==sss========================================================================

Time to perform 1000000 of the following integer operations:
  NOPs:                                               0.031 
  Additions:                                          0.031 
  Subtractions:                                       0.032 
  Multiplications:                                    0.046 
  Divisions:                                          0.219 
Time to perform 1000000 of the following floating operations:
  Additions:                                          1.328 
  Subtractions:                                       1.360 
  Multiplications:                                    1.343 
  Divisions:                                          1.360 
================================================================================

Summary of run:                                17:30:06.906 980623
ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.
 An Intergraph TD400, two 200 MHz Pentium Pro processors
running Windows NT 4.0, 1381.
 Thanks to Jim Reilly at Aqua Process Corp., jim@aquaprocess.com.

  Number of threads:         2.
  Length of the arrays:      500000.
  Frequency of fetching shared operands before stores: always
  Line count:                0.
  Action count:              0.
  Interference count:        0.
  T10 thread 0 count:        100000.
  T10 thread 1 count:        10000.
  T10 thread 2 count:        100000.

  Each test in ARCHTEST seeks to observe a relaxation of behavior
defined by one or another subset of the following seven rules:
URR, RR, WW, RW, WR, CC1, and CC3. Here are the tests that have
just been run and the architectures whose relaxation 
the tests have sought to detect.

 T1xx.  Both A(CMP,UPO,URR,WW) and A(CMP,UPO,URR,CC3)  
 T2xx.       A(CMP,UPO,RR,WW) 
 T4xx.  Both A(CMP,UPO,WW,WR) and (A(CMP,UPO,WR,CC3),
     or both A(CMP,UPO,WW)    and (A(CMP,UPO,RW)     
 T7xx.       A(CMP,UPO,RR,CC1) 
     or both A(CMP,UPO,WW)    and (A(CMP,UPO,RW))
 T8xx.  Both A(CMP,UPO,CC3)   and (A(CMP,UPO,WR),
          or A(CMP,UPO,CC3) 

  The tests performed on this run are listed below.  Shown for each test
are (1) the durations of the test and of its analysis, and (2) the number of
integer operands and the number of floating point operands used in the test.
The d value, if blank, indicates strong behavior.  Otherwise, the more
negative the d value, the more relaxed the behavior observed by the test.

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.500      0.265   T100           1   0
      0.500      0.265   T120           0   1
      0.500      0.750   T200           2   0
      0.500      0.782   T210           1   1
      0.500      0.781   T220           0   2
      0.500      1.438   T400.1  -20    2   0
                         T400.2         2   0
      0.500      1.453   T410.1  -20    1   1
                         T410.2         1   1
      0.500      1.421   T420.1  -19    0   2
                         T420.2         0   2
      0.515      1.391   T700.1  -21    2   0
                         T700.2         2   0
      0.500      1.391   T710.1  -20    1   1
                         T710.2         1   1
      0.500      1.391   T720.1  -16    0   2
                         T720.2         0   2
      0.500     30.406   T800           1   0
      0.500     30.344   T820           0   1

  Descriptions of the relaxations detected by the tests: 
  Write Order (WW):  WW requires that all write operations
in a thread occur in the order defined by the thread. 
A relaxation of WW allows writes to occur out of order.
  Write-Read Order (WR):  WR requires that a write operation
which occurs before a read operation in a thread, occur in
time before the read operation.  A relaxation of WR allows a
read operation to occur before a logically preceding write
operation.  This is the most common relaxation.
  Read Order (RR):  RR requires that all read operations
in a thread occur in the order defined by the thread. 
A relaxation of RR allows reads to occur out of order.
  Write Atomicity (CC1 or WA). for Cache Coherence Level 1,
the strongest level of cache coherence.  CC1 requires that
every write operation (appear to) become visible to all
threads in a system at the same instant.  A relaxation of CC1 
allows two threads to see an operand change value at two 
demonstrably different times.  All relaxations of CC1 involve
making stale data visible.  This is the second most common    
relaxation.  
  CC3, for Cache Coherence Level 3, requires that all threads
see all changes in value of each individual operand in the same
order.  A relaxation of CC3 allows two threads to see a single
operand assume different sequences of values.

  No monotonicity relaxations seen.

  The machine relaxed one or more rules 
in each of the following sets of rules:
               WR          CC3     
           WW  WR                  
                   RR           CC1

  Tests and the architectures they test for.
A nonblank character at (row,column) shows that the test at the head
of the column tests for the rules at the left end of the row.  A '+'
shows the test was not executed.  'O' shows that strong behavior was
observed; 'X' shows relaxed behavior.
                                 T T T T T T T T T T T T T T T T
                                 1 2 3 4 4 5 6 7 7 8 8 9 1 1 1 1
                                       . .     . . . .   1 1 2 2
                                       1 3     1 3 1 2   . . . .
                                                         1 2 1 2
                  RW                     O       O   O     +   +
      WW                                 O       O   O     +   +
      WW      RR                   O                            
 URR  WW                         O   +                          
 URR                  CC3        O                     +        
          WR          CC3              X                 +      
      WW  WR                           X           O     +      
                      CC3                          O O          
              RR           CC1             + + X             +  

Save the parameters from this run in a file? 
Press Enter for No.  Otherwise, enter the name of the file. 
Run this job another time? [y]  n