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

                                               00:09:14.813 980617

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:      a22___00.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               00:09:31.368 980617
  End execution of Test T100  at               00:09:31.477 980617
  Duration                                            0.109 
Start  analysis of Test T100  at               00:09:31.477 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.108    0.050    0.000    0.000    0.000    0.000    0.000    0.000 
   0.107    0.049    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    9625       0       0       0
  19998   19129       0       0       0
  29997   28590       0       0       0
  39996   38050       0       0       0
  49995   47780       0       0       0
  59994   58013       0       0       0
  69993   68239       0       0       0
  79992   76320       0       0       0
  89991   79798       0       0       0
  99990   79926       0       0       0
 109989   89400       0       0       0
 119988   98047       0       0       0
 129987  107296       0       0       0
 139986  114363       0       0       0
 149985  123670       0       0       0
 159984  133900       0       0       0
 169983  144177       0       0       0
 179982  154240       0       0       0
 189981  164489       0       0       0
 199980  174680       0       0       0

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


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

   i       deltas    strings 
   0       142806          0
   1            5         38
   2          449       2471
   3        55191      50549
   4         1497       3614
   5           28        502
   6           15          5
   7            0          0
   8            0          1
   9            0          1
  10            0          1
  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            7         10
  End  analysis of Test T100  at               00:09:31.731 980617
==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               00:09:31.833 980617
  End execution of Test T120  at               00:09:32.049 980617
  Duration                                            0.216 
Start  analysis of Test T120  at               00:09:32.130 980617

Thread start, stop, and dur times.
   0.099    0.099    0.000    0.000    0.000    0.000    0.000    0.000 
   0.216    0.151    0.000    0.000    0.000    0.000    0.000    0.000 
   0.117    0.052    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    7258       0       0       0
  19998   14894       0       0       0
  29997   22569       0       0       0
  39996   30211       0       0       0
  49995   37648       0       0       0
  59994   45286       0       0       0
  69993   52901       0       0       0
  79992   60586       0       0       0
  89991   67941       0       0       0
  99990   75559       0       0       0
 109989   83146       0       0       0
 119988   90780       0       0       0
 129987   98387       0       0       0
 139986  105945       0       0       0
 149985  113550       0       0       0
 159984  121117       0       0       0
 169983  128758       0       0       0
 179982  162173       0       0       0
 189981  170318       0       0       0
 199980  177977       0       0       0

  dim =    80, max = 177993, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              11
                                                                             1  
                                                                            1   
                                                                           1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                11              
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                         11                     
                                                        1                       
                                                       1                        
                                                      1                         
                                                     1                          
                                                    1                           
                                                  11                            
                                                 1                              
                                                1                               
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                          11                                    
                                         1                                      
                                        1                                       
                                       1                                        
                                      1                                         
                                     1                                          
                                   11                                           
                                  1                                             
                                 1                                              
                                1                                               
                               1                                                
                              1                                                 
                            11                                                  
                           1                                                    
                          1                                                     
                         1                                                      
                        1                                                       
                       1                                                        
                     11                                                         
                    1                                                           
                   1                                                            
                  1                                                             
                 1                                                              
                1                                                               
              11                                                                
             1                                                                  
            1                                                                   
           1                                                                    
          1                                                                     
         1                                                                      
        1                                                                       
      11                                                                        
     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       148539          0
   1            2         35
   2         2970       1653
   3        48432       9666
   4           50      35263
   5            1       4798
   6            1         37
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            3          7
  End  analysis of Test T120  at               00:09:32.369 980617
==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               00:09:32.473 980617
  End execution of Test T200  at               00:09:32.730 980617
  Duration                                            0.257 
Start  analysis of Test T200  at               00:09:32.730 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.256    0.150    0.000    0.000    0.000    0.000    0.000    0.000 
   0.255    0.149    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       6       0       0
   9999   20075   20076       0       0
  19998   40412   40413       0       0
  29997   60516   60517       0       0
  39996   80810   80811       0       0
  49995  101138  101139       0       0
  59994  121440  121441       0       0
  69993  141749  141750       0       0
  79992  162157  162158       0       0
  89991  182673  182674       0       0
  99990  203040  203041       0       0
 109989  223473  223474       0       0
 119988  243972  243973       0       0
 129987  264256  264257       0       0
 139986  283267  283267       0       0
 149985  283267  283267       0       0
 159984  283267  283267       0       0
 169983  283267  283267       0       0
 179982  283267  283267       0       0
 189981  283267  283267       0       0
 199980  283267  283267       0       0

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


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

   i       deltas    strings 
   0       126924          0
   1         1193     271094
   2       252395       1952
   3        18834          0
   4          535          0
   5           98          0
   6           12          0
   7            0          0
   8            0          0
   9            0          0
  10            1          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            4         26

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   190387   0        0  20 
      0 -79        0 -59        0 -39        0 -19   192821   1        0  21 
      0 -78        0 -58        0 -38        0 -18   396237   2        0  22 
      0 -77        0 -57        0 -37        0 -17    19807   3        0  23 
      0 -76        0 -56        0 -36        0 -16      606   4        0  24 
      0 -75        0 -55        0 -35        0 -15      114   5        0  25 
      0 -74        0 -54        0 -34        0 -14       13   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        1  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 ------       
380000 |                             | o                                     
360000 |                             | o                                     
340000 |                             | o                                     
320000 |                             | o                                     
300000 |                             | o                                     
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             | o                                     
220000 |                             | o                                     
200000 |                             | o                                     
180000 |                             ooo                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             ooo                                     
 40000 |                             ooo                                     
 20000 |                             ooo                                     
     0 |_________._________._________.oooooo___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 =     343.        0 thru  39 =  799986.
  histend                     K       =  200000.       40 thru Max =       6.

  End  analysis of Test T200  at               00:09:33.438 980617
==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               00:09:33.541 980617
  End execution of Test T210  at               00:09:33.800 980617
  Duration                                            0.259 
Start  analysis of Test T210  at               00:09:33.843 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.259    0.129    0.000    0.000    0.000    0.000    0.000    0.000 
   0.257    0.127    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       4      10       0       0
   9999   23562   23563       0       0
  19998   47461   47462       0       0
  29997   65567   65568       0       0
  39996   89629   89630       0       0
  49995  113867  113868       0       0
  59994  137447  137448       0       0
  69993  161712  161712       0       0
  79992  161712  161712       0       0
  89991  161712  161712       0       0
  99990  161712  161712       0       0
 109989  161712  161712       0       0
 119988  161712  161712       0       0
 129987  161712  161712       0       0
 139986  161712  161712       0       0
 149985  161712  161712       0       0
 159984  165729  165730       0       0
 169983  185235  185236       0       0
 179982  202308  202309       0       0
 189981  222009  222008       0       0
 199980  241508  241509       0       0

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


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

   i       deltas    strings 
   0       190338          0
   1         3220     202632
   2       142248       7017
   3        63744          0
   4          380          0
   5           42          0
   6            1          1
   7            0          1
   8            0          1
   9            0          0
  10            1          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           22          6

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   285510   0        0  20 
      0 -79        0 -59        0 -39        0 -19   173260   1        0  21 
      0 -78        0 -58        0 -38        0 -18   276300   2        0  22 
      0 -77        0 -57        0 -37        0 -17    64425   3        0  23 
      0 -76        0 -56        0 -36        0 -16      416   4        0  24 
      0 -75        0 -55        0 -35        0 -15       45   5        0  25 
      0 -74        0 -54        0 -34        0 -14        1   6        0  26 
      0 -73        0 -53        0 -33        0 -13        1   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        0   9        0  29 
      0 -70        0 -50        0 -30        0 -10        1  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 ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             o                                       
260000 |                             o o                                     
240000 |                             o o                                     
220000 |                             o o                                     
200000 |                             o o                                     
180000 |                             o o                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             oooo                                    
 40000 |                             oooo                                    
 20000 |                             oooo                                    
     0 |_________._________._________.ooooooo__o_________._________._________
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T210  at               00:09:34.553 980617
==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               00:09:34.655 980617
  End execution of Test T220  at               00:09:34.984 980617
  Duration                                            0.329 
Start  analysis of Test T220  at               00:09:35.055 980617

Thread start, stop, and dur times.
   0.078    0.038    0.000    0.000    0.000    0.000    0.000    0.000 
   0.329    0.076    0.000    0.000    0.000    0.000    0.000    0.000 
   0.251    0.038    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999       0       0       0       0
  19998       0       0       0       0
  29997       0       0       0       0
  39996       0       0       0       0
  49995       0       0       0       0
  59994       0       0       0       0
  69993       0       0       0       0
  79992       0       0       0       0
  89991       0       0       0       0
  99990       0       0       0       0
 109989       0       0       0       0
 119988       0       0       0       0
 129987       0       0       0       0
 139986       0       0       0       0
 149985       0       0       0       0
 159984       0       0       0       0
 169983       0       0       0       0
 179982       0       0       0       0
 189981       0       0       0       0
 199980       0       0       0       0

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

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

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

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

  End  analysis of Test T220  at               00:09:35.735 980617
==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               00:09:35.837 980617
  End execution of Test T400  at               00:09:35.907 980617
  Duration                                            0.070 
Start  analysis of Test T400  at               00:09:35.907 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.070    0.064    0.000    0.000    0.000    0.000    0.000    0.000 
   0.069    0.063    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      10       0       0
   9999   12276    7736       0       0
  19998   37422   16413       0       0
  29997   57739   18625       0       0
  39996   67358   22493       0       0
  49995   77496   23991       0       0
  59994   87523   32645       0       0
  69993   99462   42624       0       0
  79992  109572   52490       0       0
  89991  120071   62522       0       0
  99990  130468   70493       0       0
 109989  140567   80410       0       0
 119988  150439   89911       0       0
 129987  160497   99506       0       0
 139986  170511  109418       0       0
 149985  180500  119534       0       0
 159984  190533  129482       0       0
 169983  199999  139452       0       0
 179982  199999  149463       0       0
 189981  199999  159431       0       0
 199980  199999  169317       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                  11111111111111
                                                                 1              
                                                                1               
                                                                                
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                       2
                                                      1                       2 
                                                     1                       2  
                                                    1                       2   
                                                   1                       2    
                                                  1                       2     
                                                 1                       2      
                                                1                       2       
                                               1                       2        
                                              1                       2         
                                             1                       2          
                                            1                       2           
                                           1                       2            
                                          1                       2             
                                         1                       2              
                                        1                       2               
                                       1                       2                
                                      1                       2                 
                                     1                       2                  
                                    1                       2                   
                                   1                       2                    
                                  1                       2                     
                                 1                       2                      
                                1                       2                       
                               1                       2                        
                              1                       2                         
                             1                       2                          
                            1                       2                           
                           1                       2                            
                          1                       2                             
                                                 2                              
                         1                      2                               
                        1                      2                                
                       1                      2                                 
                      1                      2                                  
                     1                      2                                   
                    1                      2                                    
                   1                      2                                     
                  1                      2                                      
                 1                      2                                       
                1                      2                                        
               1                      2                                         
              1                     22                                          
             1                     2                                            
            1                     2                                             
           1                     2                                              
          1                     2                                               
                               2                                                
                              2                                                 
                             2                                                  
                            2                                                   
         1                 2                                                    
        1                 2                                                     
                         2                                                      
                        2                                                       
                       2                                                        
                      2                                                         
                     2                                                          
                22222                                                           
       1       2                                                                
      1  222222                                                                 
     1  2                                                                       
       2                                                                        
    122                                                                         
   12                                                                           
  12                                                                            
 32                                                                             
                                                                                
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       296726          0
   1         1493        940
   2        16465      13050
   3        42293      48100
   4        38595      39674
   5         4282       1153
   6          106        301
   7            9         22
   8            4         12
   9            5          2
  10            1          0
  11            2          1
  12            1          0
  13            0          0
  14            0          0
  15            0          1
  16            1          0
  17            0          0
  18            0          0
  19            0          1
