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

                                               14:34:05.687 980528

  Parameters initialized from file:  weiden.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks to Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.

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) [200000]:   200000

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): 
 
[                                                                                
                                                                                 
                                                                                 
                                                              ]                  

Parameters for this run:
Type of run:           1. Perform a real multiprocessor test.
Output file name:      a2222200.out.
Number of threads:     2.
Length of the arrays:  200000.
Test(s) to run:        all.

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               14:34:20.203 980528
  End execution of Test T100  at               14:34:20.703 980528
  Duration                                            0.500 
Start  analysis of Test T100  at               14:34:20.703 980528

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.109    0.062    0.000    0.000    0.000    0.000    0.000    0.000 
   0.109    0.062    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0      64       0       0       0
   9999   20726       0       0       0
  19998   40734       0       0       0
  29997   60742       0       0       0
  39996   71107       0       0       0
  49995   77803       0       0       0
  59994   84503       0       0       0
  69993   91207       0       0       0
  79992   97916       0       0       0
  89991  104621       0       0       0
  99990  111488       0       0       0
 109989  118187       0       0       0
 119988  124886       0       0       0
 129987  131582       0       0       0
 139986  138291       0       0       0
 149985  145000       0       0       0
 159984  151709       0       0       0
 169983  158577       0       0       0
 179982  165276       0       0       0
 189981  171975       0       0       0
 199980  178678       0       0       0

  dim =    80, max = 178692, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              11
                                                                             1  
                                                                            1   
                                                                          11    
                                                                         1      
                                                                        1       
                                                                      11        
                                                                     1          
                                                                    1           
                                                                  11            
                                                                 1              
                                                                1               
                                                               1                
                                                             11                 
                                                            1                   
                                                           1                    
                                                         11                     
                                                        1                       
                                                       1                        
                                                     11                         
                                                    1                           
                                                   1                            
                                                 11                             
                                                1                               
                                               1                                
                                             11                                 
                                            1                                   
                                           1                                    
                                         11                                     
                                        1                                       
                                       1                                        
                                      1                                         
                                    11                                          
                                   1                                            
                                  1                                             
                                11                                              
                               1                                                
                              1                                                 
                            11                                                  
                           1                                                    
                          1                                                     
                        11                                                      
                       1                                                        
                      1                                                         
                    11                                                          
                   1                                                            
                  1                                                             
                 1                                                              
               11                                                               
              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        55787          0
   1       111912      89034
   2        32255      55171
   3           34          0
   4            1          0
   5            1          0
   6            0          0
   7            1          0
   8            1          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            6          6
  End  analysis of Test T100  at               14:34:20.906 980528
==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               14:34:21.328 980528
  End execution of Test T120  at               14:34:21.843 980528
  Duration                                            0.515 
Start  analysis of Test T120  at               14:34:22.093 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.062    0.000    0.000    0.000    0.000    0.000    0.000 
   0.110    0.047    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    6701       0       0       0
  19998   13408       0       0       0
  29997   20118       0       0       0
  39996   26827       0       0       0
  49995   34998       0       0       0
  59994   41708       0       0       0
  69993   48415       0       0       0
  79992   55124       0       0       0
  89991   61831       0       0       0
  99990   68541       0       0       0
 109989   75248       0       0       0
 119988   81957       0       0       0
 129987   88837       0       0       0
 139986   95548       0       0       0
 149985  102255       0       0       0
 159984  108965       0       0       0
 169983  115674       0       0       0
 179982  122382       0       0       0
 189981  129089       0       0       0
 199980  136444       0       0       0

  dim =    80, max = 136458, 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        66241          0
   1       133557      67853
   2          190      65900
   3            4          0
   4            0          0
   5            1          0
   6            2          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          1
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            3          3
  End  analysis of Test T120  at               14:34:22.296 980528
==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               14:34:22.734 980528
 line3
  End execution of Test T200  at               14:34:23.234 980528
  Duration                                            0.500 
Start  analysis of Test T200  at               14:34:23.234 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0      49      54       0       0
   9999   30399   30400       0       0
  19998   60402   60403       0       0
  29997   82083   82084       0       0
  39996  102269  102270       0       0
  49995  122276  122277       0       0
  59994  142071  142072       0       0
  69993  162097  162098       0       0
  79992  182866  182867       0       0
  89991  202882  202883       0       0
  99990  223894  223895       0       0
 109989  244325  244326       0       0
 119988  264343  264344       0       0
 129987  284754  284755       0       0
 139986  305206  305207       0       0
 149985  325224  325225       0       0
 159984  345236  345237       0       0
 169983  366254  366255       0       0
 179982  386261  386262       0       0
 189981  407262  407263       0       0
 199980  428310  428311       0       0

  dim =    80, max = 428350, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              33
                                                                                
                                                                             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                               
                                              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                                                         
                    33                                                          
                   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         1641          0
   1         1945     398323
   2       354567          0
   3        41641          0
   4          139          0
   5           23          1
   6            3          1
   7            2          0
   8            0          0
   9            3          0
  10            2          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          1
  19            0          1
over           30         28

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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             | o                                     
520000 |                             | o                                     
480000 |                             | o                                     
440000 |                             | o                                     
400000 |                             | o                                     
360000 |                             | o                                     
320000 |                             | o                                     
280000 |                             | o                                     
240000 |                             | o                                     
200000 |                             | o                                     
160000 |                             |oo                                     
120000 |                             |oo                                     
 80000 |                             |oo                                     
 40000 |                             |ooo                                    
     0 |_________._________._________ooooooooooo_________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         200.        Total   =  799992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1145.        0 thru  39 =  799947.
  histend                     K       =  200000.       40 thru Max =      45.

  End  analysis of Test T200  at               14:34:23.859 980528
==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               14:34:24.281 980528
  End execution of Test T210  at               14:34:24.796 980528
  Duration                                            0.515 
