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

                                               09:55:32.752 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:      a0000000.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:55:55.755 980422
  End execution of Test T100  at               09:55:56.102 980422
  Duration                                            0.347 
Start  analysis of Test T100  at               09:55:56.103 980422

Thread start, stop, and dur times.
   0.048    0.048    0.000    0.000    0.000    0.000    0.000    0.000 
   0.346    0.190    0.000    0.000    0.000    0.000    0.000    0.000 
   0.298    0.142    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   14675       0       0       0
  19998   25131       0       0       0
  29997   37328       0       0       0
  39996   49570       0       0       0
  49995   60725       0       0       0
  59994   71784       0       0       0
  69993   83881       0       0       0
  79992   95354       0       0       0
  89991  121377       0       0       0
  99990  132723       0       0       0
 109989  145557       0       0       0
 119988  157725       0       0       0
 129987  171234       0       0       0
 139986  183528       0       0       0
 149985  195711       0       0       0
 159984  205480       0       0       0
 169983  205480       0       0       0
 179982  205480       0       0       0
 189981  205480       0       0       0
 199980  205480       0       0       0

  dim =    80, max = 205481, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                              111111111111111111
                                                             1                  
                                                            1                   
                                                                                
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                        
                                                                                
                                                      1                         
                                                     1                          
                                                    1                           
                                                   1                            
                                                                                
                                                                                
                                                  1                             
                                                11                              
                                                                                
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                           1                                    
                                                                                
                                                                                
                                                                                
                                          1                                     
                                       111                                      
                                                                                
                                      1                                         
                                     1                                          
                                    1                                           
                                   1                                            
                                  1                                             
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                11                                              
                               1                                                
                              1                                                 
                             1                                                  
                            1                                                   
                                                                                
                           1                                                    
                                                                                
                                                                                
                                                                                
                       1111                                                     
                      1                                                         
                     1                                                          
                                                                                
                    1                                                           
                   1                                                            
                  1                                                             
                 1                                                              
                1                                                               
               1                                                                
              1                                                                 
                                                                                
             1                                                                  
            1                                                                   
           1                                                                    
          1                                                                     
         1                                                                      
                                                                                
       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       122542          0
   1         2450      28770
   2        65099      42204
   3         9203       5750
   4          652        116
   5            9        584
   6           11          2
   7            1          0
   8            1          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           30         30
  End  analysis of Test T100  at               09:55:56.729 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:55:57.014 980422
  End execution of Test T120  at               09:55:57.332 980422
  Duration                                            0.318 
Start  analysis of Test T120  at               09:55:57.470 980422

Thread start, stop, and dur times.
   0.010    0.010    0.000    0.000    0.000    0.000    0.000    0.000 
   0.317    0.126    0.000    0.000    0.000    0.000    0.000    0.000 
   0.307    0.116    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     111       0       0       0
   9999    8970       0       0       0
  19998   19448       0       0       0
  29997   22166       0       0       0
  39996   31997       0       0       0
  49995   42485       0       0       0
  59994   52297       0       0       0
  69993   62795       0       0       0
  79992   67575       0       0       0
  89991   76299       0       0       0
  99990   78978       0       0       0
 109989   89497       0       0       0
 119988   98393       0       0       0
 129987  108690       0       0       0
 139986  119129       0       0       0
 149985  129612       0       0       0
 159984  129795       0       0       0
 169983  129795       0       0       0
 179982  129795       0       0       0
 189981  129795       0       0       0
 199980  129795       0       0       0

  dim =    80, max = 129796, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                           111111111111111111111
                                                                                
                                                          1                     
                                                         1                      
                                                                                
                                                        1                       
                                                                                
                                                       1                        
                                                      1                         
                                                                                
                                                     1                          
                                                    1                           
                                                                                
                                                   1                            
                                                                                
                                                  1                             
                                                                                
                                                 1                              
                                                1                               
                                               1                                
                                              1                                 
                                                                                
                                             1                                  
                                            1                                   
                                                                                
                                           1                                    
                                                                                
                                          1                                     
                                         1                                      
                                                                                
                                        1                                       
                                                                                
                                    1111                                        
                                                                                
                                  11                                            
                                                                                
                                 1                                              
                                1                                               
                                                                                
                             111                                                
                            1                                                   
                                                                                
                           1                                                    
                                                                                
                          1                                                     
                         1                                                      
                                                                                
                        1                                                       
                       1                                                        
                                                                                
                      1                                                         
                                                                                
                     1                                                          
                    1                                                           
                   1                                                            
                                                                                
                  1                                                             
                                                                                
                 1                                                              
                1                                                               
                                                                                
               1                                                                
                                                                                
              1                                                                 
             1                                                                  
                                                                                
         1111                                                                   
        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       135263          0
   1         6256      12191
   2        56827      51334
   3         1571       1090
   4           32         18
   5           19         78
   6            4          1
   7            3          2
   8            0          0
   9            1          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           22         21
  End  analysis of Test T120  at               09:55:58.027 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:55:58.289 980422
 line3
  End execution of Test T200  at               09:55:58.734 980422
  Duration                                            0.445 
Start  analysis of Test T200  at               09:55:58.735 980422

Thread start, stop, and dur times.
   0.026    0.026    0.000    0.000    0.000    0.000    0.000    0.000 
   0.444    0.372    0.000    0.000    0.000    0.000    0.000    0.000 
   0.418    0.346    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   31745   31745       0       0
  19998   78207   78208       0       0
  29997  109250  109250       0       0
  39996  138691  138692       0       0
  49995  204114  204115       0       0
  59994  227364  227364       0       0
  69993  254559  254560       0       0
  79992  282064  282065       0       0
  89991  310752  310753       0       0
  99990  323742  323742       0       0
 109989  323742  323742       0       0
 119988  323742  323742       0       0
 129987  323742  323742       0       0
 139986  323742  323742       0       0
 149985  323742  323742       0       0
 159984  342794  342795       0       0
 169983  370013  370014       0       0
 179982  395053  395054       0       0
 189981  419199  419200       0       0
 199980  486001  486001       0       0

  dim =    80, max = 486157, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                              3 
                                                                             3  
                                                                            3   
                                                                                
                                                                           3    
                                                                          3     
                                                                        33      
                                                                                
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                                                
                                                             33                 
                                      33333333333333333333333                   
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                                                                
                               33                                               
                              3                                                 
                                                                                
                                                                                
                             3                                                  
                           33                                                   
                                                                                
                          3                                                     
                         3                                                      
                        3                                                       
                      33                                                        
                     3                                                          
                                                                                
                   33                                                           
                  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       156663          0
   1         1682     243167
   2        29584         33
   3       182979          5
   4        25604          2
   5         2871          0
   6          351          0
   7          130          0
   8           22          0
   9            4          0
  10            0          0
  11            2          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          104        126

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   235004   0        0  20 
      0 -79        0 -59        0 -39        0 -19   103021   1        0  21 
      0 -78        0 -58        0 -38        0 -18   229691   2        0  22 
      0 -77        0 -57        0 -37        0 -17   200642   3        0  23 
      0 -76        0 -56        0 -36        0 -16    27724   4        0  24 
      0 -75        0 -55        0 -35        0 -15     3198   5        0  25 
      0 -74        0 -54        0 -34        0 -14      394   6        0  26 
      0 -73        0 -53        0 -33        0 -13      133   7        0  27 
      0 -72        0 -52        0 -32        0 -12       23   8        0  28 
      0 -71        0 -51        0 -31        0 -11        4   9        0  29 
      0 -70        0 -50        0 -30        0 -10        0  10        0  30 
      0 -69        0 -49        0 -29        0  -9        2  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 ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |                                       
260000 |                             |                                       
240000 |                             |                                       
220000 |                             o o                                     
200000 |                             o oo                                    
180000 |                             o oo                                    
160000 |                             o oo                                    
140000 |                             o oo                                    
120000 |                             o oo                                    
100000 |                             oooo                                    
 80000 |                             oooo                                    
 60000 |                             oooo                                    
 40000 |                             oooo                                    
 20000 |                             ooooo                                   
     0 |_________._________._________.ooooooooo.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 =   40975.        0 thru  39 =  799836.
  histend                     K       =  200000.       40 thru Max =     156.

  End  analysis of Test T200  at               09:56:00.440 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:56:00.706 980422
  End execution of Test T210  at               09:56:01.367 980422
  Duration                                            0.661 
Start  analysis of Test T210  at               09:56:01.444 980422

Thread start, stop, and dur times.
   0.204    0.204    0.000    0.000    0.000    0.000    0.000    0.000 
   0.660    0.533    0.000    0.000    0.000    0.000    0.000    0.000 
   0.456    0.329    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       2      10       0       0
   9999   14350   14350       0       0
  19998   14350   14350       0       0
  29997   14350   14350       0       0
  39996   41229   41230       0       0
  49995   58641   58642       0       0
  59994   78495   78495       0       0
  69993  104239  104240       0       0
  79992  127023  127023       0       0
  89991  151465  151466       0       0
  99990  176724  176725       0       0
 109989  202596  202596       0       0
 119988  230928  230929       0       0
 129987  255171  255171       0       0
 139986  280859  280859       0       0
 149985  307037  307037       0       0
 159984  332927  332928       0       0
 169983  358758  358759       0       0
 179982  384710  384711       0       0
 189981  411903  411904       0       0
 199980  437812  437813       0       0

  dim =    80, max = 437864, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                                
                                                                         3      
                                                                        3       
                                                                       3        
                                                                                
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                                
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                                                
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                                                
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                                                
                                                3                               
                                               3                                
                                              3                                 
                                                                                
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                                                                
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                                                                
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                                                                                
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                    33                                                          
                                                                                
                  33                                                            
                 3                                                              
                3                                                               
               3                                                                
              3                                                                 
             3                                                                  
                                                                                
  33333333333                                                                   
 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        72890          0
   1        22782     326913
   2       101906        107
   3       184246          2
   4        16783          2
   5         1239          2
   6           62          1
   7           21          1
   8            2          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            1          0
  17            0          0
  18            0          0
  19            0          0
over           64         78

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   109342   0        0  20 
      0 -79        0 -59        0 -39        0 -19   141306   1        0  21 
      0 -78        0 -58        0 -38        0 -18   332100   2        0  22 
      0 -77        0 -57        0 -37        0 -17   195790   3        0  23 
      0 -76        0 -56        0 -36        0 -16    19960   4        0  24 
      0 -75        0 -55        0 -35        0 -15     1287   5        0  25 
      0 -74        0 -54        0 -34        0 -14       83   6        0  26 
      0 -73        0 -53        0 -33        0 -13       22   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        2  33 
      0 -66        0 -46        0 -26        0  -6        0  14        3  34 
      0 -65        0 -45        0 -25        0  -5        0  15        1  35 
      0 -64        0 -44        0 -24        0  -4        1  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        1  37 
      0 -62        0 -42        0 -22        0  -2        0  18        2  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                                     
200000 |                             | o                                     
180000 |                             | oo                                    
160000 |                             | oo                                    
140000 |                             |ooo                                    
120000 |                             |ooo                                    
100000 |                             oooo                                    
 80000 |                             oooo                                    
 60000 |                             oooo                                    
 40000 |                             oooo                                    
 20000 |                             oooo                                    
     0 |_________._________._________.ooooooooo._____o___._________.__ooo_oo_
     -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 =    1768.        0 thru  39 =  799905.
  histend                     K       =  200000.       40 thru Max =      87.

  End  analysis of Test T210  at               09:56:03.087 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:56:03.338 980422
  End execution of Test T220  at               09:56:03.860 980422
  Duration                                            0.522 
Start  analysis of Test T220  at               09:56:03.992 980422

Thread start, stop, and dur times.
   0.082    0.082    0.000    0.000    0.000    0.000    0.000    0.000 
   0.521    0.429    0.000    0.000    0.000    0.000    0.000    0.000 
   0.439    0.347    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   21613   21614       0       0
  19998   47540   47541       0       0
  29997   67722   67722       0       0
  39996   75815   75815       0       0
  49995   94354   94354       0       0
  59994  110791  110792       0       0
  69993  134662  134662       0       0
  79992  181142  181142       0       0
  89991  206859  206860       0       0
  99990  227535  227535       0       0
 109989  245211  245210       0       0
 119988  268524  268524       0       0
 129987  294155  294155       0       0
 139986  320398  320400       0       0
 149985  346488  346489       0       0
 159984  372314  372314       0       0
 169983  397740  397741       0       0
 179982  424017  424018       0       0
 189981  450324  450325       0       0
 199980  468852  468853       0       0

  dim =    80, max = 468903, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                             33 
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                                
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                                                
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                                                
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                       33                                       
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                                                                                
                                                                                
                                                                                
                                                                                
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                   333                                                          
                  3                                                             
                 3                                                              
                                                                                
             3333                                                               
           33                                                                   
          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        62863          0
   1        23267     336935
   2       102565         94
   3       194363          2
   4        15609          0
   5         1206          2
   6           55          2
   7            5          0
   8            0          2
   9            1          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           62         96

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

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

  End  analysis of Test T220  at               09:56:05.648 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:56:05.918 980422
  End execution of Test T400  at               09:56:06.141 980422
  Duration                                            0.223 
Start  analysis of Test T400  at               09:56:06.158 980422

Thread start, stop, and dur times.
   0.031    0.031    0.000    0.000    0.000    0.000    0.000    0.000 
   0.222    0.222    0.000    0.000    0.000    0.000    0.000    0.000 
   0.191    0.191    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     406       0       0       0
   9999   10007    9989       0       0
  19998   20167   19839       0       0
  29997   30364   29638       0       0
  39996   40570   39422       0       0
  49995   50735   49266       0       0
  59994   60959   59048       0       0
  69993   70638   69367       0       0
  79992   80808   79190       0       0
  89991   90974   89036       0       0
  99990  101551   98444       0       0
 109989  111448  108565       0       0
 119988  121712  118338       0       0
 129987  131727  128293       0       0
 139986  141655  138334       0       0
 149985  151870  148162       0       0
 159984  160625  159349       0       0
 169983  170024  169231       0       0
 179982  178907  181033       0       0
 189981  189200  190757       0       0
 199980  199368  199999       0       0

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


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

   i       deltas    strings 
   0       165231          0
   1       117421     112666
   2        82443      95321
   3        31077      20775
   4         3338       4372
   5          333       1396
   6           74        148
   7           26         36
   8           10         14
   9            9          4
  10            1          2
  11            2          1
  12            2          1
  13            1          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           28         29

 d = -13. 
Event 4.1. u[   4223] =    4424 <    4425; v[   4425] =    4210 <    4223.
b=2 c=2 u[   4211]:    4422    4423    4423    4423    4423    4423    4424
                       4424    4424    4424    4424    4424    4424
Event 4.1. u[   4228] =    4425 <    4426; v[   4426] =    4215 <    4228.
b=2 c=2 u[   4216]:    4423    4424    4424    4424    4424    4424    4424
                       4424    4425    4425    4425    4425    4425
Event 4.1. u[   4260] =    4432 <    4433; v[   4433] =    4247 <    4260.
b=1 c=1 u[   4248]:    4431    4431    4431    4431    4431    4431    4431
                       4432    4432    4432    4432    4432    4432
 d = -12. 
Event 4.1. u[   4216] =    4423 <    4424; v[   4424] =    4204 <    4216.
b=2 c=2 u[   4205]:    4421    4421    4422    4422    4422    4422    4422
                       4423    4423    4423    4423    4423
