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

                                               17:26:04.796 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:      a1111101.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:26:34.015 980623
  End execution of Test T100  at               17:26:34.515 980623
  Duration                                            0.500 
Start  analysis of Test T100  at               17:26:34.515 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.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    0.094    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   18581       0       0       0
  49998   41337       0       0       0
  74997   64068       0       0       0
  99996   87335       0       0       0
 124995  110308       0       0       0
 149994  133107       0       0       0
 174993  156123       0       0       0
 199992  179020       0       0       0
 224991  202023       0       0       0
 249990  224259       0       0       0
 274989  246917       0       0       0
 299988  269833       0       0       0
 324987  292295       0       0       0
 349986  314861       0       0       0
 374985  337259       0       0       0
 399984  359929       0       0       0
 424983  382541       0       0       0
 449982  404626       0       0       0
 474981  427286       0       0       0
 499980  449226       0       0       0

  dim =    80, max = 449253, 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       408943          0
   1           82       3372
   2        12347       2344
   3        17794      26138
   4        10789      30320
   5        11723       8294
   6        14521       4330
   7        12963       3428
   8         7703         36
   9         2630         32
  10          430         37
  11           56         50
  12            8         75
  13            3         97
  14            0       1010
  15            0       5906
  16            0       2878
  17            0       2352
  18            0        229
  19            0         71
over            6         56
  End  analysis of Test T100  at               17:26:34.781 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:26:35.109 980623
  End execution of Test T120  at               17:26:35.609 980623
  Duration                                            0.500 
Start  analysis of Test T120  at               17:26:36.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.172    0.078    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    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   18096       0       0       0
  49998   39171       0       0       0
  74997   60039       0       0       0
  99996   80822       0       0       0
 124995  101799       0       0       0
 149994  122507       0       0       0
 174993  143060       0       0       0
 199992  164205       0       0       0
 224991  185117       0       0       0
 249990  206132       0       0       0
 274989  227060       0       0       0
 299988  248067       0       0       0
 324987  268986       0       0       0
 349986  289678       0       0       0
 374985  309122       0       0       0
 399984  330017       0       0       0
 424983  351557       0       0       0
 449982  372449       0       0       0
 474981  393161       0       0       0
 499980  414173       0       0       0

  dim =    80, max = 414196, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               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                                                                           
   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       411015          0
   1          102       2145
   2        12686       2578
   3        18751      24914
   4        10703      30760
   5        11939       7889
   6        18161       4145
   7        13374       3126
   8         2928         19
   9          290         27
  10           23         11
  11           12          9
  12            7         11
  13            1         64
  14            1       2928
  15            0       4873
  16            0       3306
  17            0       1684
  18            0        360
  19            0         90
over            5         44
  End  analysis of Test T120  at               17:26:36.328 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:26:36.656 980623
  End execution of Test T200  at               17:26:37.171 980623
  Duration                                            0.515 
Start  analysis of Test T200  at               17:26:37.171 980623

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.453    0.406    0.000    0.000    0.000    0.000    0.000    0.000 
   0.438    0.391    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      23      28       0       0
  24999   63639   63642       0       0
  49998  130223  130223       0       0
  74997  197629  197628       0       0
  99996  264938  264938       0       0
 124995  332146  332151       0       0
 149994  399495  399497       0       0
 174993  466724  466724       0       0
 199992  533313  533316       0       0
 224991  600703  600706       0       0
 249990  668131  668135       0       0
 274989  735434  735437       0       0
 299988  802437  802436       0       0
 324987  868041  868041       0       0
 349986  934809  934808       0       0
 374985 1002017 1002016       0       0
 399984 1061654 1061653       0       0
 424983 1128833 1128833       0       0
 449982 1195106 1195110       0       0
 474981 1261291 1261294       0       0
 499980 1327906 1327907       0       0

  dim =    80, max = 1327964, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                           33                   
                                                          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                                                                   
           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       391304          0
   1        44659     316099
   2        14209     222714
   3       121023      55953
   4       178592       8369
   5       123733       5129
   6        55857        303
   7        37415         24
   8        21378          9
   9         8366         13
  10         2617         37
  11          657          6
  12          113         14
  13           16          5
  14            2          1
  15            2          2
  16            1          1
  17            0          3
  18            0          0
  19            0          0
over           52         10

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   588584   0        0  20 
      0 -79        0 -59        0 -39        0 -19   470537   1        0  21 
      0 -78        0 -58        0 -38        0 -18    97174   2        0  22 
      0 -77        0 -57        0 -37        0 -17   229327   3        0  23 
      0 -76        0 -56        0 -36        0 -16   265427   4        0  24 
      0 -75        0 -55        0 -35        0 -15   182245   5        0  25 
      0 -74        0 -54        0 -34        0 -14    77904   6        0  26 
      0 -73        0 -53        0 -33        0 -13    49169   7        0  27 
      0 -72        0 -52        0 -32        0 -12    26490   8        0  28 
      0 -71        0 -51        0 -31        0 -11     9471   9        0  29 
      0 -70        0 -50        0 -30        0 -10     2773  10        0  30 
      0 -69        0 -49        0 -29        0  -9      678  11        0  31 
      0 -68        0 -48        0 -28        0  -8      113  12        0  32 
      0 -67        0 -47        0 -27        0  -7       17  13        0  33 
      0 -66        0 -46        0 -26        0  -6        2  14        0  34 
      0 -65        0 -45        0 -25        0  -5        2  15        0  35 
      0 -64        0 -44        0 -24        0  -4        1  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 ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             o                                       
