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

                                               14:32:23.281 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:      a1111100.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:32:37.937 980528
  End execution of Test T100  at               14:32:38.437 980528
  Duration                                            0.500 
Start  analysis of Test T100  at               14:32:38.437 980528

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.047    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    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      36       0       0       0
   9999    5015       0       0       0
  19998   10033       0       0       0
  29997   14832       0       0       0
  39996   18838       0       0       0
  49995   22863       0       0       0
  59994   26898       0       0       0
  69993   30925       0       0       0
  79992   34953       0       0       0
  89991   38983       0       0       0
  99990   43839       0       0       0
 109989   47868       0       0       0
 119988   51899       0       0       0
 129987   55923       0       0       0
 139986   59951       0       0       0
 149985   63984       0       0       0
 159984   68009       0       0       0
 169983   72039       0       0       0
 179982   76263       0       0       0
 189981   80287       0       0       0
 199980   84314       0       0       0

  dim =    80, max = 84323, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              11
                                                                             1  
                                                                            1   
                                                                           1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                 1              
                                                                1               
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                        
                                                      1                         
                                                     1                          
                                                    1                           
                                                   1                            
                                                  1                             
                                                 1                              
                                                1                               
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                          11                                    
                                         1                                      
                                        1                                       
                                                                                
                                       1                                        
                                      1                                         
                                     1                                          
                                    1                                           
                                   1                                            
                                  1                                             
                                 1                                              
                                1                                               
                               1                                                
                              1                                                 
                             1                                                  
                            1                                                   
                           1                                                    
                          1                                                     
                         1                                                      
                        1                                                       
                       1                                                        
                      1                                                         
                     1                                                          
                    1                                                           
                   1                                                            
                 11                                                             
                1                                                               
               1                                                                
              1                                                                 
             1                                                                  
            1                                                                   
           1                                                                    
          1                                                                     
                                                                                
         1                                                                      
        1                                                                       
       1                                                                        
      1                                                                         
     1                                                                          
                                                                                
    1                                                                           
   1                                                                            
  1                                                                             
 1                                                                              
                                                                                
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       117315          0
   1        82595       2481
   2           73      44066
   3            9      36064
   4            0         60
   5            0          3
   6            0          2
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          1
  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:32:38.640 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:32:39.078 980528
  End execution of Test T120  at               14:32:39.578 980528
  Duration                                            0.500 
Start  analysis of Test T120  at               14:32:39.828 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.047    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    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    4139       0       0       0
  19998    8281       0       0       0
  29997   13056       0       0       0
  39996   17196       0       0       0
  49995   21334       0       0       0
  59994   25476       0       0       0
  69993   29614       0       0       0
  79992   33755       0       0       0
  89991   37895       0       0       0
  99990   42036       0       0       0
 109989   46200       0       0       0
 119988   50331       0       0       0
 129987   54471       0       0       0
 139986   58611       0       0       0
 149985   62751       0       0       0
 159984   66891       0       0       0
 169983   71030       0       0       0
 179982   75171       0       0       0
 189981   79311       0       0       0
 199980   83433       0       0       0

  dim =    80, max = 83442, 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       117465          0
   1        82406        269
   2          121      48063
   3            3      33570
   4            0        624
   5            0          2
   6            0          1
   7            1          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            0          0
  17            0          0
  18            0          0
  19            0          0
over            2          4
  End  analysis of Test T120  at               14:32:40.046 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:32:40.406 980528
  End execution of Test T200  at               14:32:40.921 980528
  Duration                                            0.515 
Start  analysis of Test T200  at               14:32:40.921 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.344    0.078    0.000    0.000    0.000    0.000    0.000    0.000 
   0.329    0.063    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       9      11       0       0
   9999    6304    6304       0       0
  19998   12474   12474       0       0
  29997   18635   18635       0       0
  39996   25023   25023       0       0
  49995   30746   30746       0       0
  59994   36456   36455       0       0
  69993   42174   42174       0       0
  79992   48396   48396       0       0
  89991   54144   54144       0       0
  99990   59866   59866       0       0
 109989   65596   65596       0       0
 119988   71328   71328       0       0
 129987   77081   77081       0       0
 139986   82816   82815       0       0
 149985   88540   88540       0       0
 159984   94236   94236       0       0
 169983  100435  100435       0       0
 179982  106109  106109       0       0
 189981  111821  111821       0       0
 199980  117458  117458       0       0

  dim =    80, max = 117469, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              33
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                                
                                                                3               
                                                               3                
                                                             33                 
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                    3                                                           
                   3                                                            
                  3                                                             
                 3                                                              
                3                                                               
               3                                                                
              3                                                                 
                                                                                
             3                                                                  
            3                                                                   
           3                                                                    
          3                                                                     
         3                                                                      
        3                                                                       
       3                                                                        
      3                                                                         
     3                                                                          
    3                                                                           
   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       168737          0
   1       230740      69422
   2          413     155146
   3           93       6683
   4            2          4
   5            0          0
   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            0          0
  18            0          0
  19            0          0
