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

                                               09:49:06.832 980422

  Parameters initialized from file:  eeserv.

  This data was generated by ARCHTEST on a 2-way SUN Sparc 20
running Solaris 2.4.  ARCHTEST was compiled using Version 2.7.0
of the GNU compiler.
 
  The test was conducted under the auspices of Neil Sobrado,
Systems Administrator (sobrad22@eelab.newpaltz.edu), and
Dr. Owen B. Hill, Chair, Department of Electrical Engineering,
SUNY New Paltz.


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

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

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

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T100  at               09:49:29.816 980422
  End execution of Test T100  at               09:49:30.117 980422
  Duration                                            0.301 
Start  analysis of Test T100  at               09:49:30.118 980422

Thread start, stop, and dur times.
   0.011    0.008    0.000    0.000    0.000    0.000    0.000    0.000 
   0.300    0.145    0.000    0.000    0.000    0.000    0.000    0.000 
   0.289    0.137    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    4805       0       0       0
  19998   15708       0       0       0
  29997   26953       0       0       0
  39996   37810       0       0       0
  49995   48553       0       0       0
  59994   58167       0       0       0
  69993   69214       0       0       0
  79992   80178       0       0       0
  89991   91364       0       0       0
  99990  102162       0       0       0
 109989  113113       0       0       0
 119988  123845       0       0       0
 129987  134881       0       0       0
 139986  145630       0       0       0
 149985  157020       0       0       0
 159984  167537       0       0       0
 169983  176601       0       0       0
 179982  186673       0       0       0
 189981  197316       0       0       0
 199980  208184       0       0       0

  dim =    80, max = 208206, 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           
                                                                  11            
                                                                 1              
                                                                1               
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                                                
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                        
                                                      1                         
                                                     1                          
                                                    1                           
                                                   1                            
                                                  1                             
                                                 1                              
                                                1                               
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                                                                
                                           1                                    
                                          1                                     
                                         1                                      
                                        1                                       
                                       1                                        
                                      1                                         
                                     1                                          
                                    1                                           
                                   1                                            
                                  1                                             
                                 1                                              
                                1                                               
                               1                                                
                              1                                                 
                             1                                                  
                                                                                
                            1                                                   
                           1                                                    
                          1                                                     
                         1                                                      
                        1                                                       
                       1                                                        
                      1                                                         
                     1                                                          
                    1                                                           
                   1                                                            
                  1                                                             
                 1                                                              
                1                                                               
               1                                                                
              1                                                                 
             1                                                                  
            1                                                                   
           1                                                                    
          1                                                                     
         1                                                                      
        1                                                                       
       1                                                                        
      1                                                                         
                                                                                
     1                                                                          
    1                                                                           
                                                                                
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        96415          0
   1        10495      33097
   2        90519      57634
   3         2486      11715
   4           14        565
   5            2        556
   6            2          0
   7            0          0
   8            0          0
   9            0          2
  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           65         14
  End  analysis of Test T100  at               09:49:30.657 980422
==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               09:49:30.926 980422
  End execution of Test T120  at               09:49:31.299 980422
  Duration                                            0.373 
Start  analysis of Test T120  at               09:49:31.467 980422

Thread start, stop, and dur times.
   0.040    0.040    0.000    0.000    0.000    0.000    0.000    0.000 
   0.373    0.180    0.000    0.000    0.000    0.000    0.000    0.000 
   0.333    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    7795       0       0       0
  19998   14687       0       0       0
  29997   14687       0       0       0
  39996   20143       0       0       0
  49995   22315       0       0       0
  59994   24829       0       0       0
  69993   29508       0       0       0
  79992   31705       0       0       0
  89991   37815       0       0       0
  99990   40354       0       0       0
 109989   47625       0       0       0
 119988   53208       0       0       0
 129987   58143       0       0       0
 139986   68235       0       0       0
 149985   78318       0       0       0
 159984   88246       0       0       0
 169983   97983       0       0       0
 179982  112962       0       0       0
 189981  123109       0       0       0
 199980  133486       0       0       0

  dim =    80, max = 133506, 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                             
                                               111                              
                                             11                                 
                                                                                
                                           11                                   
                                                                                
                                          1                                     
                                         1                                      
                                        1                                       
                                     111                                        
                                   11                                           
                                                                                
                                 11                                             
                                                                                
                              111                                               
                            11                                                  
                         111                                                    
                                                                                
                      111                                                       
                   111                                                          
                111                                                             
                                                                                
             111                                                                
                                                                                
        11111                                                                   
      11                                                                        
                                                                                
     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       136717          0
   1        24591      28100
   2        37684      30793
   3          929       4181
   4           19         56
   5           18        111
   6            6          2
   7            1          1
   8            0          1
   9            0          3
  10            0          1
  11            0          1
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           33         31
  End  analysis of Test T120  at               09:49:32.004 980422
==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               09:49:32.249 980422
 line3
  End execution of Test T200  at               09:49:32.801 980422
  Duration                                            0.552 
Start  analysis of Test T200  at               09:49:32.802 980422

Thread start, stop, and dur times.
   0.081    0.041    0.000    0.000    0.000    0.000    0.000    0.000 
   0.551    0.299    0.000    0.000    0.000    0.000    0.000    0.000 
   0.470    0.258    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       0       0       0       0
  19998       0       0       0       0
  29997       0       0       0       0
  39996       0       0       0       0
  49995       0       0       0       0
  59994       0       0       0       0
  69993       0       0       0       0
  79992       0       0       0       0
  89991   18704   18704       0       0
  99990   39878   39879       0       0
 109989   62250   62251       0       0
 119988   85113   85114       0       0
 129987  107564  107565       0       0
 139986  130043  130045       0       0
 149985  152542  152543       0       0
 159984  174953  174954       0       0
 169983  197479  197480       0       0
 179982  219906  219906       0       0
 189981  242241  242242       0       0
 199980  264322  264323       0       0

  dim =    80, max = 264365, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                                
                                                                             3  
                                                                                
                                                                            3   
                                                                           3    
                                                                                
                                                                          3     
                                                                                
                                                                         3      
                                                                        3       
                                                                                
                                                                       3        
                                                                                
                                                                      3         
                                                                                
                                                                     3          
                                                                    3           
                                                                                
                                                                   3            
                                                                                
                                                                  3             
                                                                 3              
                                                                                
                                                                3               
                                                                                
                                                               3                
                                                                                
                                                              3                 
                                                             3                  
                                                                                
                                                            3                   
                                                                                
                                                           3                    
                                                          3                     
                                                                                
                                                         3                      
                                                                                
                                                        3                       
                                                                                
                                                       3                        
                                                      3                         
                                                                                
                                                     3                          
                                                                                
                                                    3                           
                                                                                
                                                   3                            
                                                  3                             
                                                                                
                                                 3                              
                                                                                
                                                3                               
                                               3                                
                                                                                
                                              3                                 
                                                                                
                                             3                                  
                                                                                
                                            3                                   
                                           3                                    
                                                                                
                                          3                                     
                                                                                
                                         3                                      
                                                                                
                                        3                                       
                                       3                                        
                                                                                
                                      3                                         
                                     3                                          
                                                                                
                                    3                                           
                                                                                
                                   3                                            
                                  3                                             
                                                                                
                                 3                                              
                                                                                
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       165405          0
   1         5411     234498
   2       174771         77
   3        47191          0
   4         7052          0
   5          117          0
   6            6          0
   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           42         16

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             | o                                     
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             o o                                     
220000 |                             o o                                     
200000 |                             o o                                     
180000 |                             ooo                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             ooo                                     
 40000 |                             oooo                                    
 20000 |                             oooo                                    
     0 |_________._________._________.ooooooo__._________._________oooo_ooo_o
     -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 =     513.        0 thru  39 =  799945.
  histend                     K       =  200000.       40 thru Max =      47.

  End  analysis of Test T200  at               09:49:34.499 980422
==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               09:49:34.758 980422
  End execution of Test T210  at               09:49:35.340 980422
  Duration                                            0.582 
Start  analysis of Test T210  at               09:49:35.418 980422

Thread start, stop, and dur times.
   0.020    0.020    0.000    0.000    0.000    0.000    0.000    0.000 
   0.581    0.360    0.000    0.000    0.000    0.000    0.000    0.000 
   0.561    0.340    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      54      59       0       0
   9999   16077   16078       0       0
  19998   36223   36223       0       0
  29997   42502   42502       0       0
  39996   45039   45039       0       0
  49995   51866   51866       0       0
  59994   55966   55966       0       0
  69993   62574   62574       0       0
  79992   83379   83380       0       0
  89991  104273  104273       0       0
  99990  126035  126035       0       0
 109989  151269  151269       0       0
 119988  171956  171957       0       0
 129987  189993  189993       0       0
 139986  210888  210889       0       0
 149985  232218  232219       0       0
 159984  253316  253317       0       0
 169983  274692  274693       0       0
 179982  293823  293824       0       0
 189981  314939  314939       0       0
 199980  335827  335827       0       0

  dim =    80, max = 335868, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                                
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                                
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                                
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                                                
                                                              3                 
                                                             3                  
                                                            3                   
                                                                                
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                                                
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                                                
                                                   3                            
                                                 33                             
                                                                                
                                                3                               
                                               3                                
                                              3                                 
                                                                                
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                                                                
                                                                                
                                         3                                      
                                        3                                       
                                       3                                        
                                                                                
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                                                                
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                                                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                        333                                                     
                    3333                                                        
                 333                                                            
            33333                                                               
           3                                                                    
        333                                                                     
       3                                                                        
      3                                                                         
     3                                                                          
                                                                                
   33                                                                           
  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       118869          0
   1        18279     280033
   2       217534        987
   3        43874          4
   4         1251          3
   5           50          3
   6            6          1
   7            2          0
   8            0          0
   9            0          0
  10            1          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          130         96

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             | o                                     
340000 |                             | o                                     
320000 |                             | o                                     
300000 |                             | o                                     
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             | o                                     
220000 |                             | o                                     
200000 |                             |oo                                     
180000 |                             |oo                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             ooo                                     
 40000 |                             oooo                                    
 20000 |                             oooo                                    
     0 |_________._________._________.ooooooo__o_________._______o_o_oooo___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 =    5052.        0 thru  39 =  799818.
  histend                     K       =  200000.       40 thru Max =     174.

  End  analysis of Test T210  at               09:49:37.093 980422
==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               09:49:37.341 980422
  End execution of Test T220  at               09:49:37.988 980422
  Duration                                            0.647 
Start  analysis of Test T220  at               09:49:38.134 980422

Thread start, stop, and dur times.
   0.038    0.038    0.000    0.000    0.000    0.000    0.000    0.000 
   0.631    0.343    0.000    0.000    0.000    0.000    0.000    0.000 
   0.593    0.305    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   20176   20176       0       0
  19998   40931   40932       0       0
  29997   61611   61611       0       0
  39996   82489   82490       0       0
  49995  103234  103234       0       0
  59994  119603  119603       0       0
  69993  125692  125692       0       0
  79992  128140  128140       0       0
  89991  134511  134511       0       0
  99990  138625  138625       0       0
 109989  145082  145082       0       0
 119988  150348  150348       0       0
 129987  156986  156986       0       0
 139986  176939  176939       0       0
 149985  185908  185908       0       0
 159984  206743  206743       0       0
 169983  227746  227747       0       0
 179982  247820  247821       0       0
 189981  268389  268390       0       0
 199980  289030  289030       0       0

  dim =    80, max = 289071, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                                
                                                                            3   
                                                                           3    
                                                                                
                                                                          3     
                                                                         3      
                                                                                
                                                                        3       
                                                                       3        
                                                                                
                                                                      3         
                                                                     3          
                                                                    3           
                                                                                
                                                                   3            
                                                                  3             
                                                                                
                                                                 3              
                                                                3               
                                                                                
                                                               3                
                                                              3                 
                                                                                
                                                             3                  
                                                            3                   
                                                           3                    
                                                         33                     
                                                        3                       
                                                       3                        
                                                      3                         
                                                                                
                                                     3                          
                                                    3                           
                                                 333                            
                                                3                               
                                               3                                
                                            333                                 
                                          33                                    
                                       333                                      
                                    333                                         
                                 333                                            
                               33                                               
                            333                                                 
                       33333                                                    
                                                                                
                      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       147270          0
   1        15319     251219
   2       197312       1405
   3        38671          3
   4         1275          1
   5           67          1
   6            6          0
   7            2          1
   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           74         96

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   220916   0        0  20 
      0 -79        0 -59        0 -39        0 -19   205786   1        0  21 
      0 -78        0 -58        0 -38        0 -18   329699   2        0  22 
      0 -77        0 -57        0 -37        0 -17    42033   3        0  23 
      0 -76        0 -56        0 -36        0 -16     1362   4        0  24 
      0 -75        0 -55        0 -35        0 -15       75   5        0  25 
      0 -74        0 -54        0 -34        0 -14        8   6        0  26 
      0 -73        0 -53        0 -33        0 -13        2   7        1  27 
      0 -72        0 -52        0 -32        0 -12        0   8        4  28 
      0 -71        0 -51        0 -31        0 -11        0   9        6  29 
      0 -70        0 -50        0 -30        0 -10        0  10        6  30 
      0 -69        0 -49        0 -29        0  -9        0  11        1  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        5  35 
      0 -64        0 -44        0 -24        0  -4        0  16        1  36 
      0 -63        0 -43        0 -23        0  -3        0  17        3  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 ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             | o                                     