Start  analysis of Test T210  at               14:34:24.890 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.297    0.234    0.000    0.000    0.000    0.000    0.000    0.000 
   0.282    0.219    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   19348   19349       0       0
  19998   39356   39357       0       0
  29997   59500   59501       0       0
  39996   79596   79597       0       0
  49995   99603   99604       0       0
  59994  119698  119699       0       0
  69993  139803  139804       0       0
  79992  161339  161340       0       0
  89991  181355  181356       0       0
  99990  200217  200218       0       0
 109989  219131  219132       0       0
 119988  239149  239150       0       0
 129987  259988  259989       0       0
 139986  280165  280166       0       0
 149985  300183  300184       0       0
 159984  320579  320580       0       0
 169983  338803  338804       0       0
 179982  359722  359723       0       0
 189981  379730  379731       0       0
 199980  400748  400749       0       0

  dim =    80, max = 400788, 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         6264          0
   1         5013     392227
   2       388267       1457
   3          203          4
   4          192          0
   5            8          0
   6            4          0
   7            0          0
   8            0          0
   9            0          0
  10            1          0
  11            4          0
  12            1          0
  13            1          0
  14            0          0
  15            0          0
  16            0          0
  17            0          3
  18            0          2
  19            0          0
over           38         39

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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             | o                                     
520000 |                             | o                                     
480000 |                             | o                                     
440000 |                             | o                                     
400000 |                             | o                                     
360000 |                             | o                                     
320000 |                             | o                                     
280000 |                             | o                                     
240000 |                             | o                                     
200000 |                             |oo                                     
160000 |                             |oo                                     
120000 |                             |oo                                     
 80000 |                             |oo                                     
 40000 |                             |oo                                     
     0 |_________._________._________ooooooo__ooooo______._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         210.        Total   =  799992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1551.        0 thru  39 =  799935.
  histend                     K       =  200000.       40 thru Max =      57.

  End  analysis of Test T210  at               14:34:25.515 980528
==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               14:34:25.953 980528
  End execution of Test T220  at               14:34:26.468 980528
  Duration                                            0.515 
Start  analysis of Test T220  at               14:34:26.734 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.297    0.234    0.000    0.000    0.000    0.000    0.000    0.000 
   0.282    0.219    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   19465   19466       0       0
  19998   39705   39706       0       0
  29997   60491   60492       0       0
  39996   80659   80660       0       0
  49995  100675  100676       0       0
  59994  120762  120763       0       0
  69993  142527  142528       0       0
  79992  162545  162546       0       0
  89991  183463  183464       0       0
  99990  204249  204250       0       0
 109989  224267  224268       0       0
 119988  245136  245137       0       0
 129987  265567  265568       0       0
 139986  285585  285586       0       0
 149985  305668  305669       0       0
 159984  326007  326008       0       0
 169983  346193  346194       0       0
 179982  366209  366210       0       0
 189981  386612  386613       0       0
 199980  407363  407364       0       0

  dim =    80, max = 407403, 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                                                    
                         33                                                     
                        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         2775          0
   1         1271     397134
   2       395502         50
   3           12          0
   4          380          0
   5           12          0
   6            6          0
   7            0          0
   8            1          0
   9            3          0
  10            1          0
  11            0          0
  12            1          0
  13            0          0
  14            0          0
  15            0          0
  16            0          1
  17            0          0
  18            0          0
  19            0          0
over           32         36

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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             | o                                     
520000 |                             | o                                     
480000 |                             | o                                     
440000 |                             | o                                     
400000 |                             | o                                     
360000 |                             | o                                     
320000 |                             | o                                     
280000 |                             | o                                     
240000 |                             | o                                     
200000 |                             |oo                                     
160000 |                             |oo                                     
120000 |                             |oo                                     
 80000 |                             |oo                                     
 40000 |                             |oo                                     
     0 |_________._________._________ooooooooooo_o_______._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         220.        Total   =  799992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    2179.        0 thru  39 =  799944.
  histend                     K       =  200000.       40 thru Max =      48.

  End  analysis of Test T220  at               14:34:27.359 980528
==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               14:34:27.812 980528
  End execution of Test T400  at               14:34:28.312 980528
  Duration                                            0.500 
Start  analysis of Test T400  at               14:34:28.328 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       7       0       0
   9999    7111   14340       0       0
  19998   13761   29370       0       0
  29997   20416   46171       0       0
  39996   27068   61201       0       0
  49995   32542   76224       0       0
  59994   39194   92149       0       0
  69993   45849  107166       0       0
  79992   51906  120941       0       0
  89991   58556  130940       0       0
  99990   65213  141419       0       0
 109989   71870  151419       0       0
 119988   79038  161418       0       0
 129987   89037  172592       0       0
 139986   98555  182591       0       0
 149985  108554  193785       0       0
 159984  118554  199999       0       0
 169983  127377  199999       0       0
 179982  137375  199999       0       0
 189981  146180  199999       0       0
 199980  156179  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                             2222222222222222222
                                                            2                   
                                                           2                    
                                                          2                     
                                                         2                      
                                                                                
                                                        2                       
                                                       2                        
                                                      2                         
                                                     2                          
                                                    2                           
                                                   2                            
                                                  2                             
                                                 2                              
                                                2                               
                                               2                                
                                              2                                 
                                             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                 
                                                             1                  
                             2                              1                   
                            2                              1                    
                                                          1                     
                           2                             1                      
                          2                             1                       
                                                       1                        
                         2                            1                         
                        2                            1                          
                                                    1                           
                       2                           1                            
                      2                           1                             
                                                 1                              
                     2                          1                               
                                               1                                
                    2                         1                                 
                   2                        11                                  
                                           1                                    
                  2                      11                                     
                 2                      1                                       
                                      11                                        
                2                    1                                          
               2                   11                                           
                                  1                                             
              2                 11                                              
             2                 1                                                
                             11                                                 
            2               1                                                   
                          11                                                    
           2             1                                                      
                       11                                                       
          2           1                                                         
         2          11                                                          
                   1                                                            
        2        11                                                             
       2       11                                                               
              1                                                                 
      2     11                                                                  
     2     1                                                                    
         11                                                                     
    2   1                                                                       
   2  11                                                                        
     1                                                                          
  311                                                                           
 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        93004          0
   1       267928     267963
   2        38996      38933
   3           45         78
   4            0          0
   5            1          0
   6            1          0
   7            0          1
   8            1          0
   9            1          0
  10            2          0
  11            1          1
  12            0          1
  13            1          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          1
  19            0          0