440000 |                             oo                                      
400000 |                             oo                                      
360000 |                             oo                                      
320000 |                             oo                                      
280000 |                             oo                                      
240000 |                             oo  o                                   
200000 |                             oo oo                                   
160000 |                             oo ooo                                  
120000 |                             oo ooo                                  
 80000 |                             oooooo                                  
 40000 |                             oooooooo                                
     0 |_________._________._________.oooooooooooooooo___._________._________
     -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 =     712.        0 thru  39 = 1999914.
  histend                     K       =  500000.       40 thru Max =      78.

  End  analysis of Test T200  at               17:26:37.984 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:26:38.312 980623
  End execution of Test T210  at               17:26:38.812 980623
  Duration                                            0.500 
Start  analysis of Test T210  at               17:26:39.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.469    0.375    0.000    0.000    0.000    0.000    0.000    0.000 
   0.469    0.375    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      15      15       0       0
  24999   55572   55575       0       0
  49998  114940  114939       0       0
  74997  173488  173490       0       0
  99996  232200  232199       0       0
 124995  290682  290681       0       0
 149994  349281  349281       0       0
 174993  408355  408357       0       0
 199992  467294  467296       0       0
 224991  525781  525783       0       0
 249990  584607  584610       0       0
 274989  643416  643420       0       0
 299988  701102  701102       0       0
 324987  759265  759267       0       0
 349986  818104  818105       0       0
 374985  876658  876664       0       0
 399984  935538  935538       0       0
 424983  994505  994504       0       0
 449982 1052942 1052941       0       0
 474981 1110325 1110324       0       0
 499980 1169617 1169617       0       0

  dim =    80, max = 1169673, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               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                                              
                                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       422805          0
   1        51701     262955
   2        18343     236842
   3       125503      56169
   4       194770      14982
   5        98454       5740
   6        42529        373
   7        29402         50
   8        11955          6
   9         3580          6
  10          767         18
  11          102         29
  12           24          9
  13           11          2
  14            2          0
  15            0          2
  16            0          0
  17            0          0
  18            0          0
  19            0          2
over           48          6

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   637568   0        0  20 
      0 -79        0 -59        0 -39        0 -19   506511   1        0  21 
      0 -78        0 -58        0 -38        0 -18    77747   2        0  22 
      0 -77        0 -57        0 -37        0 -17   220673   3        0  23 
      0 -76        0 -56        0 -36        0 -16   300475   4        0  24 
      0 -75        0 -55        0 -35        0 -15   145538   5        0  25 
      0 -74        0 -54        0 -34        0 -14    56341   6        0  26 
      0 -73        0 -53        0 -33        0 -13    36608   7        0  27 
      0 -72        0 -52        0 -32        0 -12    13660   8        0  28 
      0 -71        0 -51        0 -31        0 -11     3843   9        0  29 
      0 -70        0 -50        0 -30        0 -10      813  10        0  30 
      0 -69        0 -49        0 -29        0  -9      106  11        0  31 
      0 -68        0 -48        0 -28        0  -8       24  12        0  32 
      0 -67        0 -47        0 -27        0  -7       11  13        0  33 
      0 -66        0 -46        0 -26        0  -6        2  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 ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             oo                                      
440000 |                             oo                                      
400000 |                             oo                                      
360000 |                             oo                                      
320000 |                             oo                                      
280000 |                             oo  o                                   
240000 |                             oo  o                                   
200000 |                             oo oo                                   
160000 |                             oo oo                                   
120000 |                             oo ooo                                  
 80000 |                             oo ooo                                  
 40000 |                             ooooooo                                 
     0 |_________._________._________.oooooooooooooo_____._________._________
     -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 =     266.        0 thru  39 = 1999920.
  histend                     K       =  500000.       40 thru Max =      72.

  End  analysis of Test T210  at               17:26:39.812 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:26:40.140 980623
  End execution of Test T220  at               17:26:40.656 980623
  Duration                                            0.516 
Start  analysis of Test T220  at               17:26:41.109 980623

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.485    0.375    0.000    0.000    0.000    0.000    0.000    0.000 
   0.469    0.359    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   52643   52647       0       0
  49998  109438  109437       0       0
  74997  166084  166087       0       0
  99996  222863  222862       0       0
 124995  279120  279120       0       0
 149994  335537  335541       0       0
 174993  392106  392106       0       0
 199992  448436  448435       0       0
 224991  505113  505112       0       0
 249990  561214  561217       0       0
 274989  618314  618313       0       0
 299988  674739  674738       0       0
 324987  731221  731221       0       0
 349986  788002  788005       0       0
 374985  845566  845565       0       0
 399984  902317  902316       0       0
 424983  958948  958947       0       0
 449982 1015753 1015757       0       0
 474981 1074454 1074457       0       0
 499980 1130779 1130778       0       0

  dim =    80, max = 1130824, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              33
                                                                                
                                                                             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                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                                                                                
                   33                                                           
                                                                                
                  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       436175          0
   1        58488     237762
   2        14979     247919
   3       117287      57358
   4       194822      15369
   5        94910       5029
   6        40891        179
   7        27756         31
   8        11006         13
   9         2976         35
  10          565         40
  11           83         11
  12           16         24
  13            2          1
  14            1          1
  15            1          0
  16            0          1
  17            0          0
  18            0          0
  19            0          0