over           13         13

 d =  -9. 
Event 4.2. v[ 110953] =   81356 <   81357; u[  81357] =  110944 <  110953.
b=2 c=2 v[ 110945]:   81354   81354   81355   81355   81355   81355   81356
                      81356   81356
Event 4.2. v[ 110979] =   81362 <   81363; u[  81363] =  110970 <  110979.
b=2 c=2 v[ 110971]:   81360   81360   81361   81361   81361   81361   81362
                      81362   81362
Event 4.2. v[ 111000] =   81368 <   81369; u[  81369] =  110991 <  111000.
b=2 c=2 v[ 110992]:   81366   81366   81367   81367   81367   81367   81368
                      81368   81368
Event 4.1. u[ 136535] =  167081 <  167082; v[ 167082] =  136526 <  136535.
b=2 c=2 u[ 136527]:  167079  167079  167080  167080  167080  167081  167081
                     167081  167081
 d =  -8. 
Event 4.2. v[ 110952] =   81356 <   81357; u[  81357] =  110944 <  110952.
b=2 c=2 v[ 110945]:   81354   81354   81355   81355   81355   81355   81356
                      81356
Event 4.2. v[ 110978] =   81362 <   81363; u[  81363] =  110970 <  110978.
b=2 c=2 v[ 110971]:   81360   81360   81361   81361   81361   81361   81362
                      81362
Event 4.2. v[ 110999] =   81368 <   81369; u[  81369] =  110991 <  110999.
b=2 c=2 v[ 110992]:   81366   81366   81367   81367   81367   81367   81368
                      81368
Event 4.1. u[ 111925] =  142505 <  142506; v[ 142506] =  111917 <  111925.
b=2 c=2 u[ 111918]:  142503  142503  142504  142504  142504  142505  142505
                     142505
Event 4.1. u[ 136534] =  167081 <  167082; v[ 167082] =  136526 <  136534.
b=2 c=2 u[ 136527]:  167079  167079  167080  167080  167080  167081  167081
                     167081
Event 4.1. u[ 136546] =  167084 <  167085; v[ 167085] =  136538 <  136546.
b=2 c=2 u[ 136539]:  167082  167082  167083  167083  167083  167084  167084
                     167084
Event 4.1. u[ 136557] =  167087 <  167088; v[ 167088] =  136549 <  136557.
b=2 c=2 u[ 136550]:  167085  167085  167086  167086  167086  167087  167087
                     167087
Event 4.1. u[ 136577] =  167092 <  167093; v[ 167093] =  136569 <  136577.
b=1 c=1 u[ 136570]:  167091  167091  167091  167092  167092  167092  167092
                     167092
Event 4.1. u[ 136580] =  167093 <  167094; v[ 167094] =  136572 <  136580.
b=1 c=1 u[ 136573]:  167092  167092  167092  167092  167092  167093  167093
                     167093
 d =  -7. 
Event 4.2. v[  17451] =   13706 <   13707; u[  13707] =   17444 <   17451.
b=1 c=1 v[  17445]:   13705   13705   13705   13706   13706   13706   13706
Event 4.2. v[ 195745] =  165143 <  165144; u[ 165144] =  195738 <  195745.
b=1 c=1 v[ 195739]:  165142  165142  165142  165143  165143  165143  165143

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  17444   21023   13705       0       0       3       3
  17445   21023   13705      -1      -1       4       4
  17446   21023   13705      -2      -2       5       5
  17447   21027   13705       0      -3       3       6
  17448   21027   13706      -1      -4       4       4
  17449   21027   13706      -2      -5       5       5
  17450   21027   13706      -3      -6       6       6
  17451   21031   13706      -1      -7       1       7
  17452   21031   13709      -2      -1       2       4
  17453   21033   13709       1      -2       3       5
  17454   21033   13711       0       0       4       3
  17455   21033   13711      -1      -1       5       4
  17456   21033   13711      -2      -2       6       5
  17457   21036   13715      -1       0       3       3
  17458   21036   13715      -2      -1       4       4

  81348  110936   53844       0      -2       3       5
  81349  110936   53844      -1      -3       4       6
  81350  110936   53847      -2       0       5       4
  81351  110939   53847       0      -1       3       5
  81352  110939   53847      -1      -2       4       6
  81353  110939   53850      -2       1       5       3
  81354  110939   53850      -3       0       6       4
  81355  110944   53850      -1      -1       1       5
  81356  110944   53850      -2      -2       2       6
  81357  110944   53853      -3       0       3       3
  81358  110953   53853      -1      -1       2       4
  81359  110958   53853      -1      -2       2       5
  81360  110963   53853      -1      -3       2       6
  81361  110970   53856      -1       0       1       4
  81362  110970   53856      -2      -1       2       5
  81363  110970   53856      -3      -2       3       6
  81364  110980   53860      -1       0       2       3
  81365  110980   53860      -2      -1       3       4
  81366  110984   53860      -2      -2       3       5
  81367  110991   53860      -1      -3       1       6
  81368  110991   53863      -2       0       2       4
  81369  110991   53863      -3      -1       3       5
  81370  111000   53863      -1      -2       2       6
  81371  111006   53863      -1      -3       2       7
  81372  111006   53867      -2       0       3       4
  81373  111006   53867      -3      -1       4       5
  81374  111009   53867       0      -2       4       6
  81375  111009   53871      -1       0       5       3
  81376  111009   53871      -2      -1       6       4
  81377  111013   53871       0      -2       3       5
  81378  111013   53871      -1      -3       4       6

 110944  141526   81354       0       0       4       5
 110945  141526   81354      -1      -1       5       6
 110946  141526   81354      -2      -2       6       7
 110947  141528   81355      -3      -3       3       8
 110948  141528   81355      -4      -4       4       9
 110949  141530   81355       0      -5       5      10
 110950  141530   81355      -1      -6       6      11
 110951  141530   81356      -2      -7       7       7
 110952  141534   81356       0      -8       3       8
 110953  141534   81356      -1      -9       4       9
 110954  141534   81357      -2      -1       5      10
 110955  141534   81357      -3      -2       6      11
 110956  141539   81357       0      -3       2      12
 110957  141539   81357      -1      -4       3      13
 110958  141539   81357      -2      -5       4      14
 110959  141543   81358       0      -1       3      15
 110960  141543   81358      -1      -2       4      16
 110961  141543   81358      -2      -3       5      17
 110962  141543   81358      -3      -4       6      18

 110970  141550   81360      -3       0       5      12
 110971  141553   81360       0      -1       4      13
 110972  141553   81360      -1      -2       5      14
 110973  141553   81361      -2      -3       6      10
 110974  141553   81361      -3      -4       7      11
 110975  141556   81361       0      -5       4      12
 110976  141556   81361      -1      -6       5      13
 110977  141556   81362      -2      -7       6       7
 110978  141560   81362       0      -8       3       8
 110979  141560   81362      -1      -9       4       9
 110980  141560   81363      -2       0       5      10
 110981  141560   81363      -3      -1       6      11
 110982  141564   81363       0      -2       4      12
 110983  141564   81363      -1      -3       5      13
 110984  141564   81364      -2      -4       6      14
 110985  141564   81364      -3      -5       7      15
 110986  141567   81364       0      -6       4      16
 110987  141567   81364      -1      -7       5      17
 110988  141567   81366      -2       3       6       8
 110989  141567   81366      -3       2       7       9
 110990  141571   81366       0       1       4      10
 110991  141571   81366      -1       0       5      11
 110992  141571   81366      -2      -1       6      12
 110993  141575   81366       0      -2       3      13
 110994  141575   81367      -1      -3       4      10
 110995  141575   81367      -2      -4       5      11
 110996  141575   81367      -3      -5       6      12
 110997  141576   81367      -4      -6       4      13
 110998  141576   81368      -5      -7       5       7
 110999  141579   81368       0      -8       2       8
 111000  141579   81368      -1      -9       3       9
 111001  141579   81369      -2      -1       4      10
 111002  141582   81369      -1      -2       3      11
 111003  141582   81369      -2      -3       4      12
 111004  141582   81369      -3      -4       5      13
 111005  141585   81369      -1      -5       4      14
 111006  141585   81370      -2       0       5      15
 111007  141587   81370       0      -1       3      16
 111008  141587   81370      -1      -2       4      17
 111009  141587   81374      -2       0       5       3

 111917  142503   82272       0       0       2       2
 111918  142503   82272      -1      -1       3       3
 111919  142503   82272      -2      -2       4       4
 111920  142504   82275      -3      -1       5       3
 111921  142504   82275      -4      -2       6       4
 111922  142504   82275      -5      -3       7       5
 111923  142505   82278      -6       0       6       4
 111924  142505   82278      -7      -1       7       5
 111925  142505   82278      -8      -2       8       6
 111926  142506   82278       0      -3       9       7
 111927  142506   82281      -1       0      10       4
 111928  142506   82281      -2      -1      11       5
 111929  142506   82281      -3      -2      12       6
 111930  142507   82284      -4      -2      13       3
 111931  142507   82288      -5       0      14       3
 111932  142507   82288      -6      -1      15       4
 111933  142507   82288      -7      -2      16       5

 136526  167079  105991       0       0       4       3
 136527  167079  105991      -1      -1       5       4
 136528  167079  105991      -2      -2       6       5
 136529  167080  105991      -3      -3       3       6
 136530  167080  105994      -4       0       4       4
 136531  167080  105994      -5      -1       5       5
 136532  167081  105994      -6      -2       6       6
 136533  167081  105994      -7      -3       7       7
 136534  167081  105996      -8       0       8       4
 136535  167081  105996      -9      -1       9       5
 136536  167082  105996       2      -2      10       6
 136537  167082  106000       1      -1      11       3
 136538  167082  106000       0      -2      12       4
 136539  167082  106000      -1      -3      13       5
 136540  167082  106003      -2       0      14       4
 136541  167083  106003      -3      -1      15       5
 136542  167083  106003      -4      -2      16       6
 136543  167083  106007      -5       0      17       3
 136544  167084  106007      -6      -1       6       4
 136545  167084  106007      -7      -2       7       5
 136546  167084  106007      -8      -3       8       6
 136547  167085  106010       2       0       9       4
 136548  167085  106010       1      -1      10       5
 136549  167085  106010       0      -2      11       6
 136550  167085  106010      -1      -3      12       7
 136551  167085  106014      -2       0      13       4
 136552  167086  106014      -3      -1      14       5
 136553  167086  106014      -4      -2      15       6
 136554  167086  106014      -5      -3      16       7
 136555  167087  106017      -6      -1       6       4
 136556  167087  106017      -7      -2       7       5
 136557  167087  106020      -8       0       8       3
 136558  167088  106020       0      -1       9       4
 136559  167088  106020      -1      -2      10       5
 136560  167088  106024      -2       0      11       3
 136561  167088  106024      -3      -1      12       4
 136562  167089  106024      -4      -2      13       5
 136563  167089  106024      -5      -3      14       6
 136564  167089  106026      -6       0      15       4
 136565  167089  106026      -7      -1      16       5

 136569  167091  106030       0      -2      11       5
 136570  167091  106030      -1      -3      12       6
 136571  167091  106034      -2       0      13       2
 136572  167091  106034      -3      -1      14       3
 136573  167092  106034      -4      -2      11       4
 136574  167092  106038      -5       0      12       3
 136575  167092  106038      -6      -1      13       4
 136576  167092  106038      -7      -2      14       5
 136577  167092  106042      -8       0      15       3
 136578  167093  106042      -6      -1       9       4
 136579  167093  106042      -7      -2      10       5
 136580  167093  106042      -8      -3      11       6
 136581  167094  106042       0      -4      12       7
 136582  167094  106045      -1      -1      13       5
 136583  167094  106045      -2      -2      14       6
 136584  167094  106047      -3       0      15       3
 136585  167095  106047      -4      -1      13       4
 136586  167095  106047      -5      -2      14       5
 136587  167095  106051      -6       0      15       3
 136588  167095  106051      -7      -1      16       4

 142498  173091  111910      -1      -3       4       6
 142499  173091  111913      -2       0       5       4
 142500  173091  111913      -3      -1       6       5
 142501  173094  111913       0      -2       4       6
 142502  173094  111915      -1      -3       5       3
 142503  173094  111915      -2      -4       6       4
 142504  173096  111917      -3      -1       3       5
 142505  173096  111917      -4      -2       4       6
 142506  173098  111917       0      -3       5       7
 142507  173098  111926      -1      -1       6       2
 142508  173098  111926      -2      -2       7       3
 142509  173102  111930       0      -2       3       3
 142510  173102  111936      -1      -1       4       2
 142511  173102  111942      -2      -1       5       2
 142512  173105  111942      -1      -2       3       3
 142513  173105  111946      -2      -2       4       3
 142514  173105  111952      -3      -1       5       2

 167073  197734  136519      -1      -2       5       6
 167074  197734  136519      -2      -3       6       7
 167075  197736  136522      -3       0       3       4
 167076  197736  136522      -4      -1       4       5
 167077  197738  136522       0      -2       5       6
 167078  197738  136522      -1      -3       6       7
 167079  197738  136526      -2       0       7       4
 167080  197742  136526       0      -1       3       5
 167081  197742  136526      -1      -2       4       6
 167082  197742  136526      -2      -3       5       7
 167083  197742  136538      -3      -1       6       1
 167084  197747  136538       0      -2       2       2
 167085  197747  136538      -1      -3       3       3
 167086  197747  136549      -2      -1       4       1
 167087  197751  136549       0      -2       3       2
 167088  197751  136549      -1      -3       4       3
 167089  197751  136558      -2      -1       5       2
 167090  197751  136558      -3      -2       6       3
 167091  197752  136562      -4      -2       4       3
 167092  197752  136569      -5      -1       5       2
 167093  197752  136569      -6      -2       6       3
 167094  197755  136572       0      -2       3       3
 167095  197755  136581      -1      -1       4       2
 167096  197755  136581      -2      -2       5       3
 167097  197755  136585      -3      -2       6       3
 167098  197758  136589       0      -1       4       3
 167099  197758  136589      -1      -2       5       4
 167100  197758  136591      -2       0       6       3
 167101  197758  136591      -3      -1       7       4
 167102  197762  136591      -1      -2       4       5

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     47959     47959         0         0     -1
 -2     47877     48270         0         0     -2
 -3     26253     25061         0         0     -3
 -4      3820      4203         0         0     -4
 -5       688       911         0         0     -5
 -6       163       577         0         0     -6
 -7        18        40         0         0     -7
 -8         6         3         0         0     -8
 -9         1         3         0         0     -9