Event 4.1. u[   4222] =    4424 <    4425; v[   4425] =    4210 <    4222.
b=2 c=2 u[   4211]:    4422    4423    4423    4423    4423    4423    4424
                       4424    4424    4424    4424    4424
Event 4.1. u[   4227] =    4425 <    4426; v[   4426] =    4215 <    4227.
b=2 c=2 u[   4216]:    4423    4424    4424    4424    4424    4424    4424
                       4424    4425    4425    4425    4425
Event 4.1. u[   4259] =    4432 <    4433; v[   4433] =    4247 <    4259.
b=1 c=1 u[   4248]:    4431    4431    4431    4431    4431    4431    4431
                       4432    4432    4432    4432    4432
Event 4.1. u[   4285] =    4438 <    4439; v[   4439] =    4273 <    4285.
b=2 c=2 u[   4274]:    4436    4437    4437    4437    4437    4437    4438
                       4438    4438    4438    4438    4438
Event 4.1. u[ 107655] =  109214 <  109215; v[ 109215] =  107643 <  107655.
b=2 c=2 u[ 107644]:  109212  109212  109213  109213  109214  109214  109214
                     109214  109214  109214  109214  109214
Event 4.1. u[ 107719] =  109227 <  109228; v[ 109228] =  107707 <  107719.
b=2 c=2 u[ 107708]:  109225  109225  109226  109226  109227  109227  109227
                     109227  109227  109227  109227  109227
 d = -11. 
Event 4.1. u[   4168] =    4410 <    4411; v[   4411] =    4157 <    4168.
b=2 c=2 u[   4158]:    4408    4408    4409    4409    4409    4409    4409
                       4410    4410    4410    4410
Event 4.1. u[   4198] =    4418 <    4419; v[   4419] =    4187 <    4198.
b=2 c=2 u[   4188]:    4416    4416    4417    4417    4417    4417    4418
                       4418    4418    4418    4418
Event 4.1. u[   4215] =    4423 <    4424; v[   4424] =    4204 <    4215.
b=2 c=2 u[   4205]:    4421    4421    4422    4422    4422    4422    4422
                       4423    4423    4423    4423
Event 4.1. u[   4221] =    4424 <    4425; v[   4425] =    4210 <    4221.
b=2 c=2 u[   4211]:    4422    4423    4423    4423    4423    4423    4424
                       4424    4424    4424    4424
Event 4.1. u[ 182813] =  181760 <  181761; v[ 181761] =  182802 <  182813.
b=3 c=3 u[ 182803]:  181757  181758  181758  181758  181759  181759  181759
                     181760  181760  181760  181760

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   4157    4408    3905      -2      -3       5       5
   4158    4408    3906      -3      -3       6       6
   4159    4408    3906      -4      -4       7       7
   4160    4409    3907      -5      -2       7       6
   4161    4409    3907      -6      -3       8       7
   4162    4409    3910      -7      -2       9       3
   4163    4409    3910      -8      -3      10       4
   4164    4409    3911      -9      -1      11       4
   4165    4410    3913      -8      -1      10       2
   4166    4410    3913      -9      -2      11       3
   4167    4410    3914     -10       0      12       4
   4168    4410    3914     -11      -1      13       5
   4169    4411    3916      -7      -1      14       2
   4170    4411    3917      -8      -1      15       2
   4171    4411    3919      -9      -1      16       2
   4172    4411    3919     -10      -2      17       3
   4173    4412    3919      -5      -3      16       4
   4174    4412    3920      -6      -1      17       5
   4175    4413    3922      -5      -2      13       2
   4176    4413    3922      -6      -3      14       3
   4177    4413    3924      -7      -1      15       4
   4178    4413    3925      -8      -2      16       3
   4179    4413    3925      -9      -3      17       4

   4187    4416    3933      -7      -3      14       3
   4188    4416    3934      -8      -3      15       4
   4189    4416    3934      -9      -4      16       5
   4190    4417    3936      -7      -2      12       5
   4191    4417    3938      -8      -2      13       3
   4192    4417    3938      -9      -3      14       4
   4193    4417    3938     -10      -4      15       5
   4194    4418    3939      -7      -5      14       6
   4195    4418    3941      -8      -3      15       6
   4196    4418    3943      -9      -2      16       4
   4197    4418    3944     -10      -3      17       5
   4198    4418    3946     -11      -3      18       4
   4199    4419    3946      -7      -4      16       5
   4200    4419    3946      -8      -5      17       6
   4201    4419    3947      -9      -5      18       6
   4202    4420    3949      -5      -3      15       6
   4203    4420    3949      -6      -4      16       7
   4204    4421    3951      -2      -2      12       5
   4205    4421    3953      -3      -2      13       3
   4206    4421    3954      -4      -3      14       4
   4207    4422    3954      -5      -4      10       5
   4208    4422    3955      -6      -3      11       5
   4209    4422    3955      -7      -4      12       6
   4210    4422    3956      -8      -4      13       7
   4211    4422    3959      -9      -3      14       3
   4212    4423    3959      -8      -4      10       4
   4213    4423    3961      -9      -2      11       5
   4214    4423    3963     -10       0      12       3
   4215    4423    3963     -11      -1      13       4
   4216    4423    3964     -12      -1      14       5
   4217    4424    3964      -7      -2      15       6
   4218    4424    3966      -8      -2      16       3
   4219    4424    3966      -9      -3      17       4
   4220    4424    3967     -10      -1      18       4
   4221    4424    3969     -11      -1      19       2
   4222    4424    3969     -12      -2      20       3
   4223    4424    3970     -13       0      21       4
   4224    4425    3970      -9      -1      20       5
   4225    4425    3972     -10      -1      21       2
   4226    4425    3973     -11      -1      22       2
   4227    4425    3975     -12      -1      23       2
   4228    4425    3975     -13      -2      24       3
   4229    4426    3975      -7      -3      19       4
   4230    4426    3976      -8      -1      20       5
   4231    4426    3978      -9      -2      21       2
   4232    4426    3978     -10      -3      22       3
   4233    4426    3980     -11      -1      23       4
   4234    4427    3981      -8      -2      19       3
   4235    4427    3981      -9      -3      20       4
   4236    4427    3982     -10      -2      21       4
   4237    4427    3982     -11      -3      22       5
   4238    4428    3983      -5      -3      16       6
   4239    4428    3985      -6      -2      17       4
   4240    4428    3985      -7      -3      18       5
   4241    4428    3986      -8      -3      19       4

   4247    4431    3992       0      -2       9       6
   4248    4431    3993      -1      -2      10       6
   4249    4431    3993      -2      -3      11       7
   4250    4431    3995      -3      -2      12       4
   4251    4431    3995      -4      -3      13       5
   4252    4431    3996      -5      -1      14       4
   4253    4431    3998      -6      -1      15       2
   4254    4431    3998      -7      -2      16       3
   4255    4432    3999      -8      -2      12       4
   4256    4432    4001      -9      -2      13       3
   4257    4432    4001     -10      -3      14       4
   4258    4432    4003     -11      -2      15       4
   4259    4432    4003     -12      -3      16       5
   4260    4432    4004     -13      -1      17       4
   4261    4433    4006      -6      -1      14       2
   4262    4433    4006      -7      -2      15       3
   4263    4434    4007      -5      -1      16       4
   4264    4434    4009      -6      -1      17       2
   4265    4434    4009      -7      -2      18       3
   4266    4434    4011      -8      -2      19       3
   4267    4434    4012      -9      -2      20       3
   4268    4434    4013     -10      -3      21       4
   4269    4434    4013     -11      -4      22       5
   4270    4436    4014      -4      -4      12       5
   4271    4436    4017      -5      -3      13       3
   4272    4436    4017      -6      -4      14       4
   4273    4436    4018      -7      -4      15       5
   4274    4436    4020      -8      -3      16       5
   4275    4437    4020      -4      -4      15       6
   4276    4437    4022      -5      -2      16       5
   4277    4437    4023      -6      -3      17       5
   4278    4437    4025      -7      -3      18       4
   4279    4437    4025      -8      -4      19       5
   4280    4438    4027      -7       0      14       5
   4281    4438    4027      -8      -1      15       6
   4282    4438    4027      -9      -2      16       7
   4283    4438    4030     -10      -2      17       3
   4284    4438    4030     -11      -3      18       4
   4285    4438    4031     -12      -2      19       5
   4286    4439    4034      -7      -2      15       3
   4287    4439    4034      -8      -3      16       4
   4288    4439    4034      -9      -4      17       5
   4289    4439    4034     -10      -5      18       6
   4290    4439    4034     -11      -6      19       7
   4291    4440    4038      -7      -2      18       3
   4292    4440    4038      -8      -3      19       4
   4293    4440    4039      -9      -2      20       5
   4294    4440    4040     -10      -3      21       5
   4295    4440    4040     -11      -4      22       6
   4296    4441    4041      -7      -4      17       5
   4297    4442    4042      -3      -3      13       6

   4400    4550    4144      -2      -3       3       5
   4401    4550    4144      -3      -4       4       6
   4402    4551    4145      -2      -4       5       5
   4403    4552    4146      -3      -3       5       6
   4404    4552    4149      -4      -1       6       4
   4405    4554    4150      -3      -2       5       5
   4406    4555    4152      -4      -2       4       3
   4407    4555    4152      -5      -3       5       4
   4408    4558    4153      -1      -3       5       4
   4409    4558    4155      -2      -3       6       4
   4410    4559    4155      -2      -4       6       5
   4411    4559    4157      -3      -3       7       5
   4412    4561    4162      -1      -3       4       3
   4413    4562    4168      -1      -2       2       3
   4414    4564    4170      -1      -3       2       3
   4415    4564    4173      -2      -3       3       4
   4416    4565    4178      -1      -3       4       3
   4417    4567    4180      -1      -2       2       4
   4418    4567    4183      -2      -3       3       3
   4419    4568    4187      -1      -3       4       3
   4420    4568    4192      -2      -3       5       3
   4421    4568    4197      -3      -3       6       3
   4422    4570    4202      -2      -2       4       3
   4423    4571    4202      -2      -3       3       4
   4424    4573    4204      -2      -3       3       4
   4425    4574    4210      -3      -3       4       3
   4426    4576    4215      -3      -3       4       3
   4427    4576    4222      -4      -3       5       3
   4428    4576    4226      -5      -3       6       3
   4429    4577    4233      -5      -2       6       3
   4430    4580    4238      -1      -2       4       3
   4431    4580    4243      -2      -2       5       3
   4432    4582    4247      -1      -1       3       1
   4433    4583    4247      -1      -2       2       2
   4434    4584    4255      -2      -2       3       3
   4435    4584    4258      -3      -3       4       3
   4436    4586    4260      -2      -3       4       4
   4437    4588    4266      -3      -3       3       3
   4438    4588    4271      -4      -2       4       2
   4439    4589    4273      -3      -3       5       3
   4440    4589    4279      -4      -2       6       3
   4441    4590    4284      -4      -3       7       3
   4442    4592    4289      -3      -3       5       3
   4443    4592    4294      -4      -3       6       3
   4444    4592    4295      -5      -3       7       4
   4445    4592    4295      -6      -4       8       5
   4446    4593    4297      -6      -2       7       5
   4447    4595    4298      -3      -3       7       5
   4448    4595    4298      -4      -4       8       6
   4449    4595    4300      -5      -1       9       5
   4450    4596    4301      -5      -2       6       3
   4451    4598    4301      -3      -3       6       4

 107643  109212  106019      -2      -3      11       5
 107644  109212  106021      -3      -2      12       4
 107645  109212  106022      -4      -3      13       5
 107646  109213  106024      -3      -3      12       4
 107647  109213  106024      -4      -4      13       5
 107648  109214  106025      -5      -4       7       5
 107649  109214  106026      -6      -3       8       6
 107650  109214  106026      -7      -4       9       7
 107651  109214  106028      -8      -3      10       5
 107652  109214  106029      -9      -4      11       6
 107653  109214  106029     -10      -5      12       7
 107654  109214  106032     -11      -1      13       5
 107655  109214  106034     -12       0      14       2
 107656  109216  106034      -2      -1      13       3
 107657  109216  106034      -3      -2      14       4
 107658  109216  106034      -4      -3      15       5
 107659  109216  106035      -5      -4      16       6
 107660  109216  106038      -6      -1      17       4
 107661  109216  106038      -7      -2      18       5
 107662  109216  106039      -8      -2      19       6
 107663  109216  106039      -9      -3      20       7
 107664  109216  106040     -10      -2      21       5
 107665  109216  106041     -11      -3      22       5
 107666  109217  106041      -5      -4      21       6
 107667  109217  106044      -6      -3      22       4

 107707  109225  106085      -2      -3      11       4
 107708  109225  106086      -3      -3      12       4
 107709  109225  106088      -4      -2      13       4
 107710  109226  106088      -3      -3      11       5
 107711  109226  106089      -4      -3      12       4
 107712  109227  106090      -5      -3       7       5
 107713  109227  106090      -6      -4       8       6
 107714  109227  106090      -7      -5       9       7
 107715  109227  106094      -8      -2      10       3
 107716  109227  106094      -9      -3      11       4
 107717  109227  106094     -10      -4      12       5
 107718  109227  106095     -11      -2      13       6
 107719  109227  106098     -12      -2      14       3
 107720  109229  106098      -2      -3      13       4
 107721  109229  106098      -3      -4      14       5
 107722  109229  106098      -4      -5      15       6
 107723  109229  106100      -5      -3      16       6
 107724  109229  106101      -6      -4      17       4
 107725  109229  106101      -7      -5      18       5
 107726  109229  106104      -8      -1      19       5
 107727  109229  106105      -9      -2      20       5
 107728  109229  106105     -10      -3      21       6
 107729  109229  106108     -11       2      22       2
 107730  109230  106108      -5       1      21       3
 107731  109230  106108      -6       0      22       4

 109203  110628  107602      -4      -1       7       2
 109204  110630  107606      -3       0       5       1
 109205  110630  107609      -4      -1       6       1
 109206  110632  107615      -2      -1       5       2
 109207  110632  107618      -3      -1       6       1
 109208  110632  107618      -4      -2       7       2
 109209  110633  107618      -5      -3       7       3
 109210  110634  107625      -4      -2       6       3
 109211  110637  107632      -1       0       4       1
 109212  110637  107634      -2      -1       5       1
 109213  110637  107641      -3      -1       6       1
 109214  110640  107643      -1      -2       4       2
 109215  110640  107643      -2      -3       5       3
 109216  110640  107645      -3      -3       6       4
 109217  110640  107654      -4      -3       7       3
 109218  110641  107661      -5      -2       8       2
 109219  110642  107670      -4      -1       6       2
 109220  110646  107676      -2      -1       4       1
 109221  110647  107678      -2      -1       3       2
 109222  110648  107686      -3       0       4       1
 109223  110648  107690      -4      -1       5       1
 109224  110651  107696      -1      -1       2       1
 109225  110651  107699      -2      -1       3       2
 109226  110652  107705      -1      -1       4       1
 109227  110655  107707      -1      -2       2       2
 109228  110656  107707       0      -3       2       3
 109229  110656  107709      -1      -3       3       4
 109230  110657  107718      -1      -3       4       3
 109231  110657  107725      -2      -2       5       2
 109232  110658  107734      -2      -1       4       2
 109233  110660  107742      -2       0       3       1
 109234  110660  107742      -3      -1       4       2
 109235  110661  107746      -2      -2       5       2
 109236  110664  107752      -2      -2       3       2
 109237  110664  107757      -3      -2       4       3
 109238  110664  107762      -4      -2       5       3
 109239  110665  107775      -5       0       5       1
 109240  110668  107778      -2      -1       2       1

 181750  180701  182784      -2      -4       3       6
 181751  180702  182785      -3      -4       4       7
 181752  180704  182786      -3      -3       4       6
 181753  180704  182786      -4      -4       5       7
 181754  180704  182793      -5      -1       6       2
 181755  180705  182794      -5       0       6       2
 181756  180709  182794      -2      -1       3       3
 181757  180715  182800      -1      -1       2       2
 181758  180721  182802      -1      -1       2       2
 181759  180725  182802       0      -2       0       3
 181760  180728  182802      -1      -3       1       4
 181761  180735  182802       0      -4       1       5
 181762  180738  182810      -1      -2       1       3
 181763  180738  182814      -2      -2       2       3
 181764  180745  182818      -1      -1       2       2
 181765  180750  182818       0      -2       1       3
 181766  180750  182822      -1      -2       2       3
 181767  180755  182826      -1      -2       2       3
 181768  180761  182831       0      -1       1       1
 181769  180761  182834      -1      -2       2       2
 181770  180766  182840      -1      -1       2       2
 181771  180770  182842      -1      -1       1       2
 181772  180770  182842      -2      -2       2       3

 182802  181757  183885       0      -2       8       3
 182803  181757  183886      -1      -3       9       4
 182804  181758  183888      -2      -3       4       4
 182805  181758  183888      -3      -4       5       5
 182806  181758  183888      -4      -5       6       6
 182807  181759  183889      -5      -5       5       6
 182808  181759  183890      -6      -3       6       7
 182809  181759  183890      -7      -4       7       8
 182810  181760  183892      -8      -3       8       5
 182811  181760  183892      -9      -4       9       6
 182812  181760  183894     -10      -2      10       5
 182813  181760  183895     -11      -3      11       5
 182814  181761  183895      -4      -4      12       6
 182815  181761  183896      -5      -4      13       5
 182816  181762  183898      -2      -3      14       5
 182817  181762  183898      -3      -4      15       6
 182818  181762  183898      -4      -5      16       7
 182819  181763  183899      -1      -5       9       6
 182820  181763  183902      -2      -1      10       4
 182821  181763  183902      -3      -2      11       5
 182822  181764  183903      -4      -2       8       6
 182823  181764  183903      -5      -3       9       7
 182824  181764  183904      -6      -2      10       5

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     23613     23613         0         0     -1
 -2     46531     50519         0         0     -2
 -3     58231     57725         0         0     -3
 -4     45708     45105         0         0     -4
 -5     13735     13060         0         0     -5
 -6      1699      1458         0         0     -6
 -7       162       218         0         0     -7
 -8        88        25         0         0     -8
 -9        52         4         0         0     -9