300000 |                             | o                                     
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             | o                                     
220000 |                             o o                                     
200000 |                             ooo                                     
180000 |                             ooo                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             ooo                                     
 40000 |                             oooo                                    
 20000 |                             oooo                                    
     0 |_________._________._________.ooooooo__._________.______ooooo___ooo__
     -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 =    2810.        0 thru  39 =  799908.
  histend                     K       =  200000.       40 thru Max =      84.

  End  analysis of Test T220  at               09:49:39.759 980422
==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               09:49:40.007 980422
  End execution of Test T400  at               09:49:40.236 980422
  Duration                                            0.229 
Start  analysis of Test T400  at               09:49:40.238 980422

Thread start, stop, and dur times.
   0.033    0.033    0.000    0.000    0.000    0.000    0.000    0.000 
   0.227    0.229    0.000    0.000    0.000    0.000    0.000    0.000 
   0.194    0.196    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      13       0       0
   9999    9957   10040       0       0
  19998   19784   20226       0       0
  29997   29803   30105       0       0
  39996   40739   39518       0       0
  49995   50626   49374       0       0
  59994   60512   59478       0       0
  69993   70402   69576       0       0
  79992   80304   79669       0       0
  89991   90224   89741       0       0
  99990  100218   99776       0       0
 109989  110163  109818       0       0
 119988  120178  119791       0       0
 129987  128707  131290       0       0
 139986  138726  141251       0       0
 149985  148691  151309       0       0
 159984  158359  161700       0       0
 169983  168327  171708       0       0
 179982  176384  183638       0       0
 189981  186319  193234       0       0
 199980  196422  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       
                                                                       1        
                                                                    2 1         
                                                                   211          
                                                                  21            
                                                                 21             
                                                                21              
                                                               21               
                                                              21                
                                                             21                 
                                                            21                  
                                                           21                   
                                                          21                    
                                                         21                     
                                                        21                      
                                                       21                       
                                                      21                        
                                                     21                         
                                                    21                          
                                                   21                           
                                                  21                            
                                                 21                             
                                                 1                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     1                                                          
                    12                                                          
                   12                                                           
                  12                                                            
                 12                                                             
                12                                                              
               32                                                               
              3                                                                 
             3                                                                  
            3                                                                   
           3                                                                    
          3                                                                     
         3                                                                      
        3                                                                       
       3                                                                        
      3                                                                         
     3                                                                          
    3                                                                           
   2                                                                            
  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       177844          0
   1        77582      87399
   2       126535     108990
   3        14494      21243
   4         3317       3263
   5          152       1081
   6           15        130
   7           10         10
   8           14          4
   9            9          4
  10            0          1
  11            0          2
  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           24         25

 d =  -9. 
Event 4.1. u[   3116] =    2986 <    2987; v[   2987] =    3107 <    3116.
b=2 c=2 u[   3108]:    2984    2985    2985    2986    2986    2986    2986
                       2986    2986
Event 4.2. v[   9821] =    9882 <    9883; u[   9883] =    9812 <    9821.
b=1 c=1 v[   9813]:    9881    9881    9881    9882    9882    9882    9882
                       9882    9882
 d =  -8. 
Event 4.1. u[   3115] =    2986 <    2987; v[   2987] =    3107 <    3115.
b=2 c=2 u[   3108]:    2984    2985    2985    2986    2986    2986    2986
                       2986
Event 4.1. u[   3162] =    3005 <    3006; v[   3006] =    3154 <    3162.
b=1 c=1 u[   3155]:    3004    3004    3004    3005    3005    3005    3005
                       3005
Event 4.2. v[   9719] =    9860 <    9861; u[   9861] =    9711 <    9719.
b=1 c=1 v[   9712]:    9859    9859    9859    9859    9859    9860    9860
                       9860
Event 4.2. v[   9732] =    9863 <    9864; u[   9864] =    9724 <    9732.
b=1 c=1 v[   9725]:    9862    9862    9862    9863    9863    9863    9863
                       9863
Event 4.2. v[   9820] =    9882 <    9883; u[   9883] =    9812 <    9820.
b=1 c=1 v[   9813]:    9881    9881    9881    9882    9882    9882    9882
                       9882
 d =  -7. 
Event 4.1. u[   3114] =    2986 <    2987; v[   2987] =    3107 <    3114.
b=2 c=2 u[   3108]:    2984    2985    2985    2986    2986    2986    2986
Event 4.1. u[   3118] =    2987 <    2988; v[   2988] =    3111 <    3118.
b=1 c=1 u[   3112]:    2986    2986    2986    2986    2986    2987    2987
Event 4.1. u[   3161] =    3005 <    3006; v[   3006] =    3154 <    3161.
b=1 c=1 u[   3155]:    3004    3004    3004    3005    3005    3005    3005
Event 4.2. v[   9495] =    9812 <    9813; u[   9813] =    9488 <    9495.
b=2 c=2 v[   9489]:    9810    9811    9811    9812    9812    9812    9812
Event 4.2. v[   9503] =    9815 <    9816; u[   9816] =    9496 <    9503.
b=2 c=2 v[   9497]:    9813    9814    9814    9815    9815    9815    9815
Event 4.2. v[   9514] =    9818 <    9819; u[   9819] =    9507 <    9514.
b=1 c=1 v[   9508]:    9817    9817    9817    9818    9818    9818    9818
Event 4.2. v[   9718] =    9860 <    9861; u[   9861] =    9711 <    9718.
b=1 c=1 v[   9712]:    9859    9859    9859    9859    9859    9860    9860
Event 4.2. v[   9843] =    9888 <    9889; u[   9889] =    9836 <    9843.
b=1 c=1 v[   9837]:    9887    9887    9887    9888    9888    9888    9888

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   2978    2883    3082       1       0       2       2
   2979    2883    3082       0      -1       3       3
   2980    2883    3087      -1      -1       4       2
   2981    2883    3090      -2      -2       5       2
   2982    2885    3092      -1      -2       3       3
   2983    2885    3097      -2      -2       4       3
   2984    2886    3099      -1      -1       3       3
   2985    2888    3102       0      -2       2       2
   2986    2888    3107      -1      -2       3       2
   2987    2888    3107      -2      -3       4       3
   2988    2890    3111      -2      -2       3       3
   2989    2891    3117      -1      -2       3       3
   2990    2894    3119      -1      -1       2       3
   2991    2894    3119      -2      -2       3       4
   2992    2895    3122      -1      -2       4       3
   2993    2895    3125      -2      -1       5       3
   2994    2896    3128       0      -2       5       2
   2995    2896    3133      -1      -1       6       2
   2996    2896    3135      -2      -1       7       2
   2997    2900    3135       1      -2       3       3
   2998    2900    3137       0      -2       4       3
   2999    2900    3139      -1      -1       5       3
   3000    2901    3142      -1      -2       4       2
   3001    2901    3145      -2      -1       5       3
   3002    2903    3146      -1      -2       3       2
   3003    2905    3149      -1      -1       2       3
   3004    2905    3152      -2      -2       3       2
   3005    2906    3154      -1      -1       3       3
   3006    2908    3154       0      -2       2       4
   3007    2908    3158      -1      -2       3       3
   3008    2909    3163      -1      -1       4       3
   3009    2909    3164      -2      -2       5       3
   3010    2911    3167      -1       0       3       1
   3011    2912    3167       0      -1       2       2
   3012    2912    3168      -1      -1       3       3
   3013    2914    3170      -1       2       2       2
   3014    2914    3170      -2       1       3       3

   3107    2984    3263      -5      -2      10       4
   3108    2984    3264      -6      -1      11       3
   3109    2985    3266      -2       2      10       2
   3110    2985    3266      -3       1      11       3
   3111    2986    3266      -4       0       9       4
   3112    2986    3266      -5      -1      10       5
   3113    2986    3269      -6       1      11       2
   3114    2986    3269      -7       0      12       3
   3115    2986    3269      -8      -1      13       4
   3116    2986    3270      -9      -2      14       4
   3117    2987    3272      -6      -1      10       3
   3118    2987    3273      -7      -1      11       2
   3119    2989    3274       0      -2       8       3
   3120    2989    3274      -1      -3       9       4
   3121    2989    3276      -2      -1      10       4
   3122    2990    3278      -3       0       5       2
   3123    2990    3278      -4      -1       6       3
   3124    2990    3279      -5      -1       7       4
   3125    2992    3279       0      -2       6       5

   3154    3004    3309       0      -2       5       4
   3155    3004    3312      -1      -1       6       3
   3156    3004    3313      -2       0       7       2
   3157    3004    3313      -3      -1       8       3
   3158    3005    3314      -4      -2       6       4
   3159    3005    3314      -5      -3       7       5
   3160    3005    3316      -6      -1       8       4
   3161    3005    3316      -7      -2       9       5
   3162    3005    3316      -8      -3      10       6
   3163    3006    3319      -5       1       9       3
   3164    3007    3319      -1       0      10       4
   3165    3007    3319      -2      -1      11       5
   3166    3009    3320       1      -1       3       4
   3167    3009    3321       0      -2       4       3
   3168    3010    3322      -1      -1       4       3
   3169    3011    3322      -1      -2       2       4
   3170    3011    3324      -2      -1       3       3

   9488    9242    9810      -2      -3       4       8
   9489    9243    9810      -1      -4       3       9
   9490    9245    9811       0      -2       2       7
   9491    9245    9811      -1      -3       3       8
   9492    9247    9812      -2      -4       2       7
   9493    9248    9812      -1      -5       3       8
   9494    9248    9812      -2      -6       4       9
   9495    9250    9812      -1      -7       3      10
   9496    9251    9813       0      -4       2       8
   9497    9251    9813      -1      -5       3       9
   9498    9253    9814      -1      -2       2      10
   9499    9253    9814      -2      -3       3      11
   9500    9255    9815      -2      -4       3       8
   9501    9256    9815      -1      -5       3       9
   9502    9256    9815      -2      -6       4      10
   9503    9258    9815      -1      -7       3      11
   9504    9258    9816      -2      -4       4       8
   9505    9259    9816      -1      -5       3       9
   9506    9261    9816       0      -6       2      10
   9507    9261    9817      -1      -3       3      11
   9508    9261    9817      -2      -4       4      12
   9509    9263    9817      -1      -5       3      13
   9510    9263    9817      -2      -6       4      14
   9511    9264    9818      -1      -4       5      11
   9512    9264    9818      -2      -5       6      12
   9513    9266    9818      -1      -6       3      13
   9514    9266    9818      -2      -7       4      14
   9515    9268    9819      -1      -4       3      11
   9516    9269    9819      -1      -5       2      12
   9517    9271    9820       0      -2       2      10
   9518    9271    9820      -1      -3       3      11
   9519    9272    9820       0      -4       4      12
   9520    9272    9820      -1      -5       5      13
   9521    9274    9821      -1      -4       2      10

   9711    9365    9859      -1       0       3       9
   9712    9366    9859      -1      -1       2      10
   9713    9368    9859       0      -2       2      11
   9714    9368    9859      -1      -3       3      12
   9715    9368    9859      -2      -4       4      13
   9716    9368    9859      -3      -5       5      14
   9717    9371    9860      -1      -6       3      10
   9718    9371    9860      -2      -7       4      11
   9719    9372    9860      -1      -8       3      12
   9720    9374    9861       0       0       2       9
   9721    9374    9861      -1      -1       3      10
   9722    9376    9862      -1       2       2      11
   9723    9376    9862      -2       1       3      12
   9724    9376    9862      -3       0       4      13
   9725    9378    9862      -1      -1       4      14
   9726    9378    9862      -2      -2       5      15
   9727    9380    9862      -1      -3       3      16
   9728    9380    9863      -2      -4       4       8
   9729    9381    9863      -1      -5       3       9
   9730    9383    9863       0      -6       2      10
   9731    9383    9863      -1      -7       3      11
   9732    9384    9863      -2      -8       4      12
   9733    9386    9864      -1       0       3       9
   9734    9388    9864       0      -1       2      10
   9735    9388    9864      -1      -2       3      11
   9736    9390    9864      -1      -3       2      12
   9737    9390    9864      -2      -4       3      13
   9738    9391    9864      -1      -5       4      14
   9739    9391    9865      -2      -1       5      15
   9740    9391    9865      -3      -2       6      16

   9806    9472    9879      -2       0       3       9
   9807    9475    9879      -2      -1       3      10
   9808    9477    9880      -1       0       3       8
   9809    9480    9880      -1      -1       2       9
   9810    9483    9881      -1       2       2       4
   9811    9485    9881      -1       1       2       5
   9812    9488    9881      -2       0       2       6
   9813    9488    9881      -3      -1       3       7
   9814    9492    9881      -2      -2       3       8
   9815    9496    9881      -2      -3       3       9
   9816    9496    9882      -3      -4       4       8
   9817    9500    9882      -2      -5       3       9
   9818    9504    9882      -2      -6       3      10
   9819    9507    9882      -2      -7       3      11
   9820    9511    9882      -2      -8       3      12
   9821    9515    9882      -2      -9       3      13
   9822    9517    9883      -2      -5       3      10
   9823    9521    9883      -2      -6       3      11
   9824    9523    9883      -1      -7       3      12
   9825    9527    9884      -1       0       2      13
   9826    9528    9884      -2      -1       2      14
   9827    9530    9885      -2       3       3      10
   9828    9535    9885      -2       2       3      11
   9829    9540    9885      -1       1       2      12
   9830    9548    9885       0       0       1      13

   9836    9579    9887       0       0       1       6
   9837    9587    9887       0      -1       1       7
   9838    9587    9887      -1      -2       2       8
   9839    9595    9887       0      -3       1       9
   9840    9603    9888       0      -4       1       8
   9841    9605    9888      -1      -5       1       9
   9842    9612    9888      -1      -6       1      10
   9843    9619    9888      -1      -7       1      11
   9844    9623    9889      -1       0       2       8
   9845    9630    9889       0      -1       1       9
   9846    9639    9890       0       4       1      10
   9847    9639    9890      -1       3       2      11
   9848    9645    9890       0       2       1      12
   9849    9652    9890      -1       1       1      13
   9850    9655    9890      -1       0       2      14
   9851    9662    9890       0      -1       1      15
   9852    9670    9890      -1      -2       1      16
   9853    9672    9891       0      -1       2       9
   9854    9677    9893      -1      -1       1       2
   9855    9685    9895       0       0       1       2
   9856    9693    9895       0      -1       1       3
   9857    9693    9898      -1       0       2       2
   9858    9702    9898       0      -1       1       3
   9859    9707    9900       0       0       1       2
   9860    9711    9900      -1      -1       1       3
   9861    9711    9901      -2      -1       2       4
   9862    9720    9901      -1      -2       2       5
   9863    9724    9903      -1      -1       1       3
   9864    9724    9904      -2       0       2       2
   9865    9733    9904      -1      -1       2       3
   9866    9738    9906      -1      -2       2       2
   9867    9741    9906      -1      -3       2       3
   9868    9749    9908      -1       0       1       4
   9869    9752    9908      -1      -1       2       5
   9870    9756    9909      -1      -1       2       6
   9871    9764    9909       0      -2       1       7
   9872    9768    9911      -1      -1       1       3
   9873    9774    9913      -1      -1       1       2
   9874    9778    9913      -1      -2       2       3
   9875    9781    9914      -1       0       2       3
   9876    9789    9916      -1      -1       1       1
   9877    9793    9917      -1      -1       2       2
   9878    9797    9919      -1       0       1       2
   9879    9800    9919      -1      -1       2       3
   9880    9806    9921      -1      -1       1       2
   9881    9808    9921      -1      -2       2       3
   9882    9812    9923      -1      -2       1       3
   9883    9812    9923      -2      -3       2       4
   9884    9817    9924      -2      -1       2       4
   9885    9825    9927      -1      -1       2       2
   9886    9830    9927      -1      -2       1       3
   9887    9832    9928      -1      -1       2       3
   9888    9836    9930      -1       1       1       2
   9889    9836    9930      -2       0       2       3
   9890    9844    9930      -1      -1       2       4
   9891    9850    9930      -1      -2       1       5
   9892    9852    9932      -1      -1       2       3
   9893    9852    9932      -2      -2       3       4
   9894    9853    9933      -1      -1       4       3
   9895    9853    9935      -2      -1       5       2
   9896    9855    9937      -1       0       3       2

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     90850     90850         0         0     -1
 -2     53283     56770         0         0     -2
 -3     13866     13886         0         0     -3
 -4      1929      1225         0         0     -4
 -5       124        68         0         0     -5
 -6         8        18         0         0     -6
 -7         3         8         0         0     -7
 -8         2         3         0         0     -8
 -9         1         1         0         0     -9