over           10          4

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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             |                                       
520000 |                             |o                                      
480000 |                             |o                                      
440000 |                             |o                                      
400000 |                             |o                                      
360000 |                             |o                                      
320000 |                             |o                                      
280000 |                             |o                                      
240000 |                             oo                                      
200000 |                             oo                                      
160000 |                             oo                                      
120000 |                             oo                                      
 80000 |                             oo                                      
 40000 |                             oo                                      
     0 |_________._________._________.oooo__oo_._________._________._________
     -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 =     550.        0 thru  39 =  799977.
  histend                     K       =  200000.       40 thru Max =      15.

  End  analysis of Test T200  at               14:32:41.546 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:32:41.984 980528
  End execution of Test T210  at               14:32:42.484 980528
  Duration                                            0.500 
Start  analysis of Test T210  at               14:32:42.578 980528

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.391    0.078    0.000    0.000    0.000    0.000    0.000    0.000 
   0.391    0.078    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    6194    6194       0       0
  19998   11620   11620       0       0
  29997   17049   17049       0       0
  39996   22488   22488       0       0
  49995   28225   28225       0       0
  59994   33655   33655       0       0
  69993   39087   39087       0       0
  79992   44522   44522       0       0
  89991   50465   50465       0       0
  99990   55886   55886       0       0
 109989   61314   61314       0       0
 119988   66786   66786       0       0
 129987   72166   72166       0       0
 139986   77590   77590       0       0
 149985   83027   83027       0       0
 159984   88391   88391       0       0
 169983   93858   93858       0       0
 179982   99151   99151       0       0
 189981  104464  104464       0       0
 199980  109665  109665       0       0

  dim =    80, max = 109676, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              33
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                                                                                
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                    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       184750          0
   1       214659      40110
   2          457     165860
   3          112       9266
   4            3          2
   5            1          0
   6            0          1
   7            1          1
   8            0          0
   9            1          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           12          6

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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             |                                       
520000 |                             |o                                      
480000 |                             |o                                      
440000 |                             |o                                      
400000 |                             |o                                      
360000 |                             |o                                      
320000 |                             |o                                      
280000 |                             |o                                      
240000 |                             oo                                      
200000 |                             oo                                      
160000 |                             oo                                      
120000 |                             oo                                      
 80000 |                             oo                                      
 40000 |                             oo                                      
     0 |_________._________._________.ooooooo_o._________._________._________
     -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 =     630.        0 thru  39 =  799974.
  histend                     K       =  200000.       40 thru Max =      18.

  End  analysis of Test T210  at               14:32:43.218 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:32:43.640 980528
  End execution of Test T220  at               14:32:44.156 980528
  Duration                                            0.516 
Start  analysis of Test T220  at               14:32:44.421 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.391    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.375    0.078    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    5377    5377       0       0
  19998   10629   10629       0       0
  29997   16324   16324       0       0
  39996   21579   21579       0       0
  49995   26818   26818       0       0
  59994   32060   32060       0       0
  69993   37410   37410       0       0
  79992   42637   42637       0       0
  89991   47854   47854       0       0
  99990   53072   53072       0       0
 109989   58171   58171       0       0
 119988   63406   63406       0       0
 129987   68628   68628       0       0
 139986   73858   73858       0       0
 149985   79439   79439       0       0
 159984   84666   84666       0       0
 169983   89903   89903       0       0
 179982   95154   95153       0       0
 189981  100828  100828       0       0
 199980  106037  106037       0       0

  dim =    80, max = 106048, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                             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                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        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       191632          0
   1       207592      30350
   2          635     165113
   3          119      12883
   4            5          8
   5            0          0
   6            1          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            0          1
  17            0          1
  18            0          0
  19            0          0
over           12          8

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   287489   0        0  20 
      0 -79        0 -59        0 -39        0 -19   511247   1        0  21 
      0 -78        0 -58        0 -38        0 -18     1103   2        0  22 
      0 -77        0 -57        0 -37        0 -17      128   3        0  23 
      0 -76        0 -56        0 -36        0 -16        5   4        0  24 
      0 -75        0 -55        0 -35        0 -15        1   5        0  25 
      0 -74        0 -54        0 -34        0 -14        1   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        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 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |                                       