-10        26         0         0         0    -10
-11        17         0         0         0    -11
-12         7         0         0         0    -12
-13         3         0         0         0    -13
-14         0         0         0         0    -14

Totals / Min / Under -25:  
       189872    191727         0         0
           13         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   172915   0       29  20 
      0 -79        0 -59        0 -39        0 -19   118969   1       29  21 
      0 -78        0 -58        0 -38        0 -18    82995   2       29  22 
      0 -77        0 -57        0 -37        0 -17    31204   3       29  23 
      0 -76        0 -56        0 -36        0 -16     3404   4       29  24 
      0 -75        0 -55        0 -35        0 -15      378   5       29  25 
      0 -74        0 -54        0 -34        0 -14      105   6       29  26 
      0 -73        0 -53        0 -33        3 -13       56   7       29  27 
      0 -72        0 -52        0 -32        7 -12       40   8       29  28 
      0 -71        0 -51        0 -31       17 -11       39   9       29  29 
      0 -70        0 -50        0 -30       26 -10       30  10       29  30 
      0 -69        0 -49        0 -29       56  -9       31  11       29  31 
      0 -68        0 -48        0 -28      113  -8       31  12       29  32 
      0 -67        0 -47        0 -27      380  -7       30  13       29  33 
      0 -66        0 -46        0 -26     3157  -6       29  14       29  34 
      0 -65        0 -45        0 -25    26795  -5       29  15       29  35 
      0 -64        0 -44        0 -24    90813  -4       29  16       29  36 
      0 -63        0 -43        0 -23   115956  -3       29  17       29  37 
      0 -62        0 -42        0 -22    97050  -2       29  18       29  38 
      0 -61        0 -41        0 -21    47226  -1       29  19       29  39

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  799384.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -13.      -80 thru  -1 =  381599.
  Behav =     Relaxed.        Maximum =    1929.        0 thru  39 =  410981.
  histend                     K       =  200000.       40 thru Max =    6804.

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

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

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

  End  analysis of Test T400  at               09:56:09.065 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:56:09.313 980422
  End execution of Test T410  at               09:56:09.698 980422
  Duration                                            0.385 
Start  analysis of Test T410  at               09:56:09.776 980422

Thread start, stop, and dur times.
   0.197    0.197    0.000    0.000    0.000    0.000    0.000    0.000 
   0.355    0.384    0.000    0.000    0.000    0.000    0.000    0.000 
   0.158    0.187    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      16       0       0
   9999    8140   12178       0       0
  19998   16240   24568       0       0
  29997   24701   35605       0       0
  39996   33890   84052       0       0
  49995   38851   95311       0       0
  59994   38851  106766       0       0
  69993   38851  118304       0       0
  79992   38851  130070       0       0
  89991   45372  141464       0       0
  99990   54122  153002       0       0
 109989   62815  164571       0       0
 119988   71456  176007       0       0
 129987   79917  187708       0       0
 139986   88706  198779       0       0
 149985   97472  199999       0       0
 159984  106184  199999       0       0
 169983  114590  199999       0       0
 179982  123514  199999       0       0
 189981  131970  199999       0       0
 199980  140962  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                       2222222222222222222222222
                                                                                
                                                      2                         
                                                     2                          
                                                    2                           
                                                   2                            
                                                  2                             
                                                 2                              
                                                2                               
                                                                                
                                               2                                
                                              2                                 
                                             2                                  
                                            2                                   
                                           2                                    
                                          2                                     
                                                                                
                                         2                                      
                                        2                                       
                                       2                                        
                                      2                                         
                                     2                                          
                                    2                                           
                                                                               1
                                   2                                          1 
                                  2                                          1  
                                 2                                          1   
                                2                                          1    
                               2                                          1     
                              2                                         11      
                                                                       1        
                             2                                        1         
                            2                                        1          
                           2                                        1           
                          2                                        1            
                         2                                        1             
                        2                                       11              
                                                               1                
                       2                                      1                 
                      2                                      1                  
                     2                                      1                   
                    2                                      1                    
                   2                                      1                     
                  2                                     11                      
                                                       1                        
                 2                                    1                         
                2                                    1                          
                                                    1                           
                                                   1                            
                                                  1                             
                                                11                              
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                           1                                    
                                          1                                     
                                        11                                      
                                       1                                        
                                      1                                         
                                     1                                          
                                    1                                           
               2                   1                                            
              2                   1                                             
             2    1111111111111111                                              
            2    1                                                              
           2    1                                                               
          2    1                                                                
         2    1                                                                 
            11                                                                  
        2  1                                                                    
       2  1                                                                     
      2  1                                                                      
     2  1                                                                       
       1                                                                        
    211                                                                         
   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       229884          0
   1        65679      74129
   2        81359      67808
   3        19164      22948
   4         3590       3169
   5          223       1701
   6           49        273
   7           14         50
   8           13         14
   9            4          3
  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           17         17

 d = -11. 
Event 4.1. u[ 163869] =  109434 <  109435; v[ 109435] =  163858 <  163869.
b=1 c=1 u[ 163859]:  109433  109433  109433  109433  109433  109433  109434
                     109434  109434  109434  109434
 d = -10. 
Event 4.1. u[   3540] =    2978 <    2979; v[   2979] =    3530 <    3540.
b=2 c=2 u[   3531]:    2976    2976    2977    2978    2978    2978    2978
                       2978    2978    2978
Event 4.1. u[ 163868] =  109434 <  109435; v[ 109435] =  163858 <  163868.
b=1 c=1 u[ 163859]:  109433  109433  109433  109433  109433  109433  109434
                     109434  109434  109434
 d =  -9. 
Event 4.1. u[   3539] =    2978 <    2979; v[   2979] =    3530 <    3539.
b=2 c=2 u[   3531]:    2976    2976    2977    2978    2978    2978    2978
                       2978    2978
Event 4.1. u[   5402] =    4426 <    4427; v[   4427] =    5393 <    5402.
b=1 c=1 u[   5394]:    4425    4425    4425    4426    4426    4426    4426
                       4426    4426
Event 4.1. u[ 163867] =  109434 <  109435; v[ 109435] =  163858 <  163867.
b=1 c=1 u[ 163859]:  109433  109433  109433  109433  109433  109433  109434
                     109434  109434
 d =  -8. 
Event 4.1. u[   3538] =    2978 <    2979; v[   2979] =    3530 <    3538.
b=2 c=2 u[   3531]:    2976    2976    2977    2978    2978    2978    2978
                       2978
Event 4.1. u[   5396] =    4425 <    4426; v[   4426] =    5388 <    5396.
b=1 c=1 u[   5389]:    4424    4424    4424    4424    4425    4425    4425
                       4425
Event 4.1. u[   5401] =    4426 <    4427; v[   4427] =    5393 <    5401.
b=1 c=1 u[   5394]:    4425    4425    4425    4426    4426    4426    4426
                       4426
Event 4.1. u[   5411] =    4429 <    4430; v[   4430] =    5403 <    5411.
b=0 c=0 u[   5404]:    4429    4429    4429    4429    4429    4429    4429
                       4429
Event 4.1. u[  20606] =   16760 <   16761; v[  16761] =   20598 <   20606.
b=2 c=1 u[  20599]:   16758   16760   16760   16760   16760   16760   16760
                      16760
Event 4.1. u[  34494] =   28632 <   28633; v[  28633] =   34486 <   34494.
b=0 c=0 u[  34487]:   28632   28632   28632   28632   28632   28632   28632
                      28632
Event 4.1. u[  36062] =   30392 <   30393; v[  30393] =   36054 <   36062.
b=2 c=1 u[  36055]:   30390   30392   30392   30392   30392   30392   30392
                      30392
Event 4.1. u[  40062] =   33944 <   33945; v[  33945] =   40054 <   40062.
b=2 c=1 u[  40055]:   33942   33944   33944   33944   33944   33944   33944
                      33944