-10         0         0         0         0    -10

Totals / Min / Under -25:  
       160066    162829         0         0
            9         9         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  796436.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -9.      -80 thru  -1 =  322895.
  Behav =     Relaxed.        Maximum =    2086.        0 thru  39 =  466586.
  histend                     K       =  200000.       40 thru Max =    6955.

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

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

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

  End  analysis of Test T400  at               09:49:43.301 980422
==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               09:49:43.661 980422
  End execution of Test T410  at               09:49:43.953 980422
  Duration                                            0.292 
Start  analysis of Test T410  at               09:49:44.038 980422

Thread start, stop, and dur times.
   0.003    0.003    0.000    0.000    0.000    0.000    0.000    0.000 
   0.270    0.201    0.000    0.000    0.000    0.000    0.000    0.000 
   0.267    0.198    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    8808   11714       0       0
  19998  174466   11845       0       0
  29997  182083   11845       0       0
  39996  190103   11845       0       0
  49995  196766   11845       0       0
  59994  199999   11845       0       0
  69993  199999   11845       0       0
  79992  199999   11845       0       0
  89991  199999   15756       0       0
  99990  199999   15756       0       0
 109989  199999   15756       0       0
 119988  199999   15756       0       0
 129987  199999   15756       0       0
 139986  199999   15756       0       0
 149985  199999   15756       0       0
 159984  199999   15756       0       0
 169983  199999   15756       0       0
 179982  199999   27564       0       0
 189981  199999   39841       0       0
 199980  199999   53994       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                     11111111111111111111111111111111111111111111111111111111111
                   11                                                           
                 11                                                             
                1                                                               
               1                                                                
              1                                                                 
             1                                                                  
           11                                                                   
          1                                                                     
         1                                                                      
       11                                                                       
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
      1                                                                         
     1                                                                          
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                               2
                                                                              2 
                                                                             2  
                                                                                
                                                                            2   
                                                                                
                                                                           2    
                                                                          2     
                                                                         2      
                                                                        2       
                                                                                
                                                                       2        
                                                                      2         
                                                                     2          
                                                                                
                                    222222222222222222222222222222222           
                                   2                                            
    2222222222222222222222222222222                                             
   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       353234          0
   1        15325      21182
   2        26943      16098
   3         3857       8419
   4          567        598
   5           32        376
   6            5         54
   7            3          3
   8            0          1
   9            0          1
  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           30         30

 d =  -7. 
Event 4.2. v[  10111] =   11842 <   11843; u[  11843] =   10104 <   10111.
b=0 c=0 v[  10105]:   11842   11842   11842   11842   11842   11842   11842
Event 4.1. u[  17179] =  174365 <  174366; v[ 174366] =   17172 <   17179.
b=0 c=0 u[  17173]:  174365  174365  174365  174365  174365  174365  174365
 d =  -6. 
Event 4.1. u[   3994] =    2993 <    2994; v[   2994] =    3988 <    3994.
b=1 c=1 u[   3989]:    2992    2993    2993    2993    2993    2993
Event 4.1. u[   4037] =    3007 <    3008; v[   3008] =    4031 <    4037.
b=1 c=1 u[   4032]:    3006    3007    3007    3007    3007    3007
Event 4.2. v[  10110] =   11842 <   11843; u[  11843] =   10104 <   10110.
b=0 c=0 v[  10105]:   11842   11842   11842   11842   11842   11842
Event 4.1. u[  17178] =  174365 <  174366; v[ 174366] =   17172 <   17178.
b=0 c=0 u[  17173]:  174365  174365  174365  174365  174365  174365
Event 4.2. v[ 177142] =   24074 <   24075; u[  24075] =  177136 <  177142.
b=1 c=1 v[ 177137]:   24073   24073   24073   24074   24074   24074
 d =  -5. 