-10         0         0         0         0    -10

Totals / Min / Under -25:  
       126785    127027         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   378973   0       13  20 
      0 -79        0 -59        0 -39        0 -19     3204   1       13  21 
      0 -78        0 -58        0 -38        0 -18    16567   2       13  22 
      0 -77        0 -57        0 -37        0 -17    42342   3       13  23 
      0 -76        0 -56        0 -36        0 -16    38632   4       13  24 
      0 -75        0 -55        0 -35        0 -15     4311   5       13  25 
      0 -74        0 -54        0 -34        0 -14      123   6       13  26 
      0 -73        0 -53        0 -33        0 -13       25   7       13  27 
      0 -72        0 -52        0 -32        0 -12       19   8       13  28 
      0 -71        0 -51        0 -31        0 -11       20   9       13  29 
      0 -70        0 -50        0 -30        0 -10       16  10       13  30 
      0 -69        0 -49        0 -29        4  -9       17  11       13  31 
      0 -68        0 -48        0 -28        9  -8       15  12       13  32 
      0 -67        0 -47        0 -27       58  -7       14  13       13  33 
      0 -66        0 -46        0 -26      740  -6       14  14       13  34 
      0 -65        0 -45        0 -25     1599  -5       14  15       13  35 
      0 -64        0 -44        0 -24     8023  -4       15  16       13  36 
      0 -63        0 -43        0 -23    51314  -3       13  17       13  37 
      0 -62        0 -42        0 -22    96147  -2       13  18       13  38 
      0 -61        0 -41        0 -21    95918  -1       13  19       13  39

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  769332.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -9.      -80 thru  -1 =  253812.
  Behav =     Relaxed.        Maximum =   13856.        0 thru  39 =  484620.
  histend                     K       =  200000.       40 thru Max =   30900.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
 95000 |                             |                                       
 90000 |                             |   oo                                  
 85000 |                             |   oo                                  
 80000 |                             |   oo                                  
 75000 |                             |   oo                                  
 70000 |                             |   oo                                  
 65000 |                             |   ooo                                 
 60000 |                             |   ooo                                 
 55000 |                             |  oooo                                 
 50000 |                             |  oooo                                 
 45000 |                             |  oooo                                 
 40000 |                             |  oooo                                 
 35000 |                             |  oooo                                 
 30000 |                             |  oooo                                 
 25000 |                             |  oooo                                 
 20000 |                             |  oooo                                 
 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  =         400.        Total   =  399981.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   30664.        0 thru  39 =  338381.
  histend                     K       =  200000.       40 thru Max =   61600.

  End  analysis of Test T400  at               00:09:37.080 980617
==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               00:09:37.182 980617
  End execution of Test T410  at               00:09:37.262 980617
  Duration                                            0.080 
Start  analysis of Test T410  at               00:09:37.305 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.066    0.080    0.000    0.000    0.000    0.000    0.000    0.000 
   0.065    0.079    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       9       0       0
   9999    6804   14638       0       0
  19998   13638   29302       0       0
  29997   20471   42935       0       0
  39996   28000   57583       0       0
  49995   34808   71743       0       0
  59994   41659   86655       0       0
  69993   48785  101046       0       0
  79992   55412  117593       0       0
  89991   62295  131879       0       0
  99990   69263  146194       0       0
 109989   74696  160581       0       0
 119988   81663  175172       0       0
 129987   88688  189270       0       0
 139986   95675  199999       0       0
 149985  102573  199999       0       0
 159984  109586  199999       0       0
 169983  116428  199999       0       0
 179982  123357  199999       0       0
 189981  130488  199999       0       0
 199980  137374  199999       0       0

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


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

   i       deltas    strings 
   0       285570          0
   1         5642        626
   2        34270      43445
   3        43316      39255
   4        28802      29502
   5         2327       1527
   6           42         28
   7           10         13
   8            4         12
   9            1          3
  10            0          2
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          1
  19            0          0
over           12         12

 d =  -7. 
Event 4.2. v[  60795] =   87858 <   87859; u[  87859] =   60788 <   60795.
b=2 c=2 v[  60789]:   87856   87856   87857   87857   87857   87858   87858
Event 4.2. v[  60810] =   87863 <   87864; u[  87864] =   60803 <   60810.
b=2 c=2 v[  60804]:   87861   87861   87862   87862   87863   87863   87863
Event 4.1. u[  86673] =   59998 <   59999; v[  59999] =   86666 <   86673.
b=1 c=1 u[  86667]:   59997   59997   59997   59998   59998   59998   59998
 d =  -6. 