over           14         14

  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   361209   0       15  20 
      0 -79        0 -59        0 -39        0 -19   341411   1       14  21 
      0 -78        0 -58        0 -38        0 -18    43401   2       14  22 
      0 -77        0 -57        0 -37        0 -17       73   3       14  23 
      0 -76        0 -56        0 -36        0 -16       18   4       14  24 
      0 -75        0 -55        0 -35        0 -15       19   5       14  25 
      0 -74        0 -54        0 -34        0 -14       19   6       14  26 
      0 -73        0 -53        0 -33        0 -13       17   7       14  27 
      0 -72        0 -52        0 -32        0 -12       18   8       14  28 
      0 -71        0 -51        0 -31        0 -11       18   9       14  29 
      0 -70        0 -50        0 -30        0 -10       19  10       14  30 
      0 -69        0 -49        0 -29        0  -9       17  11       14  31 
      0 -68        0 -48        0 -28        0  -8       16  12       14  32 
      0 -67        0 -47        0 -27        0  -7       16  13       14  33 
      0 -66        0 -46        0 -26        0  -6       15  14       14  34 
      0 -65        0 -45        0 -25        0  -5       15  15       14  35 
      0 -64        0 -44        0 -24        0  -4       15  16       14  36 
      0 -63        0 -43        0 -23        0  -3       15  17       14  37 
      0 -62        0 -42        0 -22        0  -2       15  18       14  38 
      0 -61        0 -41        0 -21        0  -1       15  19       14  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             o                                       
340000 |                             oo                                      
320000 |                             oo                                      
300000 |                             oo                                      
280000 |                             oo                                      
260000 |                             oo                                      
240000 |                             oo                                      
220000 |                             oo                                      
200000 |                             oo                                      
180000 |                             oo                                      
160000 |                             oo                                      
140000 |                             oo                                      
120000 |                             oo                                      
100000 |                             oo                                      
 80000 |                             oo                                      
 60000 |                             oo                                      
 40000 |                             ooo                                     
 20000 |                             ooo                                     
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  756193.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    2291.        0 thru  39 =  746642.
  histend                     K       =  200000.       40 thru Max =    9551.

  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        8   0       15  20 
      0 -79        0 -59        0 -39        0 -19    73484   1       15  21 
      0 -78        0 -58        0 -38        0 -18   237408   2       15  22 
      0 -77        0 -57        0 -37        0 -17    35098   3       15  23 
      0 -76        0 -56        0 -36        0 -16      119   4       15  24 
      0 -75        0 -55        0 -35        0 -15       17   5       15  25 
      0 -74        0 -54        0 -34        0 -14       16   6       15  26 
      0 -73        0 -53        0 -33        0 -13       17   7       15  27 
      0 -72        0 -52        0 -32        0 -12       17   8       15  28 
      0 -71        0 -51        0 -31        0 -11       16   9       15  29 
      0 -70        0 -50        0 -30        0 -10       17  10       15  30 
      0 -69        0 -49        0 -29        0  -9       18  11       15  31 
      0 -68        0 -48        0 -28        0  -8       16  12       15  32 
      0 -67        0 -47        0 -27        0  -7       17  13       15  33 
      0 -66        0 -46        0 -26        0  -6       17  14       15  34 
      0 -65        0 -45        0 -25        0  -5       16  15       15  35 
      0 -64        0 -44        0 -24        0  -4       16  16       15  36 
      0 -63        0 -43        0 -23        0  -3       16  17       15  37 
      0 -62        0 -42        0 -22        0  -2       16  18       15  38 
      0 -61        0 -41        0 -21        0  -1       16  19       15  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |                                       
260000 |                             |                                       
240000 |                             |                                       
220000 |                             | o                                     
200000 |                             | o                                     
180000 |                             | o                                     
160000 |                             | o                                     
140000 |                             | o                                     
120000 |                             | o                                     
100000 |                             | o                                     
 80000 |                             | o                                     
 60000 |                             |oo                                     
 40000 |                             |oo                                     
 20000 |                             |ooo                                    
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         400.        Total   =  399988.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   43802.        0 thru  39 =  346665.
  histend                     K       =  200000.       40 thru Max =   53323.

  End  analysis of Test T400  at               14:34:29.281 980528
==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               14:34:29.718 980528
  End execution of Test T410  at               14:34:30.234 980528
  Duration                                            0.516 
Start  analysis of Test T410  at               14:34:30.328 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      92       0       0
   9999    9790   10207       0       0
  19998   19709   20287       0       0
  29997   31061   28936       0       0
  39996   41100   38896       0       0
  49995   51138   48855       0       0
  59994   62317   58797       0       0
  69993   72296   67685       0       0
  79992   82275   77703       0       0
  89991   92781   87195       0       0
  99990  102760   97213       0       0
 109989  112739  107232       0       0
 119988  122757  117213       0       0
 129987  132737  127231       0       0
 139986  142716  137250       0       0
 149985  152679  147284       0       0
 159984  162659  157303       0       0
 169983  172875  167322       0       0
 179982  182855  177102       0       0
 189981  192834  187121       0       0
 199980  199999  197153       0       0

  dim =    80, max = 200000, 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       
                                                                       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                                         
                                   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                                                                   
          22                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0        21361          0
   1       364325     364301
   2        14265      14312
   3           27          5
   4            1          1
   5            0          0
   6            0          0
   7            1          1
   8            0          0
   9            2          1
  10            0          0
  11            1          0
  12            0          1
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           13         13

  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   386008   0       13  20 
      0 -79        0 -59        0 -39        0 -19   392286   1       13  21 
      0 -78        0 -58        0 -38        0 -18    14640   2       12  22 
      0 -77        0 -57        0 -37        0 -17       45   3       11  23 
      0 -76        0 -56        0 -36        0 -16       17   4       11  24 
      0 -75        0 -55        0 -35        0 -15       16   5       11  25 
      0 -74        0 -54        0 -34        0 -14       16   6       11  26 
      0 -73        0 -53        0 -33        0 -13       16   7       11  27 
      0 -72        0 -52        0 -32        0 -12       15   8       11  28 
      0 -71        0 -51        0 -31        0 -11       17   9       11  29 
      0 -70        0 -50        0 -30        0 -10       14  10       11  30 
      0 -69        0 -49        0 -29        0  -9       15  11       11  31 
      0 -68        0 -48        0 -28        0  -8       13  12       11  32 
      0 -67        0 -47        0 -27        0  -7       13  13       11  33 
      0 -66        0 -46        0 -26        0  -6       13  14       11  34 
      0 -65        0 -45        0 -25        0  -5       13  15       11  35 
      0 -64        0 -44        0 -24        0  -4       13  16       12  36 
      0 -63        0 -43        0 -23        0  -3       13  17       11  37 
      0 -62        0 -42        0 -22        0  -2       13  18       10  38 
      0 -61        0 -41        0 -21        0  -1       13  19       10  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             oo                                      