Event 4.1. u[   3964] =    2982 <    2983; v[   2983] =    3959 <    3964.
b=0 c=0 u[   3960]:    2982    2982    2982    2982    2982
Event 4.1. u[   3974] =    2986 <    2987; v[   2987] =    3969 <    3974.
b=1 c=1 u[   3970]:    2985    2985    2985    2985    2986
Event 4.1. u[   3979] =    2987 <    2988; v[   2988] =    3974 <    3979.
b=0 c=0 u[   3975]:    2987    2987    2987    2987    2987
Event 4.1. u[   3993] =    2993 <    2994; v[   2994] =    3988 <    3993.
b=1 c=1 u[   3989]:    2992    2993    2993    2993    2993
Event 4.1. u[   4036] =    3007 <    3008; v[   3008] =    4031 <    4036.
b=1 c=1 u[   4032]:    3006    3007    3007    3007    3007
Event 4.2. v[  10109] =   11842 <   11843; u[  11843] =   10104 <   10109.
b=0 c=0 v[  10105]:   11842   11842   11842   11842   11842
Event 4.1. u[  17177] =  174365 <  174366; v[ 174366] =   17172 <   17177.
b=0 c=0 u[  17173]:  174365  174365  174365  174365  174365
Event 4.2. v[ 176549] =   23395 <   23396; u[  23396] =  176544 <  176549.
b=2 c=2 v[ 176545]:   23393   23394   23395   23395   23395

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   2978    2279    3950       1      -1       3       2
   2979    2279    3950       0      -2       4       3
   2980    2279    3954      -1       0       5       3
   2981    2279    3954      -2      -1       6       4
   2982    2280    3956      -1      -2       5       2
   2983    2280    3959      -2      -1       6       3
   2984    2281    3962      -1      -2       5       2
   2985    2281    3965      -2      -1       6       3
   2986    2283    3969       0      -1       3       2
   2987    2283    3969      -1      -2       4       3
   2988    2283    3974      -2      -1       5       3
   2989    2285    3978       1      -2       3       2
   2990    2285    3978       0      -3       4       3
   2991    2285    3982      -1      -1       5       3
   2992    2286    3986      -1      -1       4       2
   2993    2286    3986      -2      -2       5       3
   2994    2288    3988       0      -2       3       3
   2995    2288    3993      -1      -2       4       2
   2996    2288    3995      -2      -1       5       3
   2997    2290    4000       1      -1       3       2
   2998    2290    4005       0      -1       4       2
   2999    2290    4010      -1      -1       5       2
   3000    2291    4013      -1       0       4       2
   3001    2291    4017      -2      -1       5       1
   3002    2293    4019       0      -1       3       2
   3003    2293    4022      -1      -1       4       2
   3004    2293    4024      -2      -1       5       2
   3005    2295    4024       1      -2       3       3
   3006    2295    4029       0      -1       4       2
   3007    2295    4031      -1      -1       5       2
   3008    2296    4031      -1      -2       4       3
   3009    2296    4035      -2      -2       5       2
   3010    2296    4038      -3      -1       6       3
   3011    2297    4038      -2      -2       5       4
   3012    2299    4040       0      -1       3       3
   3013    2299    4042      -1      -1       4       2
   3014    2299    4042      -2      -2       5       3

   3988    2992    5240      -2      -2       6       4
   3989    2992    5241      -3      -1       7       3
   3990    2993    5242      -2      -2       4       4
   3991    2993    5242      -3      -3       5       5
   3992    2993    5244      -4       0       6       4
   3993    2993    5244      -5      -1       7       5
   3994    2993    5246      -6      -2       8       2
   3995    2995    5247       0      -2       7       3
   3996    2995    5247      -1      -3       8       4
   3997    2995    5249      -2      -1       9       4
   3998    2995    5251      -3       0      10       2
   3999    2995    5253      -4      -1      11       1
   4000    2996    5253       0      -2       7       2

   4031    3006    5290       0      -2       7       2
   4032    3006    5290      -1      -3       8       3
   4033    3007    5294      -2       0       4       2
   4034    3007    5296      -3       0       5       1
   4035    3007    5296      -4      -1       6       2
   4036    3007    5298      -5      -1       7       2
   4037    3007    5298      -6      -2       8       3
   4038    3008    5298      -3      -3       7       4
   4039    3009    5300      -1      -1       8       4
   4040    3011    5300       0      -2       2       5
   4041    3011    5302      -1      -1       3       3
   4042    3012    5302       0      -2       4       4
   4043    3012    5304      -1      -1       5       3

  10104    8897   11840      -1      -1       6       4
  10105    8899   11842       0      -1       2       2
  10106    8899   11842      -1      -2       3       3
  10107    8901   11842       1      -3       2       4
  10108    8901   11842       0      -4       3       5
  10109    8901   11842      -1      -5       4       6
  10110    8903   11842       0      -6       2       7
  10111    8903   11842      -1      -7       3       8
  10112    8904   11845      -2   75927       4       8
  10113    8904   11845      -3   75926       5       9
  10114    8906   11845       0   75925       4      10
  10115    8906   11845      -1   75924       5      11
  10116    8906   11845      -2   75923       6      12
  10117    8908   11845      -1   75922       3      13
  10118    8908   11845      -2   75921       4      14

  11836   10098   11845      -2   74203       4    1732
  11837   10100   11845       1   74202       3    1733
  11838   10100   11845       0   74201       4    1734
  11839   10100   11845      -1   74200       5    1735
  11840   10102   11845       0   74199       2    1736
  11841   10103   11845      -1   74198       3    1737
  11842   10104   11845       0   74197       2    1738
  11843   10104   11845      -1   74196       3    1739
  11844   10104   11845      -2   74195       4    1740
  11845   86039   11845     544   74194       0    1741
  11846   86039   11845     543   74193       1    1742
  11847   86039   11845     542   74192       2    1743
  11848   86039   11845     541   74191       3    1744
  11849   86039   11845     540   74190       4    1745
  11850   86039   11845     539   74189       5    1746

  17172  174363   11845      -2   68867       3    7068
  17173  174365   11845      -1   68866       3    7069
  17174  174365   11845      -2   68865       4    7070
  17175  174365   11845      -3   68864       5    7071
  17176  174365   11845      -4   68863       6    7072
  17177  174365   11845      -5   68862       7    7073
  17178  174365   11845      -6   68861       8    7074
  17179  174365   11845      -7   68860       9    7075
  17180  174366   11845      -2   68859       8    7076
  17181  174368   11845      -1   68858       3    7077
  17182  174370   11845       0   68857       2    7078
  17183  174370   11845      -1   68856       3    7079
  17184  174371   11845      -1   68855       4    7080
  17185  174371   11845      -2   68854       5    7081
  17186  174373   11845       1   68853       3    7082

  24069  177120   11845      -2   61970       3   13965
  24070  177124   11845      -1   61969       2   13966
  24071  177127   11845      -1   61968       2   13967
  24072  177130   11845      -1   61967       2   13968
  24073  177133   11845      -1   61966       2   13969
  24074  177136   11845      -1   61965       2   13970
  24075  177136   11845      -2   61964       3   13971
  24076  177143   11845       0   61963       2   13972
  24077  177143   11845      -1   61962       3   13973
  24078  177146   11845      -1   61961       2   13974
  24079  177148   11845       0   61960       2   13975
  24080  177151   11845      -1   61959       1   13976
  24081  177153   11845       0   61958       2   13977

 174359  199999   17164 2097152       0  120344       2
 174360  199999   17165 2097152      -1  120345       3
 174361  199999   17167 2097152      -1  120346       2
 174362  199999   17169 2097152      -1  120347       2
 174363  199999   17170 2097152      -2  120348       3
 174364  199999   17170 2097152      -3  120349       4
 174365  199999   17172 2097152       0  120350       4
 174366  199999   17172 2097152      -1  120351       5
 174367  199999   17178 2097152      -2  120352       2
 174368  199999   17178 2097152      -3  120353       3
 174369  199999   17180 2097152      -1  120354       4
 174370  199999   17180 2097152      -2  120355       5
 174371  199999   17182 2097152      -1  120356       3
 174372  199999   17183 2097152      -1  120357       2
 174373  199999   17185 2097152       0  120358       2

 177136  199999   24073 2097152       0  123121       6
 177137  199999   24073 2097152      -1  123122       7
 177138  199999   24073 2097152      -2  123123       8
 177139  199999   24073 2097152      -3  123124       9
 177140  199999   24074 2097152      -4  123125       7
 177141  199999   24074 2097152      -5  123126       8
 177142  199999   24074 2097152      -6  123127       9
 177143  199999   24075 2097152       0  123128       7
 177144  199999   24076 2097152      -1  123129       8
 177145  199999   24076 2097152      -2  123130       9
 177146  199999   24076 2097152      -3  123131      10
 177147  199999   24077 2097152      -1  123132       4
 177148  199999   24079 2097152       3  123133       2

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     16619     16619         0         0     -1
 -2     12094      8242         0         0     -2
 -3      2340      2321         0         0     -3
 -4        38       174         0         0     -4
 -5         6         6         0         0     -5
 -6         3         2         0         0     -6
 -7         1         1         0         0     -7
 -8         0         0         0         0     -8

Totals / Min / Under -25:  
        31101     27365         0         0
            7         7         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  654011.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -7.      -80 thru  -1 =   58466.
  Behav =     Relaxed.        Maximum =   83979.        0 thru  39 =  425968.
  histend                     K       =  200000.       40 thru Max =  169577.

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

            ------ Relaxed ------    |         ------ Strong ------       
 38000 |                             |                                       
 36000 |                             |                                       
 34000 |                             |                                       
 32000 |                             |                                       
 30000 |                             |                                       
 28000 |                             |                                       
 26000 |                             |                                       
 24000 |                             |  o                                    
 22000 |                             |  o                                    
 20000 |                             |  oo                                   
 18000 |                             | ooo                                   
 16000 |                             | ooo                                   
 14000 |                             | ooo                                   
 12000 |                             | ooo                                   
 10000 |                             | oooo                                  
  8000 |                             | oooo                                  
  6000 |                             | oooo                                  
  4000 |                             |ooooo                                  
  2000 |                             |oooooo                                 
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T410  at               09:49:46.287 980422
==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               09:49:46.624 980422
  End execution of Test T420  at               09:49:46.864 980422
  Duration                                            0.240 
Start  analysis of Test T420  at               09:49:47.024 980422

Thread start, stop, and dur times.
   0.013    0.013    0.000    0.000    0.000    0.000    0.000    0.000 
   0.240    0.211    0.000    0.000    0.000    0.000    0.000    0.000 
   0.227    0.198    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      12       0       0
   9999   12088    9415       0       0
  19998   12088   39172       0       0
  29997   12088   48566       0       0
  39996   21448   58389       0       0
  49995   31383   68315       0       0
  59994   41598   78080       0       0
  69993   51720   87463       0       0
  79992   61876   97467       0       0
  89991   72745  102757       0       0
  99990   82627  102757       0       0
 109989  139782  102757       0       0
 119988  150287  102757       0       0
 129987  160136  102757       0       0
 139986  192539  110171       0       0
 149985  199999  119706       0       0
 159984  199999  129843       0       0
 169983  199999  135581       0       0
 179982  199999  135581       0       0
 189981  199999  137455       0       0
 199980  199999  147403       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                          1111111111111111111111
                                                         1                      
                                                        1                       
                                                       1                        
                                                      1                         
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                     1                          
                                                                                
                                                    1                           
                                                   1                            
                                                  1                             
                                                 1                              
                                                1                               
                                               1                                
                                              1                                2
                                             1                                2 
                                            1                                2  
                                           1                                2   
                                          1                       2222222222    
                                         1                       2              
                                                                2               
                                                               2                
                                                              2                 
                                                             2                  
                                                            2                   
                                                           2                    
                                                          2                     
                                                         2                      
                                                        2                       
                                                       2                        
                                                      2                         
                                  22222222222222222222                          
                                 2                                              
                                2                                               
                               2                                                
                              2                                                 
                             2                                                  
                            2                                                   
                           2                                                    
                          2             1                                       
                         2             1                                        
                        2             1                                         
                       2             1                                          
                      2             1                                           
                     2             1                                            
                    2             1                                             
                   2             1                                              
                  2             1                                               
                 2             1                                                
                2             1                                                 
               2             1                                                  
              2             1                                                   
             2             1                                                    
            2                                                                   
           2              1                                                     
          2              1                                                      
         2              1                                                       
       22              1                                                        
      2               1                                                         
     2               1                                                          
                    1                                                           
                   1                                                            
                  1                                                             
                 1                                                              
                1                                                               
               1                                                                
              1                                                                 
             1                                                                  
    111111111                                                                   
  112                                                                           
                                                                                
 122                                                                            
                                                                                
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       234010          0
   1       103259     117994
   2        55602      28699
   3         6667      16813
   4          332       1785
   5           56        611
   6           20         34
   7            4          8
   8            2          2
   9            3          0
  10            1          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           40         40

 d =  -6. 
Event 4.2. v[  57891] =   76164 <   76165; u[  76165] =   57885 <   57891.
b=0 c=0 v[  57886]:   76164   76164   76164   76164   76164   76164
Event 4.2. v[  68606] =   86633 <   86634; u[  86634] =   68600 <   68606.
b=0 c=0 v[  68601]:   86633   86633   86633   86633   86633   86633
Event 4.1. u[  87136] =   68749 <   68750; v[  68750] =   87130 <   87136.
b=0 c=0 u[  87131]:   68749   68749   68749   68749   68749   68749
 d =  -5. 