Event 4.1. u[ 163962] =  109462 <  109463; v[ 109463] =  163954 <  163962.
b=2 c=2 u[ 163955]:  109460  109460  109461  109461  109461  109461  109462
                     109462

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   2969    2551    3498      -2      -3       3       4
   2970    2551    3505      -3      -1       4       2
   2971    2551    3508      -4       0       5       0
   2972    2553    3511       0      -1       5       1
   2973    2553    3514      -1       0       6       2
   2974    2556    3518       2      -1       2       1
   2975    2556    3521       1      -1       3       2
   2976    2556    3522       0      -2       4       3
   2977    2557    3526      -1      -1       4       3
   2978    2559    3530      -1      -2       2       2
   2979    2559    3530      -2      -3       3       3
   2980    2560    3535      -2      -2       3       2
   2981    2562    3540      -1      -2       3       3
   2982    2562    3546      -2      -1       4       2
   2983    2562    3550      -3      -1       5       1
   2984    2563    3554      -2      -1       6       1
   2985    2565    3560      -2       0       3       1
   2986    2565    3563      -3      -1       4       1
   2987    2565    3567      -4       0       5       0
   2988    2567    3570      -2      -1       5       1
   2989    2568    3574      -3       0       3       0

   3530    2976    4240      -4      -2       9       3
   3531    2976    4242      -5      -1      10       3
   3532    2976    4242      -6      -2      11       4
   3533    2977    4242      -3      -3      11       5
   3534    2978    4243      -4      -4       8       4
   3535    2978    4245      -5      -2       9       5
   3536    2978    4245      -6      -3      10       6
   3537    2978    4248      -7      -1      11       2
   3538    2978    4250      -8       0      12       2
   3539    2978    4250      -9      -1      13       3
   3540    2978    4252     -10      -2      14       2
   3541    2979    4252      -6      -3      11       3
   3542    2979    4254      -7      -2      12       4
   3543    2980    4254      -3      -3      13       5
   3544    2980    4257      -4      -1      14       2
   3545    2980    4259      -5       0      15       2
   3546    2981    4261       0       0      11       1
   3547    2981    4261      -1      -1      12       2
   3548    2982    4261       2      -2       8       3
   3549    2982    4262       1      -1       9       4
   3550    2982    4265       0      -1      10       2

   4418    3679    5365      -1      -1       2       2
   4419    3679    5370      -2      -1       3       1
   4420    3679    5370      -3      -2       4       2
   4421    3680    5373      -2      -2       5       3
   4422    3682    5377      -1      -1       3       1
   4423    3682    5378      -2      -2       4       2
   4424    3683    5383      -1      -1       5       1
   4425    3683    5386      -2      -2       6       2
   4426    3684    5388      -2      -2       5       3
   4427    3684    5393      -3      -2       6       3
   4428    3686    5397      -2      -2       4       3
   4429    3688    5403      -1       0       3       3
   4430    3688    5403      -2      -1       4       4
   4431    3688    5406      -3      -2       5       2
   4432    3688    5410      -4      -3       6       3
   4433    3689    5416      -3      -1       7       2
   4434    3689    5420      -4      -1       8       1
   4435    3691    5424      -2      -1       5       1
   4436    3693    5430      -2      -1       3       2
   4437    3695    5435      -2      -1       3       2
   4438    3695    5440      -3       0       4       1

   5388    4423    6614      -5      -2      11       4
   5389    4424    6614      -3      -3      11       5
   5390    4424    6615      -4      -3      12       4
   5391    4424    6617      -5      -2      13       4
   5392    4424    6618      -6      -2      14       3
   5393    4425    6618      -5      -3      10       4
   5394    4425    6620      -6      -2      11       4
   5395    4425    6621      -7      -3      12       5
   5396    4425    6623      -8      -3      13       4
   5397    4426    6623      -4      -4      11       5
   5398    4426    6624      -5      -3      12       5
   5399    4426    6626      -6      -2      13       4
   5400    4426    6626      -7      -3      14       5
   5401    4426    6627      -8      -3      15       4
   5402    4426    6627      -9      -4      16       5
   5403    4429    6631       0      -1       6       3
   5404    4429    6631      -1      -2       7       4
   5405    4429    6633      -2      -1       8       3
   5406    4429    6634      -3       0       9       2
   5407    4429    6634      -4      -1      10       3
   5408    4429    6637      -5       0      11       2
   5409    4429    6637      -6      -1      12       3
   5410    4429    6637      -7      -2      13       4
   5411    4429    6639      -8      -1      14       3
   5412    4430    6640      -6      -1       9       2
   5413    4431    6640      -3      -2      10       3
   5414    4431    6641      -4      -1      11       4
   5415    4431    6643      -5      -2      12       2
   5416    4432    6643       0      -3      10       3
   5417    4432    6645      -1      -2      11       4
   5418    4433    6645       2      -3       8       5
   5419    4433    6647       1      -1       9       4

  16753   13493   20590      -3      -3       4       4
  16754   13494   20592      -1      -2       5       4
  16755   13496   20594       0      -3       2       3
  16756   13496   20594      -1      -4       3       4
  16757   13497   20594      -1      -5       4       5
  16758   13497   20595      -2      -3       5       6
  16759   13499   20597       1      -2       3       4
  16760   13499   20597       0      -3       4       5
  16761   13499   20598      -1      -3       5       4
  16762   13500   20604      -2      -2       4       2
  16763   13502   20605      -2      -3       3       3
  16764   13502   20607      -3      -2       4       4
  16765   13504   20609      -2      -2       4       3
  16766   13504   20610      -3      -2       5       3
  16767   13504   20610      -4      -3       6       4
  16768   13505   20612      -3      -2       5       4
  16769   13505   20615      -4      -1       6       2

  20598   16757   25239      -3      -1       4       4
  20599   16758   25239      -2      -2       5       5
  20600   16760   25241      -2      -1       3       3
  20601   16760   25243      -3       0       4       2
  20602   16760   25245      -4       0       5       1
  20603   16760   25245      -5      -1       6       2
  20604   16760   25246      -6       0       7       3
  20605   16760   25246      -7      -1       8       4
  20606   16760   25249      -8       1       9       2
  20607   16762   25249      -2       0       9       3
  20608   16762   25249      -3      -1      10       4
  20609   16763   25250      -2      -1       5       4
  20610   16763   25250      -3      -2       6       5
  20611   16764   25254      -2      -1       6       3
  20612   16764   25255      -3      -1       7       2
  20613   16766   25257      -3       0       4       2
  20614   16767   25258      -2      -1       4       3

  34486   28630   40671      -1      -3       4       4
  34487   28632   40674      -1      -2       2       2
  34488   28632   40674      -2      -3       3       3
  34489   28632   40674      -3      -4       4       4
  34490   28632   40674      -4      -5       5       5
  34491   28632   40676      -5      -3       6       6
  34492   28632   40676      -6      -4       7       7
  34493   28632   40678      -7      -1       8       5
  34494   28632   40679      -8      -2       9       4
  34495   28634   40679      -2      -3       9       5
  34496   28634   40680      -3      -3      10       4
  34497   28634   40683      -4      -2      11       2
  34498   28635   40683      -2      -3       6       3
  34499   28637   40685      -2      -1       3       4
  34500   28637   40687      -3      -2       4       2
  34501   28639   40687      -2      -3       4       3
  34502   28639   40688      -3      -3       5       4

 109424   62334  163802      -1       0       6       1
 109425   62335  163802      -2      -1       4       2
 109426   62336  163810      -1       0       3       1
 109427   62336  163814      -2      -1       4       1
 109428   62338  163819      -2      -1       3       2
 109429   62338  163828      -3      -1       4       1
 109430   62339  163833      -1      -1       4       1
 109431   62341  163842      -1      -1       2       1
 109432   62341  163850      -2       0       3       1
 109433   62341  163856      -3      -1       4       1
 109434   62342  163858      -1      -1       5       2
 109435   62344  163858      -1      -2       2       3
 109436   62344  163866      -2      -2       3       2
 109437   62344  163870      -3      -2       4       3
 109438   62346  163874       0      -1       4       2
 109439   62348  163874      -1      -2       1       3
 109440   62349  163881      -1      -2       2       3
 109441   62351  163883      -1      -2       2       3
 109442   62351  163889      -2      -1       3       2
 109443   62351  163891      -3      -1       4       2
 109444   62352  163896      -1      -1       5       1
 109445   62354  163900       0      -1       2       2
 109446   62354  163906      -1      -1       3       1

 163858  109432  199999      -2 2097152      16   22878
 163859  109433  199999      -1 2097152       9   22879
 163860  109433  199999      -2 2097152      10   22880
 163861  109433  199999      -3 2097152      11   22881
 163862  109433  199999      -4 2097152      12   22882
 163863  109433  199999      -5 2097152      13   22883
 163864  109433  199999      -6 2097152      14   22884
 163865  109434  199999      -7 2097152       9   22885
 163866  109434  199999      -8 2097152      10   22886
 163867  109434  199999      -9 2097152      11   22887
 163868  109434  199999     -10 2097152      12   22888
 163869  109434  199999     -11 2097152      13   22889
 163870  109435  199999      -4 2097152      12   22890
 163871  109435  199999      -5 2097152      13   22891
 163872  109436  199999      -2 2097152      14   22892
 163873  109436  199999      -3 2097152      15   22893
 163874  109436  199999      -4 2097152      16   22894
 163875  109437  199999      -1 2097152       9   22895
 163876  109437  199999      -2 2097152      10   22896
 163877  109437  199999      -3 2097152      11   22897
 163878  109437  199999      -4 2097152      12   22898
 163879  109437  199999      -5 2097152      13   22899
 163880  109437  199999      -6 2097152      14   22900

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     35894     35894         0         0     -1
 -2     59192     42699         0         0     -2
 -3     37903     38280         0         0     -3
 -4     12118     11925         0         0     -4
 -5      2868      1466         0         0     -5
 -6      1004       221         0         0     -6
 -7        92        41         0         0     -7
 -8        17        23         0         0     -8
 -9         3         0         0         0     -9
-10         2         0         0         0    -10
-11         1         0         0         0    -11
-12         0         0         0         0    -12

Totals / Min / Under -25:  
       149094    130549         0         0
           11         8         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  740978.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -11.      -80 thru  -1 =  279643.
  Behav =     Relaxed.        Maximum =   37132.        0 thru  39 =  422921.
  histend                     K       =  200000.       40 thru Max =   38414.

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

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

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

  End  analysis of Test T410  at               09:56:12.394 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:56:12.646 980422
  End execution of Test T420  at               09:56:13.050 980422
  Duration                                            0.404 
Start  analysis of Test T420  at               09:56:13.180 980422

Thread start, stop, and dur times.
   0.204    0.204    0.000    0.000    0.000    0.000    0.000    0.000 
   0.400    0.404    0.000    0.000    0.000    0.000    0.000    0.000 
   0.196    0.200    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    9768   10317       0       0
  19998   19184   20858       0       0
  29997   28873   31161       0       0
  39996   38746   41314       0       0
  49995   48576   51515       0       0
  59994   58390   61775       0       0
  69993   67829   72237       0       0
  79992   77525   82527       0       0
  89991   87512   92544       0       0
  99990   97348  102774       0       0
 109989  107110  113024       0       0
 119988  116886  123255       0       0
 129987  126599  133417       0       0
 139986  136561  143456       0       0
 149985  146174  153956       0       0
 159984  155984  164426       0       0
 169983  168446  175562       0       0
 179982  174334  185962       0       0
 189981  183922  196437       0       0
 199980  193480  199999       0       0

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


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

   i       deltas    strings 
   0       176871          0
   1        84422      90845
   2       123549     111488
   3        12385      18326
   4         2661       1332
   5           78       1046
   6            6         63
   7            0          1
   8            1          1
   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            1          0
  19            0          0
over           22         23

 d =  -8. 
Event 4.1. u[  76661] =   74261 <   74262; v[  74262] =   76653 <   76661.
b=1 c=1 u[  76654]:   74260   74260   74260   74260   74261   74261   74261
                      74261
Event 4.1. u[  76672] =   74264 <   74265; v[  74265] =   76664 <   76672.
b=1 c=1 u[  76665]:   74263   74263   74263   74263   74263   74264   74264
                      74264
 d =  -7. 
Event 4.1. u[  76660] =   74261 <   74262; v[  74262] =   76653 <   76660.
b=1 c=1 u[  76654]:   74260   74260   74260   74260   74261   74261   74261
Event 4.1. u[  76669] =   74263 <   74264; v[  74264] =   76662 <   76669.
b=1 c=1 u[  76663]:   74262   74263   74263   74263   74263   74263   74263
Event 4.1. u[  76671] =   74264 <   74265; v[  74265] =   76664 <   76671.
b=1 c=1 u[  76665]:   74263   74263   74263   74263   74263   74264   74264
Event 4.1. u[  76884] =   74421 <   74422; v[  74422] =   76877 <   76884.
b=0 c=0 u[  76878]:   74421   74421   74421   74421   74421   74421   74421
 d =  -6. 
Event 4.1. u[  76657] =   74260 <   74261; v[  74261] =   76651 <   76657.
b=1 c=1 u[  76652]:   74259   74260   74260   74260   74260   74260
Event 4.1. u[  76659] =   74261 <   74262; v[  74262] =   76653 <   76659.
b=1 c=1 u[  76654]:   74260   74260   74260   74260   74261   74261
Event 4.1. u[  76668] =   74263 <   74264; v[  74264] =   76662 <   76668.
b=1 c=1 u[  76663]:   74262   74263   74263   74263   74263   74263
Event 4.1. u[  76670] =   74264 <   74265; v[  74265] =   76664 <   76670.
b=1 c=1 u[  76665]:   74263   74263   74263   74263   74263   74264
Event 4.1. u[  76831] =   74403 <   74404; v[  74404] =   76825 <   76831.
b=1 c=1 u[  76826]:   74402   74402   74402   74403   74403   74403
Event 4.1. u[  76844] =   74407 <   74408; v[  74408] =   76838 <   76844.
b=1 c=1 u[  76839]:   74406   74406   74407   74407   74407   74407
Event 4.1. u[  76868] =   74416 <   74417; v[  74417] =   76862 <   76868.
b=1 c=1 u[  76863]:   74415   74415   74416   74416   74416   74416
Event 4.1. u[  76883] =   74421 <   74422; v[  74422] =   76877 <   76883.
b=0 c=0 u[  76878]:   74421   74421   74421   74421   74421   74421
Event 4.1. u[ 143695] =  140150 <  140151; v[ 140151] =  143689 <  143695.
b=1 c=1 u[ 143690]:  140149  140149  140149  140150  140150  140150

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  74254   71955   76631      -1       0       2       2
  74255   71957   76632       0      -1       2       2
  74256   71957   76638      -1      -1       3       2
  74257   71959   76642      -1      -1       2       2
  74258   71959   76646      -2      -1       3       2
  74259   71961   76646      -1      -2       3       3
  74260   71961   76649      -2      -2       4       3
  74261   71962   76651      -1      -2       3       3
  74262   71964   76653       0      -2       2       3
  74263   71964   76658      -1      -2       3       3
  74264   71966   76662      -1      -2       2       3
  74265   71966   76664      -2      -2       3       3
  74266   71967   76670      -1      -2       3       3
  74267   71968   76673      -2      -1       4       3
  74268   71968   76674      -3       0       5       2
  74269   71971   76674      -1      -1       2       3
  74270   71971   76676      -2      -1       3       2
  74271   71972   76676      -1      -2       4       3
  74272   71972   76678      -2      -1       5       3
  74273   71974   76680      -1      -1       3       2

  74398   72093   76810      -1      -3       3       3
  74399   72095   76813       0      -1       2       3
  74400   72095   76816      -1      -2       3       2
  74401   72096   76819       0      -1       4       3
  74402   72096   76819      -1      -2       5       4
  74403   72099   76823       1      -2       2       3
  74404   72099   76825       0      -2       3       3
  74405   72099   76829      -1      -2       4       3
  74406   72100   76832      -1      -2       4       3
  74407   72101   76835      -1      -2       3       3
  74408   72102   76838      -1      -2       3       3
  74409   72102   76841      -2      -2       4       3
  74410   72104   76845      -1      -2       3       3
  74411   72104   76847      -2      -2       4       3
  74412   72104   76850      -3      -2       5       3
  74413   72106   76853      -1      -1       4       3
  74414   72106   76856      -2      -2       5       2
  74415   72108   76859      -1      -1       3       3
  74416   72108   76859      -2      -2       4       4
  74417   72109   76862      -1      -2       3       3
  74418   72111   76865       0      -2       2       3
  74419   72111   76869      -1      -2       3       3
  74420   72112   76871      -2      -2       4       3
  74421   72114   76874      -1      -2       3       3
  74422   72116   76877       0      -1       2       3
  74423   72116   76880      -1      -2       3       2
  74424   72117   76885      -1      -2       4       3
  74425   72117   76887      -2      -2       5       3
  74426   72119   76890      -1      -2       3       3
  74427   72121   76892       0      -1       2       3
  74428   72122   76894      -1       0       1       2
  74429   72123   76894       0      -1       2       3

  76651   74259   79110      -2       1       5       3
  76652   74259   79110      -3       0       6       4
  76653   74260   79110      -2      -1       7       5
  76654   74260   79111      -3      -1       8       4
  76655   74260   79111      -4      -2       9       5
  76656   74260   79113      -5      -1      10       3
  76657   74260   79113      -6      -2      11       4
  76658   74261   79114      -5      -2       9       3
  76659   74261   79116      -6      -1      10       3
  76660   74261   79118      -7       0      11       2
  76661   74261   79118      -8      -1      12       3
  76662   74262   79119      -4       0      11       4
  76663   74262   79119      -5      -1      12       5
  76664   74263   79121      -2      -1      11       2
  76665   74263   79121      -3      -2      12       3
  76666   74263   79122      -4       0      13       4
  76667   74263   79122      -5      -1      14       5
  76668   74263   79124      -6      -1      15       2
  76669   74263   79124      -7      -2      16       3
  76670   74264   79126      -6      -1      12       3
  76671   74264   79127      -7      -1      13       2
  76672   74264   79129      -8       0      14       2
  76673   74266   79129       0      -1       9       3
  76674   74266   79131      -1      -2      10       2
  76675   74268   79133      -1      -1       2       3
  76676   74268   79133      -2      -2       3       4
  76677   74269   79135      -1      -1       3       3
  76678   74271   79136       0      -1       2       2
  76679   74271   79138      -1       0       3       2
  76680   74272   79138       0      -1       4       3

  76825   74402   79284      -2      -1       6       4
  76826   74402   79286      -3       0       7       2
  76827   74402   79286      -4      -1       8       3
  76828   74402   79288      -5      -1       9       2
  76829   74403   79288      -4      -2      10       3
  76830   74403   79289      -5      -1      11       3
  76831   74403   79291      -6       0      12       2
  76832   74404   79291      -3      -1       9       3
  76833   74404   79294      -4       1      10       2
  76834   74404   79294      -5       0      11       3
  76835   74405   79294      -3      -1      10       4
  76836   74405   79295      -4      -2      11       4
  76837   74405   79296      -5      -1      12       3
  76838   74406   79298      -3      -1       9       2
  76839   74406   79298      -4      -2      10       3
  76840   74406   79298      -5      -3      11       4
  76841   74407   79301      -3      -1       9       4
  76842   74407   79302      -4      -1      10       2
  76843   74407   79304      -5       0      11       2
  76844   74407   79304      -6      -1      12       3
  76845   74408   79306      -4      -1      10       2
  76846   74408   79306      -5      -2      11       3
  76847   74409   79306      -2      -3       9       4
  76848   74409   79306      -3      -4      10       5
  76849   74409   79308      -4      -1      11       5
  76850   74410   79308      -3      -2       9       6

  76862   74415   79321      -3      -1       6       3
  76863   74415   79323      -4       0       7       2
  76864   74415   79323      -5      -1       8       3
  76865   74416   79326      -3       1       6       2
  76866   74416   79326      -4       0       7       3
  76867   74416   79326      -5      -1       8       4
  76868   74416   79327      -6      -2       9       4
  76869   74417   79328      -4      -1      10       3
  76870   74417   79330      -5      -1      11       2
  76871   74418   79330      -2      -2       9       3
  76872   74418   79330      -3      -3      10       4
  76873   74418   79333      -4      -1      11       4
  76874   74419   79334      -3      -1       9       2
  76875   74419   79336      -4       0      10       2
  76876   74419   79336      -5      -1      11       3
  76877   74421   79338       0      -1       6       2
  76878   74421   79338      -1      -2       7       3
  76879   74421   79338      -2      -3       8       4
  76880   74421   79340      -3      -1       9       4
  76881   74421   79340      -4      -2      10       5
  76882   74421   79342      -5      -2      11       3
  76883   74421   79342      -6      -3      12       4
  76884   74421   79343      -7      -1      13       4
  76885   74422   79346      -5      -1      11       2
  76886   74422   79346      -6      -2      12       3
  76887   74423   79346      -2      -3      10       4
  76888   74423   79348      -3      -1      11       4
  76889   74423   79348      -4      -2      12       5
  76890   74424   79350      -3      -2      10       3
  76891   74424   79350      -4      -3      11       4

 140145  136725  143672      -2      -2       5       3
 140146  136727  143675      -1      -2       3       3
 140147  136728  143678       0      -2       2       3
 140148  136728  143681      -1      -2       3       3
 140149  136730  143683      -1      -2       2       3
 140150  136730  143686      -2      -2       3       3
 140151  136732  143689      -1      -2       3       3
 140152  136733  143693      -1      -2       2       3
 140153  136735  143695       0      -2       2       3
 140154  136735  143699      -1      -1       3       3
 140155  136737  143700       0      -1       2       2
 140156  136738  143702      -1       0       1       2
 140157  136739  143702      -1      -1       2       3

 143689  140148  147494      -6      -2      11       5
 143690  140149  147496      -4      -2       9       3
 143691  140149  147496      -5      -3      10       4
 143692  140149  147497      -6      -1      11       4
 143693  140150  147498      -4      -2      10       5
 143694  140150  147498      -5      -3      11       6
 143695  140150  147501      -6      -1      12       2
 143696  140151  147501      -3      -2      10       3
 143697  140151  147503      -4      -1      11       3
 143698  140151  147503      -5      -2      12       4
 143699  140153  147504       0       0       6       3
 143700  140153  147506      -1      -1       7       1
 143701  140154  147506      -1      -2       6       2

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     94366     94366         0         0     -1
 -2     50154     49222         0         0     -2
 -3     12197      9905         0         0     -3
 -4       925       675         0         0     -4
 -5       134        55         0         0     -5
 -6        31        14         0         0     -6
 -7         4         0         0         0     -7
 -8         2         0         0         0     -8
 -9         0         0         0         0     -9