360000 |                             oo                                      
340000 |                             oo                                      
320000 |                             oo                                      
300000 |                             oo                                      
280000 |                             oo                                      
260000 |                             oo                                      
240000 |                             oo                                      
220000 |                             oo                                      
200000 |                             oo                                      
180000 |                             oo                                      
160000 |                             oo                                      
140000 |                             oo                                      
120000 |                             oo                                      
100000 |                             oo                                      
 80000 |                             oo                                      
 60000 |                             oo                                      
 40000 |                             oo                                      
 20000 |                             oo                                      
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  797167.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1508.        0 thru  39 =  793433.
  histend                     K       =  200000.       40 thru Max =    3734.

  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        3   0       13  20 
      0 -79        0 -59        0 -39        0 -19    27962   1       13  21 
      0 -78        0 -58        0 -38        0 -18   364205   2       12  22 
      0 -77        0 -57        0 -37        0 -17      796   3       12  23 
      0 -76        0 -56        0 -36        0 -16       17   4       11  24 
      0 -75        0 -55        0 -35        0 -15       15   5       11  25 
      0 -74        0 -54        0 -34        0 -14       15   6       11  26 
      0 -73        0 -53        0 -33        0 -13       15   7       11  27 
      0 -72        0 -52        0 -32        0 -12       14   8       11  28 
      0 -71        0 -51        0 -31        0 -11       15   9       11  29 
      0 -70        0 -50        0 -30        0 -10       13  10       11  30 
      0 -69        0 -49        0 -29        0  -9       13  11       11  31 
      0 -68        0 -48        0 -28        0  -8       14  12       11  32 
      0 -67        0 -47        0 -27        0  -7       13  13       11  33 
      0 -66        0 -46        0 -26        0  -6       13  14       11  34 
      0 -65        0 -45        0 -25        0  -5       13  15       11  35 
      0 -64        0 -44        0 -24        0  -4       13  16       12  36 
      0 -63        0 -43        0 -23        0  -3       13  17       12  37 
      0 -62        0 -42        0 -22        0  -2       13  18       12  38 
      0 -61        0 -41        0 -21        0  -1       13  19       10  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             | o                                     
340000 |                             | o                                     
320000 |                             | o                                     
300000 |                             | o                                     
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             | o                                     
220000 |                             | o                                     
200000 |                             | o                                     
180000 |                             | o                                     
160000 |                             | o                                     
140000 |                             | o                                     
120000 |                             | o                                     
100000 |                             | o                                     
 80000 |                             | o                                     
 60000 |                             | o                                     
 40000 |                             | o                                     
 20000 |                             |oo                                     
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         410.        Total   =  399872.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    2828.        0 thru  39 =  393416.
  histend                     K       =  200000.       40 thru Max =    6456.

  End  analysis of Test T410  at               14:34:31.296 980528
==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               14:34:31.734 980528
  End execution of Test T420  at               14:34:32.250 980528
  Duration                                            0.516 
Start  analysis of Test T420  at               14:34:32.515 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    9977   10020       0       0
  19998   19976   20019       0       0
  29997   28581   31418       0       0
  39996   38530   41467       0       0
  49995   48488   51510       0       0
  59994   57585   62416       0       0
  69993   67535   72461       0       0
  79992   77487   82507       0       0
  89991   86616   93364       0       0
  99990   96615  103364       0       0
 109989  106614  113363       0       0
 119988  116595  123381       0       0
 129987  126593  133379       0       0
 139986  136592  143672       0       0
 149985  146298  153671       0       0
 159984  156297  163671       0       0
 169983  166296  174042       0       0
 179982  175923  184040       0       0
 189981  185922  194039       0       0
 199980  195028  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                             222
                                                                            2   
                                                                           2  11
                                                                          2  1  
                                                                         2  1   
                                                                        2  1    
                                                                       2  1     
                                                                      2  1      
                                                                     2  1       
                                                                    2  1        
                                                                   2  1         
                                                                  2  1          
                                                                 2  1           
                                                                2  1            
                                                               2  1             
                                                              2  1              
                                                             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 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                                                       
                       1                                                        
                     21                                                         
                    21                                                          
                   21                                                           
                  21                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         31                                                                     
        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        19657          0
   1       370915     370859
   2         9347       9456
   3           56          3
   4            0          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            1          0
  17            1          2
  18            1          1
  19            2          1
over           15         17

  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   390849   0       18  20 
      0 -79        0 -59        0 -39        0 -19   389470   1       15  21 
      0 -78        0 -58        0 -38        0 -18     9431   2       16  22 
      0 -77        0 -57        0 -37        0 -17       77   3       14  23 
      0 -76        0 -56        0 -36        0 -16       21   4       12  24 
      0 -75        0 -55        0 -35        0 -15       21   5       12  25 
      0 -74        0 -54        0 -34        0 -14       21   6       12  26 
      0 -73        0 -53        0 -33        0 -13       21   7       12  27 
      0 -72        0 -52        0 -32        0 -12       21   8       12  28 
      0 -71        0 -51        0 -31        0 -11       21   9       12  29 
      0 -70        0 -50        0 -30        0 -10       21  10       12  30 
      0 -69        0 -49        0 -29        0  -9       21  11       12  31 
      0 -68        0 -48        0 -28        0  -8       21  12       11  32 
      0 -67        0 -47        0 -27        0  -7       21  13       11  33 
      0 -66        0 -46        0 -26        0  -6       21  14       11  34 
      0 -65        0 -45        0 -25        0  -5       21  15       11  35 
      0 -64        0 -44        0 -24        0  -4       22  16       11  36 
      0 -63        0 -43        0 -23        0  -3       21  17       11  37 
      0 -62        0 -42        0 -22        0  -2       19  18       11  38 
      0 -61        0 -41        0 -21        0  -1       20  19       10  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             oo                                      