over           38         48

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   656678   0        0  20 
      0 -79        0 -59        0 -39        0 -19   531963   1        0  21 
      0 -78        0 -58        0 -38        0 -18    59611   2        0  22 
      0 -77        0 -57        0 -37        0 -17   202256   3        0  23 
      0 -76        0 -56        0 -36        0 -16   300850   4        2  24 
      0 -75        0 -55        0 -35        0 -15   141917   5        1  25 
      0 -74        0 -54        0 -34        0 -14    55503   6        3  26 
      0 -73        0 -53        0 -33        0 -13    34737   7        1  27 
      0 -72        0 -52        0 -32        0 -12    12576   8        3  28 
      0 -71        0 -51        0 -31        0 -11     3160   9        9  29 
      0 -70        0 -50        0 -30        0 -10      580  10        5  30 
      0 -69        0 -49        0 -29        0  -9       84  11        1  31 
      0 -68        0 -48        0 -28        0  -8       16  12        5  32 
      0 -67        0 -47        0 -27        0  -7        2  13        0  33 
      0 -66        0 -46        0 -26        0  -6        1  14        1  34 
      0 -65        0 -45        0 -25        0  -5        1  15        2  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        3  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             o                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             oo                                      
480000 |                             oo                                      
440000 |                             oo                                      
400000 |                             oo                                      
360000 |                             oo                                      
320000 |                             oo                                      
280000 |                             oo  o                                   
240000 |                             oo  o                                   
200000 |                             oo oo                                   
160000 |                             oo oo                                   
120000 |                             oo ooo                                  
 80000 |                             oo ooo                                  
 40000 |                             ooooooo                                 
     0 |_________._________._________.ooooooooooooooo____.___ooooooooo_oo__o_
     -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 =    1183.        0 thru  39 = 1999971.
  histend                     K       =  500000.       40 thru Max =      21.

  End  analysis of Test T220  at               17:26:41.906 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:26:42.250 980623
  End execution of Test T400  at               17:26:42.765 980623
  Duration                                            0.515 
Start  analysis of Test T400  at               17:26:42.781 980623

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.218    0.218    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 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     375       0       0       0
  24999   27470   22635       0       0
  49998   52414   47508       0       0
  74997   77708   72326       0       0
  99996  103240   96746       0       0
 124995  128748  121520       0       0
 149994  154731  145320       0       0
 174993  180429  169753       0       0
 199992  206040  194194       0       0
 224991  231363  218682       0       0
 249990  256626  243447       0       0
 274989  281706  268260       0       0
 299988  307376  292928       0       0
 324987  332904  317242       0       0
 349986  358179  342058       0       0
 374985  384714  366480       0       0
 399984  409923  390272       0       0
 424983  434994  414816       0       0
 449982  460148  439835       0       0
 474981  485411  464568       0       0
 499980  499999  489422       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                             111
                                                                            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                  
                                                         1  2                   
                                                        1  2                    
                                                          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                                       
                                     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                                                                   
          12                                                                    
         12                                                                     
        12                                                                      
       12                                                                       
      12                                                                        
     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       738062          0
   1        34431      53604
   2        43191      52954
   3        64818      38258
   4        41364      27046
   5        30328      25960
   6        17031      23561
   7        13292      18209
   8         9044      10916
   9         4038       5029
  10         1899       2721
  11         1081       1574
  12          713        972
  13          384        595
  14          174        314
  15           87        136
  16           31         52
  17            8         11
  18            0          1
  19            1          0
over           18         21

 d = -18. 
Event 4.1. u[  70899] =   73560 <   73561; v[  73561] =   70881 <   70899.
b=2 c=1 u[  70882]:   73558   73558   73560   73560   73560   73560   73560
                      73560   73560   73560   73560   73560   73560   73560
                      73560   73560   73560   73560
 d = -17. 
Event 4.1. u[  64138] =   67008 <   67009; v[  67009] =   64121 <   64138.
b=1 c=1 u[  64122]:   67007   67007   67008   67008   67008   67008   67008
                      67008   67008   67008   67008   67008   67008   67008
                      67008   67008   67008
Event 4.1. u[  70898] =   73560 <   73561; v[  73561] =   70881 <   70898.
b=2 c=1 u[  70882]:   73558   73558   73560   73560   73560   73560   73560
                      73560   73560   73560   73560   73560   73560   73560
                      73560   73560   73560
Event 4.1. u[  91628] =   94952 <   94953; v[  94953] =   91611 <   91628.
b=2 c=1 u[  91612]:   94950   94950   94952   94952   94952   94952   94952
                      94952   94952   94952   94952   94952   94952   94952
                      94952   94952   94952
Event 4.1. u[ 213595] =  220088 <  220089; v[ 220089] =  213578 <  213595.
b=1 c=1 u[ 213579]:  220087  220087  220088  220088  220088  220088  220088
                     220088  220088  220088  220088  220088  220088  220088
                     220088  220088  220088
Event 4.1. u[ 239314] =  245968 <  245969; v[ 245969] =  239297 <  239314.
b=2 c=1 u[ 239298]:  245966  245966  245968  245968  245968  245968  245968
                     245968  245968  245968  245968  245968  245968  245968
                     245968  245968  245968