600000 |                             |                                       
560000 |                             |                                       
520000 |                             |                                       
480000 |                             |o                                      
440000 |                             |o                                      
400000 |                             |o                                      
360000 |                             |o                                      
320000 |                             |o                                      
280000 |                             oo                                      
240000 |                             oo                                      
200000 |                             oo                                      
160000 |                             oo                                      
120000 |                             oo                                      
 80000 |                             oo                                      
 40000 |                             oo                                      
     0 |_________._________._________.oooooo___._________._________._________
     -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 =     452.        0 thru  39 =  799974.
  histend                     K       =  200000.       40 thru Max =      18.

  End  analysis of Test T220  at               14:32:45.046 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:32:45.421 980528
  End execution of Test T400  at               14:32:45.937 980528
  Duration                                            0.516 
Start  analysis of Test T400  at               14:32:45.953 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       9       0       0
   9999    9991   10006       0       0
  19998   19247   20774       0       0
  29997   29131   30871       0       0
  39996   38989   41025       0       0
  49995   48055   51951       0       0
  59994   57937   62072       0       0
  69993   67844   72041       0       0
  79992   77899   82107       0       0
  89991   87812   92210       0       0
  99990   97711  102264       0       0
 109989  107648  112365       0       0
 119988  117540  122446       0       0
 129987  127474  132523       0       0
 139986  137394  142585       0       0
 149985  147314  153549       0       0
 159984  156342  163648       0       0
 169983  166252  173752       0       0
 179982  175239  184815       0       0
 189981  185071  194966       0       0
 199980  194921  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   1
                                                                          2   1 
                                                                         2   1  
                                                                        2   1   
                                                                       2   1    
                                                                      2   1     
                                                                     2   1      
                                                                    2   1       
                                                                   2  11        
                                                                  2  1          
                                                                 2  1           
                                                                2  1            
                                                               2  1             
                                                              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                                                
                            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                                                                      
       31                                                                       
      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        42501          0
   1       324020     324038
   2        33443      33407
   3           16         32
   4            2          3
   5            1          1
   6            0          0
   7            0          0
   8            0          0
   9            1          0
  10            0          1
  11            1          0
  12            0          1
  13            0          1
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           11         11

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |o                                      
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 |                             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   =  794932.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =     995.        0 thru  39 =  791368.
  histend                     K       =  200000.       40 thru Max =    3564.

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
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 |                             |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  =         400.        Total   =  399987.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    5062.        0 thru  39 =  391390.
  histend                     K       =  200000.       40 thru Max =    8597.

  End  analysis of Test T400  at               14:32:46.921 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:32:47.359 980528
  End execution of Test T410  at               14:32:47.875 980528
  Duration                                            0.516 
Start  analysis of Test T410  at               14:32:47.968 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.141    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      41       0       0
   9999    7916   12569       0       0
  19998   15990   24913       0       0
  29997   24511   36154       0       0
  39996   33395   47937       0       0
  49995   41798   59254       0       0
  59994   50662   70545       0       0
  69993   59504   81931       0       0
  79992   68265   93197       0       0
  89991   77134  104453       0       0
  99990   86005  115701       0       0
 109989   94915  126957       0       0
 119988  103781  138210       0       0
 129987  112696  149508       0       0
 139986  121546  160687       0       0
 149985  130409  171951       0       0
 159984  139360  183391       0       0
 169983  148236  194554       0       0
 179982  157108  199999       0       0
 189981  165872  199999       0       0
 199980  174823  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                     22222222222
                                                                    2           
                                                                   2            
                                                                  2             
                                                                 2              
                                                                2               
                                                               2                
                                                                                
                                                              2                 
                                                             2                  
                                                            2                 11
                                                           2                 1  
                                                          2                 1   
                                                         2                 1    
                                                        2                 1     
                                                                         1      
                                                       2                1       
                                                      2                1        
                                                     2                1         
                                                    2               11          
                                                   2               1            
                                                  2               1             
                                                 2               1              
                                                                1               
                                                2              1                
                                               2              1                 
                                              2              1                  
                                             2              1                   
                                            2             11                    
                                           2             1                      
                                          2             1                       
                                                       1                        
                                         2            1                         
                                        2            1                          
                                       2            1                           
                                      2            1                            
                                     2            1                             
                                    2           11                              
                                   2           1                                
                                  2           1                                 
                                             1                                  
                                 2          1                                   
                                2          1                                    
                               2          1                                     
                              2          1                                      
                             2          1                                       
                            2         11                                        
                           2         1                                          
                                    1                                           
                          2        1                                            
                         2        1                                             
                        2        1                                              
                       2        1                                               
                      2        1                                                
                     2       11                                                 
                            1                                                   
                    2      1                                                    
                   2      1                                                     
                  2      1                                                      
                 2      1                                                       
                2      1                                                        
               2      1                                                         
                     1                                                          
              2    11                                                           
             2    1                                                             
            2    1                                                              
           2    1                                                               
          2    1                                                                
         2    1                                                                 
        2    1                                                                  
           11                                                                   
       2  1                                                                     
      2  1                                                                      
     2  1                                                                       
    2  1                                                                        
     11                                                                         
   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        72885          0
   1       281235     281277
   2        45830      45746
   3           20         63
   4            4          3
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            1          1
  13            1          2
  14            1          0
  15            1          1
  16            1          0
  17            0          1
  18            1          0
  19            1          1