Totals / Min / Under -25:  
       157813    154237         0         0
            8         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   234023   0       22  20 
      0 -79        0 -59        0 -39        0 -19    92095   1       22  21 
      0 -78        0 -58        0 -38        0 -18   125925   2       22  22 
      0 -77        0 -57        0 -37        0 -17    12957   3       22  23 
      0 -76        0 -56        0 -36        0 -16     2709   4       22  24 
      0 -75        0 -55        0 -35        0 -15      103   5       22  25 
      0 -74        0 -54        0 -34        0 -14       30   6       22  26 
      0 -73        0 -53        0 -33        0 -13       23   7       22  27 
      0 -72        0 -52        0 -32        0 -12       24   8       22  28 
      0 -71        0 -51        0 -31        0 -11       23   9       22  29 
      0 -70        0 -50        0 -30        0 -10       23  10       22  30 
      0 -69        0 -49        0 -29        0  -9       23  11       22  31 
      0 -68        0 -48        0 -28        2  -8       23  12       22  32 
      0 -67        0 -47        0 -27        4  -7       23  13       22  33 
      0 -66        0 -46        0 -26       45  -6       23  14       22  34 
      0 -65        0 -45        0 -25      189  -5       23  15       22  35 
      0 -64        0 -44        0 -24     1600  -4       23  16       22  36 
      0 -63        0 -43        0 -23    22102  -3       23  17       22  37 
      0 -62        0 -42        0 -22    99376  -2       24  18       22  38 
      0 -61        0 -41        0 -21   188732  -1       22  19       22  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 |                            oo o                                     
 80000 |                           ooooo                                     
 60000 |                           ooooo                                     
 40000 |                           ooooo                                     
 20000 |                          oooooo                                     
     0 |_________._________._oooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  793496.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -8.      -80 thru  -1 =  312050.
  Behav =     Relaxed.        Maximum =    5983.        0 thru  39 =  468582.
  histend                     K       =  200000.       40 thru Max =   12864.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |  o                                    
130000 |                             |  o                                    
120000 |                             |  o                                    
110000 |                             |  o                                    
100000 |                             |  o                                    
 90000 |                             | oo                                    
 80000 |                             | oo                                    
 70000 |                             | ooo                                   
 60000 |                             | ooo                                   
 50000 |                             | ooo                                   
 40000 |                             | oooo                                  
 30000 |                             | oooo                                  
 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  =         420.        Total   =  399978.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    6499.        0 thru  39 =  380584.
  histend                     K       =  200000.       40 thru Max =   19394.

  End  analysis of Test T420  at               09:56:15.985 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:56:16.244 980422
  End execution of Test T700  at               09:56:16.486 980422
  Duration                                            0.242 
Start  analysis of Test T700  at               09:56:16.487 980422

Thread start, stop, and dur times.
   0.036    0.036    0.000    0.000    0.000    0.000    0.000    0.000 
   0.237    0.241    0.000    0.000    0.000    0.000    0.000    0.000 
   0.201    0.205    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      10  199999  199999
   9999    9771   10226       0       0
  19998   17791   22015       0       0
  29997   27368   32503       0       0
  39996   37719   43074       0       0
  49995   46992   52926       0       0
  59994   57332   63444       0       0
  69993   66672   73930       0       0
  79992   76116   83823       0       0
  89991   86227   93673       0       0
  99990   95635  104344       0       0
 109989  105609  114754       0       0
 119988  115458  124453       0       0
 129987  124634  135333       0       0
 139986  134810  145146       0       0
 149985  143893  156030       0       0
 159984  154107  166536       0       0
 169983  163499  176418       0       0
 179982  173564  187039       0       0
 189981  182802  197753       0       0
 199980  192237  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                                                                          22222
                                                                                
                                                                          2     
                                                                         2     1
                                                                        2    11 
                                                                       2    1   
                                                                      2    1    
                                                                     2    1     
                                                                    2    1      
                                                                   2    1       
                                                                  2    1        
                                                                 2    1         
                                                                2    1          
                                                               2    1           
                                                              2    1            
                                                             2    1             
                                                            2    1              
                                                           2    1               
                                                          2    1                
                                                         2    1                 
                                                             1                  
                                                        2   1                   
                                                       2   1                    
                                                      2   1                     
                                                     2   1                      
                                                    2   1                       
                                                   2   1                        
                                                  2   1                         
                                                 2   1                          
                                                2   1                           
                                               2   1                            
                                              2   1                             
                                             2   1                              
                                            2   1                               
                                           2   1                                
                                          2   1                                 
                                         2   1                                  
                                        2   1                                   
                                       2   1                                    
                                      2   1                                     
                                     2   1                                      
                                    2   1                                       
                                       1                                        
                                   2  1                                         
                                  2  1                                          
                                 2  1                                           
                                2  1                                            
                               2  1                                             
                              2  1                                              
                             2  1                                               
                            2  1                                                
                           2  1                                                 
                          2 11                                                  
                         2                                                      
                        2  1                                                    
                       2  1                                                     
                      2  1                                                      
                     2 11                                                       
                    2 1                                                         
                   2 1                                                          
                  2 1                                                           
                 2 1                                                            
                2 1                                                             
               2                                                                
              2 11                                                              
             2 1                                                                
            2 1                                                                 
           2 1                                                                  
            1                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 31                                                                             
                                                                                
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       182302          0
   1        83924      94344
   2       118311     102138
   3        14589      16447
   4          531       3575
   5          138       1013
   6           63         50
   7           11         15
   8           19          6
   9            2          3
  10            2          0
  11            1          0
  12            0          0
  13            1          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over          102        103

 d =  -9. 
Event 7.1. u[   4448] =    4409 <    4410; v[   4410] =    4439 <    4448.
b=1 c=1 u[   4440]:    4408    4408    4408    4408    4408    4409    4409
                       4409    4409
Event 7.1. u[   5956] =    5654 <    5655; v[   5655] =    5947 <    5956.
b=1 c=1 u[   5948]:    5653    5653    5653    5654    5654    5654    5654
                       5654    5654
Event 7.2. v[ 100799] =  105147 <  105148; u[ 105148] =  100790 <  100799.
b=1 c=1 v[ 100791]:  105146  105146  105146  105147  105147  105147  105147
                     105147  105147
Event 7.2. v[ 101009] =  105185 <  105186; u[ 105186] =  101000 <  101009.
b=1 c=1 v[ 101001]:  105184  105184  105184  105185  105185  105185  105185
                     105185  105185
Event 7.2. v[ 175386] =  181758 <  181759; u[ 181759] =  175377 <  175386.
b=1 c=1 v[ 175378]:  181757  181757  181757  181758  181758  181758  181758
                     181758  181758
Event 7.2. v[ 175402] =  181761 <  181762; u[ 181762] =  175393 <  175402.
b=1 c=1 v[ 175394]:  181760  181760  181760  181761  181761  181761  181761
                     181761  181761
Event 7.2. v[ 175454] =  181773 <  181774; u[ 181774] =  175445 <  175454.
b=1 c=1 v[ 175446]:  181772  181772  181772  181773  181773  181773  181773
                     181773  181773
Event 7.2. v[ 175491] =  181781 <  181782; u[ 181782] =  175482 <  175491.
b=1 c=1 v[ 175483]:  181780  181780  181781  181781  181781  181781  181781
                     181781  181781
Event 7.1. u[ 188892] =  181767 <  181768; v[ 181768] =  188883 <  188892.
b=1 c=1 u[ 188884]:  181766  181766  181766  181767  181767  181767  181767
                     181767  181767
 d =  -8. 
Event 7.1. u[   2986] =    2976 <    2977; v[   2977] =    2978 <    2986.
b=2 c=2 u[   2979]:    2974    2975    2975    2976    2976    2976    2976
                       2976
Event 7.1. u[   3010] =    2984 <    2985; v[   2985] =    3002 <    3010.
b=2 c=2 u[   3003]:    2982    2983    2983    2984    2984    2984    2984
                       2984
Event 7.1. u[   3034] =    2992 <    2993; v[   2993] =    3026 <    3034.
b=2 c=2 u[   3027]:    2990    2991    2991    2992    2992    2992    2992
                       2992
Event 7.1. u[   3044] =    2995 <    2996; v[   2996] =    3036 <    3044.
b=1 c=1 u[   3037]:    2994    2994    2994    2995    2995    2995    2995
                       2995
Event 7.1. u[   4447] =    4409 <    4410; v[   4410] =    4439 <    4447.
b=1 c=1 u[   4440]:    4408    4408    4408    4408    4408    4409    4409
                       4409