Event 4.2. v[  60773] =   87851 <   87852; u[  87852] =   60767 <   60773.
b=2 c=2 v[  60768]:   87849   87850   87850   87851   87851   87851
Event 4.2. v[  60794] =   87858 <   87859; u[  87859] =   60788 <   60794.
b=2 c=2 v[  60789]:   87856   87856   87857   87857   87857   87858
Event 4.2. v[  60809] =   87863 <   87864; u[  87864] =   60803 <   60809.
b=2 c=2 v[  60804]:   87861   87861   87862   87862   87863   87863
Event 4.2. v[  86043] =  126282 <  126283; u[ 126283] =   86037 <   86043.
b=1 c=1 v[  86038]:  126281  126281  126281  126282  126282  126282
Event 4.1. u[  86619] =   59979 <   59980; v[  59980] =   86613 <   86619.
b=0 c=0 u[  86614]:   59979   59979   59979   59979   59979   59979
Event 4.1. u[  86636] =   59985 <   59986; v[  59986] =   86630 <   86636.
b=0 c=0 u[  86631]:   59985   59985   59985   59985   59985   59985
Event 4.1. u[  86650] =   59990 <   59991; v[  59991] =   86644 <   86650.
b=0 c=0 u[  86645]:   59990   59990   59990   59990   59990   59990
Event 4.1. u[  86672] =   59998 <   59999; v[  59999] =   86666 <   86672.
b=1 c=1 u[  86667]:   59997   59997   59997   59998   59998   59998
Event 4.1. u[  86684] =   60002 <   60003; v[  60003] =   86678 <   86684.
b=1 c=1 u[  86679]:   60001   60001   60002   60002   60002   60002
Event 4.1. u[  86691] =   60004 <   60005; v[  60005] =   86685 <   86691.
b=1 c=1 u[  86686]:   60003   60003   60004   60004   60004   60004
Event 4.1. u[  86723] =   60017 <   60018; v[  60018] =   86717 <   86723.
b=0 c=0 u[  86718]:   60017   60017   60017   60017   60017   60017
Event 4.2. v[  94379] =  138106 <  138107; u[ 138107] =   94373 <   94379.
b=1 c=1 v[  94374]:  138105  138105  138105  138106  138106  138106

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  59974   41645   86603      -1      -1       5       3
  59975   41645   86603      -2      -2       6       4
  59976   41645   86603      -3      -3       7       5
  59977   41647   86606       0      -1       4       4
  59978   41647   86609      -1      -1       5       2
  59979   41647   86613      -2       0       6       2
  59980   41650   86613      -2      -1       3       3
  59981   41650   86619      -3      -1       4       2
  59982   41652   86623      -1      -1       4       2
  59983   41652   86623      -2      -2       5       3
  59984   41652   86627      -3      -1       6       3
  59985   41654   86630       0       0       4       2
  59986   41654   86630      -1      -1       5       3
  59987   41654   86637      -2      -1       6       2
  59988   41656   86637       0      -2       3       3
  59989   41656   86641      -1      -1       4       3
  59990   41656   86644      -2       0       5       2
  59991   41659   86644       0      -1       3       3
  59992   41659   86650      -1       0       4       2
  59993   41659   86650      -2      -1       5       3
  59994   41659   86655      -3      -1       6       2
  59995   41661   86655       0      -2       4       3
  59996   41661   86661      -1      -1       5       1
  59997   41661   86661      -2      -2       6       2
  59998   41664   86666       0      -1       3       2
  59999   41664   86666      -1      -2       4       3
  60000   41664   86674      -2      -1       5       2
  60001   41664   86674      -3      -2       6       3
  60002   41666   86678       0      -1       4       1
  60003   41666   86678      -1      -2       5       2
  60004   41666   86685      -2      -1       6       2
  60005   41666   86685      -3      -2       7       3
  60006   41668   86692       0      -1       4       2
  60007   41668   86692      -1      -2       5       3
  60008   41668   86696      -2      -1       6       1
  60009   41671   86696       0      -2       3       2
  60010   41671   86700      -1      -1       4       2
  60011   41671   86704      -2      -1       5       2

  60767   42188   87849      -1       0       5       2
  60768   42188   87849      -2      -1       6       3
  60769   42191   87850       0      -2       3       2
  60770   42191   87850      -1      -3       4       3
  60771   42191   87851      -2      -4       5       4
  60772   42191   87851      -3      -5       6       5
  60773   42193   87851       0      -6       4       6
  60774   42193   87852      -1       1       5       7
  60775   42193   87852      -2       0       6       8
  60776   42193   87852      -3      -1       7       9
  60777   42195   87852       0      -2       4      10
  60778   42195   87853      -1      -3       5      11
  60779   42195   87853      -2      -4       6      12

  60788   42202   87856      -1       0       6       7
  60789   42202   87856      -2      -1       7       8
  60790   42205   87856       0      -2       3       9
  60791   42205   87857      -1      -3       4      10
  60792   42205   87857      -2      -4       5      11
  60793   42205   87857      -3      -5       6      12
  60794   42207   87858       0      -6       4       6
  60795   42207   87858      -1      -7       5       7
  60796   42207   87859      -2       0       6       8
  60797   42207   87859      -3      -1       7       9
  60798   42210   87859       0      -2       4      10
  60799   42210   87860      -1      -3       5      11
  60800   42210   87860      -2      -4       6      12
  60801   42210   87861      -3       2       7       5
  60802   42212   87861       0       1       4       6
  60803   42212   87861      -1       0       5       7
  60804   42212   87861      -2      -1       6       8
  60805   42212   87861      -3      -2       7       9
  60806   42214   87862       0      -3       4      10
  60807   42214   87862      -1      -4       5      11
  60808   42214   87863      -2      -5       6       5
  60809   42216   87863       0      -6       3       6
  60810   42216   87863      -1      -7       4       7
  60811   42216   87864      -2       0       5       8
  60812   42219   87864      -2      -1       3       9
  60813   42219   87864      -3      -2       4      10
  60814   42220   87865       0      -3       4      11
  60815   42220   87865      -1      -4       5      12
  60816   42220   87866      -2       1       6       5
  60817   42223   87866       0       0       3       6

  86037   59586  126281      -2       0       5       2
  86038   59586  126281      -3      -1       6       3
  86039   59588  126281       0      -2       4       4
  86040   59588  126281      -1      -3       5       5
  86041   59588  126282      -2      -4       6       4
  86042   59588  126282      -3      -5       7       5
  86043   59590  126282       0      -6       4       6
  86044   59590  126285      -1       0       5       4
  86045   59590  126285      -2      -1       6       5
  86046   59592  126289       0       0       3       2
  86047   59592  126289      -1      -1       4       3
  86048   59592  126293      -2       0       5       2
  86049   59595  126293       0      -1       3       3

  86613   59979  127089       0      -1       4       4
  86614   59979  127093      -1       0       5       2
  86615   59979  127093      -2      -1       6       3
  86616   59979  127097      -3       0       7       2
  86617   59979  127097      -4      -1       8       3
  86618   59979  127097      -5      -2       9       4
  86619   59979  127100      -6       0      10       3
  86620   59980  127100      -1      -1       7       4
  86621   59980  127103      -2       0       8       2
  86622   59980  127103      -3      -1       9       3
  86623   59981  127103       0      -2      10       4
  86624   59981  127106      -1       0      11       3
  86625   59981  127106      -2      -1      12       4

  86644   59990  127134       0       0       3       2
  86645   59990  127134      -1      -1       4       3
  86646   59990  127134      -2      -2       5       4
  86647   59990  127137      -3       0       6       3
  86648   59990  127137      -4      -1       7       4
  86649   59990  127141      -5      -1       8       2
  86650   59990  127141      -6      -2       9       3
  86651   59992  127144      -1      -1       7       3
  86652   59992  127144      -2      -2       8       4
  86653   59992  127146      -3       0       9       3
  86654   59992  127146      -4      -1      10       4
  86655   59992  127151      -5      -1      11       2
  86656   59993  127151      -1      -2       6       3

  86666   59996  127164      -5      -2      11       4
  86667   59997  127168      -1       0       6       3
  86668   59997  127168      -2      -1       7       4
  86669   59997  127172      -3       0       8       2
  86670   59998  127172      -4      -1       9       3
  86671   59998  127176      -5       0      10       2
  86672   59998  127176      -6      -1      11       3
  86673   59998  127176      -7      -2      12       4
  86674   59999  127178       0       0       8       3
  86675   59999  127178      -1      -1       9       4
  86676   60001  127183       2      -1       2       2
  86677   60001  127183       1      -2       3       3
  86678   60001  127186       0       0       4       3
  86679   60001  127186      -1      -1       5       4
  86680   60001  127186      -2      -2       6       5
  86681   60002  127189      -3      -1       7       3
  86682   60002  127189      -4      -2       8       4
  86683   60002  127192      -5       0       9       3
  86684   60002  127192      -6      -1      10       4
  86685   60003  127196       0       0       7       2
  86686   60003  127196      -1      -1       8       3
  86687   60003  127196      -2      -2       9       4
  86688   60004  127199      -3       0      10       3
  86689   60004  127199      -4      -1      11       4
  86690   60004  127203      -5       0      12       2
  86691   60004  127203      -6      -1      13       3
  86692   60005  127207       0       0       7       2
  86693   60005  127207      -1      -1       8       3
  86694   60007  127207       2      -2       2       4
  86695   60007  127210       1       0       3       3
  86696   60007  127210       0      -1       4       4
  86697   60007  127210      -1      -2       5       5

  87846   60765  128751      -1      -2       5       3
  87847   60765  128754      -2       0       6       3
  87848   60765  128754      -3      -1       7       4
  87849   60767  128754       0      -2       4       5
  87850   60767  128757      -1      -1       5       3
  87851   60767  128757      -2      -2       6       4
  87852   60767  128760      -3       0       7       3
  87853   60775  128760      -1      -1       1       4
  87854   60775  128764      -2       0       2       2
  87855   60781  128764      -1      -1       1       3
  87856   60781  128764      -2      -2       2       4
  87857   60788  128767      -1       0       1       3
  87858   60788  128767      -2      -1       2       4
  87859   60788  128771      -3       0       3       2
  87860   60796  128771      -1      -1       2       3
  87861   60796  128775      -2       0       3       2
  87862   60803  128775      -1      -1       1       3
  87863   60803  128775      -2      -2       2       4
  87864   60803  128778      -3       0       3       3
  87865   60811  128778      -1      -1       2       4
  87866   60811  128778      -2      -2       3       5
  87867   60817  128782      -1      -1       1       3
  87868   60817  128782      -2      -2       2       4
  87869   60817  128785      -3       0       3       3
  87870   60819  128785      -1      -1       4       4
  87871   60819  128785      -2      -2       5       5

 126277   86035  184201       0      -1       4       3
 126278   86035  184201      -1      -2       5       4
 126279   86035  184202      -2      -3       6       3
 126280   86035  184202      -3      -4       7       4
 126281   86037  184207       0      -1       4       1
 126282   86037  184207      -1      -2       5       2
 126283   86037  184211      -2       0       6       3
 126284   86040  184211      -2      -1       3       4
 126285   86044  184211       0      -2       3       5
 126286   86044  184214      -1       0       4       3
 126287   86044  184214      -2      -1       5       4
 126288   86044  184218      -3       0       6       2
 126289   86046  184218       0      -1       4       3

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     54992     54992         0         0     -1
 -2     55519     25259         0         0     -2
 -3     33528      4188         0         0     -3
 -4      2719      1945         0         0     -4
 -5        37       259         0         0     -5
 -6         8         5         0         0     -6
 -7         1         2         0         0     -7
 -8         0         0         0         0     -8

Totals / Min / Under -25:  
       146804     86650         0         0
            7         7         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  737385.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -7.      -80 thru  -1 =  233454.
  Behav =     Relaxed.        Maximum =    2128.        0 thru  39 =  498362.
  histend                     K       =  200000.       40 thru Max =    5569.

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

            ------ Relaxed ------    |         ------ Strong ------       
 95000 |                             |                                       
 90000 |                             |   o                                   
 85000 |                             |   o                                   
 80000 |                             |   o                                   
 75000 |                             |  oo                                   
 70000 |                             |  oo                                   
 65000 |                             |  oo                                   
 60000 |                             |  ooo                                  
 55000 |                             |  ooo                                  
 50000 |                             |  ooo                                  
 45000 |                             |  oooo                                 
 40000 |                             |  oooo                                 
 35000 |                             |  oooo                                 
 30000 |                             | ooooo                                 
 25000 |                             | ooooo                                 
 20000 |                             | ooooo                                 
 15000 |                             | oooooo                                
 10000 |                             | oooooo                                
  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   =  399982.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   62612.        0 thru  39 =  331786.
  histend                     K       =  200000.       40 thru Max =   68196.

  End  analysis of Test T410  at               00:09:38.444 980617
==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               00:09:38.553 980617
  End execution of Test T420  at               00:09:38.641 980617
  Duration                                            0.088 
Start  analysis of Test T420  at               00:09:38.727 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.087    0.083    0.000    0.000    0.000    0.000    0.000    0.000 
   0.085    0.081    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      14       0       0
   9999    9582   10413       0       0
  19998   19679   20322       0       0
  29997   31278   29740       0       0
  39996   41303   38666       0       0
  49995   50731   49258       0       0
  59994   60650   59342       0       0
  69993   70439   69545       0       0
  79992   80309   79667       0       0
  89991   89882   90181       0       0
  99990   99729  100244       0       0
 109989  109519  110456       0       0
 119988  119312  120672       0       0
 129987  129378  130578       0       0
 139986  139425  140532       0       0
 149985  149458  150509       0       0
 159984  159501  160462       0       0
 169983  170593  169833       0       0
 179982  180766  179196       0       0
 189981  191292  188663       0       0
 199980  199999  193191       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                             111
                                                                                
                                                                            1222
                                                                           12   
                                                                          12    
                                                                         12     
                                                                        12      
                                                                       12       
                                                                      12        
                                                                     12         
                                                                    12          
                                                                    2           
                                                                  23            
                                                                 21             
                                                                21              
                                                                1               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       1                                                        
                      12                                                        
                     12                                                         
                    12                                                          
                   12                                                           
                  12                                                            
                 12                                                             
                12                                                              
               12                                                               
              12                                                                
             12                                                                 
            12                                                                  
           22                                                                   
          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       268073          0
   1         1504        154
   2        39161      46870
   3        67590      56426
   4        23377      28008
   5          243        404
   6           15         26
   7            5          6
   8            2          3
   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           26         26

 d =  -6. 
Event 4.1. u[   1650] =    1202 <    1203; v[   1203] =    1644 <    1650.
b=0 c=0 u[   1645]:    1202    1202    1202    1202    1202    1202
Event 4.1. u[  58199] =   58891 <   58892; v[  58892] =   58193 <   58199.
b=1 c=1 u[  58194]:   58890   58890   58891   58891   58891   58891
Event 4.1. u[  58240] =   58902 <   58903; v[  58903] =   58234 <   58240.
b=1 c=1 u[  58235]:   58901   58901   58902   58902   58902   58902
 d =  -5. 