360000 |                             oo                                      
340000 |                             oo                                      
320000 |                             oo                                      
300000 |                             oo                                      
280000 |                             oo                                      
260000 |                             oo                                      
240000 |                             oo                                      
220000 |                             oo                                      
200000 |                             oo                                      
180000 |                             oo                                      
160000 |                             oo                                      
140000 |                             oo                                      
120000 |                             oo                                      
100000 |                             oo                                      
 80000 |                             oo                                      
 60000 |                             oo                                      
 40000 |                             oo                                      
 20000 |                             oo                                      
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  795042.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1440.        0 thru  39 =  790407.
  histend                     K       =  200000.       40 thru Max =    4635.

  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        5   0       16  20 
      0 -79        0 -59        0 -39        0 -19    18556   1       14  21 
      0 -78        0 -58        0 -38        0 -18   370371   2       13  22 
      0 -77        0 -57        0 -37        0 -17      879   3       15  23 
      0 -76        0 -56        0 -36        0 -16       18   4       12  24 
      0 -75        0 -55        0 -35        0 -15       15   5       12  25 
      0 -74        0 -54        0 -34        0 -14       15   6       12  26 
      0 -73        0 -53        0 -33        0 -13       15   7       12  27 
      0 -72        0 -52        0 -32        0 -12       15   8       12  28 
      0 -71        0 -51        0 -31        0 -11       15   9       12  29 
      0 -70        0 -50        0 -30        0 -10       15  10       12  30 
      0 -69        0 -49        0 -29        0  -9       15  11       13  31 
      0 -68        0 -48        0 -28        0  -8       15  12       12  32 
      0 -67        0 -47        0 -27        0  -7       15  13       12  33 
      0 -66        0 -46        0 -26        0  -6       15  14       12  34 
      0 -65        0 -45        0 -25        0  -5       15  15       12  35 
      0 -64        0 -44        0 -24        0  -4       15  16       12  36 
      0 -63        0 -43        0 -23        0  -3       16  17       12  37 
      0 -62        0 -42        0 -22        0  -2       17  18       12  38 
      0 -61        0 -41        0 -21        0  -1       15  19       11  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             | o                                     
340000 |                             | o                                     
320000 |                             | o                                     
300000 |                             | o                                     
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             | o                                     
220000 |                             | o                                     
200000 |                             | o                                     
180000 |                             | o                                     
160000 |                             | o                                     
140000 |                             | o                                     
120000 |                             | o                                     
100000 |                             | o                                     
 80000 |                             | o                                     
 60000 |                             | o                                     
 40000 |                             | o                                     
 20000 |                             | o                                     
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         420.        Total   =  399976.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    4953.        0 thru  39 =  390307.
  histend                     K       =  200000.       40 thru Max =    9669.

  End  analysis of Test T420  at               14:34:33.468 980528
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================

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

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

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.  
  Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.  
   To show:  Not A(CMP,UPO,RR,CC1).                            
  Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.  
  Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 

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

Start execution of Test T700  at               14:34:33.921 980528
  End execution of Test T700  at               14:34:34.421 980528
  Duration                                            0.500 
Start  analysis of Test T700  at               14:34:34.421 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      16  199999  199999
   9999    8819   11182       0       0
  19998   18789   21210       0       0
  29997   27769   32231       0       0
  39996   37740   42260       0       0
  49995   47438   52552       0       0
  59994   57437   62550       0       0
  69993   67451   72535       0       0
  79992   77450   83029       0       0
  89991   86954   93028       0       0
  99990   96953  103293       0       0
 109989  106686  113292       0       0
 119988  115852  124124       0       0
 129987  125851  134123       0       0
 139986  135070  144902       0       0
 149985  145069  154901       0       0
 159984  154300  165668       0       0
 169983  164300  176182       0       0
 179982  173783  186181       0       0
 189981  183782  196312       0       0
 199980  193648  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                                           2222
                                                                           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              
                                                                1               
                                                           2   1                
                                                          2   1                 
                                                         2   1                  
                                                        2   1                   
                                                       2   1                    
                                                      2   1                     
                                                     2   1                      
                                                    2   1                       
                                                   2  11                        
                                                  2  1                          
                                                 2                              
                                                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                                           
                                 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                                                                   
           1                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0        65129          0
   1       283216     283215
   2        51617      51620
   3            6          4
   4            6          4
   5            0          2
   6            0          0
   7            0          0
   8            1          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            1          1
  18            0          0
  19            0          1