Event 4.2. v[  36446] =   55082 <   55083; u[  55083] =   36441 <   36446.
b=1 c=1 v[  36442]:   55081   55082   55082   55082   55082
Event 4.2. v[  36675] =   55246 <   55247; u[  55247] =   36670 <   36675.
b=0 c=0 v[  36671]:   55246   55246   55246   55246   55246
Event 4.2. v[  36707] =   55258 <   55259; u[  55259] =   36702 <   36707.
b=0 c=0 v[  36703]:   55258   55258   55258   55258   55258
Event 4.1. u[  38899] =   18678 <   18679; v[  18679] =   38894 <   38899.
b=1 c=1 u[  38895]:   18677   18677   18678   18678   18678
Event 4.1. u[  38903] =   18679 <   18680; v[  18680] =   38898 <   38903.
b=1 c=1 u[  38899]:   18678   18679   18679   18679   18679
Event 4.1. u[  42303] =   23788 <   23789; v[  23789] =   42298 <   42303.
b=1 c=1 u[  42299]:   23787   23788   23788   23788   23788
Event 4.1. u[  42312] =   23791 <   23792; v[  23792] =   42307 <   42312.
b=0 c=0 u[  42308]:   23791   23791   23791   23791   23791
Event 4.1. u[  42327] =   23797 <   23798; v[  23798] =   42322 <   42327.
b=1 c=1 u[  42323]:   23796   23797   23797   23797   23797
Event 4.1. u[  42336] =   23801 <   23802; v[  23802] =   42331 <   42336.
b=1 c=1 u[  42332]:   23800   23800   23800   23801   23801
Event 4.1. u[  42342] =   23802 <   23803; v[  23803] =   42337 <   42342.
b=0 c=0 u[  42338]:   23802   23802   23802   23802   23802
Event 4.1. u[  42348] =   23804 <   23805; v[  23805] =   42343 <   42348.
b=1 c=1 u[  42344]:   23803   23803   23804   23804   23804
Event 4.1. u[  92351] =   74977 <   74978; v[  74978] =   92346 <   92351.
b=1 c=1 u[  92347]:   74976   74976   74976   74977   74977

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  36441   16421   55080      -2      -1       4       6
  36442   16422   55081      -2      -2       4       4
  36443   16423   55082      -2      -2       4       3
  36444   16424   55082      -2      -3       4       4
  36445   16425   55082      -2      -4       4       5
  36446   16426   55082      -2      -5       4       6
  36447   16427   55083      -2      -1       4       7
  36448   16428   55083      -2      -2       4       8
  36449   16429   55085      -2       1       4       3
  36450   16430   55085      -2       0       4       4
  36451   16431   55085      -2      -1       4       5

  36670   16566   55246      -1       0       3       6
  36671   16567   55246      -1      -1       3       7
  36672   16568   55246      -1      -2       3       8
  36673   16568   55246      -2      -3       4       9
  36674   16568   55246      -3      -4       5      10
  36675   16571   55246       0      -5       2      11
  36676   16571   55247      -1       0       3       9
  36677   16573   55248       1       2       2       7
  36678   16573   55248       0       1       3       8
  36679   16573   55248      -1       0       4       9
  36680   16575   55248       1      -1       2      10

  55078   36432   73440      -2       0       2       3
  55079   36435   73440      -1      -1       2       4
  55080   36438   73442       0       0       2       2
  55081   36440   73442      -1      -1       1       3
  55082   36440   73442      -2      -2       2       4
  55083   36441   73444      -2      -1       3       3
  55084   36446   73444      -1      -2       2       4
  55085   36448   73445       0      -1       2       3
  55086   36450   73447      -1      -1       1       2
  55087   36452   73447      -2      -2       2       3
  55088   36454   73449      -1      -1       3       3

  57885   39498   76164      -2       0       4       6
  57886   39499   76164      -2      -1       4       7
  57887   39500   76164      -2      -2       4       8
  57888   39501   76164      -2      -3       4       9
  57889   39502   76164      -2      -4       4      10
  57890   39503   76164      -2      -5       4      11
  57891   39504   76164      -2      -6       4      12
  57892   39504   76165      -3       3       5       7
  57893   39506   76165      -1       2       4       8
  57894   39506   76165      -2       1       5       9
  57895   39507   76166      -1       0       4      10
  57896   39509   76166       0      -1       2      11
  57897   39510   76166      -1      -2       3      12

  68600   50288   86631      -2      -1       3       2
  68601   50289   86633      -1      -1       3       2
  68602   50291   86633      -1      -2       2       3
  68603   50291   86633      -2      -3       3       4
  68604   50292   86633      -2      -4       4       5
  68605   50293   86633      -2      -5       4       6
  68606   50294   86633      -2      -6       4       7
  68607   50295   86634      -2      -1       4       7
  68608   50296   86634      -2      -2       4       8
  68609   50297   86636      -1       0       4       3
  68610   50298   86638      -1       0       4       1
  68611   50299   86639      -1       0       3       2
  68612   50302   86640      -1       0       2       2

  68744   50425   87123      -1      -1       5       2
  68745   50427   87124       0      -1       2       3
  68746   50428   87126      -1      -2       3       2
  68747   50431   87127       0      -1       2       3
  68748   50431   87129      -1      -1       3       2
  68749   50431   87130      -2       0       4       3
  68750   50433   87130       2      -1       3       4
  68751   50433   87136       1      -1       4       2
  68752   50433   87137       0      -1       5       3
  68753   50434   87137       0      -2       3       4
  68754   50435   87139       0       2       2       3
  68755   50436   87139      -1       1       2       4
  68756   50439   87139       2       0       2       5

  76159   57867   93552      -1       1       2       2
  76160   57871   93552      -1       0       2       3
  76161   57874   93552       0      -1       1       4
  76162   57874   93552      -1      -2       2       5
  76163   57879   93554      -1      -1       2       3
  76164   57885   93554       0      -2       1       4
  76165   57885   93555      -1      -1       2       3
  76166   57895   93557       0      -1       1       2
  76167   57895   93557      -1      -2       2       3
  76168   57904   93558       0      -1       1       4
  76169   57904   93561      -1      -1       2       2
  76170   57912   93562       0       0       1       2
  76171   57915   93562      -1      -1       1       3

  86628   68598  102757       2   45753       2    1150
  86629   68598  102757       1   45752       3    1151
  86630   68598  102757       0   45751       4    1152
  86631   68599  102757       0   45750       3    1153
  86632   68599  102757      -1   45749       4    1154
  86633   68600  102757       0   45748       3    1155
  86634   68600  102757      -1   45747       4    1156
  86635   68606  102757      -1   45746       2    1157
  86636   68609  102757       2   45745       2    1158
  86637   68609  102757       1   45744       3    1159
  86638   68609  102757       0   45743       4    1160
  86639   68610  102757       0   45742       3    1161
  86640   68611  102757       0   45741       2    1162

  87130   68747  102757      -1   45251       4    1652
  87131   68749  102757      -1   45250       2    1653
  87132   68749  102757      -2   45249       3    1654
  87133   68749  102757      -3   45248       4    1655
  87134   68749  102757      -4   45247       5    1656
  87135   68749  102757      -5   45246       6    1657
  87136   68749  102757      -6   45245       7    1658
  87137   68750  102757      -1   45244       7    1659
  87138   68751  102757      -1   45243       8    1660
  87139   68754  102757       0   45242       2    1661
  87140   68756  102757      -1   45241       1    1662
  87141   68756  102757      -2   45240       2    1663
  87142   68758  102757      -1   45239       3    1664

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     48645     48645         0         0     -1
 -2     34258     34543         0         0     -2
 -3      1741      1736         0         0     -3
 -4        72        73         0         0     -4
 -5        10         6         0         0     -5
 -6         1         2         0         0     -6
 -7         0         0         0         0     -7

Totals / Min / Under -25:  
        84727     85005         0         0
            6         6         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  747421.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -6.      -80 thru  -1 =  169732.
  Behav =     Relaxed.        Maximum =   46902.        0 thru  39 =  468126.
  histend                     K       =  200000.       40 thru Max =  109563.

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

            ------ Relaxed ------    |         ------ Strong ------       
 95000 |                             |                                       
 90000 |                             |                                       
 85000 |                             |                                       
 80000 |                             |   o                                   
 75000 |                             |  oo                                   
 70000 |                             |  oo                                   
 65000 |                             |  oo                                   
 60000 |                             |  oo                                   
 55000 |                             |  oo                                   
 50000 |                             |  oo                                   
 45000 |                             | ooo                                   
 40000 |                             | ooo                                   
 35000 |                             | ooo                                   
 30000 |                             | ooo                                   
 25000 |                             | ooo                                   
 20000 |                             | ooo                                   
 15000 |                             | oooo                                  
 10000 |                             |ooooo                                  
  5000 |                             |ooooo                                  
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T420  at               09:49:49.537 980422
==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               09:49:49.791 980422
  End execution of Test T700  at               09:49:50.081 980422
  Duration                                            0.290 
Start  analysis of Test T700  at               09:49:50.082 980422

Thread start, stop, and dur times.
   0.037    0.037    0.000    0.000    0.000    0.000    0.000    0.000 
   0.273    0.286    0.000    0.000    0.000    0.000    0.000    0.000 
   0.236    0.249    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  199999
   9999   27053    6676       0       0
  19998   44752    6676       0       0
  29997   54485   13997       0       0
  39996   64312   16353       0       0
  49995   74167   25427       0       0
  59994   84068   35597       0       0
  69993   95173   45706       0       0
  79992  103989   55892       0       0
  89991  113794   66042       0       0
  99990  123688   74833       0       0
 109989  133472   86119       0       0
 119988  137076   96254       0       0
 129987  137076  106373       0       0
 139986  137076  160787       0       0
 149985  137076  170683       0       0
 159984  139187  180456       0       0
 169983  149280  191927       0       0
 179982  159242  199999       0       0
 189981  168035  199999       0       0
 199980  178088  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                                                                     2222222222
                                                                     2          
                                                                    2           
                                                                   2            
                                                                  2             
                                                                 2              
                                                                                
                                                               22               
                                                              2                1
                                                             2                1 
                                                            2                1  
                                                           2                1   
                                                                           1    
                                                         22               1     
                                                        2                1      
                                                                        1       
                                                       2               1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                 1              
                                                                1               
                                                               1                
                                             111111111111111111                 
                                            1                                   
                                           1                                    
                                          1                                     
                                         1                                      
                                        1                                       
                                       1                                        
                                      1                                         
                                     1                                          
                                    1                 2                         
                                   1                 2                          
                                 11                 2                           
                                                   2                            
                               11                 2                             
                              1                  2                              
                             1                  2                               
                            1                  2                                
                           1                  2                                 
                                             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                                                  
        11                  2                                                   
       1                   2                                                    
                          2                                                     
                         2                                                      
                        2                                                       
                       2                                                        
      1               2                                                         
     1               2                                                          
    1               2                                                           
   1               2                                                            
                  2                                                             
                 2                                                              
             2222                                                               
            2                                                                   
           2                                                                    
          2                                                                     
  32222222                                                                      
 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       152750          0
   1       201536     203295
   2        40245      36966
   3         5049       6313
   4          313        544
   5           52         77
   6            8          7
   7            1          1
   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           42         43

 d =  -5. 
Event 7.1. u[   2980] =    2999 <    3000; v[   3000] =    2975 <    2980.
b=0 c=0 u[   2976]:    2999    2999    2999    2999    2999
Event 7.1. u[   5381] =    5350 <    5351; v[   5351] =    5376 <    5381.
b=0 c=0 u[   5377]:    5350    5350    5350    5350    5350
Event 7.1. u[   5476] =    5371 <    5372; v[   5372] =    5471 <    5476.
b=0 c=0 u[   5472]:    5371    5371    5371    5371    5371
Event 7.2. v[ 113826] =   90018 <   90019; u[  90019] =  113821 <  113826.
b=1 c=1 v[ 113822]:   90017   90018   90018   90018   90018
Event 7.2. v[ 130210] =  106594 <  106595; u[ 106595] =  130205 <  130210.
b=1 c=1 v[ 130206]:  106593  106594  106594  106594  106594
Event 7.2. v[ 172258] =  194138 <  194139; u[ 194139] =  172253 <  172258.
b=1 c=1 v[ 172254]:  194137  194137  194138  194138  194138
Event 7.1. u[ 175461] =  154751 <  154752; v[ 154752] =  175456 <  175461.
b=1 c=1 u[ 175457]:  154750  154751  154751  154751  154751
 d =  -4. 