over           14         16

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
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 |                             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  =         410.        Total   =  774834.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =     538.        0 thru  39 =  773620.
  histend                     K       =  200000.       40 thru Max =    1214.

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |                                       
260000 |                             | o                                     
240000 |                             | o                                     
220000 |                             | o                                     
200000 |                             | o                                     
180000 |                             | o                                     
160000 |                             | o                                     
140000 |                             | o                                     
120000 |                             | o                                     
100000 |                             | o                                     
 80000 |                             |oo                                     
 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  =         410.        Total   =  399936.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   25161.        0 thru  39 =  373535.
  histend                     K       =  200000.       40 thru Max =   26401.

  End  analysis of Test T410  at               14:32:48.937 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:32:49.375 980528
  End execution of Test T420  at               14:32:49.890 980528
  Duration                                            0.515 
Start  analysis of Test T420  at               14:32:50.171 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.140    0.140    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       0       0       0
   9999   10019    9978       0       0
  19998   19172   20828       0       0
  29997   29205   30778       0       0
  39996   39276   40714       0       0
  49995   48559   51418       0       0
  59994   58613   61369       0       0
  69993   68303   71815       0       0
  79992   78219   81748       0       0
  89991   88261   91718       0       0
  99990   98156  101797       0       0
 109989  108230  111757       0       0
 119988  118259  121704       0       0
 129987  126930  133035       0       0
 139986  136973  142973       0       0
 149985  146226  153743       0       0
 159984  156271  163669       0       0
 169983  166317  174424       0       0
 179982  175557  184379       0       0
 189981  185607  194332       0       0
 199980  195081  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                  
                                                            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                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       31                                                                       
      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        29001          0
   1       353067     353084
   2        17890      17861
   3           17         34
   4            2          1
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            1          0
  12            0          1
  13            1          0
  14            0          1
  15            0          0
  16            0          0
  17            1          0
  18            0          0
  19            1          0
over           14         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   384668   0       15  20 
      0 -79        0 -59        0 -39        0 -19   386225   1       13  21 
      0 -78        0 -58        0 -38        0 -18    18009   2       14  22 
      0 -77        0 -57        0 -37        0 -17       36   3       13  23 
      0 -76        0 -56        0 -36        0 -16       18   4       13  24 
      0 -75        0 -55        0 -35        0 -15       16   5       13  25 
      0 -74        0 -54        0 -34        0 -14       16   6       13  26 
      0 -73        0 -53        0 -33        0 -13       16   7       13  27 
      0 -72        0 -52        0 -32        0 -12       16   8       13  28 
      0 -71        0 -51        0 -31        0 -11       16   9       13  29 
      0 -70        0 -50        0 -30        0 -10       16  10       13  30 
      0 -69        0 -49        0 -29        0  -9       17  11       13  31 
      0 -68        0 -48        0 -28        0  -8       15  12       13  32 
      0 -67        0 -47        0 -27        0  -7       16  13       13  33 
      0 -66        0 -46        0 -26        0  -6       14  14       13  34 
      0 -65        0 -45        0 -25        0  -5       14  15       13  35 
      0 -64        0 -44        0 -24        0  -4       14  16       13  36 
      0 -63        0 -43        0 -23        0  -3       15  17       11  37 
      0 -62        0 -42        0 -22        0  -2       14  18       11  38 
      0 -61        0 -41        0 -21        0  -1       15  19       11  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   =  795076.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1388.        0 thru  39 =  789443.
  histend                     K       =  200000.       40 thru Max =    5633.

  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    33158   1       15  21 
      0 -78        0 -58        0 -38        0 -18   347357   2       14  22 
      0 -77        0 -57        0 -37        0 -17     8354   3       15  23 
      0 -76        0 -56        0 -36        0 -16       72   4       14  24 
      0 -75        0 -55        0 -35        0 -15       15   5       14  25 
      0 -74        0 -54        0 -34        0 -14       14   6       14  26 
      0 -73        0 -53        0 -33        0 -13       14   7       14  27 
      0 -72        0 -52        0 -32        0 -12       14   8       14  28 
      0 -71        0 -51        0 -31        0 -11       14   9       14  29 
      0 -70        0 -50        0 -30        0 -10       14  10       14  30 
      0 -69        0 -49        0 -29        0  -9       14  11       14  31 
      0 -68        0 -48        0 -28        0  -8       15  12       14  32 
      0 -67        0 -47        0 -27        0  -7       15  13       14  33 
      0 -66        0 -46        0 -26        0  -6       15  14       14  34 
      0 -65        0 -45        0 -25        0  -5       14  15       14  35 
      0 -64        0 -44        0 -24        0  -4       14  16       14  36 
      0 -63        0 -43        0 -23        0  -3       15  17       13  37 
      0 -62        0 -42        0 -22        0  -2       14  18       12  38 
      0 -61        0 -41        0 -21        0  -1       14  19       12  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  =         420.        Total   =  399987.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    4918.        0 thru  39 =  389440.
  histend                     K       =  200000.       40 thru Max =   10547.

  End  analysis of Test T420  at               14:32:51.140 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:32:51.593 980528
  End execution of Test T700  at               14:32:52.093 980528
  Duration                                            0.500 