Event 4.1. u[   1640] =    1198 <    1199; v[   1199] =    1635 <    1640.
b=0 c=0 u[   1636]:    1198    1198    1198    1198    1198
Event 4.1. u[   1649] =    1202 <    1203; v[   1203] =    1644 <    1649.
b=0 c=0 u[   1645]:    1202    1202    1202    1202    1202
Event 4.1. u[   1720] =    1229 <    1230; v[   1230] =    1715 <    1720.
b=0 c=0 u[   1716]:    1229    1229    1229    1229    1229
Event 4.1. u[   1736] =    1234 <    1235; v[   1235] =    1731 <    1736.
b=0 c=0 u[   1732]:    1234    1234    1234    1234    1234
Event 4.2. v[  43492] =   42106 <   42107; u[  42107] =   43487 <   43492.
b=1 c=1 v[  43488]:   42105   42105   42106   42106   42106
Event 4.1. u[  58190] =   58889 <   58890; v[  58890] =   58185 <   58190.
b=1 c=1 u[  58186]:   58888   58888   58889   58889   58889
Event 4.1. u[  58198] =   58891 <   58892; v[  58892] =   58193 <   58198.
b=1 c=1 u[  58194]:   58890   58890   58891   58891   58891
Event 4.1. u[  58202] =   58892 <   58893; v[  58893] =   58197 <   58202.
b=1 c=1 u[  58198]:   58891   58891   58892   58892   58892
Event 4.1. u[  58217] =   58896 <   58897; v[  58897] =   58212 <   58217.
b=1 c=1 u[  58213]:   58895   58895   58896   58896   58896
Event 4.1. u[  58225] =   58898 <   58899; v[  58899] =   58220 <   58225.
b=1 c=1 u[  58221]:   58897   58898   58898   58898   58898
Event 4.1. u[  58228] =   58899 <   58900; v[  58900] =   58223 <   58228.
b=1 c=1 u[  58224]:   58898   58898   58899   58899   58899
Event 4.1. u[ 161530] =  160979 <  160980; v[ 160980] =  161525 <  161530.
b=0 c=0 u[ 161526]:  160979  160979  160979  160979  160979

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   1194     723    1627     112       0     307       3
   1195     723    1627     111      -1     308       4
   1196     723    1632     110      -1     309       2
   1197     723    1632     109      -2     310       3
   1198     723    1635     108       0     311       3
   1199     723    1635     107      -1     312       4
   1200     723    1641     106      -1     313       2
   1201     723    1641     105      -2     314       3
   1202     723    1644     104       0     315       3
   1203     723    1644     103      -1     316       4
   1204     723    1650     102      -1     317       2
   1205     723    1653     101      -1     318       2
   1206     723    1656     100      -1     319       2
   1207     723    1659      99      -1     320       2
   1208     723    1659      98      -2     321       3
   1209     723    1662      97      -1     322       3

   1225     723    1706      81      -2     338       2
   1226     723    1706      80      -3     339       3
   1227     723    1709      79      -1     340       1
   1228     723    1712      78      -1     341       2
   1229     723    1715      77       0     342       2
   1230     723    1715      76      -1     343       3
   1231     723    1722      75      -1     344       1
   1232     723    1725      74      -1     345       2
   1233     723    1728      73      -1     346       2
   1234     723    1731      72       0     347       2
   1235     723    1731      71      -1     348       3
   1236     723    1738      70      -1     349       1
   1237     723    1738      69      -2     350       2
   1238     723    1744      68      -1     351       1
   1239     723    1747      67      -1     352       1
   1240     723    1749      66       0     353       2

   1635    1198    2144       0       0       3       3
   1636    1198    2144      -1      -1       4       4
   1637    1198    2148      -2       0       5       2
   1638    1198    2148      -3      -1       6       3
   1639    1198    2148      -4      -2       7       4
   1640    1198    2151      -5       0       8       3
   1641    1199    2151       0      -1       6       4
   1642    1199    2151      -1      -2       7       5
   1643    1199    2154      -2       0       8       3
   1644    1202    2154       0      -1       3       4
   1645    1202    2154      -1      -2       4       5
   1646    1202    2157      -2       0       5       3
   1647    1202    2157      -3      -1       6       4
   1648    1202    2157      -4      -2       7       5
   1649    1202    2157      -5      -3       8       6
   1650    1202    2159      -6       0       9       4
   1651    1203    2159      -1      -1       7       5
   1652    1203    2159      -2      -2       8       6
   1653    1203    2162      -3       0       9       3
   1654    1204    2162      -1      -1      10       4
   1655    1204    2166      -2       0      11       2
   1656    1204    2166      -3      -1      12       3

   1715    1229    2224       0      -2       3       6
   1716    1229    2227      -1       0       4       3
   1717    1229    2227      -2      -1       5       4
   1718    1229    2231      -3       0       6       2
   1719    1229    2231      -4      -1       7       3
   1720    1229    2231      -5      -2       8       4
   1721    1230    2234       1       0       6       3
   1722    1230    2234       0      -1       7       4
   1723    1230    2234      -1      -2       8       5
   1724    1230    2237      -2       0       9       3
   1725    1231    2237       0      -1      10       4

   1731    1234    2242       0       0       3       3
   1732    1234    2242      -1      -1       4       4
   1733    1234    2246      -2       0       5       2
   1734    1234    2246      -3      -1       6       3
   1735    1234    2246      -4      -2       7       4
   1736    1234    2249      -5       0       8       3
   1737    1235    2249       1      -1       6       4
   1738    1235    2249       0      -2       7       5
   1739    1235    2252      -1       0       8       3
   1740    1236    2252      -2      -1       9       4
   1741    1236    2252      -3      -2      10       5

  43487   44952   42105      -2       0       5       2
  43488   44955   42105       0      -1       3       3
  43489   44955   42105      -1      -2       4       4
  43490   44955   42106      -2      -3       5       3
  43491   44955   42106      -3      -4       6       4
  43492   44957   42106       0      -5       4       5
  43493   44957   42108      -1      -1       5       6
  43494   44957   42108      -2      -2       6       7
  43495   44960   42111       0       0       3       3
  43496   44960   42111      -1      -1       4       4
  43497   44964   42111       0      -2       2       5

  58185   58888   57464       0      -1       3       4
  58186   58888   57466      -1       0       4       2
  58187   58888   57466      -2      -1       5       3
  58188   58889   57469      -3       0       6       2
  58189   58889   57469      -4      -1       7       3
  58190   58889   57469      -5      -2       8       4
  58191   58890   57469       2      -3       6       5
  58192   58890   57471       1       0       7       4
  58193   58890   57471       0      -1       8       5
  58194   58890   57471      -1      -2       9       6
  58195   58890   57474      -2       0      10       3
  58196   58891   57474      -3      -1      11       4
  58197   58891   57478      -4       0      12       2
  58198   58891   57478      -5      -1      13       3
  58199   58891   57478      -6      -2      14       4
  58200   58892   57481      -3       0       7       3
  58201   58892   57481      -4      -1       8       4
  58202   58892   57484      -5       0       9       2
  58203   58893   57484      -1      -1      10       3
  58204   58893   57484      -2      -2      11       4
  58205   58893   57484      -3      -3      12       5
  58206   58893   57486      -4      -1      13       4
  58207   58894   57486       0      -2      10       5

  58234   58901   57511       0      -2      11       6
  58235   58901   57515      -1       0      12       3
  58236   58901   57515      -2      -1      13       4
  58237   58902   57519      -3       0       8       2
  58238   58902   57519      -4      -1       9       3
  58239   58902   57519      -5      -2      10       4
  58240   58902   57522      -6       0      11       3
  58241   58903   57522      -3      -1       7       4
  58242   58903   57522      -4      -2       8       5
  58243   58903   57522      -5      -3       9       6
  58244   58904   57524       0       0      10       4
  58245   58904   57524      -1      -1      11       5
  58246   58907   57524       0      -2       2       6

  58885   59543   58182      -1       0       4       3
  58886   59543   58182      -2      -1       5       4
  58887   59543   58182      -3      -2       6       5
  58888   59545   58182       0      -3       4       6
  58889   59545   58185      -1      -1       5       1
  58890   59545   58185      -2      -2       6       2
  58891   59545   58193      -3      -1       7       1
  58892   59548   58193      -1      -2       1       2
  58893   59548   58197      -2      -2       2       2
  58894   59550   58202       0      -1       3       2
  58895   59550   58207      -1      -1       4       2
  58896   59554   58212       0      -1       2       1
  58897   59554   58212      -1      -2       3       2
  58898   59554   58220      -2      -1       4       1
  58899   59557   58220       0      -2       3       2
  58900   59557   58223      -1      -2       4       2
  58901   59557   58229      -2      -1       5       2
  58902   59557   58234      -3      -1       6       1
  58903   59559   58234       0      -2       4       2
  58904   59559   58238      -1      -2       5       2
  58905   59559   58244      -2      -1       6       2
  58906   59562   58244       0      -2       3       3
  58907   59562   58244      -1      -3       4       4
  58908   59562   58246      -2      -1       5       4
  58909   59565   58246       0      -2       3       5

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     65781     65781         0         0     -1
 -2     46746     47217         0         0     -2
 -3     14182     14811         0         0     -3
 -4       185       416         0         0     -4
 -5        18         1         0         0     -5
 -6         3         0         0         0     -6
 -7         0         0         0         0     -7

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  793186.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -6.      -80 thru  -1 =  255141.
  Behav =     Relaxed.        Maximum =    5509.        0 thru  39 =  523359.
  histend                     K       =  200000.       40 thru Max =   14686.

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

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

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

  End  analysis of Test T420  at               00:09:39.901 980617
==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               00:09:40.004 980617
  End execution of Test T700  at               00:09:40.098 980617
  Duration                                            0.094 
Start  analysis of Test T700  at               00:09:40.098 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.092    0.093    0.000    0.000    0.000    0.000    0.000    0.000 
   0.091    0.092    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  199999  199999
   9999    7624   12693       0       0
  19998   15775   26211       0       0
  29997   23234   37895       0       0
  39996   31768   49408       0       0
  49995   40514   61075       0       0
  59994   49064   72523       0       0
  69993   57807   84063       0       0
  79992   66510   95460       0       0
  89991   75193  106758       0       0
  99990   84072  118307       0       0
 109989   92861  129754       0       0
 119988  101559  141498       0       0
 129987  110196  151608       0       0
 139986  118647  163326       0       0
 149985  128584  166174       0       0
 159984  137212  167485       0       0
 169983  162111  179159       0       0
 179982  170692  184967       0       0
 189981  186869  193642       0       0
 199980  195713  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                                                                            222
                                                                            2  1
                                                                           2  1 
                                                                          2  1  
                                                                            1   
                                                                         2 1    
                                                                     2222 1     
                                                                    2           
                                                                   2            
                                                                  2             
                                                                 2      11      
                                                                       1        
                                                                2     1         
                                                        22222222     1          
                                                                    1           
                                                       2           1            
                                                      2           1             
                                                     2                          
                                                    2                           
                                                   2                            
                                                  2                             
                                                                                
                                                22                              
                                               2                 1              
                                                                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             11                             
                                                1                               
                                  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          1                                              
                               11                                               
                     2        1                                                 
                    2        1                                                  
                   2        1                                                   
                  2        1                                                    
                 2        1                                                     
                         1                                                      
                2      11                                                       
               2      1                                                         
              2      1                                                          
             2      1                                                           
            2      1                                                            
           2      1                                                             
                 1                                                              
          2    11                                                               
         2    1                                                                 
        2    1                                                                  
       2    1                                                                   
           1                                                                    
      2   1                                                                     
     2  11                                                                      
    2  1                                                                        
      1                                                                         
   211                                                                          
  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       255737          0
   1         8043        959
   2        63704      71387
   3        64106      67581
   4         5988       4236
   5         2320         42
   6           60         33
   7           10          5
   8           11          0
   9            2          1
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           15         15

 d =  -5. 