Event 4.1. u[ 341234] =  349120 <  349121; v[ 349121] =  341217 <  341234.
b=1 c=1 u[ 341218]:  349119  349119  349120  349120  349120  349120  349120
                     349120  349120  349120  349120  349120  349120  349120
                     349120  349120  349120
 d = -16. 
Event 4.2. v[   8346] =    6352 <    6353; u[   6353] =    8330 <    8346.
b=2 c=1 v[   8331]:    6350    6350    6352    6352    6352    6352    6352
                       6352    6352    6352    6352    6352    6352    6352
                       6352    6352
Event 4.2. v[  21747] =   19344 <   19345; u[  19345] =   21731 <   21747.
b=0 c=0 v[  21732]:   19344   19344   19344   19344   19344   19344   19344
                      19344   19344   19344   19344   19344   19344   19344
                      19344   19344
Event 4.2. v[  29299] =   26784 <   26785; u[  26785] =   29283 <   29299.
b=2 c=1 v[  29284]:   26782   26782   26784   26784   26784   26784   26784
                      26784   26784   26784   26784   26784   26784   26784
                      26784   26784
Event 4.2. v[  45603] =   43168 <   43169; u[  43169] =   45587 <   45603.
b=1 c=1 v[  45588]:   43167   43167   43168   43168   43168   43168   43168
                      43168   43168   43168   43168   43168   43168   43168
                      43168   43168
Event 4.1. u[  46792] =   49288 <   49289; v[  49289] =   46776 <   46792.
b=9 c=2 u[  46777]:   49279   49279   49287   49287   49288   49288   49288
                      49288   49288   49288   49288   49288   49288   49288
                      49288   49288
Event 4.2. v[  58536] =   55840 <   55841; u[  55841] =   58520 <   58536.
b=11 c=2 v[  58521]:   55829   55829   55839   55839   55840   55840   55840
                      55840   55840   55840   55840   55840   55840   55840
                      55840   55840
Event 4.1. u[  64137] =   67008 <   67009; v[  67009] =   64121 <   64137.
b=1 c=1 u[  64122]:   67007   67007   67008   67008   67008   67008   67008
                      67008   67008   67008   67008   67008   67008   67008
                      67008   67008
Event 4.1. u[ 471913] =  482352 <  482353; v[ 482353] =  471897 <  471913.
b=2 c=1 u[ 471898]:  482350  482350  482352  482352  482352  482352  482352
                     482352  482352  482352  482352  482352  482352  482352
                     482352  482352
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     81869     81869         0         0     -1
 -2     66360     67094         0         0     -2
 -3     44976     45770         0         0     -3
 -4     29242     30115         0         0     -4
 -5     17708     18586         0         0     -5
 -6     12215     12914         0         0     -6
 -7      7679      8308         0         0     -7
 -8      4496      5031         0         0     -8
 -9      2812      3243         0         0     -9
-10      1875      2141         0         0    -10
-11      1075      1282         0         0    -11
-12       514       702         0         0    -12
-13       247       329         0         0    -13
-14       117       144         0         0    -14
-15        48        47         0         0    -15
-16        13        15         0         0    -16
-17         6         0         0         0    -17
-18         1         0         0         0    -18
-19         0         0         0         0    -19

Totals / Min / Under -25:  
       271253    277590         0         0
           18        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   921240   0       20  20 
      0 -79        0 -59        0 -39        0 -19   106468   1       19  21 
      0 -78        0 -58        0 -38        1 -18   102451   2       19  22 
      0 -77        0 -57        0 -37        6 -17   110268   3       19  23 
      0 -76        0 -56        0 -36       28 -16    71943   4       19  24 
      0 -75        0 -55        0 -35       95 -15    48348   5       19  25 
      0 -74        0 -54        0 -34      261 -14    27647   6       18  26 
      0 -73        0 -53        0 -33      576 -13    20032   7       18  27 
      0 -72        0 -52        0 -32     1216 -12    13472   8       18  28 
      0 -71        0 -51        0 -31     2357 -11     6758   9       18  29 
      0 -70        0 -50        0 -30     4016 -10     3390  10       18  30 
      0 -69        0 -49        0 -29     6055  -9     1959  11       19  31 
      0 -68        0 -48        0 -28     9527  -8     1265  12       17  32 
      0 -67        0 -47        0 -27    15987  -7      741  13       17  33 
      0 -66        0 -46        0 -26    25129  -6      355  14       17  34 
      0 -65        0 -45        0 -25    36294  -5      176  15       17  35 
      0 -64        0 -44        0 -24    59357  -4       67  16       17  36 
      0 -63        0 -43        0 -23    90746  -3       30  17       17  37 
      0 -62        0 -42        0 -22   133454  -2       21  18       17  38 
      0 -61        0 -41        0 -21   163738  -1       21  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 |                            oo                                       