Start  analysis of Test T700  at               14:32:52.093 980528

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.141    0.157    0.000    0.000    0.000    0.000    0.000    0.000 
   0.141    0.157    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       3  199999  199999
   9999    8901   11123       0       0
  19998   18622   21419       0       0
  29997   27864   32184       0       0
  39996   37590   42485       0       0
  49995   46992   53088       0       0
  59994   56699   63383       0       0
  69993   66326   74720       0       0
  79992   75270   84719       0       0
  89991   85263   94850       0       0
  99990   95126  104849       0       0
 109989  105129  115141       0       0
 119988  114837  125138       0       0
 129987  124847  135135       0       0
 139986  134323  145646       0       0
 149985  144326  155644       0       0
 159984  153644  166323       0       0
 169983  163643  176315       0       0
 179982  173010  186970       0       0
 189981  182987  196972       0       0
 199980  192989  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   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                                                 
                          2  1                                                  
                         2  1                                                   
                        2  1                                                    
                       2  1                                                     
                      2  1                                                      
                     2  1                                                       
                    2 11                                                        
                   2 1                                                          
                  2 1                                                           
                 2 1                                                            
                2 1                                                             
               2 1                                                              
              2 1                                                               
             2 1                                                                
            2 1                                                                 
             1                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

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

            ------ Relaxed ------    |         ------ Strong ------       
475000 |                             |                                       
450000 |                             |                                       
425000 |                             |o                                      
400000 |                             |o                                      
375000 |                             |o                                      
350000 |                             |o                                      
325000 |                             |o                                      
300000 |                             oo                                      
275000 |                             oo                                      
250000 |                             oo                                      
225000 |                             oo                                      
200000 |                             oo                                      
175000 |                             oo                                      
150000 |                             oo                                      
125000 |                             oo                                      
100000 |                             oo                                      
 75000 |                             oo                                      
 50000 |                             oo                                      
 25000 |                             ooo                                     
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |                                       
260000 |                             |                                       
240000 |                             | o                                     
220000 |                             | o                                     
200000 |                             | o                                     
180000 |                             | o                                     
160000 |                             | o                                     
140000 |                             | o                                     
120000 |                             |oo                                     
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   =  399994.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    6993.        0 thru  39 =  388221.
  histend                     K       =  200000.       40 thru Max =   11773.

  End  analysis of Test T700  at               14:32:53.062 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:32:53.500 980528
  End execution of Test T710  at               14:32:54.015 980528
  Duration                                            0.515 