over           20         20

  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   116866   0       20  20 
      0 -79        0 -59        0 -39        0 -19   566438   1       20  21 
      0 -78        0 -58        0 -38        0 -18   103176   2       20  22 
      0 -77        0 -57        0 -37        0 -17       38   3       21  23 
      0 -76        0 -56        0 -36        0 -16       34   4       19  24 
      0 -75        0 -55        0 -35        0 -15       24   5       19  25 
      0 -74        0 -54        0 -34        0 -14       22   6       19  26 
      0 -73        0 -53        0 -33        0 -13       22   7       19  27 
      0 -72        0 -52        0 -32        0 -12       23   8       19  28 
      0 -71        0 -51        0 -31        0 -11       22   9       20  29 
      0 -70        0 -50        0 -30        0 -10       22  10       17  30 
      0 -69        0 -49        0 -29        0  -9       22  11       17  31 
      0 -68        0 -48        0 -28        0  -8       22  12       17  32 
      0 -67        0 -47        0 -27        0  -7       22  13       17  33 
      0 -66        0 -46        0 -26        0  -6       22  14       17  34 
      0 -65        0 -45        0 -25        0  -5       22  15       18  35 
      0 -64        0 -44        0 -24        0  -4       22  16       15  36 
      0 -63        0 -43        0 -23        0  -3       23  17       15  37 
      0 -62        0 -42        0 -22        0  -2       21  18       15  38 
      0 -61        0 -41        0 -21        0  -1       21  19       15  39

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             |o                                      
520000 |                             |o                                      
480000 |                             |o                                      
440000 |                             |o                                      
400000 |                             |o                                      
360000 |                             |o                                      
320000 |                             |o                                      
280000 |                             |o                                      
240000 |                             |o                                      
200000 |                             |o                                      
160000 |                             |o                                      
120000 |                             |o                                      
 80000 |                             ooo                                     
 40000 |                             ooo                                     
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   =  793661.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1197.        0 thru  39 =  787243.
  histend                     K       =  200000.       40 thru Max =    6418.

  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       13   0       21  20 
      0 -79        0 -59        0 -39        0 -19   283223   1       21  21 
      0 -78        0 -58        0 -38        0 -18   103151   2       21  22 
      0 -77        0 -57        0 -37        0 -17      139   3       21  23 
      0 -76        0 -56        0 -36        0 -16       28   4       21  24 
      0 -75        0 -55        0 -35        0 -15       22   5       20  25 
      0 -74        0 -54        0 -34        0 -14       22   6       20  26 
      0 -73        0 -53        0 -33        0 -13       22   7       20  27 
      0 -72        0 -52        0 -32        0 -12       23   8       20  28 
      0 -71        0 -51        0 -31        0 -11       22   9       19  29 
      0 -70        0 -50        0 -30        0 -10       22  10       19  30 
      0 -69        0 -49        0 -29        0  -9       22  11       18  31 
      0 -68        0 -48        0 -28        0  -8       22  12       18  32 
      0 -67        0 -47        0 -27        0  -7       22  13       18  33 
      0 -66        0 -46        0 -26        0  -6       22  14       18  34 
      0 -65        0 -45        0 -25        0  -5       22  15       18  35 
      0 -64        0 -44        0 -24        0  -4       22  16       17  36 
      0 -63        0 -43        0 -23        0  -3       22  17       16  37 
      0 -62        0 -42        0 -22        0  -2       21  18       16  38 
      0 -61        0 -41        0 -21        0  -1       21  19       16  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |o                                      
260000 |                             |o                                      
240000 |                             |o                                      
220000 |                             |o                                      
200000 |                             |o                                      
180000 |                             |o                                      
160000 |                             |o                                      
140000 |                             |o                                      
120000 |                             |o                                      
100000 |                             |oo                                     
 80000 |                             |oo                                     
 60000 |                             |oo                                     
 40000 |                             |oo                                     
 20000 |                             |oo                                     
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         700.        Total   =  399981.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    6333.        0 thru  39 =  387261.
  histend                     K       =  200000.       40 thru Max =   12720.

  End  analysis of Test T700  at               14:34:35.390 980528
==sss========================================================================

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

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

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.  
  Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.  
   To show:  Not A(CMP,UPO,RR,CC1).                            
  Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.  
  Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 

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

Start execution of Test T710  at               14:34:35.828 980528
  End execution of Test T710  at               14:34:36.328 980528
  Duration                                            0.500 
Start  analysis of Test T710  at               14:34:36.421 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       4  199999       0
   9999    7100   14339       0       0
  19998   13776   29312       0       0
  29997   20458   40436       0       0
  39996   29562   50485       0       0
  49995   39511   60545       0       0
  59994   49444   70594       0       0
  69993   59397   81002       0       0
  79992   68988   91051       0       0
  89991   78937  101003       0       0
  99990   88983  111052       0       0
 109989   98932  121568       0       0
 119988  108419  131617       0       0
 129987  118368  142570       0       0
 139986  127413  152619       0       0
 149985  137362  163574       0       0
 159984  146415  173623       0       0
 169983  156364  184573       0       0
 179982  166138  194621       0       0
 189981  175362  199999       0       0
 199980  185316  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4                                                                        2222222
                                                                        2       
                                                                       2        
                                                                      2         
                                                                     2          
                                                                    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         1                  
                                                  2         1                   
                                                 2         1                    
                                                2         1                     
                                               2         1                      
                                              2         1                       
                                             2        11                        
                                            2        1                          
                                           2                                    
                                          2         1                           
                                                   1                            
                                         2        1                             
                                        2        1                              
                                       2        1                               
                                      2        1                                
                                     2       11                                 
                                    2       1                                   
                                   2       1                                    
                                  2       1                                     
                                 2       1                                      
                                2       1                                       
                               2       1                                        
                              2       1                                         
                             2       1                                          
                            2       1                                           
                           2       1                                            
                          2       1                                             
                         2       1                                              
                        2                                                       
                       2        1                                               
                      2        1                                                
                     2        1                                                 
                    2       11                                                  
                   2       1                                                    
                  2       1                                                     
                 2       1                                                      
                2       1                                                       
               2       1                                                        
              2       1                                                         
             2       1                                                          
            2       1                                                           
           2       1                                                            
          2       1                                                             
         2       1                                                              
                1                                                               
        2      1                                                                
       2      1                                                                 
             1                                                                  
      2     1                                                                   
     2     1                                                                    
         11                                                                     
    2   1                                                                       
   2  11                                                                        
     1                                                                          
  211                                                                           
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0        30948          0
   1       358249     358250
   2        10758      10756
   3           17         20
   4            0          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            2          2
  14            0          0
  15            0          0
  16            0          0
  17            1          1
  18            1          0
  19            0          0