100000 |                           oooooo                                    
 50000 |                         ooooooooo                                   
     0 |_________._oooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   = 1989442.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -18.      -80 thru  -1 =  548843.
  Behav =     Relaxed.        Maximum =    1331.        0 thru  39 = 1437012.
  histend                     K       =  500000.       40 thru Max =    3587.

  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    18038   0       36  20 
      0 -79        0 -59        0 -39        0 -19    72037   1       27  21 
      0 -78        0 -58        0 -38        0 -18    96008   2       22  22 
      0 -77        0 -57        0 -37        0 -17   121018   3       19  23 
      0 -76        0 -56        0 -36        0 -16   136089   4       19  24 
      0 -75        0 -55        0 -35        0 -15   139255   5       19  25 
      0 -74        0 -54        0 -34        0 -14   119287   6       19  26 
      0 -73        0 -53        0 -33        0 -13    94884   7       18  27 
      0 -72        0 -52        0 -32        0 -12    68540   8       18  28 
      0 -71        0 -51        0 -31        0 -11    45450   9       18  29 
      0 -70        0 -50        0 -30        0 -10    29617  10       18  30 
      0 -69        0 -49        0 -29        0  -9    18836  11       18  31 
      0 -68        0 -48        0 -28        0  -8    11688  12       18  32 
      0 -67        0 -47        0 -27        0  -7     6894  13       18  33 
      0 -66        0 -46        0 -26        0  -6     3963  14       18  34 
      0 -65        0 -45        0 -25        0  -5     2086  15       17  35 
      0 -64        0 -44        0 -24        0  -4      959  16       17  36 
      0 -63        0 -43        0 -23        0  -3      449  17       17  37 
      0 -62        0 -42        0 -22        0  -2      216  18       17  38 
      0 -61        0 -41        0 -21        0  -1       89  19       17  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |   oo                                  
120000 |                             |  ooo                                  
110000 |                             |  oooo                                 
100000 |                             |  oooo                                 
 90000 |                             | oooooo                                
 80000 |                             | oooooo                                
 70000 |                             |ooooooo                                
 60000 |                             |oooooooo                               
 50000 |                             |oooooooo                               
 40000 |                             |ooooooooo                              
 30000 |                             |ooooooooo                              
 20000 |                             |oooooooooo                             
 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   =  999624.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   10557.        0 thru  39 =  985793.
  histend                     K       =  500000.       40 thru Max =   13831.

  End  analysis of Test T400  at               17:26:44.187 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:26:44.515 980623
  End execution of Test T410  at               17:26:45.015 980623
  Duration                                            0.500 
Start  analysis of Test T410  at               17:26:45.218 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.219    0.000    0.000    0.000    0.000    0.000    0.000 
   0.219    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     327       0       0       0
  24999   24965   25024       0       0
  49998   48724   51320       0       0
  74997   72152   78056       0       0
  99996   95608  104729       0       0
 124995  118796  131319       0       0
 149994  142579  157896       0       0
 174993  166062  184440       0       0
 199992  189672  210910       0       0
 224991  213035  237838       0       0
 249990  236456  264399       0       0
 274989  259811  291150       0       0
 299988  283188  318094       0       0
 324987  306488  343576       0       0
 349986  330937  370565       0       0
 374985  354197  397360       0       0
 399984  377446  423732       0       0
 424983  401184  450381       0       0
 449982  424602  477029       0       0
 474981  448000  499999       0       0
 499980  471344  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                          222222
                                                                         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             
                                                          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     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                                            
                              2   1                                             
                                 1                                              
                             2  1                                               
                            2  1                                                
                           2  1                                                 
                          2  1                                                  
                         2  1                                                   
                        2  1                                                    
                       2 11                                                     
                      2 1                                                       
                     2 1                                                        
                    2 1                                                         
                   2 1                                                          
                  2 1                                                           
                 2 1                                                            
                  1                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    31                                                                          
   3                                                                            
  1                                                                             
 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       727779          0
   1        36915      60073
   2        46422      55661
   3        75542      41777
   4        45049      30059
   5        27088      27490
   6        16791      23565
   7        12028      16231
   8         6484       8429
   9         2824       3943
  10         1452       2127
  11          821       1235
  12          414        815
  13          231        454
  14           88        224
  15           42         79
  16            7         30
  17            1          4
  18            0          1
  19            0          0
over           17         20

 d = -17. 
Event 4.1. u[  35114] =   34520 <   34521; v[  34521] =   35097 <   35114.
b=1 c=1 u[  35098]:   34519   34519   34519   34520   34520   34520   34520
                      34520   34520   34520   34520   34520   34520   34520
                      34520   34520   34520
Event 4.1. u[ 226609] =  214560 <  214561; v[ 214561] =  226592 <  226609.
b=5 c=2 u[ 226593]:  214555  214559  214560  214560  214560  214560  214560
                     214560  214560  214560  214560  214560  214560  214560
                     214560  214560  214560
 d = -16. 
Event 4.1. u[  35113] =   34520 <   34521; v[  34521] =   35097 <   35113.
b=1 c=1 u[  35098]:   34519   34519   34519   34520   34520   34520   34520
                      34520   34520   34520   34520   34520   34520   34520
                      34520   34520
Event 4.2. v[ 206113] =  217576 <  217577; u[ 217577] =  206097 <  206113.
b=2 c=1 v[ 206098]:  217574  217574  217576  217576  217576  217576  217576
                     217576  217576  217576  217576  217576  217576  217576
                     217576  217576
Event 4.1. u[ 226608] =  214560 <  214561; v[ 214561] =  226592 <  226608.
b=5 c=2 u[ 226593]:  214555  214559  214560  214560  214560  214560  214560
                     214560  214560  214560  214560  214560  214560  214560
                     214560  214560
Event 4.1. u[ 279794] =  264400 <  264401; v[ 264401] =  279778 <  279794.
b=1 c=1 u[ 279779]:  264399  264399  264399  264400  264400  264400  264400
                     264400  264400  264400  264400  264400  264400  264400
                     264400  264400