Event 7.2. v[  47290] =   57917 <   57918; u[  57918] =   47285 <   47290.
b=1 c=1 v[  47286]:   57916   57916   57917   57917   57917
Event 7.2. v[  51647] =   63001 <   63002; u[  63002] =   51642 <   51647.
b=0 c=0 v[  51643]:   63001   63001   63001   63001   63001
Event 7.1. u[ 163129] =  139838 <  139839; v[ 139839] =  163124 <  163129.
b=1 c=1 u[ 163125]:  139837  139837  139838  139838  139838
Event 7.1. u[ 163138] =  139841 <  139842; v[ 139842] =  163133 <  163138.
b=1 c=1 u[ 163134]:  139840  139840  139841  139841  139841
Event 7.1. u[ 163146] =  139844 <  139845; v[ 139845] =  163141 <  163146.
b=1 c=1 u[ 163142]:  139843  139843  139844  139844  139844
Event 7.1. u[ 163155] =  139847 <  139848; v[ 139848] =  163150 <  163155.
b=1 c=1 u[ 163151]:  139846  139846  139847  139847  139847
Event 7.1. u[ 172684] =  164411 <  164412; v[ 164412] =  172679 <  172684.
b=1 c=1 u[ 172680]:  164410  164410  164411  164411  164411
Event 7.1. u[ 172692] =  164414 <  164415; v[ 164415] =  172687 <  172692.
b=1 c=1 u[ 172688]:  164413  164413  164414  164414  164414
Event 7.1. u[ 172708] =  164420 <  164421; v[ 164421] =  172703 <  172708.
b=1 c=1 u[ 172704]:  164419  164419  164420  164420  164420
Event 7.1. u[ 172716] =  164423 <  164424; v[ 164424] =  172711 <  172716.
b=1 c=1 u[ 172712]:  164422  164422  164423  164423  164423
 d =  -4. 
Event 7.1. u[   7539] =    5560 <    5561; v[   5561] =    7535 <    7539.
b=0 c=0 u[   7536]:    5560    5560    5560    5560
Event 7.1. u[  16339] =   13144 <   13145; v[  13145] =   16335 <   16339.
b=0 c=0 u[  16336]:   13144   13144   13144   13144
Event 7.1. u[  20983] =   15944 <   15945; v[  15945] =   20979 <   20983.
b=0 c=0 u[  20980]:   15944   15944   15944   15944
Event 7.1. u[  32759] =   25576 <   25577; v[  25577] =   32755 <   32759.
b=0 c=0 u[  32756]:   25576   25576   25576   25576
Event 7.1. u[ 188727] =  185784 <  185785; v[ 185785] =  188723 <  188727.
b=0 c=0 u[ 188724]:  185784  185784  185784  185784

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  47285   38094   57916       0       0       3       4
  47286   38094   57916      -1      -1       4       5
  47287   38097   57916       0      -2       2       6
  47288   38097   57917      -1      -3       3       3
  47289   38097   57917      -2      -4       4       4
  47290   38099   57917       0      -5       3       5
  47291   38099   57918      -1       2       4       6
  47292   38099   57918      -2       1       5       7
  47293   38101   57919       0       0       3       8
  47294   38101   57919      -1      -1       4       9
  47295   38104   57919       0      -2       2      10

  51642   41938   63001       0       0       3       2
  51643   41938   63001      -1      -1       4       3
  51644   41938   63001      -2      -2       5       4
  51645   41940   63001       0      -3       3       5
  51646   41940   63001      -1      -4       4       6
  51647   41943   63001       0      -5       2       7
  51648   41943   63002      -1       0       3       6
  51649   41944   63002      -2      -1       2       7
  51650   41946   63004       0       4       3       2
  51651   41946   63004      -1       3       4       3
  51652   41946   63004      -2       2       5       4

  57913   47281   70111       0      -1       2       4
  57914   47281   70115      -1       0       3       2
  57915   47281   70115      -2      -1       4       3
  57916   47285   70118       0       0       1       2
  57917   47285   70118      -1      -1       2       3
  57918   47285   70118      -2      -2       3       4
  57919   47293   70120       0       0       1       3
  57920   47293   70120      -1      -1       2       4
  57921   47293   70123      -2       0       3       2
  57922   47300   70123       0      -1       1       3
  57923   47300   70123      -1      -2       2       4

  62997   51631   75967      -1      -3       1       5
  62998   51634   75969      -1       0       1       4
  62999   51637   75969      -1      -1       1       5
  63000   51640   75972      -1       0       1       2
  63001   51642   75972       0      -1       2       3
  63002   51642   75976      -1       0       3       2
  63003   51648   75976      -1      -1       2       3
  63004   51648   75979      -2       0       3       2
  63005   51654   75979       0      -1       1       3
  63006   51654   75979      -1      -2       2       4
  63007   51657   75979      -1      -3       2       5

 139834  118516  163117       0       0       3       1
 139835  118516  163117      -1      -1       4       2
 139836  118516  163117      -2      -2       5       3
 139837  118519  163124       0       0       3       1
 139838  118519  163124      -1      -1       4       2
 139839  118522  163124       0      -2       2       3
 139840  118522  163133      -1       0       3       1
 139841  118522  163133      -2      -1       4       2
 139842  118524  163133       0      -2       3       3
 139843  118524  163141      -1       0       4       1
 139844  118524  163141      -2      -1       5       2
 139845  118526  163141       0      -2       3       3
 139846  118526  163150      -1       0       4       1
 139847  118526  163150      -2      -1       5       2
 139848  118528  163150       0      -2       3       3
 139849  118528  163158      -1       0       4       1
 139850  118528  163158      -2      -1       5       2
 139851  118530  163158       0      -2       3       3
 139852  118530  163160      -1       0       4       3
 139853  118533  163160       0      -1       2       4

 163124  139837  171169       0       0       7       3
 163125  139837  171169      -1      -1       8       4
 163126  139837  171172      -2       0       9       2
 163127  139838  171172      -3      -1       3       3
 163128  139838  171175      -4       0       4       2
 163129  139838  171175      -5      -1       5       3
 163130  139839  171179       3       0       6       2
 163131  139839  171179       2      -1       7       3
 163132  139839  171182       1       0       8       2
 163133  139840  171182       0      -1       9       3
 163134  139840  171182      -1      -2      10       4
 163135  139840  171184      -2       0      11       3
 163136  139841  171184      -3      -1       3       4
 163137  139841  171187      -4       0       4       2
 163138  139841  171187      -5      -1       5       3
 163139  139842  171190       2       0       6       2
 163140  139842  171190       1      -1       7       3
 163141  139843  171193       0       0       8       2
 163142  139843  171193      -1      -1       9       3
 163143  139843  171196      -2       0      10       2
 163144  139844  171196      -3      -1       3       3
 163145  139844  171198      -4      -1       4       2
 163146  139844  171198      -5      -2       5       3
 163147  139845  171200       3       0       6       3
 163148  139845  171200       2      -1       7       4
 163149  139845  171203       1       0       8       2
 163150  139846  171203       0      -1       9       3
 163151  139846  171203      -1      -2      10       4
 163152  139846  171205      -2       0      11       3
 163153  139847  171205      -3      -1       3       4
 163154  139847  171208      -4       0       4       2
 163155  139847  171208      -5      -1       5       3
 163156  139848  171211       2       0       6       2
 163157  139848  171211       1      -1       7       3
 163158  139849  171214       0       0       8       2
 163159  139849  171214      -1      -1       9       3
 163160  139852  171214       0      -2       2       4

 164407  140914  172670      -2      -2       5       4
 164408  140916  172672       0       0       3       3
 164409  140916  172672      -1      -1       4       4
 164410  140916  172679      -2       0       5       1
 164411  140918  172679       0      -1       3       2
 164412  140918  172679      -1      -2       4       3
 164413  140918  172687      -2       0       5       1
 164414  140920  172687       0      -1       3       2
 164415  140920  172687      -1      -2       4       3
 164416  140920  172695      -2       0       5       1
 164417  140923  172695       0      -1       3       2
 164418  140923  172695      -1      -2       4       3
 164419  140923  172703      -2       0       5       1
 164420  140925  172703       0      -1       3       2
 164421  140925  172703      -1      -2       4       3
 164422  140928  172711       0       0       2       1
 164423  140928  172711      -1      -1       3       2
 164424  140928  172711      -2      -2       4       3
 164425  140930  172719       0       0       3       1
 164426  140930  172719      -1      -1       4       2
 164427  140930  172719      -2      -2       5       3
 164428  140932  172721       0       0       3       3
 164429  140932  172721      -1      -1       4       4

 172679  164410  182158       0      -2       7       4
 172680  164410  182160      -1       0       8       3
 172681  164410  182160      -2      -1       9       4
 172682  164411  182164      -3       0       3       2
 172683  164411  182164      -4      -1       4       3
 172684  164411  182167      -5       0       5       2
 172685  164412  182167       2      -1       6       3
 172686  164412  182167       1      -2       7       4
 172687  164413  182169       0       0       8       3
 172688  164413  182169      -1      -1       9       4
 172689  164413  182172      -2       0      10       2
 172690  164414  182172      -3      -1       3       3
 172691  164414  182172      -4      -2       4       4
 172692  164414  182174      -5       0       5       3
 172693  164415  182174       2      -1       6       4
 172694  164415  182177       1       0       7       2
 172695  164416  182177       0      -1       8       3
 172696  164416  182180      -1       0       9       2
 172697  164416  182180      -2      -1      10       3

 172703  164419  182189       0       0       8       3
 172704  164419  182189      -1      -1       9       4
 172705  164419  182189      -2      -2      10       5
 172706  164420  182191      -3       0       3       3
 172707  164420  182191      -4      -1       4       4
 172708  164420  182194      -5       0       5       2
 172709  164421  182194       2      -1       6       3
 172710  164421  182197       1       0       7       2
 172711  164422  182197       0      -1       8       3
 172712  164422  182197      -1      -2       9       4
 172713  164422  182199      -2       0      10       3
 172714  164423  182199      -3      -1       3       4
 172715  164423  182202      -4       0       4       2
 172716  164423  182202      -5      -1       5       3
 172717  164424  182205       2       0       6       2
 172718  164424  182205       1      -1       7       3
 172719  164425  182205       0      -2       8       4
 172720  164425  182207      -1       0       9       3
 172721  164428  182207       0      -1       2       4

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     69841     69841         0         0     -1
 -2     47247     26432         0         0     -2
 -3      2860      2149         0         0     -3
 -4        25        21         0         0     -4
 -5         8         2         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
       119981     98445         0         0
            5         5         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   =  795727.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  218426.
  Behav =     Relaxed.        Maximum =   16380.        0 thru  39 =  546008.
  histend                     K       =  200000.       40 thru Max =   31293.

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

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

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

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

  End  analysis of Test T700  at               00:09:41.254 980617
==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               00:09:41.357 980617
  End execution of Test T710  at               00:09:41.450 980617
  Duration                                            0.093 