Event 7.1. u[    228] =     200 <     201; v[    201] =     224 <     228.
b=1 c=1 u[    225]:     199     200     200     200
Event 7.1. u[   2919] =    2976 <    2977; v[   2977] =    2915 <    2919.
b=0 c=0 u[   2916]:    2976    2976    2976    2976
Event 7.1. u[   2926] =    2979 <    2980; v[   2980] =    2922 <    2926.
b=0 c=0 u[   2923]:    2979    2979    2979    2979
Event 7.1. u[   2949] =    2989 <    2990; v[   2990] =    2945 <    2949.
b=0 c=0 u[   2946]:    2989    2989    2989    2989
Event 7.1. u[   2964] =    2994 <    2995; v[   2995] =    2960 <    2964.
b=0 c=0 u[   2961]:    2994    2994    2994    2994
Event 7.1. u[   2973] =    2997 <    2998; v[   2998] =    2969 <    2973.
b=0 c=0 u[   2970]:    2997    2997    2997    2997
Event 7.1. u[   2979] =    2999 <    3000; v[   3000] =    2975 <    2979.
b=0 c=0 u[   2976]:    2999    2999    2999    2999
Event 7.1. u[ 194820] =  172928 <  172929; v[ 172929] =  194816 <  194820.
b=1 c=1 u[ 194817]:  172927  172928  172928  172928

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   2969    2996    2907      -2      -1       9       5
   2970    2997    2909      -1      -1       6       2
   2971    2997    2909      -2      -2       7       3
   2972    2997    2910      -3      -2       8       4
   2973    2997    2911      -4      -2       9       4
   2974    2998    2912      -1      -2       7       4
   2975    2998    2913      -2      -2       8       4
   2976    2999    2915      -1       0       7       3
   2977    2999    2915      -2      -1       8       4
   2978    2999    2920      -3      -1       9       2
   2979    2999    2920      -4      -2      10       3
   2980    2999    2922      -5      -1      11       3
   2981    3000    2927      -2      -1       8       2
   2982    3000    2927      -3      -2       9       3
   2983    3000    2929      -4      -1      10       3
   2984    3001    2930       0      -2       9       2
   2985    3001    2933      -1      -1      10       3

   2991    3004    2950       0      -1       7       2
   2992    3004    2952      -1      -1       8       2
   2993    3006    2954       1      -1       2       2
   2994    3006    2956       0      -2       3       2
   2995    3006    2960      -1      -1       4       2
   2996    3006    2964      -2      -1       5       2
   2997    3007    2967      -2      -1       6       2
   2998    3007    2969      -3      -1       7       2
   2999    3007    2973      -4      -1       8       2
   3000    3008    2975       0      -1       6       2
   3001    3008    2979      -1      -2       7       2
   3002    3008    2984      -2      -1       8       2
   3003    3008    2984      -3      -2       9       3
   3004    3010    2986      -1      -1       4       3
   3005    3011    2991      -1      -1       3       2

   5346    5338    5354       0      -1       2       2
   5347    5341    5359      -1      -1       1       1
   5348    5342    5363      -1      -1       2       2
   5349    5344    5368       0      -1       2       2
   5350    5344    5371      -1      -1       3       2
   5351    5344    5376      -2      -1       4       2
   5352    5344    5382      -3      -1       5       2
   5353    5344    5387      -4      -1       6       2
   5354    5345    5392       0      -1       7       2
   5355    5345    5395      -1      -1       8       2
   5356    5345    5400      -2      -1       9       2

   5367    5347    5450      -4      -1      13       1
   5368    5348    5452       0      -1       9       2
   5369    5348    5457      -1      -1      10       2
   5370    5348    5462      -2      -1      11       2
   5371    5348    5466      -3      -1      12       2
   5372    5349    5471      -1      -1       9       2
   5373    5349    5477      -2      -1      10       2
   5374    5349    5482      -3      -1      11       2
   5375    5349    5487      -4      -1      12       2
   5376    5350    5491       0      -1       8       2
   5377    5350    5497      -1      -1       9       1
   5378    5350    5498      -2       0      10       2
   5379    5350    5498      -3      -1      11       3
   5380    5350    5498      -4      -2      12       4
   5381    5350    5499      -5      -1      13       5
   5382    5351    5501       0       0      11       2
   5383    5351    5501      -1      -1      12       3
   5384    5351    5502      -2      -1      13       4
   5385    5351    5504      -3      -1      14       2
   5386    5351    5504      -4      -2      15       3

   5471    5371    5592       0      -2       9       4
   5472    5371    5593      -1      -2      10       4
   5473    5371    5594      -2      -2      11       4
   5474    5371    5594      -3      -3      12       5
   5475    5371    5596      -4      -1      13       4
   5476    5371    5596      -5      -2      14       5
   5477    5372    5597       0      -1      11       4
   5478    5372    5599      -1       0      12       2
   5479    5372    5599      -2      -1      13       3
   5480    5372    5600      -3      -1      14       4
   5481    5372    5603      -4       1      15       2

  90014  113816   66156      -2      -2       4       5
  90015  113817   66158      -1      -1       3       3
  90016  113818   66159      -2      -1       4       2
  90017  113819   66159      -2      -2       3       3
  90018  113820   66161      -2      -1       4       3
  90019  113821   66162      -2       0       4       2
  90020  113825   66162      -2      -1       2       3
  90021  113826   66162      -2      -2       3       4
  90022  113827   66163      -2      -1       4       5
  90023  113828   66164      -2      -1       4       4
  90024  113829   66165      -2      -1       4       3

 106590  130200   82592      -2      -2       4       3
 106591  130201   82594      -1      -1       3       3
 106592  130202   82594      -2      -2       4       4
 106593  130203   82597      -2      -1       3       3
 106594  130204   82597      -2      -2       4       4
 106595  130205   82598      -2      -1       4       3
 106596  130210   82599      -1       0       2       4
 106597  130210   82601      -2      -1       3       1
 106598  130211   82602      -1       0       4       2
 106599  130213   82602      -1      -1       2       3
 106600  130213   82604      -2       0       3       2

 113821  137076   90016   44037      -2     172       4
 113822  137076   90017   44036      -2     173       4
 113823  137076   90018   44035      -2     174       4
 113824  137076   90018   44034      -3     175       5
 113825  137076   90018   44033      -4     176       6
 113826  137076   90018   44032      -5     177       7
 113827  137076   90019   44031      -2     178       7
 113828  137076   90020   44030      -2     179       7
 113829  137076   90021   44029      -2     180       4
 113830  137076   90022   44028      -2     181       4
 113831  137076   90023   44027      -2     182       4

 130205  137076  106592   27653      -2   16556       4
 130206  137076  106593   27652      -2   16557       4
 130207  137076  106594   27651      -2   16558       4
 130208  137076  106594   27650      -3   16559       5
 130209  137076  106594   27649      -4   16560       6
 130210  137076  106594   27648      -5   16561       7
 130211  137076  106595   27647      -1   16562       7
 130212  137076  106597   27646      -1   16563       2
 130213  137076  106597   27645      -2   16564       3
 130214  137076  106598   27644      -1   16565       4
 130215  137076  106599   27643      -2   16566       4

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     43560     43560         0         0     -1
 -2     90267     89677         0         0     -2
 -3      2184      1978         0         0     -3
 -4        59        59         0         0     -4
 -5         4         3         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
       136074    135277         0         0
            5         5         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   =  778106.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  271351.
  Behav =     Relaxed.        Maximum =   44208.        0 thru  39 =  429069.
  histend                     K       =  200000.       40 thru Max =   77686.

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

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

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

  End  analysis of Test T700  at               09:49:52.881 980422
==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               09:49:53.135 980422
  End execution of Test T710  at               09:49:53.443 980422
  Duration                                            0.308 
Start  analysis of Test T710  at               09:49:53.528 980422

Thread start, stop, and dur times.
   0.070    0.070    0.000    0.000    0.000    0.000    0.000    0.000 
   0.276    0.308    0.000    0.000    0.000    0.000    0.000    0.000 
   0.206    0.238    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      22  199999       0
   9999    9684   10363       0       0
  19998   18360   22078       0       0
  29997   28303   32020       0       0
  39996   36748   43778       0       0
  49995   58959   47779       0       0
  59994   65221   51210       0       0
  69993   65221   75612       0       0
  79992   73741   87107       0       0
  89991   82475  137153       0       0
  99990   83607  149148       0       0
 109989   83607  160993       0       0
 119988   83607  174370       0       0
 129987   83872  185944       0       0
 139986   92048  193877       0       0
 149985  100726  199378       0       0
 159984  109139  199999       0       0
 169983  116331  199999       0       0
 179982  124899  199999       0       0
 189981  133373  199999       0       0
 199980  150495  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                                                          222222222222222222222
                                                          2                     
                                                      2222                      
                                                     2                          
                                                    2                           
                                                                                
                                                   2                            
                                                  2                             
                                                 2                              
                                                2                               
                                               2                                
                                              2                                 
                                                                                
                                             2                                  
                                            2                                   
                                                                                
                                           2                                    
                                          2                                     
                                         2                                      
                                        2                                      1
                                       2                                      1 
                                                                             1  
                                      2                                         
                                     2                                          
                                    2                                           
                                   2                                        1   
                                  2                                        1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                       1        
                                                                     11         
                                                                    1           
                                                                   1            
                                                                  1             
                                                                11              
                                                               1                
                                                              1                 
                                                             1                  
                                                           11                   
                                                          1                     
                                                         1                      
                                                        1                       
                                 2                     1                        
                                2                     1                         
                               2                    11                          
                              2     1111111111111111                            
                                   1                                            
                             2    1                                             
                            2    1                                              
                           2    1                                               
                          2   11                                                
                             1                                                  
                       111111                                                   
                      1                                                         
                     1                                                          
                    1                                                           
                   1     2                                                      
                                                                                
                        2                                                       
                  222222                                                        
                 2                                                              
                2                                                               
               2  1                                                             
              2  1                                                              
             2  1                                                               
              11                                                                
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   31                                                                           
  1                                                                             
 22                                                                             
                                                                                
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       217904          0
   1       107402     117154
   2        66315      48385
   3         7827      14659
   4          444       1552
   5           49        285
   6           10         14
   7            4          1
   8            0          2
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            1          0
  17            0          0
  18            0          0
  19            0          0
over           40         40

 d =  -5. 
Event 7.1. u[   3685] =    2977 <    2978; v[   2978] =    3680 <    3685.
b=0 c=0 u[   3681]:    2977    2977    2977    2977    2977
Event 7.1. u[   3718] =    2985 <    2986; v[   2986] =    3713 <    3718.
b=0 c=0 u[   3714]:    2985    2985    2985    2985    2985
Event 7.1. u[   5717] =    6024 <    6025; v[   6025] =    5712 <    5717.
b=0 c=0 u[   5713]:    6024    6024    6024    6024    6024
Event 7.2. v[  16802] =   18304 <   18305; u[  18305] =   16797 <   16802.
b=1 c=1 v[  16798]:   18303   18303   18304   18304   18304
 d =  -4. 