Event 7.1. u[ 188962] =  181784 <  181785; v[ 181785] =  188954 <  188962.
b=1 c=1 u[ 188955]:  181783  181783  181783  181784  181784  181784  181784
                     181784

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   4401    4368    4431      -1      -1       2       4
   4402    4368    4431      -2      -2       3       5
   4403    4369    4433      -3      -2       4       3
   4404    4369    4434      -4      -3       5       4
   4405    4372    4434      -1      -4       3       5
   4406    4372    4436      -2      -1       4       5
   4407    4374    4436      -1      -2       3       6
   4408    4375    4438      -1      -1       2       3
   4409    4377    4439       0      -1       2       2
   4410    4377    4439      -1      -2       3       3
   4411    4379    4444      -1      -2       2       3
   4412    4380    4449      -2      -2       2       3
   4413    4380    4450      -3      -2       3       3
   4414    4383    4453      -1      -2       3       3
   4415    4383    4459      -2      -2       4       3
   4416    4384    4461      -1      -2       5       3
   4417    4384    4467      -2      -2       6       3
   4418    4385    4469      -3      -2       5       3
   4419    4385    4474      -4      -2       6       3

   4439    4407    4554      -1      -2       3       3
   4440    4408    4557      -1      -2       4       3
   4441    4408    4562      -2      -2       5       3
   4442    4408    4566      -3      -2       6       3
   4443    4408    4566      -4      -3       7       4
   4444    4408    4567      -5      -2       8       4
   4445    4409    4569      -6      -1       7       3
   4446    4409    4569      -7      -2       8       4
   4447    4409    4570      -8      -1       9       5
   4448    4409    4570      -9      -2      10       6
   4449    4410    4572      -5      -1      10       3
   4450    4410    4574      -6      -2      11       2
   4451    4411    4574      -2      -3      12       3
   4452    4411    4575      -3      -1      13       4
   4453    4412    4577      -3      -2       9       2
   4454    4412    4578      -4      -2      10       3
   4455    4412    4578      -5      -3      11       4
   4456    4412    4578      -6      -4      12       5
   4457    4412    4580      -7      -1      13       5

   5646    5428    5911       0      -2       2       3
   5647    5428    5915      -1      -2       3       3
   5648    5429    5919      -1      -2       4       3
   5649    5431    5923       0      -2       2       3
   5650    5431    5927      -1      -2       3       3
   5651    5432    5931      -1      -2       4       3
   5652    5432    5935      -2      -2       5       3
   5653    5434    5939      -1      -2       3       3
   5654    5436    5943       0      -2       2       3
   5655    5436    5947      -1      -2       3       3
   5656    5437    5953      -1      -2       4       2
   5657    5437    5957      -2      -2       5       3
   5658    5439    5962      -1      -2       3       2
   5659    5440    5964      -1      -1       2       3
   5660    5440    5964      -2      -2       3       4
   5661    5443    5966      -1      -1       3       3
   5662    5443    5967      -2      -1       4       2
   5663    5445    5967      -1      -2       3       3
   5664    5446    5969      -1      -1       2       3

   5947    5653    6252      -4      -1      12       3
   5948    5653    6254      -5       0      13       2
   5949    5653    6254      -6      -1      14       3
   5950    5653    6255      -7      -1      15       4
   5951    5654    6257      -4      -1      12       2
   5952    5654    6257      -5      -2      13       3
   5953    5654    6258      -6      -1      14       4
   5954    5654    6258      -7      -2      15       5
   5955    5654    6258      -8      -3      16       6
   5956    5654    6260      -9      -1      17       4
   5957    5655    6262      -4       0      14       2
   5958    5655    6262      -5      -1      15       3
   5959    5655    6263      -6      -1      16       4
   5960    5655    6265      -7      -1      17       2
   5961    5656    6265      -4      -2      14       3
   5962    5656    6266      -5      -2      15       4
   5963    5656    6268      -6      -1      16       3
   5964    5656    6268      -7      -2      17       4
   5965    5658    6270      -1      -1       8       3

 100790   96437  105145      -1      -1       2       3
 100791   96437  105146      -2      -1       3       2
 100792   96439  105146      -1      -2       3       3
 100793   96440  105146      -1      -3       2       4
 100794   96440  105147      -2      -4       3       5
 100795   96442  105147      -1      -5       3       6
 100796   96442  105147      -2      -6       4       7
 100797   96445  105147      -1      -7       3       8
 100798   96445  105147      -2      -8       4       9
 100799   96447  105147      -1      -9       3      10
 100800   96448  105148       0      -3       2      10
 100801   96448  105148      -1      -4       3      11
 100802   96450  105148       0      -5       2      12
 100803   96452  105148      -1      -6       1      13
 100804   96454  105148      -1      -7       2      14
 100805   96454  105148      -2      -8       3      15
 100806   96455  105149      -1      -2       4      16
 100807   96456  105149      -2      -3       4      17
 100808   96458  105149       0      -4       3      18

 101000   96653  105184      -1      -2       4      13
 101001   96655  105184      -1      -3       2      14
 101002   96655  105184      -2      -4       3      15
 101003   96656  105184      -1      -5       4      16
 101004   96656  105185      -2      -4       5      12
 101005   96656  105185      -3      -5       6      13
 101006   96658  105185      -1      -6       4      14
 101007   96660  105185       0      -7       2      15
 101008   96660  105185      -1      -8       3      16
 101009   96661  105185      -1      -9       4      17
 101010   96663  105186      -1      -5       2      12
 101011   96663  105186      -2      -6       3      13
 101012   96664  105186      -2      -7       4      14
 101013   96666  105187      -1       0       3      13
 101014   96668  105187       0      -1       2      14
 101015   96668  105187      -1      -2       3      15
 101016   96669  105188      -1       1       4      11
 101017   96671  105188      -1       0       2      12
 101018   96671  105188      -2      -1       3      13

 105139  100783  109038      -1      -3       2       3
 105140  100784  109041      -2      -1       3       3
 105141  100784  109041      -3      -2       4       4
 105142  100786  109042       0      -1       4       5
 105143  100786  109042      -1      -2       5       6
 105144  100787  109042      -1      -3       4       7
 105145  100789  109047       0      -1       2       1
 105146  100789  109048      -1       0       3       2
 105147  100790  109048      -1      -1       4       3
 105148  100790  109050      -2       2       5       2
 105149  100797  109050      -2       1       2       3
 105150  100804  109050      -2       0       2       4
 105151  100808  109050      -2      -1       2       5
 105152  100814  109052      -2       0       2       2
 105153  100819  109054      -2      -1       2       1
 105154  100824  109056      -2      -1       2       2
 105155  100830  109056      -2      -2       2       3
 105156  100835  109058      -2      -1       2       3
 105157  100840  109058      -2      -2       2       4

 105177  100950  109080      -2      -1       2       3
 105178  100955  109080      -2      -2       2       4
 105179  100960  109082      -2      -1       2       3
 105180  100968  109082      -1      -2       1       4
 105181  100974  109084      -1      -1       2       3
 105182  100984  109084       0      -2       1       4
 105183  100987  109086      -1      -1       1       3
 105184  100992  109087      -1      -1       2       2
 105185  100998  109087      -1      -2       2       3
 105186  101000  109089      -2      -2       2       3
 105187  101005  109090      -2      -1       2       3
 105188  101013  109092      -1      -1       2       2
 105189  101017  109092      -1      -2       1       3
 105190  101023  109092      -1      -3       2       4
 105191  101026  109093      -2      -1       2       5
 105192  101034  109095      -1      -2       2       2
 105193  101042  109096       0      -2       1       3
 105194  101048  109096      -1      -3       1       4
 105195  101055  109098       0      -3       1       4

 175377  168908  181757      -2      -3       4       9
 175378  168909  181757      -2      -4       5      10
 175379  168911  181757      -1      -5       3      11
 175380  168912  181757      -2      -6       4      12
 175381  168912  181758      -3      -4       5      13
 175382  168914  181758      -1      -5       4      14
 175383  168916  181758       0      -6       2      15
 175384  168916  181758      -1      -7       3      16
 175385  168917  181758      -1      -8       4      17
 175386  168919  181758      -1      -9       2      18
 175387  168919  181759      -2      -2       3      13
 175388  168920  181759      -2      -3       4      14
 175389  168920  181759      -3      -4       5      15
 175390  168922  181759      -1      -5       4      16
 175391  168924  181759       0      -6       2      17
 175392  168924  181760      -1      -3       3      15
 175393  168925  181760      -1      -4       4      16
 175394  168927  181760      -1      -5       2      17
 175395  168927  181760      -2      -6       3      18
 175396  168928  181760      -2      -7       4      19
 175397  168928  181761      -3      -4       5      12
 175398  168930  181761      -1      -5       4      13
 175399  168932  181761       0      -6       2      14
 175400  168932  181761      -1      -7       3      15
 175401  168933  181761      -1      -8       4      16
 175402  168935  181761      -1      -9       2      17
 175403  168935  181762      -2      -3       3      14
 175404  168935  181762      -3      -4       4      15
 175405  168937  181762      -1      -5       4      16
 175406  168937  181763      -2      -3       5      13
 175407  168938  181763      -2      -4       5      14
 175408  168940  181763      -1      -5       3      15
 175409  168940  181763      -2      -6       4      16
 175410  168942  181763      -1      -7       3      17
 175411  168943  181764      -1      -4       2      11

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     86601     86601         0         0     -1
 -2     51951     59028         0         0     -2
 -3     19290     20455         0         0     -3
 -4      4960      4083         0         0     -4
 -5       922       633         0         0     -5
 -6       155        59         0         0     -6
 -7        99        45         0         0     -7
 -8        28        25         0         0     -8
 -9         3         6         0         0     -9
-10         0         0         0         0    -10

Totals / Min / Under -25:  
       164009    170935         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   212965   0      103  20 
      0 -79        0 -59        0 -39        0 -19    85719   1      103  21 
      0 -78        0 -58        0 -38        0 -18   118898   2      103  22 
      0 -77        0 -57        0 -37        0 -17    14756   3      103  23 
      0 -76        0 -56        0 -36        0 -16      651   4      102  24 
      0 -75        0 -55        0 -35        0 -15      253   5      102  25 
      0 -74        0 -54        0 -34        0 -14      171   6      102  26 
      0 -73        0 -53        0 -33        0 -13      119   7      102  27 
      0 -72        0 -52        0 -32        0 -12      126   8      102  28 
      0 -71        0 -51        0 -31        0 -11      108   9      102  29 
      0 -70        0 -50        0 -30        0 -10      105  10      102  30 
      0 -69        0 -49        0 -29        9  -9      104  11      102  31 
      0 -68        0 -48        0 -28       53  -8      103  12      102  32 
      0 -67        0 -47        0 -27      144  -7      104  13      102  33 
      0 -66        0 -46        0 -26      214  -6      103  14      102  34 
      0 -65        0 -45        0 -25     1555  -5      103  15      102  35 
      0 -64        0 -44        0 -24     9043  -4      103  16      102  36 
      0 -63        0 -43        0 -23    39745  -3      103  17      102  37 
      0 -62        0 -42        0 -22   110979  -2      103  18      102  38 
      0 -61        0 -41        0 -21   173202  -1      103  19      102  39

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             |                                       
260000 |                             |                                       
240000 |                             |                                       
220000 |                             |                                       
200000 |                             o                                       
180000 |                             o                                       
160000 |                            oo                                       
140000 |                            oo                                       
120000 |                            oo                                       
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,RR,CC1).
  Nmbr  =         700.        Total   =  792251.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -9.      -80 thru  -1 =  334944.
  Behav =     Relaxed.        Maximum =    1209.        0 thru  39 =  436844.
  histend                     K       =  200000.       40 thru Max =   20463.

  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       56   0      106  20 
      0 -79        0 -59        0 -39        0 -19     1795   1      103  21 
      0 -78        0 -58        0 -38        0 -18    72191   2      103  22 
      0 -77        0 -57        0 -37        0 -17   121861   3      103  23 
      0 -76        0 -56        0 -36        0 -16   103476   4      103  24 
      0 -75        0 -55        0 -35        0 -15    52795   5      103  25 
      0 -74        0 -54        0 -34        0 -14    12618   6      103  26 
      0 -73        0 -53        0 -33        0 -13     1759   7      103  27 
      0 -72        0 -52        0 -32        0 -12      332   8      103  28 
      0 -71        0 -51        0 -31        0 -11      241   9      103  29 
      0 -70        0 -50        0 -30        0 -10      282  10      103  30 
      0 -69        0 -49        0 -29        0  -9      274  11      103  31 
      0 -68        0 -48        0 -28        0  -8      312  12      103  32 
      0 -67        0 -47        0 -27        0  -7      302  13      103  33 
      0 -66        0 -46        0 -26        0  -6      293  14      103  34 
      0 -65        0 -45        0 -25        0  -5      258  15      103  35 
      0 -64        0 -44        0 -24        0  -4      190  16      103  36 
      0 -63        0 -43        0 -23        0  -3      154  17      103  37 
      0 -62        0 -42        0 -22        0  -2      139  18      103  38 
      0 -61        0 -41        0 -21        0  -1      113  19      103  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |                                       
120000 |                             |  o                                    
110000 |                             |  o                                    
100000 |                             |  oo                                   
 90000 |                             |  oo                                   
 80000 |                             |  oo                                   
 70000 |                             | ooo                                   
 60000 |                             | ooo                                   
 50000 |                             | oooo                                  
 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  =         700.        Total   =  399977.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    7746.        0 thru  39 =  371504.
  histend                     K       =  200000.       40 thru Max =   28473.

  End  analysis of Test T700  at               09:56:19.452 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:56:19.724 980422
  End execution of Test T710  at               09:56:20.107 980422
  Duration                                            0.383 
Start  analysis of Test T710  at               09:56:20.185 980422

Thread start, stop, and dur times.
   0.167    0.167    0.000    0.000    0.000    0.000    0.000    0.000 
   0.365    0.382    0.000    0.000    0.000    0.000    0.000    0.000 
   0.198    0.215    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     194  199999       0
   9999    9200   10897       0       0
  19998   17372   22918       0       0
  29997   26376   34061       0       0
  39996   30612   50605       0       0
  49995   39454   61558       0       0
  59994   48544   73284       0       0
  69993   57058   84532       0       0
  79992   65949   95399       0       0
  89991   74843  106198       0       0
  99990   84377  117354       0       0
 109989   93412  128437       0       0
 119988  102390  139711       0       0
 129987  111360  151699       0       0
 139986  120232  162409       0       0
 149985  128915  173879       0       0
 159984  137380  185304       0       0
 169983  146667  196325       0       0
 179982  155312  199999       0       0
 189981  164140  199999       0       0
 199980  173151  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                                                                   222222222222
                                                                   2            
                                                                  2             
                                                                 2              
                                                                2               
                                                                                
                                                               2                
                                                              2                 
                                                             2                  
                                                            2                   
                                                           2                   1
                                                          2                   1 
                                                                             1  
                                                         2                  1   
                                                        2                  1    
                                                       2                  1     
                                                      2                  1      
                                                     2                 11       
                                                    2                 1         
                                                   2                 1          
                                                                    1           
                                                  2                1            
                                                 2                1             
                                                2                1              
                                               2                1               
                                              2                1                
                                             2                1                 
                                                            11                  
                                            2              1                    
                                           2              1                     
                                          2              1                      
                                         2              1                       
                                        2              1                        
                                       2             11                         
                                      2             1                           
                                     2             1                            
                                                  1                             
                                    2            1                              
                                   2            1                               
                                  2            1                                
                                 2            1                                 
                                2            1                                  
                               2            1                                   
                              2           11                                    
                             2           1                                      
                            2           1                                       
                           2           1                                        
                                      1                                         
                          2          1                                          
                         2          1                                           
                        2          1                                            
                       2          1                                             
                      2          1                                              
                     2          1                                               
                               1                                                
                    2        11                                                 
                   2        1                                                   
                  2        1                                                    
                 2        1                                                     
                2        1                                                      
               2        1                                                       
              2        1                                                        
             2        1                                                         
                    11                                                          
                   1                                                            
                  1                                                             
            2    1                                                              
           2  111                                                               
          2  1                                                                  
         2  1                                                                   
        2  1                                                                    
       2  1                                                                     
        11                                                                      
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  21                                                                            
 11                                                                             
                                                                                
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       179527          0
   1        99331     114343
   2       107401      83387
   3        12924      17716
   4          569       3080
   5          111       1606
   6           40        266
   7           18          2
   8            5          0
   9            2          0
  10            0          0
  11            0          0
  12            0          0
  13            0          1
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           68         68

 d =  -8. 
Event 7.2. v[   1527] =    1284 <    1285; u[   1285] =    1519 <    1527.
b=1 c=1 v[   1520]:    1283    1283    1284    1284    1284    1284    1284
                       1284
Event 7.2. v[   1533] =    1285 <    1286; u[   1286] =    1525 <    1533.
b=1 c=1 v[   1526]:    1284    1284    1285    1285    1285    1285    1285
                       1285
Event 7.2. v[   1559] =    1290 <    1291; u[   1291] =    1551 <    1559.
b=1 c=1 v[   1552]:    1289    1289    1290    1290    1290    1290    1290
                       1290
Event 7.2. v[   1565] =    1291 <    1292; u[   1292] =    1557 <    1565.
b=1 c=1 v[   1558]:    1290    1290    1291    1291    1291    1291    1291
                       1291
Event 7.2. v[   1591] =    1296 <    1297; u[   1297] =    1583 <    1591.
b=1 c=1 v[   1584]:    1295    1295    1296    1296    1296    1296    1296
                       1296
Event 7.2. v[   1597] =    1297 <    1298; u[   1298] =    1589 <    1597.
b=1 c=1 v[   1590]:    1296    1296    1297    1297    1297    1297    1297
                       1297
Event 7.2. v[   1623] =    1302 <    1303; u[   1303] =    1615 <    1623.
b=1 c=1 v[   1616]:    1301    1301    1302    1302    1302    1302    1302
                       1302
Event 7.2. v[   1629] =    1303 <    1304; u[   1304] =    1621 <    1629.
b=1 c=1 v[   1622]:    1302    1302    1303    1303    1303    1303    1303
                       1303
Event 7.2. v[   1686] =    1317 <    1318; u[   1318] =    1678 <    1686.
b=1 c=1 v[   1679]:    1316    1316    1316    1316    1316    1317    1317
                       1317
 d =  -7. 