Start  analysis of Test T710  at               00:09:41.494 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.084    0.093    0.000    0.000    0.000    0.000    0.000    0.000 
   0.083    0.092    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       6  199999       0
   9999    8001   12319       0       0
  19998   16199   24577       0       0
  29997   24379   36920       0       0
  39996   32445   49665       0       0
  49995   40264   61873       0       0
  59994   48461   74213       0       0
  69993   56548   86567       0       0
  79992   64641   97621       0       0
  89991   72795  110045       0       0
  99990   81901  120475       0       0
 109989   89942  132424       0       0
 119988   99594  144301       0       0
 129987  107907  156527       0       0
 139986  116307  168679       0       0
 149985  124596  180832       0       0
 159984  132803  192686       0       0
 169983  141043  199999       0       0
 179982  149284  199999       0       0
 189981  157565  199999       0       0
 199980  166056  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                                                                222222222222222
                                                                2               
                                                                                
                                                               2                
                                                              2                 
                                                             2                  
                                                            2                   
                                                           2                    
                                                                                
                                                          2                     
                                                         2                      
                                                        2                       
                                                       2                        
                                                                               1
                                                      2                       1 
                                                     2                       1  
                                                    2                       1   
                                                   2                      11    
                                                                         1      
                                                  2                     1       
                                                 2                     1        
                                                2                     1         
                                               2                    11          
                                              2                    1            
                                                                  1             
                                             2                   1              
                                            2                   1               
                                           2                  11                
                                          2                  1                  
                                         2                  1                   
                                                           1                    
                                        2                 1                     
                                      22                11                      
                                                       1                        
                                     2                1                         
                                    2                1                          
                                   2                1                           
                                  2                1                            
                                                 11                             
                                 2              1                               
                                2              1                                
                               2              1                                 
                              2              1                                  
                             2              1                                   
                            2              1                                    
                                          1                                     
                           2            11                                      
                          2            1                                        
                         2            1                                         
                        2            1                                          
                                    1                                           
                       2           1                                            
                      2          11                                             
                     2          1                                               
                    2          1                                                
                              1                                                 
                   2         1                                                  
                  2        11                                                   
                 2        1                                                     
                2        1                                                      
                        1                                                       
               2       1                                                        
              2      11                                                         
             2      1                                                           
                   1                                                            
            2     1                                                             
           2    11                                                              
          2    1                                                                
         2    1                                                                 
             1                                                                  
        2  11                                                                   
       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       259027          0
   1         6111       2098
   2        63711      71010
   3        58026      55233
   4        12312      12019
   5          762        575
   6           18         16
   7           13          3
   8            4          1
   9            0          1
  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           12         12

 d =  -5. 
Event 7.2. v[  28090] =   34602 <   34603; u[  34603] =   28085 <   28090.
b=1 c=1 v[  28086]:   34601   34601   34602   34602   34602
Event 7.2. v[  28123] =   34613 <   34614; u[  34614] =   28118 <   28123.
b=1 c=1 v[  28119]:   34612   34612   34613   34613   34613
Event 7.2. v[  43019] =   53336 <   53337; u[  53337] =   43014 <   43019.
b=0 c=0 v[  43015]:   53336   53336   53336   53336   53336
Event 7.2. v[ 114768] =  138146 <  138147; u[ 138147] =  114763 <  114768.
b=1 c=1 v[ 114764]:  138145  138145  138146  138146  138146
Event 7.2. v[ 151019] =  182072 <  182073; u[ 182073] =  151014 <  151019.
b=1 c=1 v[ 151015]:  182071  182071  182072  182072  182072
Event 7.1. u[ 170599] =  141531 <  141532; v[ 141532] =  170594 <  170599.
b=1 c=1 u[ 170595]:  141530  141530  141531  141531  141531
Event 7.1. u[ 170616] =  141537 <  141538; v[ 141538] =  170611 <  170616.
b=1 c=1 u[ 170612]:  141536  141536  141537  141537  141537
Event 7.1. u[ 170627] =  141541 <  141542; v[ 141542] =  170622 <  170627.
b=1 c=1 u[ 170623]:  141540  141540  141541  141541  141541
 d =  -4. 
Event 7.1. u[   1994] =    1580 <    1581; v[   1581] =    1990 <    1994.
b=1 c=1 u[   1991]:    1579    1579    1580    1580
Event 7.1. u[   2001] =    1584 <    1585; v[   1585] =    1997 <    2001.
b=1 c=1 u[   1998]:    1583    1583    1584    1584
Event 7.1. u[   2031] =    1595 <    1596; v[   1596] =    2027 <    2031.
b=0 c=0 u[   2028]:    1595    1595    1595    1595
Event 7.1. u[   2074] =    1612 <    1613; v[   1613] =    2070 <    2074.
b=1 c=1 u[   2071]:    1611    1611    1612    1612
Event 7.1. u[   2078] =    1613 <    1614; v[   1614] =    2074 <    2078.
b=0 c=0 u[   2075]:    1613    1613    1613    1613
Event 7.1. u[   2110] =    1623 <    1624; v[   1624] =    2106 <    2110.
b=1 c=1 u[   2107]:    1622    1622    1623    1623
Event 7.1. u[ 188326] =  156152 <  156153; v[ 156153] =  188322 <  188326.
b=0 c=0 u[ 188323]:  156152  156152  156152  156152

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  28085   22822   34599      -1      -2       5       4
  28086   22824   34601       0      -1       2       3
  28087   22824   34601      -1      -2       3       4
  28088   22824   34602      -2      -3       4       3
  28089   22827   34602       0      -4       3       4
  28090   22827   34602      -1      -5       4       5
  28091   22829   34603      -1       2       2       6
  28092   22829   34603      -2       1       3       7
  28093   22832   34604       0       0       3       8
  28094   22832   34604      -1      -1       4       9
  28095   22834   34604       0      -2       2      10

  28118   22851   34612      -1       0       3       6
  28119   22851   34612      -2      -1       4       7
  28120   22854   34612       0      -2       3       8
  28121   22854   34613      -1      -3       4       6
  28122   22854   34613      -2      -4       5       7
  28123   22856   34613       0      -5       3       8
  28124   22856   34614      -1       2       4       6
  28125   22856   34614      -2       1       5       7
  28126   22856   34615      -3       0       6       8
  28127   22858   34615       0      -1       4       9
  28128   22858   34615      -1      -2       5      10

  34598   28081   42657      -3       0       6       3
  34599   28083   42657       0      -1       4       4
  34600   28083   42660      -1       0       5       2
  34601   28085   42663       0      -1       2       1
  34602   28085   42663      -1      -2       3       2
  34603   28085   42665      -2       0       4       3
  34604   28093   42665       0      -1       1       4
  34605   28093   42668      -1       0       2       2
  34606   28097   42668      -1      -1       2       3
  34607   28100   42668      -1      -2       2       4
  34608   28103   42670      -1      -1       2       3
  34609   28108   42670       0      -2       1       4
  34610   28108   42673      -1       0       2       3
  34611   28112   42673      -1      -1       2       4
  34612   28115   42676      -1       0       2       2
  34613   28118   42676      -1      -1       2       3
  34614   28118   42680      -2       0       3       2
  34615   28126   42680       0      -1       1       3
  34616   28126   42680      -1      -2       2       4
  34617   28130   42682      -1      -1       2       3
  34618   28133   42682      -1      -2       2       4
  34619   28136   42684      -1       0       2       3

  43014   34891   53336      -1       0       4       2
  43015   34891   53336      -2      -1       5       3
  43016   34891   53336      -3      -2       6       4
  43017   34893   53336       0      -3       4       5
  43018   34893   53336      -1      -4       5       6
  43019   34895   53336      -1      -5       2       7
  43020   34895   53337      -2       0       3       6
  43021   34898   53337       0      -1       3       7
  43022   34898   53339      -1       0       4       2
  43023   34900   53339       0      -1       2       3
  43024   34900   53340      -1       0       3       4

  53332   43007   66003       0      -1       2       3
  53333   43007   66007      -1       0       3       2
  53334   43012   66007      -1      -1       2       3
  53335   43012   66007      -2      -2       3       4
  53336   43014   66009       0      -1       3       3
  53337   43014   66009      -1      -2       4       4
  53338   43020   66012      -1       0       2       3
  53339   43020   66012      -2      -1       3       4
  53340   43022   66015      -1       0       3       2
  53341   43024   66015      -1      -1       2       3
  53342   43027   66019       0       0       2       2

 114763   93860  138145      -1       0       3       7
 114764   93860  138145      -2      -1       4       8
 114765   93863  138145       0      -2       3       9
 114766   93863  138146      -1      -3       4       3
 114767   93864  138146      -2      -4       2       4
 114768   93864  138146      -3      -5       3       5
 114769   93866  138147       0       2       4       6
 114770   93866  138147      -1       1       5       7
 114771   93869  138148       0       0       2       8
 114772   93869  138148      -1      -1       3       9
 114773   93869  138148      -2      -2       4      10

 138142  114756  166386       0      -2       1       4
 138143  114756  166389      -1       0       2       3
 138144  114756  166389      -2      -1       3       4
 138145  114763  166392       0       0       1       2
 138146  114763  166392      -1      -1       2       3
 138147  114763  166395      -2       0       3       2
 138148  114771  166395       0      -1       1       3
 138149  114771  166395      -1      -2       2       4
 138150  114771  166397      -2      -1       3       3
 138151  114778  166397       0      -2       1       4
 138152  114778  166400      -1       0       2       3

 151014  125431  182071      -1       0       4       4
 151015  125431  182071      -2      -1       5       5
 151016  125431  182071      -3      -2       6       6
 151017  125432  182072       0      -3       4       7
 151018  125432  182072      -1      -4       5       8
 151019  125435  182072       0      -5       2       9
 151020  125435  182073      -1       2       3       6
 151021  125439  182073       0       1       2       7
 151022  125439  182074      -1       0       3       8
 151023  125439  182074      -2      -1       4       9
 151024  125439  182074      -3      -2       5      10

 182068  151000  199999      -2 2097152       3   15998
 182069  151006  199999       0 2097152       1   15999
 182070  151010  199999       0 2097152       1   16000
 182071  151010  199999      -1 2097152       2   16001
 182072  151014  199999      -1 2097152       2   16002
 182073  151014  199999      -2 2097152       3   16003
 182074  151022  199999       0 2097152       1   16004
 182075  151022  199999      -1 2097152       2   16005
 182076  151022  199999      -2 2097152       3   16006
 182077  151025  199999       0 2097152       3   16007
 182078  151025  199999      -1 2097152       4   16008

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     69000     69000         0         0     -1
 -2     47932     39825         0         0     -2
 -3     10972      1564         0         0     -3
 -4        23        22         0         0     -4
 -5         3         5         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
       127930    110416         0         0
            5         5         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  766066.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  238346.
  Behav =     Relaxed.        Maximum =    1435.        0 thru  39 =  523021.
  histend                     K       =  200000.       40 thru Max =    4699.

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

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

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

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

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

  End  analysis of Test T710  at               00:09:42.660 980617
==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               00:09:42.763 980617
  End execution of Test T720  at               00:09:42.864 980617
  Duration                                            0.101 
Start  analysis of Test T720  at               00:09:42.934 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.098    0.100    0.000    0.000    0.000    0.000    0.000    0.000 
   0.097    0.099    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       7       0       0
   9999    9534   10527       0       0
  19998   18799   21223       0       0
  29997   29051   30915       0       0
  39996   36751   43217       0       0
  49995   46639   53518       0       0
  59994   56466   63514       0       0
  69993   66329   73811       0       0
  79992   76081   83956       0       0
  89991   83781   96280       0       0
  99990   93332  106585       0       0
 109989  103239  116570       0       0
 119988  113429  126989       0       0
 129987  123112  137226       0       0
 139986  132568  147669       0       0
 149985  142149  157783       0       0
 159984  152128  168346       0       0
 169983  161617  178786       0       0
 179982  171047  188999       0       0
 189981  180846  197780       0       0
 199980  192314  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                           22222
                                                                          2     
                                                                         2      
                                                                        2      1
                                                                       2      1 
                                                                      2      1  
                                                                     2      1   
                                                                    2      1    
                                                                   2      1     
                                                                  2      1      
                                                                 2      1       
                                                                2      1        
                                                               2      1         
                                                              2      1          
                                                             2      1           
                                                                   1            
                                                            2     1             
                                                           2     1              
                                                          2     1               
                                                         2     1                
                                                        2     1                 
                                                       2     1                  
                                                      2     1                   
                                                     2     1                    
                                                    2     1                     
                                                   2     1                      
                                                  2     1                       
                                                 2     1                        
                                                2     1                         
                                               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                                        
                                      1                                         
                                 2   1                                          
                                2  11                                           
                               2  1                                             
                              2  1                                              
                             2  1                                               
                            2  1                                                
                           2  1                                                 
                          2  1                                                  
                         2  1                                                   
                        2  1                                                    
                       2  1                                                     
                      2  1                                                      
                     2  1                                                       
                    2  1                                                        
                   2  1                                                         
                  2  1                                                          
                 2  1                                                           
                2  1                                                            
               2  1                                                             
              2  1                                                              
             2  1                                                               
              11                                                                
            21                                                                  
           21                                                                   
          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       244264          0
   1         7783      10451
   2        71241      74133
   3        73105      60171
   4         3344       9851
   5          225       1096
   6           13          9
   7            1          1
   8            1          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          1
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           19         19

 d =  -5. 