Event 7.1. u[   3684] =    2977 <    2978; v[   2978] =    3680 <    3684.
b=0 c=0 u[   3681]:    2977    2977    2977    2977
Event 7.1. u[   3689] =    2978 <    2979; v[   2979] =    3685 <    3689.
b=0 c=0 u[   3686]:    2978    2978    2978    2978
Event 7.1. u[   3697] =    2980 <    2981; v[   2981] =    3693 <    3697.
b=0 c=0 u[   3694]:    2980    2980    2980    2980
Event 7.1. u[   3701] =    2981 <    2982; v[   2982] =    3697 <    3701.
b=0 c=0 u[   3698]:    2981    2981    2981    2981
Event 7.1. u[   3705] =    2982 <    2983; v[   2983] =    3701 <    3705.
b=0 c=0 u[   3702]:    2982    2982    2982    2982
Event 7.1. u[   3713] =    2984 <    2985; v[   2985] =    3709 <    3713.
b=0 c=0 u[   3710]:    2984    2984    2984    2984
Event 7.1. u[   3717] =    2985 <    2986; v[   2986] =    3713 <    3717.
b=0 c=0 u[   3714]:    2985    2985    2985    2985
Event 7.1. u[   3722] =    2986 <    2987; v[   2987] =    3718 <    3722.
b=0 c=0 u[   3719]:    2986    2986    2986    2986
Event 7.1. u[   3726] =    2987 <    2988; v[   2988] =    3722 <    3726.
b=0 c=0 u[   3723]:    2987    2987    2987    2987
Event 7.1. u[   3734] =    2989 <    2990; v[   2990] =    3730 <    3734.
b=0 c=0 u[   3731]:    2989    2989    2989    2989
Event 7.1. u[ 194099] =  145496 <  145497; v[ 145497] =  194095 <  194099.
b=1 c=1 u[ 194096]:  145495  145496  145496  145496

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   2973    2361    3672       0       0       3       3
   2974    2362    3674      -1      -1       4       1
   2975    2363    3674      -1      -2       2       2
   2976    2365    3675       0       0       2       3
   2977    2365    3677      -1      -1       3       1
   2978    2367    3680       0      -1       2       2
   2979    2367    3685      -1      -1       3       2
   2980    2367    3690      -2      -1       4       2
   2981    2369    3693       0      -1       3       2
   2982    2369    3697      -1      -1       4       2
   2983    2370    3701      -1      -1       5       2
   2984    2371    3706      -1      -1       3       2
   2985    2372    3709      -1      -1       3       2
   2986    2373    3713      -1      -1       3       2
   2987    2375    3718       0      -1       2       2
   2988    2375    3722      -1      -1       3       2
   2989    2376    3727       0      -1       3       2
   2990    2376    3730      -1      -1       4       2
   2991    2376    3735      -2      -1       5       2
   2992    2377    3738      -1      -1       5       2
   2993    2379    3743       0      -1       2       2
   2994    2379    3747      -1      -1       3       2

   3680    2977    4481       0    1412       5      94
   3681    2977    4481      -1    1411       6      95
   3682    2977    4481      -2    1410       7      96
   3683    2977    4481      -3    1409       8      97
   3684    2977    4481      -4    1408       9      98
   3685    2977    4481      -5    1407      10      99
   3686    2978    4481      -1    1406       9     100
   3687    2978    4481      -2    1405      10     101
   3688    2978    4481      -3    1404      11     102
   3689    2978    4481      -4    1403      12     103
   3690    2979    4481       0    1402      10     104
   3691    2979    4481      -1    1401      11     105
   3692    2979    4481      -2    1400      12     106
   3693    2979    4481      -3    1399      13     107
   3694    2980    4481      -1    1398       9     108
   3695    2980    4481      -2    1397      10     109
   3696    2980    4481      -3    1396      11     110
   3697    2980    4481      -4    1395      12     111
   3698    2981    4481      -1    1394       8     112
   3699    2981    4481      -2    1393       9     113
   3700    2981    4481      -3    1392      10     114
   3701    2981    4481      -4    1391      11     115
   3702    2982    4481      -1    1390       9     116
   3703    2982    4481      -2    1389      10     117
   3704    2982    4481      -3    1388      11     118
   3705    2982    4481      -4    1387      12     119
   3706    2983    4481       0    1386       9     120
   3707    2983    4481      -1    1385      10     121
   3708    2983    4481      -2    1384      11     122
   3709    2983    4481      -3    1383      12     123
   3710    2984    4481      -1    1382       9     124
   3711    2984    4481      -2    1381      10     125
   3712    2984    4481      -3    1380      11     126
   3713    2984    4481      -4    1379      12     127
   3714    2985    4481      -1    1378       8     128
   3715    2985    4481      -2    1377       9     129
   3716    2985    4481      -3    1376      10     130
   3717    2985    4481      -4    1375      11     131
   3718    2985    4481      -5    1374      12     132
   3719    2986    4481      -1    1373      10     133
   3720    2986    4481      -2    1372      11     134
   3721    2986    4481      -3    1371      12     135
   3722    2986    4481      -4    1370      13     136
   3723    2987    4481      -1    1369      10     137
   3724    2987    4481      -2    1368      11     138
   3725    2987    4481      -3    1367      12     139
   3726    2987    4481      -4    1366      13     140
   3727    2988    4481       0    1365       9     141
   3728    2988    4481      -1    1364      10     142
   3729    2988    4481      -2    1363      11     143
   3730    2988    4481      -3    1362      12     144
   3731    2989    4481      -1    1361       9     145
   3732    2989    4481      -2    1360      10     146
   3733    2989    4481      -3    1359      11     147
   3734    2989    4481      -4    1358      12     148
   3735    2990    4481       0    1357       8     149
   3736    2990    4481      -1    1356       9     150
   3737    2990    4481      -2    1355      10     151
   3738    2990    4481      -3    1354      11     152

   5712    6024    5318       0       0       6       2
   5713    6024    5321      -1      -1       7       1
   5714    6024    5322      -2       0       8       2
   5715    6024    5323      -3      -1       9       3
   5716    6024    5324      -4      -1      10       2
   5717    6024    5325      -5       0      11       3
   5718    6025    5327      -1      -1       8       1
   5719    6025    5328      -2       0       9       2
   5720    6026    5330       0      -1       8       1
   5721    6026    5330      -1      -2       9       2
   5722    6026    5332      -2      -1      10       3

   6020    6244    5695      -1      -1       3       2
   6021    6245    5699      -1      -1       2       2
   6022    6245    5704      -2      -1       3       2
   6023    6247    5706       0      -1       3       2
   6024    6247    5710      -1      -1       4       2
   6025    6248    5712       0      -1       3       2
   6026    6248    5717      -1      -1       4       2
   6027    6248    5720      -2      -1       5       2
   6028    6249    5723      -2       0       5       2
   6029    6250    5724      -2      -1       4       2
   6030    6251    5729      -1      -1       4       2

  16797   15423   18303      -1       0       3       5
  16798   15424   18303       0      -1       3       6
  16799   15424   18303      -1      -2       4       7
  16800   15426   18304       0      -3       2       8
  16801   15426   18304      -1      -4       3       9
  16802   15427   18304      -1      -5       3      10
  16803   15429   18305      -1       0       2       6
  16804   15429   18305      -2      -1       3       7
  16805   15431   18305       0      -2       3       8
  16806   15431   18306      -1      -3       4       9
  16807   15432   18307       0      -1       3       4

  18300   16785   19925      -1      -1       3       4
  18301   16789   19927      -1       0       2       2
  18302   16792   19927      -1      -1       2       3
  18303   16792   19928      -2      -1       3       4
  18304   16797   19930      -1       0       2       2
  18305   16797   19930      -2      -1       3       3
  18306   16803   19930      -1      -2       2       4
  18307   16803   19932      -2      -1       3       3
  18308   16806   19934      -1       0       3       2
  18309   16807   19935      -1      -1       3       1
  18310   16808   19936      -1       0       3       2

 145493   96711  194091      -1      -2       3       5
 145494   96712  194093       0      -1       2       3
 145495   96712  194093      -1      -2       3       4
 145496   96713  194095      -1      -1       4       3
 145497   96714  194095      -1      -2       3       4
 145498   96715  194098      -1      -2       3       2
 145499   96717  194100       0      -1       2       3
 145500   96717  194100      -1      -2       3       4
 145501   96718  194102      -1      -1       3       3

 194095  145494  199999      -2 2097152       4   43585
 194096  145495  199999      -1 2097152       3   43586
 194097  145496  199999      -2 2097152       4   43587
 194098  145496  199999      -3 2097152       5   43588
 194099  145496  199999      -4 2097152       6   43589
 194100  145497  199999      -2 2097152       5   43590
 194101  145498  199999      -1 2097152       6   43591
 194102  145500  199999       0 2097152       2   43592
 194103  145500  199999      -1 2097152       3   43593

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     76053     76053         0         0     -1
 -2     25860     16973         0         0     -2
 -3       907       199         0         0     -3
 -4        45        40         0         0     -4
 -5         3         1         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
       102868     93266         0         0
            5         5         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  750506.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  196134.
  Behav =     Relaxed.        Maximum =   39176.        0 thru  39 =  471041.
  histend                     K       =  200000.       40 thru Max =   83331.

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

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

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

  End  analysis of Test T710  at               09:49:56.184 980422
==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               09:49:56.437 980422
  End execution of Test T720  at               09:49:56.793 980422
  Duration                                            0.356 
Start  analysis of Test T720  at               09:49:56.930 980422

Thread start, stop, and dur times.
   0.113    0.113    0.000    0.000    0.000    0.000    0.000    0.000 
   0.355    0.348    0.000    0.000    0.000    0.000    0.000    0.000 
   0.242    0.235    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    9918   10079       0       0
  19998   19932   20061       0       0
  29997   29964   30029       0       0
  39996   39896   40089       0       0
  49995   88577   47228       0       0
  59994   98743   47228       0       0
  69993  108948   47228       0       0
  79992  120154   47228       0       0
  89991  130125   51409       0       0
  99990  140157   61256       0       0
 109989  150242   70936       0       0
 119988  154848   79840       0       0
 129987  154848   89853       0       0
 139986  154848   99824       0       0
 149985  159549  109731       0       0
 159984  169545  150417       0       0
 169983  179587  160406       0       0
 179982  191032  170370       0       0
 189981  199999  178955       0       0
 199980  199999  188989       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                          111111
                                                                         1      
                                                                        1       
                                                                       1        
                                                                      1        2
                                                                     1        2 
                                                                             2  
                                                                    1       2   
                                                                   1       2    
                                                                  1       2     
                                                                 1       2      
                                                                1      22       
                                                               1      2         
                                                              1      2          
                                                             1      2           
                                                            1      2            
                                                           1                    
                                                          1       2             
                                             1111111111111       2              
                                            1                   2               
                                           1                   2                
                                          1                   2                 
                                         1                                      
                                        1                                       
                                       1                                        
                                      1                                         
                                     1                                          
                                    1                                           
                                   1                                            
                                  1                                             
                                 1                                              
                                1                                               
                               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                             
                                                 2                              
                                                2                               
                                               2                                
                                              2                                 
                                             2                                  
                                            2                                   
                                          22                                    
                                         2                                      
                                        2                                       
                                                                                
                                       2                                        
                                     22                                         
                                    2                                           
                                   2                                            
                                  2                                             
                  3222222222222222                                              
                 3                                                              
                3                                                               
               3                                                                
              3                                                                 
             3                                                                  
            3                                                                   
           3                                                                    
          3                                                                     
         3                                                                      
        3                                                                       
       3                                                                        
      3                                                                         
     3                                                                          
    3                                                                           
   3                                                                            
  3                                                                             
 2                                                                              
                                                                                
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       185373          0
   1       123906     130584
   2        82436      71402
   3         8050      10099
   4          149       2426
   5           31         61
   6            8          9
   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            1          0
  19            0          0
over           40         41

 d =  -4. 
Event 7.1. u[  18726] =   18656 <   18657; v[  18657] =   18722 <   18726.
b=1 c=1 u[  18723]:   18655   18655   18656   18656
Event 7.1. u[  23915] =   23807 <   23808; v[  23808] =   23911 <   23915.
b=0 c=0 u[  23912]:   23807   23807   23807   23807
Event 7.2. v[  23970] =   24068 <   24069; u[  24069] =   23966 <   23970.
b=0 c=0 v[  23967]:   24068   24068   24068   24068
Event 7.2. v[  24049] =   24097 <   24098; u[  24098] =   24045 <   24049.
b=0 c=0 v[  24046]:   24097   24097   24097   24097
Event 7.2. v[  93637] =   55078 <   55079; u[  55079] =   93633 <   93637.
b=1 c=1 v[  93634]:   55077   55078   55078   55078
Event 7.2. v[  93669] =   55092 <   55093; u[  55093] =   93665 <   93669.
b=1 c=1 v[  93666]:   55091   55092   55092   55092
Event 7.2. v[  93676] =   55095 <   55096; u[  55096] =   93672 <   93676.
b=1 c=1 v[  93673]:   55094   55095   55095   55095
Event 7.2. v[  93683] =   55098 <   55099; u[  55099] =   93679 <   93683.
b=1 c=1 v[  93680]:   55097   55098   55098   55098
Event 7.2. v[  94772] =   56106 <   56107; u[  56107] =   94768 <   94772.
b=0 c=0 v[  94769]:   56106   56106   56106   56106
Event 7.2. v[  94777] =   56108 <   56109; u[  56109] =   94773 <   94777.
b=1 c=1 v[  94774]:   56107   56108   56108   56108
Event 7.2. v[  94789] =   56113 <   56114; u[  56114] =   94785 <   94789.
b=1 c=1 v[  94786]:   56112   56113   56113   56113
Event 7.2. v[  94804] =   56120 <   56121; u[  56121] =   94800 <   94804.
b=1 c=1 v[  94801]:   56119   56120   56120   56120
Event 7.2. v[  94820] =   56128 <   56129; u[  56129] =   94816 <   94820.
b=1 c=1 v[  94817]:   56127   56128   56128   56128
Event 7.2. v[  94996] =   56275 <   56276; u[  56276] =   94992 <   94996.
b=1 c=1 v[  94993]:   56274   56275   56275   56275
Event 7.2. v[ 106845] =   67946 <   67947; u[  67947] =  106841 <  106845.
b=0 c=0 v[ 106842]:   67946   67946   67946   67946

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  18653   18586   18719      -1      -1       3       2
  18654   18587   18721       0       1       2       2
  18655   18588   18721      -1       0       3       3
  18656   18589   18722      -1      -1       2       3
  18657   18590   18722       0      -2       3       4
  18658   18592   18727       0      -1       1       2
  18659   18592   18729      -1      -1       2       2
  18660   18594   18731      -1      -1       2       2
  18661   18596   18735       1      -1       2       2

  18722   18655   18842       0      -2       1       3
  18723   18655   18843      -1      -1       2       3
  18724   18655   18844      -2      -1       3       4
  18725   18656   18845      -3       0       4       3
  18726   18656   18847      -4       0       5       1
  18727   18657   18847       0      -1       5       2
  18728   18657   18848      -1      -1       6       3
  18729   18658   18850       0       0       7       2
  18730   18658   18851      -1       0       8       3

  23804   23752   23901      -2      -1       3       2
  23805   23753   23905      -1      -1       3       2
  23806   23755   23907       0       0       2       2
  23807   23755   23908      -1      -1       3       2
  23808   23757   23911       0      -1       2       2
  23809   23757   23914      -1      -2       3       2
  23810   23758   23916      -1      -1       3       3
  23811   23760   23917      -1      -1       2       2
  23812   23760   23918      -2      -1       3       3

  23911   23807   24016       0       0       4       3
  23912   23807   24016      -1      -1       5       4
  23913   23807   24017      -2      -1       6       3
  23914   23807   24018      -3      -2       7       3
  23915   23807   24019      -4      -1       8       3
  23916   23809   24021       0       0       5       2
  23917   23809   24022      -1      -1       6       3
  23918   23810   24023      -1      -1       4       2
  23919   23811   24024      -1       0       3       3

  23966   23860   24068       0       0       3       6
  23967   23861   24068      -1      -1       2       7
  23968   23862   24068      -1      -2       2       8
  23969   23863   24068      -1      -3       3       9
  23970   23864   24068       0      -4       3      10
  23971   23864   24069      -1       0       4       7
  23972   23864   24069      -2      -1       5       8
  23973   23867   24070       0       0       3       7
  23974   23868   24070      -1      -1       1       8

  24045   23939   24097      -1       0       3       4
  24046   23941   24097       1      -1       2       5
  24047   23941   24097       0      -2       3       6
  24048   23942   24097      -1      -3       3       7
  24049   23943   24097      -1      -4       2       8
  24050   23944   24099       0       0       3       5
  24051   23944   24099      -1      -1       4       6
  24052   23946   24100      -1       0       2       4
  24053   23946   24102      -2       0       3       1

  24065   23959   24114       0      -1       3       2
  24066   23960   24114      -1      -2       3       3
  24067   23960   24115      -2       0       4       3
  24068   23964   24117      -1       0       2       1
  24069   23966   24117      -1      -1       2       2
  24070   23971   24118      -1      -1       2       3
  24071   23973   24119      -1      -1       2       3
  24072   23976   24120      -1       0       2       3
  24073   23979   24122      -1      -1       2       1

  24094   24035   24144      -1      -1       2       3
  24095   24039   24145      -1      -1       2       2
  24096   24041   24146       0       0       2       3
  24097   24042   24146      -1      -1       2       4
  24098   24045   24146      -1      -2       2       5
  24099   24048   24149      -2       1       2       3
  24100   24050   24149      -1       0       3       4
  24101   24052   24149       1      -1       2       5
  24102   24052   24150       0      -1       3       3

  93633  133786   55077       0      -2       3       6
  93634  133787   55077      -1      -3       3       7
  93635  133788   55078      -1      -2       2       6
  93636  133790   55078      -1      -3       2       7
  93637  133792   55078       1      -4       2       8
  93638  133792   55079       0      -1       3       7
  93639  133793   55079      -1      -2       3       8
  93640  133794   55080      -1       0       2       7
  93641  133796   55080       1      -1       2       8

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     80865     80865         0         0     -1
 -2     15381     15560         0         0     -2
 -3       162       221         0         0     -3
 -4         2        18         0         0     -4
 -5         0         0         0         0     -5