Start  analysis of Test T710  at               14:32:54.109 980528

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

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      14  199999       0
   9999    8565   11801       0       0
  19998   17496   22742       0       0
  29997   26671   34296       0       0
  39996   35227   45197       0       0
  49995   44406   56520       0       0
  59994   53181   67429       0       0
  69993   62350   78419       0       0
  79992   71439   89306       0       0
  89991   80614  101146       0       0
  99990   88918  112036       0       0
 109989   98117  123501       0       0
 119988  106771  134384       0       0
 129987  115950  145513       0       0
 139986  124923  157261       0       0
 149985  134091  168177       0       0
 159984  142468  179747       0       0
 169983  151648  190644       0       0
 179982  160196  199999       0       0
 189981  169370  199999       0       0
 199980  178220  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                                                                     2222222222
                                                                     2          
                                                                    2           
                                                                   2            
                                                                                
                                                                  2             
                                                                 2              
                                                                2               
                                                               2               1
                                                              2               1 
                                                             2               1  
                                                            2               1   
                                                                           1    
                                                           2              1     
                                                          2              1      
                                                         2              1       
                                                        2             11        
                                                       2             1          
                                                      2             1           
                                                     2             1            
                                                                  1             
                                                    2            1              
                                                   2            1               
                                                  2            1                
                                                 2           11                 
                                                2           1                   
                                               2           1                    
                                              2           1                     
                                             2           1                      
                                                        1                       
                                            2          1                        
                                           2          1                         
                                          2          1                          
                                         2         11                           
                                        2         1                             
                                       2         1                              
                                      2         1                               
                                     2         1                                
                                              1                                 
                                    2        1                                  
                                   2        1                                   
                                  2        1                                    
                                 2        1                                     
                                2       11                                      
                               2       1                                        
                                      1                                         
                              2      1                                          
                             2      1                                           
                            2      1                                            
                           2      1                                             
                          2      1                                              
                         2     11                                               
                        2     1                                                 
                       2     1                                                  
                      2     1                                                   
                           1                                                    
                     2    1                                                     
                    2    1                                                      
                   2    1                                                       
                  2    1                                                        
                 2    1                                                         
                2    1                                                          
               2   11                                                           
              2   1                                                             
                 1                                                              
             2  1                                                               
            2  1                                                                
           2  1                                                                 
          2  1                                                                  
         2  1                                                                   
        2  1                                                                    
       2 11                                                                     
        1                                                                       
      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        74097          0
   1       279711     279707
   2        46142      46158
   3           13          4
   4            0          1
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            1          0
  13            1          1
  14            2          0
  15            3          2
  16            2          1
  17            2          2
  18            1          2
  19            1          0
over           20         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   283986   0       21  20 
      0 -79        0 -59        0 -39        0 -19   440274   1       21  21 
      0 -78        0 -58        0 -38        0 -18    47788   2       21  22 
      0 -77        0 -57        0 -37        0 -17       43   3       21  23 
      0 -76        0 -56        0 -36        0 -16       29   4       21  24 
      0 -75        0 -55        0 -35        0 -15       29   5       21  25 
      0 -74        0 -54        0 -34        0 -14       29   6       21  26 
      0 -73        0 -53        0 -33        0 -13       29   7       21  27 
      0 -72        0 -52        0 -32        0 -12       29   8       22  28 
      0 -71        0 -51        0 -31        0 -11       29   9       21  29 
      0 -70        0 -50        0 -30        0 -10       29  10       18  30 
      0 -69        0 -49        0 -29        0  -9       29  11       18  31 
      0 -68        0 -48        0 -28        0  -8       30  12       18  32 
      0 -67        0 -47        0 -27        0  -7       30  13       18  33 
      0 -66        0 -46        0 -26        0  -6       30  14       19  34 
      0 -65        0 -45        0 -25        0  -5       31  15       16  35 
      0 -64        0 -44        0 -24        0  -4       28  16       15  36 
      0 -63        0 -43        0 -23        0  -3       25  17       13  37 
      0 -62        0 -42        0 -22        0  -2       23  18       13  38 
      0 -61        0 -41        0 -21        0  -1       22  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
475000 |                             |                                       
450000 |                             |                                       
425000 |                             |o                                      
400000 |                             |o                                      
375000 |                             |o                                      
350000 |                             |o                                      
325000 |                             |o                                      
300000 |                             |o                                      
275000 |                             oo                                      
250000 |                             oo                                      
225000 |                             oo                                      
200000 |                             oo                                      
175000 |                             oo                                      
150000 |                             oo                                      
125000 |                             oo                                      
100000 |                             oo                                      
 75000 |                             oo                                      
 50000 |                             oo                                      
 25000 |                             ooo                                     
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |                                       
260000 |                             |                                       
240000 |                             |                                       
220000 |                             |                                       
200000 |                             | o                                     
180000 |                             | o                                     
160000 |                             |oo                                     
140000 |                             |oo                                     
120000 |                             |oo                                     
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  =         710.        Total   =  399970.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   21764.        0 thru  39 =  372849.
  histend                     K       =  200000.       40 thru Max =   27121.

  End  analysis of Test T710  at               14:32:55.078 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:32:55.515 980528
  End execution of Test T720  at               14:32:56.031 980528
  Duration                                            0.516 