Event 7.2. v[   1480] =    1275 <    1276; u[   1276] =    1473 <    1480.
b=1 c=1 v[   1474]:    1274    1274    1275    1275    1275    1275    1275
Event 7.2. v[   1516] =    1282 <    1283; u[   1283] =    1509 <    1516.
b=1 c=1 v[   1510]:    1281    1281    1282    1282    1282    1282    1282
Event 7.2. v[   1526] =    1284 <    1285; u[   1285] =    1519 <    1526.
b=1 c=1 v[   1520]:    1283    1283    1284    1284    1284    1284    1284
Event 7.2. v[   1532] =    1285 <    1286; u[   1286] =    1525 <    1532.
b=1 c=1 v[   1526]:    1284    1284    1285    1285    1285    1285    1285
Event 7.2. v[   1548] =    1288 <    1289; u[   1289] =    1541 <    1548.
b=1 c=1 v[   1542]:    1287    1287    1288    1288    1288    1288    1288
Event 7.2. v[   1759] =    1337 <    1338; u[   1338] =    1752 <    1759.
b=1 c=1 v[   1753]:    1336    1336    1337    1337    1337    1337    1337

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   1269    1452    1122      -2      -3       3       4
   1270    1455    1122      -2      -4       3       5
   1271    1458    1124      -2       0       3       5
   1272    1461    1124      -2      -1       3       6
   1273    1464    1127      -2      -1       3       2
   1274    1467    1129      -2       1       3       2
   1275    1470    1129      -2       0       3       3
   1276    1473    1129      -2      -1       3       4
   1277    1478    1130      -2       0       2       3
   1278    1485    1130      -1      -1       1       4
   1279    1491    1131      -1      -1       1       4
   1280    1496    1133      -1       0       1       2
   1281    1502    1135      -1      -1       1       1
   1282    1506    1137      -1      -1       2       2
   1283    1509    1138      -2       0       2       3
   1284    1515    1138      -2      -1       2       4
   1285    1519    1140      -2      -1       2       2
   1286    1525    1140      -2      -2       2       3
   1287    1531    1142      -2      -1       2       3
   1288    1538    1143      -1      -1       2       2
   1289    1541    1145      -2      -1       2       2
   1290    1547    1146      -2      -2       2       3
   1291    1551    1146      -2      -3       2       4
   1292    1557    1148      -2       0       2       4
   1293    1563    1150      -2      -1       2       1
   1294    1570    1151      -1      -1       2       2
   1295    1573    1152      -2      -2       2       3
   1296    1579    1153      -2      -1       2       3
   1297    1583    1155      -2      -1       2       2
   1298    1589    1155      -2      -2       2       3
   1299    1595    1157      -2      -1       2       3
   1300    1602    1158      -1      -1       2       2
   1301    1605    1160      -2       0       2       2
   1302    1611    1160      -2      -1       2       3
   1303    1615    1161      -2      -1       2       4
   1304    1621    1162      -2      -2       2       3
   1305    1627    1162      -2      -3       2       4
   1306    1634    1164      -1      -2       2       4
   1307    1637    1165      -2      -2       2       3
   1308    1643    1166      -1      -2       2       4
   1309    1646    1168      -2      -1       2       3
   1310    1649    1170      -1       0       3       2
   1311    1653    1170      -2      -1       2       3
   1312    1656    1170      -2      -2       3       4
   1313    1661    1170      -2      -3       2       5
   1314    1664    1173      -2      -1       3       3
   1315    1669    1173      -2      -2       2       4
   1316    1672    1174      -2      -2       3       4
   1317    1676    1176      -2      -1       2       3
   1318    1678    1178      -2       0       3       2
   1319    1684    1178      -2      -1       3       3
   1320    1687    1178      -2      -2       3       4
   1321    1690    1180      -1      -1       3       3
   1322    1694    1182      -2      -1       2       2
   1323    1697    1182      -1      -2       3       3
   1324    1701    1183      -2      -1       2       4
   1325    1704    1185      -2       0       3       2
   1326    1709    1185      -2      -1       2       3

   1331    1728    1190      -2      -1       3       3
   1332    1732    1191      -2      -1       2       4
   1333    1735    1193      -2       0       3       2
   1334    1738    1194      -2      -1       3       3
   1335    1741    1194      -2      -2       3       4
   1336    1744    1196      -2       0       3       3
   1337    1749    1199      -2      -1       2       1
   1338    1752    1201      -2      -1       3       2
   1339    1757    1201      -2      -2       2       3
   1340    1760    1202      -2      -1       3       4
   1341    1762    1202      -1      -2       3       5
   1342    1762    1204      -2       0       4       3
   1343    1765    1204       0      -1       3       4
   1344    1765    1205      -1      -1       4       5
   1345    1765    1207      -2      -1       5       2

   1473    1872    1274     105      -3      13       9
   1474    1872    1274     104      -4      14      10
   1475    1872    1274     103      -5      15      11
   1476    1872    1275     102      -3      16       9
   1477    1872    1275     101      -4      17      10
   1478    1872    1275     100      -5      18      11
   1479    1872    1275      99      -6      19      12
   1480    1872    1275      98      -7      20      13
   1481    1872    1276      97      -3      21      11
   1482    1872    1276      96      -4      22      12
   1483    1872    1276      95      -5      23      13
   1484    1872    1277      94       1      24      11
   1485    1872    1277      93       0      25      12
   1486    1872    1277      92      -1      26      13
   1487    1872    1277      91      -2      27      14

   1509    1872    1281      69      -3      49      13
   1510    1872    1281      68      -4      50      14
   1511    1872    1281      67      -5      51      15
   1512    1872    1282      66      -3      52      10
   1513    1872    1282      65      -4      53      11
   1514    1872    1282      64      -5      54      12
   1515    1872    1282      63      -6      55      13
   1516    1872    1282      62      -7      56      14
   1517    1872    1283      61      -2      57      11
   1518    1872    1283      60      -3      58      12
   1519    1872    1283      59      -4      59      13
   1520    1872    1283      58      -5      60      14
   1521    1872    1283      57      -6      61      15
   1522    1872    1284      56      -3      62      13
   1523    1872    1284      55      -4      63      14
   1524    1872    1284      54      -5      64      15
   1525    1872    1284      53      -6      65      16
   1526    1872    1284      52      -7      66      17
   1527    1872    1284      51      -8      67      18
   1528    1872    1285      50      -3      68      13
   1529    1872    1285      49      -4      69      14
   1530    1872    1285      48      -5      70      15
   1531    1872    1285      47      -6      71      16
   1532    1872    1285      46      -7      72      17
   1533    1872    1285      45      -8      73      18
   1534    1872    1286      44      -3      74      15
   1535    1872    1286      43      -4      75      16
   1536    1872    1286      42      -5      76      17
   1537    1872    1286      41      -6      77      18
   1538    1872    1287      40       0      78      13
   1539    1872    1287      39      -1      79      14
   1540    1872    1287      38      -2      80      15
   1541    1872    1287      37      -3      81      16
   1542    1872    1287      36      -4      82      17
   1543    1872    1287      35      -5      83      18
   1544    1872    1288      34      -3      84      13
   1545    1872    1288      33      -4      85      14
   1546    1872    1288      32      -5      86      15
   1547    1872    1288      31      -6      87      16
   1548    1872    1288      30      -7      88      17
   1549    1872    1289      29      -2      89      11
   1550    1872    1289      28      -3      90      12
   1551    1872    1289      27      -4      91      13
   1552    1872    1289      26      -5      92      14
   1553    1872    1289      25      -6      93      15
   1554    1872    1290      24      -3      94      13
   1555    1872    1290      23      -4      95      14
   1556    1872    1290      22      -5      96      15
   1557    1872    1290      21      -6      97      16
   1558    1872    1290      20      -7      98      17
   1559    1872    1290      19      -8      99      18
   1560    1872    1291      18      -3     100      13
   1561    1872    1291      17      -4     101      14
   1562    1872    1291      16      -5     102      15
   1563    1872    1291      15      -6     103      16
   1564    1872    1291      14      -7     104      17
   1565    1872    1291      13      -8     105      18
   1566    1872    1292      12      -3     106      15
   1567    1872    1292      11      -4     107      16
   1568    1872    1292      10      -5     108      17
   1569    1872    1292       9      -6     109      18
   1570    1872    1293       8       0     110      13
   1571    1872    1293       7      -1     111      14
   1572    1872    1293       6      -2     112      15
   1573    1872    1293       5      -3     113      16

   1583    1875    1295      -1      -4       4      13
   1584    1876    1295      -1      -5       4      14
   1585    1876    1295      -2      -6       5      15
   1586    1878    1296      -1      -3       3      13
   1587    1878    1296      -2      -4       4      14
   1588    1880    1296      -1      -5       3      15
   1589    1880    1296      -2      -6       4      16
   1590    1880    1296      -3      -7       5      17
   1591    1882    1296      -1      -8       4      18
   1592    1882    1297      -2      -3       5      13
   1593    1884    1297      -1      -4       3      14
   1594    1884    1297      -2      -5       4      15
   1595    1886    1297      -1      -6       3      16
   1596    1888    1297       0      -7       2      17
   1597    1888    1297      -1      -8       3      18
   1598    1888    1298      -2      -3       4      15
   1599    1890    1298       0      -4       3      16
   1600    1890    1298      -1      -5       4      17
   1601    1892    1298       1      -6       2      18
   1602    1892    1299       0       0       3      13
   1603    1892    1299      -1      -1       4      14
   1604    1893    1299      -2      -2       4      15
   1605    1896    1299      -1      -3       3      16

   1615    1904    1301      -3      -4       5      13
   1616    1905    1301      -2      -5       4      14
   1617    1905    1301      -3      -6       5      15
   1618    1906    1302      -2      -3       6      13
   1619    1907    1302      -2      -4       5      14
   1620    1907    1302      -3      -5       6      15
   1621    1910    1302       0      -6       3      16
   1622    1910    1302      -1      -7       4      17
   1623    1910    1302      -2      -8       5      18
   1624    1912    1303       2      -3       3      13
   1625    1912    1303       1      -4       4      14
   1626    1912    1303       0      -5       5      15
   1627    1912    1303      -1      -6       6      16
   1628    1912    1303      -2      -7       7      17
   1629    1914    1303      -2      -8       3      18
   1630    1916    1304      -1      -3       3      15
   1631    1916    1304      -2      -4       4      16
   1632    1917    1304      -1      -5       5      17
   1633    1919    1304      -1      -6       2      18
   1634    1919    1305      -2       0       3      13
   1635    1920    1305      -1      -1       4      14
   1636    1920    1305      -2      -2       5      15
   1637    1923    1305       0      -3       3      16

   1678    1964    1316      -1      -2       2       9
   1679    1964    1316      -2      -3       3      10
   1680    1966    1316      -1      -4       3      11
   1681    1967    1316      -1      -5       2      12
   1682    1967    1316      -2      -6       3      13
   1683    1968    1316      -1      -7       4      14
   1684    1968    1317      -2      -6       5      12
   1685    1971    1317      -1      -7       3      13
   1686    1972    1317      -1      -8       2      14
   1687    1972    1318      -2      -3       3      11
   1688    1974    1318      -1      -4       3      12
   1689    1976    1318       1      -5       2      13
   1690    1976    1319       0      -3       3      12
   1691    1976    1320      -1      -1       4       7
   1692    1976    1320      -2      -2       5       8
   1693    1978    1320       0      -3       3       9
   1694    1978    1320      -1      -4       4      10

   1752    2032    1336      -1      -3       3      11
   1753    2032    1336      -2      -4       4      12
   1754    2032    1336      -3      -5       5      13
   1755    2033    1337      -2      -3       4      11
   1756    2034    1337      -2      -4       5      12
   1757    2037    1337       0      -5       3      13
   1758    2037    1337      -1      -6       4      14
   1759    2038    1337      -1      -7       3      15
   1760    2039    1338      -2      -3       3      11
   1761    2040    1338      -1      -4       3      12
   1762    2040    1338      -2      -5       4      13
   1763    2042    1340      -1      -1       3       6
   1764    2042    1340      -2      -2       4       7
   1765    2045    1342       0       0       3       3
   1766    2045    1343      -1      -1       4       4

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     80600     80600         0         0     -1
 -2     62859     38102         0         0     -2
 -3      7824     11546         0         0     -3
 -4       128      2703         0         0     -4
 -5        44       158         0         0     -5
 -6         5        38         0         0     -6
 -7         0        22         0         0     -7
 -8         0         9         0         0     -8
 -9         0         0         0         0     -9

Totals / Min / Under -25:  
       151460    133178         0         0
            6         8         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  773164.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -8.      -80 thru  -1 =  284638.
  Behav =     Relaxed.        Maximum =    5792.        0 thru  39 =  474224.
  histend                     K       =  200000.       40 thru Max =   14302.

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

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |                                       
120000 |                             |  o                                    
110000 |                             |  o                                    
100000 |                             |  o                                    
 90000 |                             |  oo                                   
 80000 |                             |  oo                                   
 70000 |                             | ooo                                   
 60000 |                             | ooo                                   
 50000 |                             | ooo                                   
 40000 |                             | oooo                                  
 30000 |                             | oooo                                  
 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  =         710.        Total   =  399735.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   26832.        0 thru  39 =  358618.
  histend                     K       =  200000.       40 thru Max =   41117.

  End  analysis of Test T710  at               09:56:22.881 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:56:23.132 980422
  End execution of Test T720  at               09:56:23.485 980422
  Duration                                            0.353 
Start  analysis of Test T720  at               09:56:23.616 980422

Thread start, stop, and dur times.
   0.118    0.118    0.000    0.000    0.000    0.000    0.000    0.000 
   0.352    0.352    0.000    0.000    0.000    0.000    0.000    0.000 
   0.234    0.234    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   10044    9952       0       0
  19998   19934   20058       0       0
  29997   30062   29933       0       0
  39996   40367   39611       0       0
  49995   50442   49552       0       0
  59994   60562   59426       0       0
  69993   70352   69645       0       0
  79992   80288   79715       0       0
  89991   90351   89633       0       0
  99990  100261   99723       0       0
 109989  110368  109610       0       0
 119988  120410  119567       0       0
 129987  130455  129519       0       0
 139986  140436  139475       0       0
 149985  150445  149529       0       0
 159984  160557  159477       0       0
 169983  170634  169327       0       0
 179982  180683  179253       0       0
 189981  190688  189267       0       0
 199980  199999  199319       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              13
                                                                             12 
                                                                            12  
                                                                           12   
                                                                          12    
                                                                         12     
                                                                        12      
                                                                       12       
                                                                      12        
                                                                     12         
                                                                    12          
                                                                   12           
                                                                  12            
                                                                 12             
                                                                12              
                                                                2               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          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                                                                             
                                                                                
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       118262          0
   1       177669     181879
   2        92843      86510
   3        10530      10741
   4          561       2282
   5           71        245
   6           25         45
   7            3          4
   8            5          3
   9            2          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           25         25

 d =  -6. 
Event 7.1. u[   6365] =    6462 <    6463; v[   6463] =    6359 <    6365.
b=0 c=0 u[   6360]:    6462    6462    6462    6462    6462    6462
 d =  -5. 