over           16         19

  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    42012   0       23  20 
      0 -79        0 -59        0 -39        0 -19   716498   1       19  21 
      0 -78        0 -58        0 -38        0 -18    21287   2       16  22 
      0 -77        0 -57        0 -37        0 -17       59   3       16  23 
      0 -76        0 -56        0 -36        0 -16       22   4       14  24 
      0 -75        0 -55        0 -35        0 -15       22   5       15  25 
      0 -74        0 -54        0 -34        0 -14       22   6       13  26 
      0 -73        0 -53        0 -33        0 -13       22   7       12  27 
      0 -72        0 -52        0 -32        0 -12       22   8       12  28 
      0 -71        0 -51        0 -31        0 -11       22   9       12  29 
      0 -70        0 -50        0 -30        0 -10       22  10       12  30 
      0 -69        0 -49        0 -29        0  -9       22  11       12  31 
      0 -68        0 -48        0 -28        0  -8       22  12       11  32 
      0 -67        0 -47        0 -27        0  -7       23  13       12  33 
      0 -66        0 -46        0 -26        0  -6       20  14       10  34 
      0 -65        0 -45        0 -25        0  -5       20  15       10  35 
      0 -64        0 -44        0 -24        0  -4       20  16       10  36 
      0 -63        0 -43        0 -23        0  -3       21  17       10  37 
      0 -62        0 -42        0 -22        0  -2       20  18       10  38 
      0 -61        0 -41        0 -21        0  -1       19  19       10  39

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |o                                      
640000 |                             |o                                      
600000 |                             |o                                      
560000 |                             |o                                      
520000 |                             |o                                      
480000 |                             |o                                      
440000 |                             |o                                      
400000 |                             |o                                      
360000 |                             |o                                      
320000 |                             |o                                      
280000 |                             |o                                      
240000 |                             |o                                      
200000 |                             |o                                      
160000 |                             |o                                      
120000 |                             |o                                      
 80000 |                             |o                                      
 40000 |                             oo                                      
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  785329.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =     941.        0 thru  39 =  780456.
  histend                     K       =  200000.       40 thru Max =    4873.

  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       13   0       20  20 
      0 -79        0 -59        0 -39        0 -19   358250   1       19  21 
      0 -78        0 -58        0 -38        0 -18    21388   2       17  22 
      0 -77        0 -57        0 -37        0 -17      207   3       16  23 
      0 -76        0 -56        0 -36        0 -16       18   4       15  24 
      0 -75        0 -55        0 -35        0 -15       18   5       14  25 
      0 -74        0 -54        0 -34        0 -14       18   6       14  26 
      0 -73        0 -53        0 -33        0 -13       18   7       13  27 
      0 -72        0 -52        0 -32        0 -12       18   8       13  28 
      0 -71        0 -51        0 -31        0 -11       18   9       13  29 
      0 -70        0 -50        0 -30        0 -10       18  10       13  30 
      0 -69        0 -49        0 -29        0  -9       18  11       13  31 
      0 -68        0 -48        0 -28        0  -8       18  12       12  32 
      0 -67        0 -47        0 -27        0  -7       18  13       12  33 
      0 -66        0 -46        0 -26        0  -6       16  14       11  34 
      0 -65        0 -45        0 -25        0  -5       16  15       11  35 
      0 -64        0 -44        0 -24        0  -4       16  16       11  36 
      0 -63        0 -43        0 -23        0  -3       17  17       11  37 
      0 -62        0 -42        0 -22        0  -2       16  18       11  38 
      0 -61        0 -41        0 -21        0  -1       18  19       11  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |o                                      
320000 |                             |o                                      
300000 |                             |o                                      
280000 |                             |o                                      
260000 |                             |o                                      
240000 |                             |o                                      
220000 |                             |o                                      
200000 |                             |o                                      
180000 |                             |o                                      
160000 |                             |o                                      
140000 |                             |o                                      
120000 |                             |o                                      
100000 |                             |o                                      
 80000 |                             |o                                      
 60000 |                             |o                                      
 40000 |                             |o                                      
 20000 |                             |oo                                     
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         710.        Total   =  399974.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   14665.        0 thru  39 =  380407.
  histend                     K       =  200000.       40 thru Max =   19567.

  End  analysis of Test T710  at               14:34:37.390 980528
==sss========================================================================

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

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

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.  
  Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.  
   To show:  Not A(CMP,UPO,RR,CC1).                            
  Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.  
  Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 

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

Start execution of Test T720  at               14:34:37.828 980528
  End execution of Test T720  at               14:34:38.328 980528
  Duration                                            0.500 
Start  analysis of Test T720  at               14:34:38.593 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    9026   10973       0       0
  19998   19015   20981       0       0
  29997   28833   31159       0       0
  39996   38851   41138       0       0
  49995   48780   51207       0       0
  59994   58798   61186       0       0
  69993   68236   71746       0       0
  79992   78165   81816       0       0
  89991   88184   91794       0       0
  99990   97920  102056       0       0
 109989  107940  112036       0       0
 119988  117221  122750       0       0
 129987  127237  132734       0       0
 139986  136505  143460       0       0
 149985  146524  153438       0       0
 159984  156341  163619       0       0
 169983  166361  174018       0       0
 179982  175961  183995       0       0
 189981  185979  194383       0       0
 199980  195589  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                             222
                                                                            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                       
                                                       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                                                     
                         1                                                      
                       21                                                       
                      21                                                        
                     21                                                         
                    21                                                          
                   21                                                           
                  21                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0        28710          0
   1       352448     352448
   2        18806      18807
   3            1          2
   4            0          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            2          2
  14            2          0
  15            2          4
  16            1          0
  17            1          1
  18            0          1
  19            1          0
over           21         21

  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    65166   0       22  20 
      0 -79        0 -59        0 -39        0 -19   704867   1       21  21 
      0 -78        0 -58        0 -38        0 -18    20053   2       21  22 
      0 -77        0 -57        0 -37        0 -17       32   3       21  23 
      0 -76        0 -56        0 -36        0 -16       29   4       22  24 
      0 -75        0 -55        0 -35        0 -15       29   5       21  25 
      0 -74        0 -54        0 -34        0 -14       29   6       19  26 
      0 -73        0 -53        0 -33        0 -13       29   7       19  27 
      0 -72        0 -52        0 -32        0 -12       29   8       20  28 
      0 -71        0 -51        0 -31        0 -11       29   9       18  29 
      0 -70        0 -50        0 -30        0 -10       29  10       19  30 
      0 -69        0 -49        0 -29        0  -9       29  11       16  31 
      0 -68        0 -48        0 -28        0  -8       29  12       16  32 
      0 -67        0 -47        0 -27        0  -7       31  13       16  33 
      0 -66        0 -46        0 -26        0  -6       29  14       16  34 
      0 -65        0 -45        0 -25        0  -5       29  15       16  35 
      0 -64        0 -44        0 -24        0  -4       24  16       16  36 
      0 -63        0 -43        0 -23        0  -3       24  17       16  37 
      0 -62        0 -42        0 -22        0  -2       22  18       16  38 
      0 -61        0 -41        0 -21        0  -1       22  19       16  39

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |o                                      
640000 |                             |o                                      
600000 |                             |o                                      
560000 |                             |o                                      
520000 |                             |o                                      
480000 |                             |o                                      
440000 |                             |o                                      
400000 |                             |o                                      
360000 |                             |o                                      
320000 |                             |o                                      
280000 |                             |o                                      
240000 |                             |o                                      
200000 |                             |o                                      
160000 |                             |o                                      
120000 |                             |o                                      
 80000 |                             |o                                      
 40000 |                             oo                                      
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  795603.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1010.        0 thru  39 =  790927.
  histend                     K       =  200000.       40 thru Max =    4676.

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |o                                      
320000 |                             |o                                      
300000 |                             |o                                      
280000 |                             |o                                      
260000 |                             |o                                      
240000 |                             |o                                      
220000 |                             |o                                      
200000 |                             |o                                      
180000 |                             |o                                      
160000 |                             |o                                      
140000 |                             |o                                      
120000 |                             |o                                      
100000 |                             |o                                      
 80000 |                             |o                                      
 60000 |                             |o                                      
 40000 |                             |o                                      
 20000 |                             |oo                                     
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         720.        Total   =  399984.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    4391.        0 thru  39 =  390870.
  histend                     K       =  200000.       40 thru Max =    9114.

  End  analysis of Test T720  at               14:34:39.546 980528
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T800  at               14:34:39.984 980528
  End execution of Test T800  at               14:34:40.500 980528
  Duration                                            0.516 