Start  analysis of Test T720  at               14:32:56.296 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.156    0.000    0.000    0.000    0.000    0.000    0.000 
   0.140    0.140    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   10011    9986       0       0
  19998   20025   19970       0       0
  29997   29864   30130       0       0
  39996   39850   40142       0       0
  49995   49834   50156       0       0
  59994   59811   60178       0       0
  69993   69779   70206       0       0
  79992   79756   80226       0       0
  89991   89531   90454       0       0
  99990   99499  100481       0       0
 109989  109459  110525       0       0
 119988  119434  120541       0       0
 129987  129105  130870       0       0
 139986  139098  140876       0       0
 149985  149096  151636       0       0
 159984  158298  161672       0       0
 169983  168288  171671       0       0
 179982  177632  182339       0       0
 189981  187595  192362       0       0
 199980  197396  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              22
                                                                             2 1
                                                                            2 1 
                                                                           2 1  
                                                                          2 1   
                                                                         2 1    
                                                                        2 1     
                                                                       2 1      
                                                                      2 1       
                                                                     2 1        
                                                                    2 1         
                                                                   211          
                                                                  21            
                                                                 21             
                                                                21              
                                                               21               
                                                              21                
                                                             21                 
                                                            21                  
                                                           21                   
                                                          21                    
                                                         21                     
                                                        21                      
                                                       21                       
                                                      21                        
                                                     21                         
                                                    21                          
                                                    1                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        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        28293          0
   1       348774     348769
   2        22900      22908
   3            5          2
   4            1          2
   5            0          0
   6            0          0
   7            2          2
   8            1          1
   9            1          0
  10            1          0
  11            0          2
  12            0          0
  13            0          0
  14            0          0
  15            2          1
  16            0          1
  17            1          0
  18            1          2
  19            1          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   359513   0       13  20 
      0 -79        0 -59        0 -39        0 -19   412120   1       13  21 
      0 -78        0 -58        0 -38        0 -18    22979   2       13  22 
      0 -77        0 -57        0 -37        0 -17       31   3       13  23 
      0 -76        0 -56        0 -36        0 -16       24   4       13  24 
      0 -75        0 -55        0 -35        0 -15       22   5       13  25 
      0 -74        0 -54        0 -34        0 -14       22   6       13  26 
      0 -73        0 -53        0 -33        0 -13       24   7       14  27 
      0 -72        0 -52        0 -32        0 -12       20   8       12  28 
      0 -71        0 -51        0 -31        0 -11       20   9       12  29 
      0 -70        0 -50        0 -30        0 -10       20  10       12  30 
      0 -69        0 -49        0 -29        0  -9       17  11       12  31 
      0 -68        0 -48        0 -28        0  -8       17  12       12  32 
      0 -67        0 -47        0 -27        0  -7       17  13       12  33 
      0 -66        0 -46        0 -26        0  -6       17  14       11  34 
      0 -65        0 -45        0 -25        0  -5       18  15       11  35 
      0 -64        0 -44        0 -24        0  -4       15  16       11  36 
      0 -63        0 -43        0 -23        0  -3       16  17       11  37 
      0 -62        0 -42        0 -22        0  -2       15  18       10  38 
      0 -61        0 -41        0 -21        0  -1       14  19       10  39

            ------ Relaxed ------    |         ------ Strong ------       
475000 |                             |                                       
450000 |                             |                                       
425000 |                             |                                       
400000 |                             |o                                      
375000 |                             |o                                      
350000 |                             oo                                      
325000 |                             oo                                      
300000 |                             oo                                      
275000 |                             oo                                      
250000 |                             oo                                      
225000 |                             oo                                      
200000 |                             oo                                      
175000 |                             oo                                      
150000 |                             oo                                      
125000 |                             oo                                      
100000 |                             oo                                      
 75000 |                             oo                                      
 50000 |                             oo                                      
 25000 |                             oo                                      
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
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 |                             |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  =         720.        Total   =  399992.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    2586.        0 thru  39 =  395197.
  histend                     K       =  200000.       40 thru Max =    4795.

  End  analysis of Test T720  at               14:32:57.265 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:32:57.625 980528
  End execution of Test T800  at               14:32:58.140 980528
  Duration                                            0.515 