Event 7.2. v[   1693] =    1540 <    1541; u[   1541] =    1688 <    1693.
b=0 c=0 v[   1689]:    1540    1540    1540    1540    1540
Event 7.1. u[   6364] =    6462 <    6463; v[   6463] =    6359 <    6364.
b=0 c=0 u[   6360]:    6462    6462    6462    6462    6462
Event 7.1. u[   6423] =    6476 <    6477; v[   6477] =    6418 <    6423.
b=0 c=0 u[   6419]:    6476    6476    6476    6476    6476
Event 7.1. u[   6458] =    6485 <    6486; v[   6486] =    6453 <    6458.
b=0 c=0 u[   6454]:    6485    6485    6485    6485    6485
Event 7.1. u[  73950] =   74234 <   74235; v[  74235] =   73945 <   73950.
b=1 c=1 u[  73946]:   74233   74234   74234   74234   74234
Event 7.1. u[  73967] =   74241 <   74242; v[  74242] =   73962 <   73967.
b=1 c=1 u[  73963]:   74240   74241   74241   74241   74241
Event 7.1. u[  74151] =   74394 <   74395; v[  74395] =   74146 <   74151.
b=1 c=1 u[  74147]:   74393   74394   74394   74394   74394
Event 7.1. u[  74172] =   74403 <   74404; v[  74404] =   74167 <   74172.
b=0 c=0 u[  74168]:   74403   74403   74403   74403   74403
Event 7.1. u[  74176] =   74404 <   74405; v[  74405] =   74171 <   74176.
b=1 c=1 u[  74172]:   74403   74404   74404   74404   74404
Event 7.1. u[  74191] =   74410 <   74411; v[  74411] =   74186 <   74191.
b=1 c=1 u[  74187]:   74409   74410   74410   74410   74410
Event 7.1. u[  74208] =   74416 <   74417; v[  74417] =   74203 <   74208.
b=1 c=1 u[  74204]:   74415   74416   74416   74416   74416
Event 7.1. u[  74223] =   74422 <   74423; v[  74423] =   74218 <   74223.
b=1 c=1 u[  74219]:   74421   74422   74422   74422   74422
Event 7.1. u[  92690] =   93017 <   93018; v[  93018] =   92685 <   92690.
b=1 c=1 u[  92686]:   93016   93016   93017   93017   93017
Event 7.1. u[ 139578] =  140121 <  140122; v[ 140122] =  139573 <  139578.
b=1 c=1 u[ 139574]:  140120  140120  140121  140121  140121

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   1536    1666    1508      -1       0       1       8
   1537    1670    1508      -1      -1       2       9
   1538    1673    1508       0      -2       2      10
   1539    1680    1509       0       3       1       7
   1540    1683    1509      -1       2       1       8
   1541    1688    1509      -1       1       2       9
   1542    1693    1509      -1       0       2      10
   1543    1698    1509      -1      -1       2      11
   1544    1706    1510       0       3       1       8
   1545    1710    1510      -1       2       1       9
   1546    1713    1510      -1       1       2      10

   1688    1962    1540      -1       0       2       8
   1689    1963    1540      -1      -1       3       9
   1690    1964    1540       0      -2       3      10
   1691    1966    1540      -1      -3       1      11
   1692    1968    1540       0      -4       2      12
   1693    1968    1540      -1      -5       3      13
   1694    1968    1541      -2      -1       4      11
   1695    1969    1541      -1      -2       5      12
   1696    1970    1541      -1      -3       4      13
   1697    1971    1541      -1      -4       3      14
   1698    1972    1542      -1       0       3      10

   6359    6462    6084       0      -2       3       4
   6360    6462    6085      -1      -2       4       3
   6361    6462    6087      -2       0       5       3
   6362    6462    6088      -3      -1       6       2
   6363    6462    6089      -4      -1       7       2
   6364    6462    6089      -5      -2       8       3
   6365    6462    6090      -6       0       9       4
   6366    6463    6090      -3      -1      10       5
   6367    6463    6092      -4      -1      11       2
   6368    6464    6094       0       0       9       2
   6369    6464    6094      -1      -1      10       3
   6370    6464    6095      -2      -1      11       3
   6371    6464    6096      -3      -1      12       3

   6418    6476    6169       0      -1       8       2
   6419    6476    6169      -1      -2       9       3
   6420    6476    6171      -2      -1      10       3
   6421    6476    6175      -3      -1      11       2
   6422    6476    6175      -4      -2      12       3
   6423    6476    6178      -5      -1      13       1
   6424    6477    6180      -2      -1       9       2
   6425    6477    6182      -3      -1      10       2
   6426    6478    6185       1      -1       8       2
   6427    6478    6189       0      -1       9       1
   6428    6478    6195      -1      -1      10       1

   6453    6485    6320       0      -1       6       2
   6454    6485    6325      -1      -1       7       2
   6455    6485    6330      -2      -1       8       1
   6456    6485    6336      -3      -1       9       1
   6457    6485    6342      -4      -1      10       1
   6458    6485    6346      -5      -1      11       2
   6459    6487    6350       2      -1       6       1
   6460    6487    6352       1      -1       7       2
   6461    6487    6356       0      -1       8       2
   6462    6487    6356      -1      -2       9       3
   6463    6487    6359      -2      -1      10       1
   6464    6488    6363      -1      -2       7       2
   6465    6488    6368      -2      -1       8       2
   6466    6489    6373       0      -1       5       2
   6467    6489    6377      -1      -1       6       1
   6468    6490    6381      -2      -1       5       2
   6469    6491    6385      -2      -1       3       1
   6470    6492    6389      -1      -1       4       2
   6471    6493    6393      -1      -1       4       1
   6472    6494    6397      -1      -1       3       2
   6473    6495    6401      -1      -1       3       2
   6474    6496    6406      -1      -1       3       2
   6475    6496    6410      -2      -1       4       1
   6476    6497    6415      -2      -1       4       1
   6477    6498    6418      -2      -1       4       2
   6478    6499    6422      -1      -2       4       2
   6479    6500    6427      -1      -1       4       1
   6480    6501    6432      -1      -1       3       1
   6481    6502    6434      -1      -1       3       2
   6482    6503    6439      -1      -1       3       2
   6483    6504    6442      -1      -1       3       1
   6484    6504    6447      -2      -1       4       1
   6485    6505    6450      -1       0       4       2
   6486    6506    6453      -2      -1       4       1
   6487    6508    6457       0      -2       3       2
   6488    6508    6461      -1      -1       4       1
   6489    6509    6463      -1      -1       4       2
   6490    6511    6466       0      -1       2       2
   6491    6511    6466      -1      -2       3       3

  73945   74233   73653      -2      -1       6       2
  73946   74233   73655      -3      -1       7       2
  73947   74234   73655      -2      -2       6       3
  73948   74234   73656      -3      -2       7       4
  73949   74234   73657      -4      -2       8       4
  73950   74234   73659      -5       0       9       3
  73951   74235   73659       0      -1       8       4
  73952   74235   73660      -1      -1       9       4
  73953   74236   73662      -2      -1       8       2
  73954   74236   73662      -3      -2       9       3
  73955   74237   73664      -1      -1       4       3

  73962   74240   73672      -2       1       6       2
  73963   74240   73672      -3       0       7       3
  73964   74241   73673      -2      -1       4       3
  73965   74241   73674      -3      -1       5       2
  73966   74241   73674      -4      -2       6       3
  73967   74241   73675      -5      -1       7       4
  73968   74242   73676      -1      -2       8       4
  73969   74242   73678      -2      -1       9       3
  73970   74243   73678       0      -2       8       4
  73971   74243   73680      -1      -1       9       3
  73972   74244   73681      -2      -1       5       2

  74146   74393   73853      -3      -1       6       4
  74147   74393   73854      -4      -1       7       3
  74148   74394   73855      -2      -1       7       3
  74149   74394   73856      -3      -1       8       3
  74150   74394   73857      -4      -1       9       3
  74151   74394   73858      -5       0      10       3
  74152   74395   73858       0      -1       9       4
  74153   74395   73861      -1       0      10       2
  74154   74395   73862      -2      -1      11       2
  74155   74397   73863      -1      -1       3       2
  74156   74397   73864      -2      -1       4       3

  74230   74428   73938      -1       0       2       2
  74231   74428   73938      -2      -1       3       3
  74232   74430   73939      -1      -1       3       4
  74233   74431   73941      -1      -1       2       2
  74234   74431   73943      -2      -1       3       2
  74235   74434   73945      -1      -2       1       2
  74236   74435   73951      -1      -1       2       2
  74237   74437   73951       0      -2       2       3
  74238   74437   73954      -1      -1       3       2
  74239   74438   73956      -1      -1       4       2
  74240   74440   73960       0      -1       2       2
  74241   74440   73960      -1      -2       3       3
  74242   74440   73962      -2      -2       4       3
  74243   74441   73967      -1      -1       5       2
  74244   74443   73970      -1      -1       2       2
  74245   74445   73970       0      -2       2       3
  74246   74445   73973      -1      -1       3       2
  74247   74446   73978       0      -1       4       2

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1    106944    106944         0         0     -1
 -2     47274     47485         0         0     -2
 -3       843       765         0         0     -3
 -4        96        49         0         0     -4
 -5        13         2         0         0     -5
 -6         1         0         0         0     -6
 -7         0         0         0         0     -7

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  799334.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -6.      -80 thru  -1 =  310416.
  Behav =     Relaxed.        Maximum =     276.        0 thru  39 =  488331.
  histend                     K       =  200000.       40 thru Max =     587.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |  o                                    
150000 |                             |  o                                    
140000 |                             |  o                                    
130000 |                             |  o                                    
120000 |                             |  o                                    
110000 |                             |  o                                    
100000 |                             |  oo                                   
 90000 |                             | ooo                                   
 80000 |                             | ooo                                   
 70000 |                             | ooo                                   
 60000 |                             | ooo                                   
 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  =         720.        Total   =  399995.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =     661.        0 thru  39 =  398725.
  histend                     K       =  200000.       40 thru Max =    1270.

  End  analysis of Test T720  at               09:56:26.448 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:56:26.719 980422
  End execution of Test T800  at               09:56:27.011 980422
  Duration                                            0.292 
Start  analysis of Test T800  at               09:56:27.523 980422

Thread start, stop, and dur times.
   0.046    0.046    0.000    0.000    0.000    0.000    0.000    0.000 
   0.291    0.288    0.000    0.000    0.000    0.000    0.000    0.000 
   0.245    0.242    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     330       2       3
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  299973
  39996  399960  399961  399962  399963
  49995  530431  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 1354321 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....:....
                                                                            11 F
                                                                           11 F 
                                                                          11 F 2
                                                                         11 F 22
                                                                        11 F 22 
                                                                       11 F 22  
                                                                      11 F 22   
                                                                     11 F 22    
                                                                    11 F 22     
                                                                   11 F 22      
                                                                  11 F 22       
                                                                 11 F 22        
                                                                11 F 22         
                                                               11 F 22          
                                                              11 F 22           
                                                             11 F 2             
                                                            11 F 22             
                                                           11 F 22              
                                                          11 F 22               
                                                         11 F 22                
                                                        11 F 22                 
                                                       11 F 22                  
                                                      11 F 22                   
                                                     11 F 22                    
                                                    11 F 22                     
                                                   11 F 22                      
                                                  11 F 22                       
                                                 11 F 22                        
                                                11 F 22                         
                                               11 F 22                          
                                               1 F 22                           
                                              11F 22                            
                                             11F222                             
                                            11F22                               
                                           11F22                                
                                          11F22                                 
                                         11F22                                  
                                        11F22                                   
                                       11F22                                    
                                      11F22                                     
                                     11F22                                      
                                    11F22                                       
                                   11F22                                        
                                  11F22                                         
                                 11F22                                          
                                11F22                                           
                               11F22                                            
                              11F22                                             
                             11F22                                              
                            11F22                                               
                           11F22                                                
                          11F22                                                 
                         11F22                                                  
                        11F22                                                   
                       11F22                                                    
                      11F22                                                     
                     11F22                                                      
                    11F22                                                       
                   11F22                                                        
                  11F22                                                         
                 11F22                                                          
                11F22                                                           
               11F22                                                            
              11F22                                                             
             11F22                                                              
             1F22                                                               
            1F22                                                                
           1F2                                                                  
          1F2                                                                   
         1F2                                                                    
        1F2                                                                     
       1F2                                                                      
      1F2                                                                       
     1F2                                                                        
    1F2                                                                         
   1F2                                                                          
  1F2                                                                           
 1F2                                                                            
1F2                                                                             
F                                                                               
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   760090   0        0  20 
      0 -79        0 -59        0 -39        0 -19      812   1        0  21 
      0 -78        0 -58        0 -38        0 -18     1357   2        0  22 
      0 -77        0 -57        0 -37        0 -17     4349   3        0  23 
      0 -76        0 -56        0 -36        0 -16     2787   4        0  24 
      0 -75        0 -55        0 -35        0 -15      525   5        0  25 
      0 -74        0 -54        0 -34        0 -14       28   6        0  26 
      0 -73        0 -53        0 -33        0 -13        2   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        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   =  769955.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =     216.        0 thru  39 =  769950.
  histend                     K       =  200000.       40 thru Max =       5.


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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             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   =  769647.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       6.        0 thru  39 =  769647.
  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:57:16.962 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:57:17.211 980422
  End execution of Test T820  at               09:57:17.500 980422
  Duration                                            0.289 
Start  analysis of Test T820  at               09:57:17.932 980422

Thread start, stop, and dur times.
   0.039    0.039    0.000    0.000    0.000    0.000    0.000    0.000 
   0.288    0.287    0.000    0.000    0.000    0.000    0.000    0.000 
   0.249    0.248    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       1       2       3
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  299973
  39996  399960  399961  399962  399963
  49995  512921  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 1317161 1299871 1299872 1299873
 139986 1399860 1399861 1399862 1399863
 149985 1499850 1484010 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   
                                                                         1F2    
                                                                        1F2     
                                                                       1F2      
                                                                      1F2       
                                                                     1F2        
                                                                    1F2         
                                                                   1F2          
                                                                  1F2           
                                                                 1F2            
                                                                1F2             
                                                               1F2              
                                                              1F2               
                                                             1F2                
                                                            1F2                 
                                                           1F2                  
                                                          1F2                   
                                                         1F2                    
                                                        1F2                     
                                                       1F2                      
                                                      1F2                       
                                                     1F2                        
                                                    1F2                         
                                                   1F2                          
                                                  1F2                           
                                                 1F2                            
                                                1F2                             
                                               1F2                              
                                              1F2                               
                                             1F2                                
                                            1F2                                 
                                           1F2                                  
                                          1F2                                   
                                         1F2                                    
                                        1F2                                     
                                       1F2                                      
                                      1F2                                       
                                     1F2                                        
                                    1F2                                         
                                   1F2                                          
                                  1F2                                           
                                 1F2                                            
                                1F2                                             
                               1F2                                              
                              1F2                                               
                             1F2                                                
                            1F2                                                 
                           1F2                                                  
                          1F2                                                   
                         1F2                                                    
                        1F2                                                     
                       1F2                                                      
                      1F2                                                       
                     1F2                                                        
                    1F2                                                         
                   1F2                                                          
                  1F2                                                           
                 1F2                                                            
                1F2                                                             
               1F2                                                              
              1F2                                                               
             1F2                                                                
            1F2                                                                 
           1F2                                                                  
          1F2                                                                   
         1F2                                                                    
        1F2                                                                     
       1F2                                                                      
      1F2                                                                       
     1F2                                                                        
    1F2                                                                         
   1F2                                                                          
  1F2                                                                           
 1F2                                                                            
2F2                                                                             
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   771430   0        0  20 
      0 -79        0 -59        0 -39        0 -19      962   1        0  21 
      0 -78        0 -58        0 -38        0 -18      972   2        0  22 
      0 -77        0 -57        0 -37        0 -17     4283   3        0  23 
      0 -76        0 -56        0 -36        0 -16     1047   4        0  24 
      0 -75        0 -55        0 -35        0 -15      248   5        0  25 
      0 -74        0 -54        0 -34        0 -14        3   6        0  26 
      0 -73        0 -53        0 -33        0 -13        2   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        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  =         820.        Total   =  778952.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1005.        0 thru  39 =  778947.
  histend                     K       =  200000.       40 thru Max =       5.


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

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


  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:58:05.871 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:58:05.891 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: never
  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.347      0.626   T100           1   0
      0.318      0.557   T120           0   1
      0.445      1.705   T200           2   0
      0.661      1.643   T210           1   1
      0.522      1.656   T220           0   2
      0.223      2.907   T400.1  -13    2   0
                         T400.2         2   0
      0.385      2.618   T410.1  -11    1   1
                         T410.2         1   1
      0.404      2.805   T420.1   -8    0   2
                         T420.2         0   2
      0.242      2.965   T700.1   -9    2   0
                         T700.2         2   0
      0.383      2.696   T710.1   -8    1   1
                         T710.2         1   1
      0.353      2.832   T720.1   -6    0   2
                         T720.2         0   2
      0.292     49.439   T800           1   0
      0.289     47.939   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