Event 4.1. u[ 416529] =  393176 <  393177; v[ 393177] =  416513 <  416529.
b=1 c=1 u[ 416514]:  393175  393175  393176  393176  393176  393176  393176
                     393176  393176  393176  393176  393176  393176  393176
                     393176  393176
 d = -15. 
Event 4.1. u[  35112] =   34520 <   34521; v[  34521] =   35097 <   35112.
b=1 c=1 u[  35098]:   34519   34519   34519   34520   34520   34520   34520
                      34520   34520   34520   34520   34520   34520   34520
                      34520
Event 4.1. u[  64863] =   62704 <   62705; v[  62705] =   64848 <   64863.
b=1 c=1 u[  64849]:   62703   62703   62703   62704   62704   62704   62704
                      62704   62704   62704   62704   62704   62704   62704
                      62704
Event 4.2. v[ 148520] =  156304 <  156305; u[ 156305] =  148505 <  148520.
b=1 c=1 v[ 148506]:  156303  156303  156304  156304  156304  156304  156304
                     156304  156304  156304  156304  156304  156304  156304
                     156304
Event 4.1. u[ 180344] =  171208 <  171209; v[ 171209] =  180329 <  180344.
b=0 c=0 u[ 180330]:  171208  171208  171208  171208  171208  171208  171208
                     171208  171208  171208  171208  171208  171208  171208
                     171208
Event 4.2. v[ 206112] =  217576 <  217577; u[ 217577] =  206097 <  206112.
b=2 c=1 v[ 206098]:  217574  217574  217576  217576  217576  217576  217576
                     217576  217576  217576  217576  217576  217576  217576
                     217576
Event 4.1. u[ 208095] =  197384 <  197385; v[ 197385] =  208080 <  208095.
b=2 c=1 u[ 208081]:  197382  197382  197382  197382  197384  197384  197384
                     197384  197384  197384  197384  197384  197384  197384
                     197384
Event 4.2. v[ 219161] =  231624 <  231625; u[ 231625] =  219146 <  219161.
b=1 c=1 v[ 219147]:  231623  231623  231624  231624  231624  231624  231624
                     231624  231624  231624  231624  231624  231624  231624
                     231624
Event 4.1. u[ 438455] =  413728 <  413729; v[ 413729] =  438440 <  438455.
b=1 c=1 u[ 438441]:  413727  413727  413727  413727  413728  413728  413728
                     413728  413728  413728  413728  413728  413728  413728
                     413728
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     83418     83418         0         0     -1
 -2     68356     68196         0         0     -2
 -3     45396     40343         0         0     -3
 -4     27922     22427         0         0     -4
 -5     15308     16253         0         0     -5
 -6     10396      9987         0         0     -6
 -7      6431      5444         0         0     -7
 -8      3562      3226         0         0     -8
 -9      2172      1924         0         0     -9
-10      1336      1057         0         0    -10
-11       682       517         0         0    -11
-12       303       221         0         0    -12
-13       128        80         0         0    -13
-14        45        19         0         0    -14
-15        13         4         0         0    -15
-16         4         1         0         0    -16
-17         2         0         0         0    -17
-18         0         0         0         0    -18

Totals / Min / Under -25:  
       265474    253117         0         0
           17        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   915779   0       19  20 
      0 -79        0 -59        0 -39        0 -19   113657   1       18  21 
      0 -78        0 -58        0 -38        0 -18   110988   2       18  22 
      0 -77        0 -57        0 -37        2 -17   125280   3       18  23 
      0 -76        0 -56        0 -36        5 -16    74317   4       18  24 
      0 -75        0 -55        0 -35       17 -15    43558   5       18  25 
      0 -74        0 -54        0 -34       64 -14    26702   6       18  26 
      0 -73        0 -53        0 -33      208 -13    18428   7       19  27 
      0 -72        0 -52        0 -32      524 -12    10354   8       18  28 
      0 -71        0 -51        0 -31     1199 -11     4890   9       17  29 
      0 -70        0 -50        0 -30     2393 -10     2534  10       17  30 
      0 -69        0 -49        0 -29     4096  -9     1439  11       17  31 
      0 -68        0 -48        0 -28     6788  -8      798  12       17  32 
      0 -67        0 -47        0 -27    11875  -7      445  13       17  33 
      0 -66        0 -46        0 -26    20383  -6      199  14       17  34 
      0 -65        0 -45        0 -25    31561  -5       94  15       17  35 
      0 -64        0 -44        0 -24    50349  -4       34  16       17  36 
      0 -63        0 -43        0 -23    85739  -3       21  17       17  37 
      0 -62        0 -42        0 -22   136552  -2       20  18       17  38 
      0 -61        0 -41        0 -21   166836  -1       19  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 |                            oo                                       