Start  analysis of Test T800  at               14:34:41.140 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     170       2       3
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  299973
  39996  399960  399961  399962  399963
  49995  499950  499951  499952  499953
  59994  599940  599941  599942  599943
  69993  699930  699931  699932  699933
  79992  799920  799921  799922  799923
  89991  899910  899911  899912  899913
  99990  999900  999901  999902  999903
 109989 1099890 1099891 1099892 1099893
 119988 1199880 1199881 1199882 1199883
 129987 1299870 1299871 1299872 1299873
 139986 1399860 1399861 1399862 1399863
 149985 1499850 1499851 1499852 1499853
 159984 1599840 1599841 1599842 1599843
 169983 1699830 1699831 1699832 1699833
 179982 1799820 1799821 1799822 1799823
 189981 1899810 1899811 1899812 1899813
 199980 1999800 1999801 1999802 1999803

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


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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             o                                       
720000 |                             o                                       
680000 |                             o                                       
640000 |                             o                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             o                                       
440000 |                             o                                       
400000 |                             o                                       
360000 |                             o                                       
320000 |                             o                                       
280000 |                             o                                       
240000 |                             o                                       
200000 |                             o                                       
160000 |                             o                                       
120000 |                             o                                       
 80000 |                             o                                       
 40000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

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


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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             o                                       
720000 |                             o                                       
680000 |                             o                                       
640000 |                             o                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             o                                       
440000 |                             o                                       
400000 |                             o                                       
360000 |                             o                                       
320000 |                             o                                       
280000 |                             o                                       
240000 |                             o                                       
200000 |                             o                                       
160000 |                             o                                       
120000 |                             o                                       
 80000 |                             o                                       
 40000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

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


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

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T800  at               14:35:03.390 980528
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T820  at               14:35:03.843 980528
  End execution of Test T820  at               14:35:04.343 980528
  Duration                                            0.500 
Start  analysis of Test T820  at               14:35:05.843 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       1       2       3
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  299973
  39996  399960  399961  399962  399963
  49995  499950  499951  499952  499953
  59994  599940  599941  599942  599943
  69993  699930  699931  699932  699933
  79992  799920  799921  799922  799923
  89991  899910  899911  899912  899913
  99990  999900  999901  999902  999903
 109989 1099890 1099891 1099892 1099893
 119988 1199880 1199881 1199882 1199883
 129987 1299870 1299871 1299872 1299873
 139986 1399860 1399861 1399862 1399863
 149985 1499850 1499851 1499852 1499853
 159984 1599840 1599841 1599842 1599843
 169983 1699830 1699831 1699832 1699833
 179982 1799820 1799821 1799822 1799823
 189981 1899810 1899811 1899812 1899813
 199980 1999800 1999801 1999802 1999803

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


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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             o                                       
720000 |                             o                                       
680000 |                             o                                       
640000 |                             o                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             o                                       
440000 |                             o                                       
400000 |                             o                                       
360000 |                             o                                       
320000 |                             o                                       
280000 |                             o                                       
240000 |                             o                                       
200000 |                             o                                       
160000 |                             o                                       
120000 |                             o                                       
 80000 |                             o                                       
 40000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

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


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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             o                                       
720000 |                             o                                       
680000 |                             o                                       
640000 |                             o                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             o                                       
440000 |                             o                                       
400000 |                             o                                       
360000 |                             o                                       
320000 |                             o                                       
280000 |                             o                                       
240000 |                             o                                       
200000 |                             o                                       
160000 |                             o                                       
120000 |                             o                                       
 80000 |                             o                                       
 40000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

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


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

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

Time to perform 1000000 of the following integer operations:
  NOPs:                                               0.047 
  Additions:                                          0.063 
  Subtractions:                                       0.079 
  Multiplications:                                    0.125 
  Divisions:                                          0.422 
Time to perform 1000000 of the following floating operations:
  Additions:                                          1.312 
  Subtractions:                                       1.328 
  Multiplications:                                    1.328 
  Divisions:                                          1.547 
================================================================================

Summary of run:                                14:35:33.109 980528
ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.

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

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.500      0.203   T100           1   0
      0.515      0.203   T120           0   1
      0.500      0.625   T200           2   0
      0.515      0.625   T210           1   1
      0.515      0.625   T220           0   2
      0.500      0.953   T400.1         2   0
                         T400.2         2   0
      0.516      0.968   T410.1         1   1
                         T410.2         1   1
      0.516      0.953   T420.1         0   2
                         T420.2         0   2
      0.500      0.969   T700.1         2   0
                         T700.2         2   0
      0.500      0.969   T710.1         1   1
                         T710.2         1   1
      0.500      0.953   T720.1         0   2
                         T720.2         0   2
      0.516     22.250   T800           1   0
      0.500     20.922   T820           0   1

  No monotonicity relaxations seen.

  No other relaxations seen.

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

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