Totals / Min / Under -25:  
        96410     96664         0         0
            4         4         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  789004.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -4.      -80 thru  -1 =  193074.
  Behav =     Relaxed.        Maximum =   38918.        0 thru  39 =  522238.
  histend                     K       =  200000.       40 thru Max =   73692.

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

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

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

  End  analysis of Test T720  at               09:49:59.496 980422
==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               09:49:59.748 980422
  End execution of Test T800  at               09:50:00.067 980422
  Duration                                            0.319 
Start  analysis of Test T800  at               09:50:00.697 980422

Thread start, stop, and dur times.
   0.054    0.054    0.000    0.000    0.000    0.000    0.000    0.000 
   0.318    0.318    0.000    0.000    0.000    0.000    0.000    0.000 
   0.264    0.264    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     320       2       3
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  299973
  39996  399960  415640  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
                                                                             2F1
                                                                            2F1 
                                                                           2F1  
                                                                          2F1   
                                                                         2F1    
                                                                        2F1     
                                                                       2F1      
                                                                       F1       
                                                                     1F1        
                                                                    2F          
                                                                   2F1          
                                                                  2F1           
                                                                 2F1            
                                                                2F1             
                                                               2F1              
                                                              2F1               
                                                             2F1                
                                                            2F1                 
                                                           2F1                  
                                                          2F1                   
                                                         2F1                    
                                                        2F1                     
                                                       2F1                      
                                                      2F1                       
                                                     2F1                        
                                                    2F1                         
                                                   2F1                          
                                                  2F1                           
                                                 2F1                            
                                                2F1                             
                                               2F1                              
                                         2     F1                               
                                        22    F                                 
                                       22    F                                  
                                      22    F                                   
                                    222    F                                    
                                   22     F                                     
                                  22     F    11                                
                                 22     F    11                                 
                               22      F    11                                  
                              22      F    11                                   
                             22      F     1                                    
                            22      F     11                                    
                            2      F     11                                     
                           2      F     11                                      
                         22      F      1                                       
                         2      F      11                                       
                        2      F      1                                         
                      22      F      11                                         
                      2      F      11                                          
                     22     F      11                                           
                    22     F      11                                            
                          F      11                                             
                         F      1                                               
                        F      11                                               
                       F      11                                                
                      F     11                                                  
                    2F     11                                                   
                   2F1     1                                                    
                  2F1                                                           
                 2F1                                                            
                2F1                                                             
               2F1                                                              
              2F1                                                               
             2F1                                                                
            2F1                                                                 
           2F1                                                                  
          2F1                                                                   
         2F1                                                                    
        2F1                                                                     
       2F1                                                                      
      2F1                                                                       
     2F1                                                                        
    2F1                                                                         
   2F1                                                                          
  2F1                                                                           
 2F1                                                                            
2F1                                                                             
F1                                                                              
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   789194   0        0  20 
      0 -79        0 -59        0 -39        0 -19       43   1        0  21 
      0 -78        0 -58        0 -38        0 -18      132   2        0  22 
      0 -77        0 -57        0 -37        0 -17      422   3        0  23 
      0 -76        0 -56        0 -36        0 -16       19   4        0  24 
      0 -75        0 -55        0 -35        0 -15        9   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        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 |_________._________._________.ooooooo__._________._________._________
     -30       -20       -10         0        10        20        30        40

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


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   789195   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18      497   2        0  22 
      0 -77        0 -57        0 -37        0 -17      102   3        0  23 
      0 -76        0 -56        0 -36        0 -16       19   4        0  24 
      0 -75        0 -55        0 -35        0 -15       44   5        0  25 
      0 -74        0 -54        0 -34        0 -14       24   6        0  26 
      0 -73        0 -53        0 -33        0 -13        3   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 |_________._________._________._oooooo__._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   =  789884.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       7.        0 thru  39 =  789884.
  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               09:50:49.317 980422
==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               09:50:49.649 980422
  End execution of Test T820  at               09:50:50.074 980422
  Duration                                            0.425 
Start  analysis of Test T820  at               09:50:50.518 980422

Thread start, stop, and dur times.
   0.161    0.161    0.000    0.000    0.000    0.000    0.000    0.000 
   0.425    0.424    0.000    0.000    0.000    0.000    0.000    0.000 
   0.264    0.263    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       1       2       3
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  303340  299972  299973
  39996  399960  399961  399962  399963
  49995  499950  499951  499952  499953
  59994  599940  599941  599942  599943
  69993  703961  699931  699932  699933
  79992  799920  799921  799922  799923
  89991  899910  899911  899912  899913
  99990  999900  999901  999902  999903
 109989 1099890 1099891 1099892 1099893
 119988 1191641 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....:....
                                                                              1F
                                                                             1F2
                                                                            1F2 
                                                                           1F2  
                                                                          1F2   
                                                                          F2    
                                                                        2F      
                                                                       2F1      
                                                                      2F1       
                                                                     2F1        
                                                                    2F1         
                                                                   2F1          
                                                                  2F1           
                                                                 2F1            
                                                                2F1             
                                                               2F1              
                                                              2F1               
                                                             2F1                
                                                            2F1                 
                                                           2F1                  
                                                          2F1                   
                                                         2F1                    
                                                        2F1                     
                                                       2F1                      
                                                      2F1                       
                                                     2F1                        
                                                    2F1                         
                                                   2F1                          
                                                  2F1                           
                                                 2F1                            
                                                2F1                             
                                               2F1                              
                                              2F1                               
                                             2F1                                
                                            2F1                                 
                                           2F1                                  
                                          2F1                                   
                                         2F1                                    
                                        2F1                                     
                                       2F1                                      
                                      1F1                                       
                                     1F2                                        
                                    1F2                                         
                                   1F2                                          
                                  1F2                                           
                                 1F2                                            
                                1F2                                             
                               1F2                                              
                              1F2                                               
                             1F2                                                
                            1F2                                                 
                           1F2                                                  
                          1F2                                                   
                         1F2                                                    
                        1F2                                                     
                       1F2                                                      
                      1F2                                                       
                     1F2                                                        
                    2F2                                                         
                   2F1                                                          
                  2F1                                                           
                 2F1                                                            
                2F1                                                             
               2F1                                                              
              2F1                                                               
             2F1                                                                
            2F1                                                                 
           2F1                                                                  
          2F1                                                                   
          F1                                                                    
        2F1                                                                     
       2F1                                                                      
      2F1                                                                       
     2F1                                                                        
    2F1                                                                         
   2F1                                                                          
  2F1                                                                           
 2F1                                                                            
2F1                                                                             
F1                                                                              
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   762115   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18      517   2        0  22 
      0 -77        0 -57        0 -37        0 -17     1404   3        0  23 
      0 -76        0 -56        0 -36        0 -16      240   4        0  24 
      0 -75        0 -55        0 -35        0 -15        6   5        0  25 
      0 -74        0 -54        0 -34        0 -14        4   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        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 |                             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 |_________._________._________._ooooo_o_._________._________._________
     -30       -20       -10         0        10        20        30        40

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


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   762115   0        0  20 
      0 -79        0 -59        0 -39        0 -19        1   1        0  21 
      0 -78        0 -58        0 -38        0 -18       46   2        0  22 
      0 -77        0 -57        0 -37        0 -17     1261   3        0  23 
      0 -76        0 -56        0 -36        0 -16     1210   4        0  24 
      0 -75        0 -55        0 -35        0 -15     1253   5        0  25 
      0 -74        0 -54        0 -34        0 -14      199   6        0  26 
      0 -73        0 -53        0 -33        0 -13       66   7        0  27 
      0 -72        0 -52        0 -32        0 -12        4   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 |                             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 |_________._________._________.ooooooooo._________._________._________
     -30       -20       -10         0        10        20        30        40

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


  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               09:51:40.397 980422
==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========================================================================

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

Summary of run:                                09:51:40.399 980422
ARCHTEST.  Version 5.4.  980317.  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.

  This data was generated by ARCHTEST on a 2-way SUN Sparc 20
running Solaris 2.4.  ARCHTEST was compiled using Version 2.7.0
of the GNU compiler.
 
  The test was conducted under the auspices of Neil Sobrado,
Systems Administrator (sobrad22@eelab.newpaltz.edu), and
Dr. Owen B. Hill, Chair, Department of Electrical Engineering,
SUNY New Paltz.


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

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.301      0.539   T100           1   0
      0.373      0.537   T120           0   1
      0.552      1.697   T200           2   0
      0.582      1.675   T210           1   1
      0.647      1.625   T220           0   2
      0.229      3.063   T400.1   -9    2   0
                         T400.2         2   0
      0.292      2.249   T410.1   -7    1   1
                         T410.2         1   1
      0.240      2.513   T420.1   -6    0   2
                         T420.2         0   2
      0.290      2.799   T700.1   -5    2   0
                         T700.2         2   0
      0.308      2.656   T710.1   -5    1   1
                         T710.2         1   1
      0.356      2.566   T720.1   -4    0   2
                         T720.2         0   2
      0.319     48.620   T800           1   0
      0.425     49.879   T820           0   1

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

  No monotonicity relaxations seen.

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

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