100000 |                           oooooo                                    
 50000 |                         ooooooooo                                   
     0 |_________.__ooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   = 1971369.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -17.      -80 thru  -1 =  518591.
  Behav =     Relaxed.        Maximum =    1105.        0 thru  39 = 1449907.
  histend                     K       =  500000.       40 thru Max =    2871.

  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    15664   0       24  20 
      0 -79        0 -59        0 -39        0 -19    76742   1       20  21 
      0 -78        0 -58        0 -38        0 -18    99875   2       20  22 
      0 -77        0 -57        0 -37        0 -17   131494   3       18  23 
      0 -76        0 -56        0 -36        0 -16   146328   4       18  24 
      0 -75        0 -55        0 -35        0 -15   140182   5       18  25 
      0 -74        0 -54        0 -34        0 -14   115271   6       18  26 
      0 -73        0 -53        0 -33        0 -13    88332   7       18  27 
      0 -72        0 -52        0 -32        0 -12    60286   8       18  28 
      0 -71        0 -51        0 -31        0 -11    37995   9       18  29 
      0 -70        0 -50        0 -30        0 -10    23509  10       18  30 
      0 -69        0 -49        0 -29        0  -9    14328  11       18  31 
      0 -68        0 -48        0 -28        0  -8     8344  12       17  32 
      0 -67        0 -47        0 -27        0  -7     4765  13       17  33 
      0 -66        0 -46        0 -26        0  -6     2635  14       17  34 
      0 -65        0 -45        0 -25        0  -5     1348  15       17  35 
      0 -64        0 -44        0 -24        0  -4      593  16       17  36 
      0 -63        0 -43        0 -23        0  -3      246  17       17  37 
      0 -62        0 -42        0 -22        0  -2      111  18       17  38 
      0 -61        0 -41        0 -21        0  -1       42  19       17  39

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

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

  End  analysis of Test T410  at               17:26:46.656 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:26:46.984 980623
  End execution of Test T420  at               17:26:47.484 980623
  Duration                                            0.500 
Start  analysis of Test T420  at               17:26:47.937 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.219    0.000    0.000    0.000    0.000    0.000    0.000 
   0.219    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       0     128       0       0
  24999   26209   23805       0       0
  49998   51255   48720       0       0
  74997   76535   73448       0       0
  99996  101992   97981       0       0
 124995  127154  122919       0       0
 149994  152461  147463       0       0
 174993  178353  171728       0       0
 199992  203474  196520       0       0
 224991  228453  221420       0       0
 249990  253226  246700       0       0
 274989  278299  271790       0       0
 299988  303803  296319       0       0
 324987  329163  320807       0       0
 349986  353615  346464       0       0
 374985  378730  371360       0       0
 399984  403853  396230       0       0
 424983  428962  421040       0       0
 449982  453952  445970       0       0
 474981  478789  471178       0       0
 499980  499999  495819       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              13
                                                                             12 
                                                                            12  
                                                                           12   
                                                                          12    
                                                                         12     
                                                                        12      
                                                                       12       
                                                                      12        
                                                                     12         
                                                                    12          
                                                                   12           
                                                                  12            
                                                                 12             
                                                                12              
                                                               12               
                                                              12                
                                                             12                 
                                                            12                  
                                                           12                   
                                                          12                    
                                                         12                     
                                                        12                      
                                                       12                       
                                                      12                        
                                                     12                         
                                                    1                           
                                                   1 2                          
                                                  1 2                           
                                                 1 2                            
                                                1 2                             
                                               1 2                              
                                              122                               
                                             12                                 
                                            12                                  
                                           12                                   
                                          12                                    
                                         12                                     
                                        12                                      
                                       1                                        
                                      1 2                                       
                                     1 2                                        
                                    1 2                                         
                                   1 2                                          
                                  1 2                                           
                                   2                                            
                                 12                                             
                                12                                              
                               12                                               
                              12                                                
                             12                                                 
                            12                                                  
                           12                                                   
                          12                                                    
                         12                                                     
                        12                                                      
                       12                                                       
                      12                                                        
                     12                                                         
                    12                                                          
                   12                                                           
                  12                                                            
                 12                                                             
                12                                                              
               12                                                               
              12                                                                
             12                                                                 
            12                                                                  
           12                                                                   
          12                                                                    
         12                                                                     
        12                                                                      
       12                                                                       
      12                                                                        
     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       707457          0
   1        37498      65418
   2        58485      64751
   3        82840      43293
   4        52427      33471
   5        24067      33525
   6        17920      25716
   7        10999      13951
   8         4432       5810
   9         1689       2649
  10          983       1761
  11          641       1092
  12          341        642
  13          132        300
  14           36         95
  15           22         32
  16            2         10
  17            3          0
  18            0          1
  19            0          0
over           22         22

 d = -17. 
Event 4.1. u[  13553] =   14512 <   14513; v[  14513] =   13536 <   13553.
b=1 c=1 u[  13537]:   14511   14511   14512   14512   14512   14512   14512
                      14512   14512   14512   14512   14512   14512   14512
                      14512   14512   14512
 d = -16. 
Event 4.1. u[  13552] =   14512 <   14513; v[  14513] =   13536 <   13552.
b=1 c=1 u[  13537]:   14511   14511   14512   14512   14512   14512   14512
                      14512   14512   14512   14512   14512   14512   14512
                      14512   14512
 d = -15. 
Event 4.2. v[   2567] =    2472 <    2473; u[   2473] =    2552 <    2567.
b=1 c=1 v[   2553]:    2471    2471    2471    2471    2472    2472    2472
                       2472    2472    2472    2472    2472    2472    2472
                       2472
Event 4.1. u[  13551] =   14512 <   14513; v[  14513] =   13536 <   13551.
b=1 c=1 u[  13537]:   14511   14511   14512   14512   14512   14512   14512
                      14512   14512   14512   14512   14512   14512   14512
                      14512
Event 4.1. u[  32427] =   33648 <   33649; v[  33649] =   32412 <   32427.
b=0 c=0 u[  32413]:   33648   33648   33648   33648   33648   33648   33648
                      33648   33648   33648   33648   33648   33648   33648
                      33648