Event 7.2. v[  50107] =   53606 <   53607; u[  53607] =   50102 <   50107.
b=0 c=0 v[  50103]:   53606   53606   53606   53606   53606
Event 7.1. u[  97384] =   90692 <   90693; v[  90693] =   97379 <   97384.
b=1 c=1 u[  97380]:   90691   90691   90692   90692   90692
Event 7.2. v[ 181850] =  191041 <  191042; u[ 191042] =  181845 <  181850.
b=1 c=1 v[ 181846]:  191040  191040  191041  191041  191041
 d =  -4. 
Event 7.1. u[   4220] =    4168 <    4169; v[   4169] =    4216 <    4220.
b=0 c=0 u[   4217]:    4168    4168    4168    4168
Event 7.1. u[   9257] =    8763 <    8764; v[   8764] =    9253 <    9257.
b=1 c=1 u[   9254]:    8762    8762    8763    8763
Event 7.1. u[   9266] =    8767 <    8768; v[   8768] =    9262 <    9266.
b=1 c=1 u[   9263]:    8766    8766    8767    8767
Event 7.1. u[   9271] =    8769 <    8770; v[   8770] =    9267 <    9271.
b=1 c=1 u[   9268]:    8768    8768    8769    8769
Event 7.1. u[   9276] =    8771 <    8772; v[   8772] =    9272 <    9276.
b=1 c=1 u[   9273]:    8770    8770    8771    8771
Event 7.1. u[   9281] =    8773 <    8774; v[   8774] =    9277 <    9281.
b=1 c=1 u[   9278]:    8772    8772    8773    8773
Event 7.1. u[   9286] =    8775 <    8776; v[   8776] =    9282 <    9286.
b=1 c=1 u[   9283]:    8774    8774    8775    8775
Event 7.1. u[  37404] =   34248 <   34249; v[  34249] =   37400 <   37404.
b=0 c=0 u[  37401]:   34248   34248   34248   34248
Event 7.1. u[  46796] =   43480 <   43481; v[  43481] =   46792 <   46796.
b=0 c=0 u[  46793]:   43480   43480   43480   43480
Event 7.2. v[  50106] =   53606 <   53607; u[  53607] =   50102 <   50106.
b=0 c=0 v[  50103]:   53606   53606   53606   53606
Event 7.1. u[  97356] =   90681 <   90682; v[  90682] =   97352 <   97356.
b=1 c=1 u[  97353]:   90680   90681   90681   90681
Event 7.1. u[ 189964] =  180824 <  180825; v[ 180825] =  189960 <  189964.
b=0 c=0 u[ 189961]:  180824  180824  180824  180824

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   4165    4125    4210       0      -1       3       3
   4166    4125    4213      -1       0       4       2
   4167    4125    4213      -2      -1       5       3
   4168    4127    4216       0       0       3       2
   4169    4127    4216      -1      -1       4       3
   4170    4127    4221      -2       2       5       2
   4171    4129    4221       0       1       3       3
   4172    4129    4221      -1       0       4       4
   4173    4129    4221      -2      -1       5       5

   4216    4168    4271       0       0       3       3
   4217    4168    4271      -1      -1       4       4
   4218    4168    4271      -2      -2       5       5
   4219    4168    4274      -3       0       6       3
   4220    4168    4274      -4      -1       7       4
   4221    4170    4277       0       0       5       2
   4222    4172    4277      -1      -1       1       3
   4223    4172    4280      -2       0       2       2
   4224    4174    4280       0      -1       3       3

   9253    8762    9714       0      -1       6       4
   9254    8762    9714      -1      -2       7       5
   9255    8762    9716      -2       0       8       3
   9256    8763    9716      -3      -1       6       4
   9257    8763    9716      -4      -2       7       5
   9258    8764    9718       0       0       5       3
   9259    8764    9718      -1      -1       6       4
   9260    8764    9718      -2      -2       7       5
   9261    8766    9720       1       0       3       3

  50102   46760   53606       0       0       4       2
  50103   46760   53606      -1      -1       5       3
  50104   46762   53606       0      -2       2       4
  50105   46762   53606      -1      -3       3       5
  50106   46765   53606       0      -4       2       6
  50107   46765   53606      -1      -5       3       7
  50108   46765   53607      -2       2       4       6
  50109   46767   53607       0       1       3       7
  50110   46767   53608      -1       0       4       8
  50111   46770   53608       0      -1       2       9
  50112   46770   53608      -1      -2       3      10

  53602   50093   57082       0      -2       2       2
  53603   50093   57085      -1       2       3       3
  53604   50097   57085      -1       1       2       4
  53605   50100   57085      -1       0       1       5
  53606   50102   57085       0      -1       2       6
  53607   50102   57088      -1       1       3       2
  53608   50110   57088       0       0       1       3
  53609   50110   57088      -1      -1       2       4
  53610   50113   57088      -1      -2       2       5
  53611   50113   57090      -2       0       3       3
  53612   50119   57092       0      -1       1       1

  90688   84475   97370      -2      -1       4       2
  90689   84477   97370       0      -2       3       3
  90690   84477   97374      -1      -1       4       1
  90691   84477   97374      -2      -2       5       2
  90692   84479   97379       0      -1       3       2
  90693   84479   97379      -1      -2       4       3
  90694   84479   97385      -2      -1       5       2
  90695   84481   97385       0      -2       3       3
  90696   84481   97388      -1      -1       4       1
  90697   84481   97388      -2      -2       5       2
  90698   84483   97393       0       0       3       2

  97379   90691  103993       0       0       5       2
  97380   90691  103993      -1      -1       6       3
  97381   90691  103996      -2       0       7       2
  97382   90692  103996      -3      -1       8       3
  97383   90692  103999      -4       0       9       2
  97384   90692  103999      -5      -1      10       3
  97385   90693  104002       0      -1       6       2
  97386   90693  104002      -1      -2       7       3
  97387   90695  104004       1       0       2       3
  97388   90695  104006       0      -1       3       1
  97389   90695  104006      -1      -2       4       2

 181845  172834  191040      -1       0       3       5
 181846  172837  191040       0      -1       2       6
 181847  172837  191040      -1      -2       3       7
 181848  172840  191041       0      -3       2       8
 181849  172840  191041      -1      -4       3       9
 181850  172840  191041      -2      -5       4      10
 181851  172843  191042       0      -1       3       6
 181852  172843  191042      -1      -2       4       7
 181853  172843  191042      -2      -3       5       8
 181854  172845  191043       0      -1       3       9
 181855  172845  191043      -1      -2       4      10

 191037  181835  198758      -1       0       1       3
 191038  181835  198758      -2      -1       2       4
 191039  181840  198758      -1      -2       2       5
 191040  181840  198760      -2       0       3       3
 191041  181845  198760      -1      -1       2       4
 191042  181845  198760      -2      -2       3       5
 191043  181850  198762      -1       0       2       3
 191044  181853  198762      -1      -1       2       4
 191045  181856  198762      -1      -2       2       5
 191046  181860  198762      -1      -3       2       6
 191047  181862  198764      -1       0       2       4

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     71928     71928         0         0     -1
 -2     39966     38210         0         0     -2
 -3      1468      1384         0         0     -3
 -4        23        13         0         0     -4
 -5         1         2         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
       113386    111537         0         0
            5         5         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  792336.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  224923.
  Behav =     Relaxed.        Maximum =    2831.        0 thru  39 =  559989.
  histend                     K       =  200000.       40 thru Max =    7424.

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

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

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20        5   0       20  20 
      0 -79        0 -59        0 -39        0 -19    10948   1       20  21 
      0 -78        0 -58        0 -38        0 -18    75600   2       20  22 
      0 -77        0 -57        0 -37        0 -17   140229   3       20  23 
      0 -76        0 -56        0 -36        0 -16    91149   4       20  24 
      0 -75        0 -55        0 -35        0 -15    61170   5       20  25 
      0 -74        0 -54        0 -34        0 -14     4881   6       20  26 
      0 -73        0 -53        0 -33        0 -13      190   7       20  27 
      0 -72        0 -52        0 -32        0 -12       78   8       20  28 
      0 -71        0 -51        0 -31        0 -11       45   9       20  29 
      0 -70        0 -50        0 -30        0 -10       27  10       20  30 
      0 -69        0 -49        0 -29        0  -9       21  11       20  31 
      0 -68        0 -48        0 -28        0  -8       20  12       20  32 
      0 -67        0 -47        0 -27        0  -7       20  13       20  33 
      0 -66        0 -46        0 -26        0  -6       20  14       20  34 
      0 -65        0 -45        0 -25        0  -5       20  15       20  35 
      0 -64        0 -44        0 -24        0  -4       20  16       20  36 
      0 -63        0 -43        0 -23        0  -3       20  17       20  37 
      0 -62        0 -42        0 -22        0  -2       20  18       20  38 
      0 -61        0 -41        0 -21        0  -1       20  19       20  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 |                             | oooo                                  
 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  =         720.        Total   =  399985.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    7660.        0 thru  39 =  384903.
  histend                     K       =  200000.       40 thru Max =   15082.

  End  analysis of Test T720  at               00:09:44.100 980617
==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               00:09:44.217 980617
  End execution of Test T800  at               00:09:44.322 980617
  Duration                                            0.105 
Start  analysis of Test T800  at               00:09:44.500 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.105    0.105    0.000    0.000    0.000    0.000    0.000    0.000 
   0.103    0.103    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   =  799996.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       0.        0 thru  39 =  799996.
  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               00:10:05.195 980617
==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               00:10:05.304 980617
  End execution of Test T820  at               00:10:05.394 980617
  Duration                                            0.090 
Start  analysis of Test T820  at               00:10:05.591 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.089    0.090    0.000    0.000    0.000    0.000    0.000    0.000 
   0.088    0.089    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T820  at               00:10:28.324 980617
==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:                                00:10:28.324 980617
ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.
  Number of threads:         2.
  Length of the arrays:      200000.
  Frequency of fetching shared operands before stores: always
  Line count:                0.
  Action count:              0.
  Interference count:        0.
  T10 thread 0 count:        100000.
  T10 thread 1 count:        10000.
  T10 thread 2 count:        100000.

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.109      0.254   T100           1   0
      0.216      0.239   T120           0   1
      0.257      0.708   T200           2   0
      0.259      0.710   T210           1   1
      0.329      0.680   T220           0   2
      0.070      1.173   T400.1   -9    2   0
                         T400.2         2   0
      0.080      1.139   T410.1   -7    1   1
                         T410.2         1   1
      0.088      1.174   T420.1   -6    0   2
                         T420.2         0   2
      0.094      1.156   T700.1   -5    2   0
                         T700.2         2   0
      0.093      1.166   T710.1   -5    1   1
                         T710.2         1   1
      0.101      1.166   T720.1   -5    0   2
                         T720.2         0   2
      0.105     20.695   T800           1   0
      0.090     22.733   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

Last updated April 20, 2000.