Start  analysis of Test T800  at               14:32:58.843 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.125    0.000    0.000    0.000    0.000    0.000    0.000 
   0.110    0.110    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     110       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....:....
                                                                              2F
                                                                            22F1
                                                                            2F11
                                                                          22F11 
                                                                         22F 1  
                                                                         2F11   
                                                                       22F1     
                                                                      22F11     
                                                                     22F        
                                                                      F11       
                                                                    2F11        
                                                                  2 F11         
                                                                 22F1           
                                                                22F 1           
                                                               22F              
                                                               2F               
                                                              2F1               
                                                             2F                 
                                                           22F                  
                                                           2F1                  
                                                           F1                   
                                                         2F1                    
                                                         F1                     
                                                        F1                      
                                                      2F1                       
                                                      F1                        
                                                     F1                         
                                                   2F                           
                                                   F1                           
                                                  F1                            
                                                2F                              
                                               2F1                              
                                              2F1                               
                                              F1                                
                                            2F1                                 
                                            F1                                  
                                           F1                                   
                                         2F1                                    
                                         F1                                     
                                        F1                                      
                                      2F1                                       
                                     2F                                         
                                    2F1                                         
                                   2F1                                          
                                  2F1                                           
                                  F1                                            
                                2F                                              
                               2F1                                              
                              2F1                                               
                             2F1                                                
                            2F1                                                 
                           2F1                                                  
                           F1                                                   
                         2F                                                     
                         F1                                                     
                        F                                                       
                      2F                                                        
                      F1                                                        
                    2F                                                          
                    F1                                                          
                   F1                                                           
                 2F1                                                            
                 F1                                                             
                F1                                                              
               F                                                                
              F1                                                                
             F1                                                                 
            F1                                                                  
           F                                                                    
          F                                                                     
         F1                                                                     
        F1                                                                      
      2F1                                                                       
      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   799665   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18        0   2        0  22 
      0 -77        0 -57        0 -37        0 -17        1   3        0  23 
      0 -76        0 -56        0 -36        0 -16        0   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        0   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        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 |_________._________._________.__o______._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   =  799666.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       3.        0 thru  39 =  799666.
  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   799666   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18        0   2        0  22 
      0 -77        0 -57        0 -37        0 -17        1   3        0  23 
      0 -76        0 -56        0 -36        0 -16        0   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        0   6        0  26 
      0 -73        0 -53        0 -33        0 -13        1   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 |_________._________._________.__o___o__._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   =  799668.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       7.        0 thru  39 =  799668.
  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:33:20.437 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:33:20.796 980528
  End execution of Test T820  at               14:33:21.312 980528
  Duration                                            0.516 
Start  analysis of Test T820  at               14:33:22.828 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.141    0.125    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    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     140       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....:....
                                                                             11F
                                                                            1 F2
                                                                           1 F 2
                                                                          11F22 
                                                                         11F    
                                                                        11F 2   
                                                                       1 F 2    
                                                                      1 F 2     
                                                                     1 F22      
                                                                    11F2        
                                                                   11F 2        
                                                                    F 2         
                                                                  1F22          
                                                                1 F2            
                                                                 F 2            
                                                              1 F 2             
                                                               F 2              
                                                             1F22               
                                                           1 F2                 
                                                            F 2                 
                                                          1F 2                  
                                                        11F22                   
                                                       11F22                    
                                                      11F2                      
                                                     11F 2                      
                                                    11F22                       
                                                   11F                          
                                                  11F 2                         
                                                 11F2                           
                                                11F 2                           
                                               11F22                            
                                              11F                               
                                             11F2                               
                                            11F 2                               
                                           1 F2                                 
                                          11F                                   
                                         11F 2                                  
                                        11F2                                    
                                       11F                                      
                                      1 F 2                                     
                                     11F                                        
                                    11F 2                                       
                                    1F2                                         
                                    F                                           
                                   F 2                                          
                                  F22                                           
                                 F                                              
                                F 2                                             
                               F2                                               
                              F                                                 
                           11F 2                                                
                          11F                                                   
                         11F 2                                                  
                        11F22                                                   
                       1 F22                                                    
                      1 F2                                                      
                     11F                                                        
                    11F22                                                       
                    1F2                                                         
                  11F22                                                         
                 11F2                                                           
                 1F                                                             
               11F2                                                             
               1F2                                                              
              1F2                                                               
             1F                                                                 
            1F                                                                  
           1F2                                                                  
          1F2                                                                   
         1F2                                                                    
        1F2                                                                     
       1F2                                                                      
       F2                                                                       
     1F                                                                         
    1F2                                                                         
    F2                                                                          
   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   799539   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        6   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 |_________._________._________.____o____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
  Nmbr  =         820.        Total   =  799545.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       5.        0 thru  39 =  799545.
  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   799540   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   =  799540.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       0.        0 thru  39 =  799540.
  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:33:44.453 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.078 
  Subtractions:                                       0.078 
  Multiplications:                                    0.141 
  Divisions:                                          0.437 
Time to perform 1000000 of the following floating operations:
  Additions:                                          1.328 
  Subtractions:                                       1.328 
  Multiplications:                                    1.313 
  Divisions:                                          1.547 
================================================================================

Summary of run:                                14:33:50.828 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: sometimes
  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.500      0.218   T120           0   1
      0.515      0.625   T200           2   0
      0.500      0.640   T210           1   1
      0.516      0.625   T220           0   2
      0.516      0.968   T400.1         2   0
                         T400.2         2   0
      0.516      0.969   T410.1         1   1
                         T410.2         1   1
      0.515      0.969   T420.1         0   2
                         T420.2         0   2
      0.500      0.969   T700.1         2   0
                         T700.2         2   0
      0.515      0.969   T710.1         1   1
                         T710.2         1   1
      0.516      0.969   T720.1         0   2
                         T720.2         0   2
      0.515     21.594   T800           1   0
      0.516     21.625   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