Event 4.1. u[ 143424] =  145832 <  145833; v[ 145833] =  143409 <  143424.
b=1 c=1 u[ 143410]:  145831  145831  145832  145832  145832  145832  145832
                     145832  145832  145832  145832  145832  145832  145832
                     145832
Event 4.1. u[ 174886] =  178256 <  178257; v[ 178257] =  174871 <  174886.
b=0 c=0 u[ 174872]:  178256  178256  178256  178256  178256  178256  178256
                     178256  178256  178256  178256  178256  178256  178256
                     178256
Event 4.1. u[ 439347] =  443376 <  443377; v[ 443377] =  439332 <  439347.
b=1 c=1 u[ 439333]:  443375  443375  443375  443375  443375  443375  443375
                     443375  443376  443376  443376  443376  443376  443376
                     443376
Event 4.1. u[ 462563] =  466400 <  466401; v[ 466401] =  462548 <  462563.
b=0 c=0 u[ 462549]:  466400  466400  466400  466400  466400  466400  466400
                     466400  466400  466400  466400  466400  466400  466400
                     466400
 d = -14. 
Event 4.2. v[   2566] =    2472 <    2473; u[   2473] =    2552 <    2566.
b=1 c=1 v[   2553]:    2471    2471    2471    2471    2472    2472    2472
                       2472    2472    2472    2472    2472    2472    2472
Event 4.1. u[  13550] =   14512 <   14513; v[  14513] =   13536 <   13550.
b=1 c=1 u[  13537]:   14511   14511   14512   14512   14512   14512   14512
                      14512   14512   14512   14512   14512   14512   14512
Event 4.1. u[  32426] =   33648 <   33649; v[  33649] =   32412 <   32426.
b=0 c=0 u[  32413]:   33648   33648   33648   33648   33648   33648   33648
                      33648   33648   33648   33648   33648   33648   33648
Event 4.1. u[  60799] =   62064 <   62065; v[  62065] =   60785 <   60799.
b=1 c=1 u[  60786]:   62063   62063   62064   62064   62064   62064   62064
                      62064   62064   62064   62064   62064   62064   62064
Event 4.2. v[  96394] =   94488 <   94489; u[  94489] =   96380 <   96394.
b=0 c=0 v[  96381]:   94488   94488   94488   94488   94488   94488   94488
                      94488   94488   94488   94488   94488   94488   94488
Event 4.2. v[ 123379] =  121288 <  121289; u[ 121289] =  123365 <  123379.
b=0 c=0 v[ 123366]:  121288  121288  121288  121288  121288  121288  121288
                     121288  121288  121288  121288  121288  121288  121288
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     92902     92902         0         0     -1
 -2     75473     74663         0         0     -2
 -3     42346     41446         0         0     -3
 -4     21003     20587         0         0     -4
 -5     14439     13961         0         0     -5
 -6      8526      7907         0         0     -6
 -7      4367      3970         0         0     -7
 -8      2465      2216         0         0     -8
 -9      1490      1362         0         0     -9
-10       773       653         0         0    -10
-11       307       236         0         0    -11
-12       117        86         0         0    -12
-13        45        26         0         0    -13
-14        11         9         0         0    -14
-15         6         1         0         0    -15
-16         1         0         0         0    -16
-17         1         0         0         0    -17
-18         0         0         0         0    -18

Totals / Min / Under -25:  
       264272    260025         0         0
           17        15         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   909945   0       22  20 
      0 -79        0 -59        0 -39        0 -19   119642   1       22  21 
      0 -78        0 -58        0 -38        0 -18   126785   2       22  22 
      0 -77        0 -57        0 -37        1 -17   130519   3       22  23 
      0 -76        0 -56        0 -36        1 -16    82289   4       22  24 
      0 -75        0 -55        0 -35        7 -15    41019   5       22  25 
      0 -74        0 -54        0 -34       20 -14    27162   6       21  26 
      0 -73        0 -53        0 -33       71 -13    16135   7       21  27 
      0 -72        0 -52        0 -32      203 -12     7198   8       21  28 
      0 -71        0 -51        0 -31      543 -11     3172   9       21  29 
      0 -70        0 -50        0 -30     1426 -10     1799  10       21  30 
      0 -69        0 -49        0 -29     2852  -9     1145  11       21  31 
      0 -68        0 -48        0 -28     4681  -8      619  12       19  32 
      0 -67        0 -47        0 -27     8337  -7      257  13       19  33 
      0 -66        0 -46        0 -26    16433  -6       88  14       19  34 
      0 -65        0 -45        0 -25    28400  -5       56  15       18  35 
      0 -64        0 -44        0 -24    41590  -4       26  16       18  36 
      0 -63        0 -43        0 -23    83792  -3       25  17       18  37 
      0 -62        0 -42        0 -22   150136  -2       22  18       19  38 
      0 -61        0 -41        0 -21   185804  -1       22  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 |                           ooo                                       
100000 |                           oooooo                                    
 50000 |                          oooooooo                                   
     0 |_________.__ooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   = 1995825.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -17.      -80 thru  -1 =  524297.
  Behav =     Relaxed.        Maximum =     956.        0 thru  39 = 1468330.
  histend                     K       =  500000.       40 thru Max =    3198.

  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    13411   0       22  20 
      0 -79        0 -59        0 -39        0