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

                                               10:01:28.923 980422

  Parameters initialized from file:  eeserv.

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


Default answers to the following questions are shown in brackets.

Specify how to generate the data to be analyzed.
1.  Perform a real multiprocessor test.
2.  Execute the mp test code serially and with only one thread.
3.  Generate test data with relaxed events.
4.  Generate test data without relaxed events.
5.  Process output from simulation.        Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]:   2
Define logical length of arrays (max=500000) [200000]:   200000

The following tests can be run:

   100  200  300  400  500  600  700  800  900 1000 1100 1200
        210  310  410  510  610  710           1010 1110 1210
   120  220  320  420  520  620  720  820  920 1020 1120 1220
                                               1030          
Specify which tests to run [all]:  

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

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

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T100  at               10:01:45.165 980422
  End execution of Test T100  at               10:01:45.640 980422
  Duration                                            0.475 
Start  analysis of Test T100  at               10:01:45.641 980422

Thread start, stop, and dur times.
   0.051    0.050    0.000    0.000    0.000    0.000    0.000    0.000 
   0.474    0.153    0.000    0.000    0.000    0.000    0.000    0.000 
   0.423    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       0       0       0
   9999    6477       0       0       0
  19998   14449       0       0       0
  29997   22520       0       0       0
  39996   30390       0       0       0
  49995   38245       0       0       0
  59994   40898       0       0       0
  69993   48975       0       0       0
  79992   56798       0       0       0
  89991   64779       0       0       0
  99990   72765       0       0       0
 109989   80786       0       0       0
 119988   84905       0       0       0
 129987   84905       0       0       0
 139986   84905       0       0       0
 149985   84905       0       0       0
 159984   84905       0       0       0
 169983   84905       0       0       0
 179982   84905       0       0       0
 189981   84905       0       0       0
 199980   84905       0       0       0

  dim =    80, max = 84906, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                             11111111111111111111111111111111111
                                                                                
                                            1                                   
                                                                                
                                           1                                    
                                                                                
                                          1                                     
                                                                                
                                         1                                      
                                                                                
                                        1                                       
                                                                                
                                       1                                        
                                                                                
                                      1                                         
                                                                                
                                     1                                          
                                                                                
                                    1                                           
                                                                                
                                   1                                            
                                  1                                             
                                                                                
                                 1                                              
                                                                                
                                1                                               
                                                                                
                               1                                                
                                                                                
                              1                                                 
                                                                                
                             1                                                  
                                                                                
                            1                                                   
                                                                                
                           1                                                    
                          1                                                     
                                                                                
                         1                                                      
                                                                                
                        1                                                       
                     111                                                        
                                                                                
                    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       142767          0
   1        30220      30676
   2        26688       7426
   3          304      16511
   4           14       2182
   5            0        246
   6            0        156
   7            0         19
   8            0          6
   9            0          2
  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            5          6
  End  analysis of Test T100  at               10:01:46.184 980422
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T120  at               10:01:46.427 980422
  End execution of Test T120  at               10:01:46.824 980422
  Duration                                            0.397 
Start  analysis of Test T120  at               10:01:46.955 980422

Thread start, stop, and dur times.
   0.028    0.028    0.000    0.000    0.000    0.000    0.000    0.000 
   0.396    0.188    0.000    0.000    0.000    0.000    0.000    0.000 
   0.368    0.160    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    7938       0       0       0
  19998   16785       0       0       0
  29997   25569       0       0       0
  39996   34564       0       0       0
  49995   43021       0       0       0
  59994   51880       0       0       0
  69993   60667       0       0       0
  79992   69483       0       0       0
  89991   78332       0       0       0
  99990   87240       0       0       0
 109989   95682       0       0       0
 119988  104492       0       0       0
 129987  113326       0       0       0
 139986  122116       0       0       0
 149985  131502       0       0       0
 159984  140291       0       0       0
 169983  149074       0       0       0
 179982  157878       0       0       0
 189981  166629       0       0       0
 199980  175659       0       0       0

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


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

   i       deltas    strings 
   0        50827          0
   1       124622     122931
   2        24480       3726
   3           47      21804
   4            2        586
   5            1         55
   6            0         56
   7            0          6
   8            0          1
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           19          6
  End  analysis of Test T120  at               10:01:47.512 980422
==sss========================================================================

  Test T200.  Seek a relaxation of A(CMP,UPO,RR,WW).

          T0            T1            
     L11: A = 1;   L11: U[1] = A;     
     L12: B = 1;   L12: V[1] = B;     
     L21: A = 2;   L21: U[2] = A;     
     L22: B = 2;   L22: V[2] = B;     
     L31: A = 3;   L31: U[3] = A;     
     L32: B = 3;   L32: V[3] = B;     
     L41: A = 4;   L41: U[4] = A;     
     L42: B = 4;   L42: V[4] = B; etc.

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T200  at               10:01:47.784 980422
 line3
  End execution of Test T200  at               10:01:48.678 980422
  Duration                                            0.894 
Start  analysis of Test T200  at               10:01:48.679 980422

Thread start, stop, and dur times.
   0.196    0.196    0.000    0.000    0.000    0.000    0.000    0.000 
   0.894    0.480    0.000    0.000    0.000    0.000    0.000    0.000 
   0.698    0.284    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   12040   12040       0       0
  19998   24173   24174       0       0
  29997   35925   35924       0       0
  39996   48267   48266       0       0
  49995   60214   60215       0       0
  59994   72618   72619       0       0
  69993   85023   85024       0       0
  79992   97208   97207       0       0
  89991  109510  109511       0       0
  99990  121807  121808       0       0
 109989  134001  134002       0       0
 119988  146337  146338       0       0
 129987  158749  158748       0       0
 139986  169381  169380       0       0
 149985  181598  181597       0       0
 159984  194118  194119       0       0
 169983  207169  207170       0       0
 179982  219619  219619       0       0
 189981  232181  232182       0       0
 199980  244566  244565       0       0

  dim =    80, max = 244591, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                                                                                
                     3                                                          
                    3                                                           
                   3                                                            
                  3                                                             
                33                                                              
                                                                                
               3                                                                
              3                                                                 
             3                                                                  
            3                                                                   
           3                                                                    
          3                                                                     
        33                                                                      
                                                                                
      33                                                                        
     3                                                                          
                                                                                
    3                                                                           
  33                                                                            
                                                                                
                                                                                
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       131580          0
   1        55204     146280
   2       209304     121545
   3         3813        141
   4           63        385
   5            4          5
   6            0          0
   7            0          4
   8            0          0
   9            0          0
  10            0          1
  11            0          1
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           28         54

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   197434   0        0  20 
      0 -79        0 -59        0 -39        0 -19   280948   1        0  21 
      0 -78        0 -58        0 -38        0 -18   317443   2        1  22 
      0 -77        0 -57        0 -37        0 -17     4052   3        2  23 
      0 -76        0 -56        0 -36        0 -16       69   4        0  24 
      0 -75        0 -55        0 -35        0 -15        4   5        1  25 
      0 -74        0 -54        0 -34        0 -14        0   6        4  26 
      0 -73        0 -53        0 -33        0 -13        0   7        1  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        2  31 
      0 -68        0 -48        0 -28        0  -8        0  12        1  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        3  35 
      0 -64        0 -44        0 -24        0  -4        0  16        3  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 |                             | o                                     
280000 |                             |oo                                     
260000 |                             |oo                                     
240000 |                             |oo                                     
220000 |                             |oo                                     
200000 |                             |oo                                     
180000 |                             ooo                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             ooo                                     
 40000 |                             ooo                                     
 20000 |                             ooo                                     
     0 |_________._________._________.ooooo____._________._oo_ooo__.oo__oo___
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T200  at               10:01:50.296 980422
==sss========================================================================

  Test T210.  Seek a relaxation of A(CMP,UPO,RR,WW).

          T0            T1            
     L11: A = 1;   L11: U[1] = A;     
     L12: B = 1;   L12: V[1] = B;     
     L21: A = 2;   L21: U[2] = A;     
     L22: B = 2;   L22: V[2] = B;     
     L31: A = 3;   L31: U[3] = A;     
     L32: B = 3;   L32: V[3] = B;     
     L41: A = 4;   L41: U[4] = A;     
     L42: B = 4;   L42: V[4] = B; etc.

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T210  at               10:01:50.548 980422
  End execution of Test T210  at               10:01:51.498 980422
  Duration                                            0.950 
Start  analysis of Test T210  at               10:01:51.576 980422

Thread start, stop, and dur times.
   0.202    0.202    0.000    0.000    0.000    0.000    0.000    0.000 
   0.949    0.487    0.000    0.000    0.000    0.000    0.000    0.000 
   0.747    0.285    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   11061   11061       0       0
  19998   22701   22702       0       0
  29997   33460   33459       0       0
  39996   44625   44625       0       0
  49995   56118   56118       0       0
  59994   67474   67473       0       0
  69993   78815   78816       0       0
  79992   89905   89905       0       0
  89991  101033  101034       0       0
  99990  112467  112467       0       0
 109989  123990  123989       0       0
 119988  135426  135426       0       0
 129987  146942  146942       0       0
 139986  158490  158490       0       0
 149985  170102  170103       0       0
 159984  181921  181922       0       0
 169983  193718  193719       0       0
 179982  205453  205454       0       0
 189981  217432  217432       0       0
 199980  229202  229202       0       0

  dim =    80, max = 229224, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                                                
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                    3                                                           
                   3                                                            
                  3                                                             
                 3                                                              
                3                                                               
               3                                                                
              3                                                                 
             3                                                                  
            3                                                                   
           3                                                                    
          3                                                                     
        33                                                                      
       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       132405          0
   1        81683     139722
   2       184331     127122
   3         1487        326
   4           33        378
   5            1         16
   6            0          1
   7            0          2
   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           54         24

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

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

  End  analysis of Test T210  at               10:01:53.200 980422
==sss========================================================================

  Test T220.  Seek a relaxation of A(CMP,UPO,RR,WW).

          T0            T1            
     L11: A = 1;   L11: U[1] = A;     
     L12: B = 1;   L12: V[1] = B;     
     L21: A = 2;   L21: U[2] = A;     
     L22: B = 2;   L22: V[2] = B;     
     L31: A = 3;   L31: U[3] = A;     
     L32: B = 3;   L32: V[3] = B;     
     L41: A = 4;   L41: U[4] = A;     
     L42: B = 4;   L42: V[4] = B; etc.

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T220  at               10:01:53.456 980422
  End execution of Test T220  at               10:01:54.343 980422
  Duration                                            0.887 
Start  analysis of Test T220  at               10:01:54.478 980422

Thread start, stop, and dur times.
   0.124    0.124    0.000    0.000    0.000    0.000    0.000    0.000 
   0.886    0.406    0.000    0.000    0.000    0.000    0.000    0.000 
   0.762    0.282    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   11031   11030       0       0
  19998   22577   22578       0       0
  29997   34010   34010       0       0
  39996   45493   45493       0       0
  49995   56965   56965       0       0
  59994   68432   68431       0       0
  69993   79909   79909       0       0
  79992   91452   91452       0       0
  89991  102971  102972       0       0
  99990  114490  114490       0       0
 109989  125962  125963       0       0
 119988  137276  137277       0       0
 129987  148425  148426       0       0
 139986  159871  159871       0       0
 149985  171252  171252       0       0
 159984  182689  182690       0       0
 169983  194133  194133       0       0
 179982  205551  205552       0       0
 189981  214881  214881       0       0
 199980  225419  225419       0       0

  dim =    80, max = 225440, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                           33   
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                                                                
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                    3                                                           
                   3                                                            
                  3                                                             
                 3                                                              
                3                                                               
               3                                                                
              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       137685          0
   1        79161     135523
   2       181459     125668
   3         1586        246
   4           29        845
   5            4          6
   6            0          1
   7            0          1
   8            0          1
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            6          0
  19            6          0
over           56         20

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

            ------ Relaxed ------    |         ------ Strong ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |o                                      
280000 |                             |o                                      
260000 |                             |oo                                     
240000 |                             |oo                                     
220000 |                             |oo                                     
200000 |                             ooo                                     
180000 |                             ooo                                     
160000 |                             ooo                                     
140000 |                             ooo                                     
120000 |                             ooo                                     
100000 |                             ooo                                     
 80000 |                             ooo                                     
 60000 |                             ooo                                     
 40000 |                             ooo                                     
 20000 |                             ooo                                     
     0 |_________._________._________.ooooo____._______oooo_ooooo_ooooo___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 =     357.        0 thru  39 =  799956.
  histend                     K       =  200000.       40 thru Max =      36.

  End  analysis of Test T220  at               10:01:56.093 980422
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.  
  Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.  
   To show:  Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).   
  Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.  
  Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 
      
  d1<0, d2<0 => the machine performed a read operation before    
                a logically preceding write operation.           
  d3<0, d4<0 => the machine performed a write operation before   
                a logically preceding read operation.            

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

Start execution of Test T400  at               10:01:56.341 980422
  End execution of Test T400  at               10:01:56.656 980422
  Duration                                            0.315 
Start  analysis of Test T400  at               10:01:56.658 980422

Thread start, stop, and dur times.
   0.079    0.079    0.000    0.000    0.000    0.000    0.000    0.000 
   0.311    0.315    0.000    0.000    0.000    0.000    0.000    0.000 
   0.232    0.236    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   10215    9784       0       0
  19998   20331   19664       0       0
  29997   25148   41452       0       0
  39996   28448   51076       0       0
  49995   38882   60343       0       0
  59994   49634   70240       0       0
  69993   59732   79540       0       0
  79992   70787   88867       0       0
  89991   81142   98576       0       0
  99990   91435  107887       0       0
 109989  102185  117470       0       0
 119988  112572  127102       0       0
 129987  122941  136750       0       0
 139986  133353  146447       0       0
 149985  143617  156153       0       0
 159984  154129  165559       0       0
 169983  164762  175434       0       0
 179982  174646  185264       0       0
 189981  184483  195446       0       0
 199980  194646  199999       0       0

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


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

   i       deltas    strings 
   0       142247          0
   1       152097     159835
   2        90452      76667
   3        14798      19168
   4          284       1932
   5           69        108
   6           18          8
   7            3          2
   8            0          1
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           28         28

 d =  -6. 
Event 4.1. u[ 188871] =  183476 <  183477; v[ 183477] =  188865 <  188871.
b=1 c=1 u[ 188866]:  183475  183475  183475  183476  183476  183476
Event 4.1. u[ 188887] =  183482 <  183483; v[ 183483] =  188881 <  188887.
b=1 c=1 u[ 188882]:  183481  183481  183481  183482  183482  183482
 d =  -5. 
Event 4.1. u[   1244] =    1302 <    1303; v[   1303] =    1239 <    1244.
b=0 c=0 u[   1240]:    1302    1302    1302    1302    1302
Event 4.1. u[   1483] =    1550 <    1551; v[   1551] =    1478 <    1483.
b=0 c=0 u[   1479]:    1550    1550    1550    1550    1550
Event 4.1. u[   2869] =    2997 <    2998; v[   2998] =    2864 <    2869.
b=1 c=1 u[   2865]:    2996    2996    2997    2997    2997
Event 4.2. v[  13260] =   13032 <   13033; u[  13033] =   13255 <   13260.
b=2 c=1 v[  13256]:   13030   13032   13032   13032   13032
Event 4.1. u[  22572] =   22766 <   22767; v[  22767] =   22567 <   22572.
b=0 c=0 u[  22568]:   22766   22766   22766   22766   22766
Event 4.1. u[  78219] =   68100 <   68101; v[  68101] =   78214 <   78219.
b=0 c=0 u[  78215]:   68100   68100   68100   68100   68100
Event 4.2. v[ 159387] =  165026 <  165027; u[ 165027] =  159382 <  159387.
b=1 c=1 v[ 159383]:  165025  165025  165026  165026  165026
Event 4.2. v[ 159515] =  165135 <  165136; u[ 165136] =  159510 <  159515.
b=0 c=0 v[ 159511]:  165135  165135  165135  165135  165135
Event 4.2. v[ 159529] =  165144 <  165145; u[ 165145] =  159524 <  159529.
b=2 c=2 v[ 159525]:  165142  165143  165144  165144  165144
Event 4.1. u[ 188868] =  183475 <  183476; v[ 183476] =  188863 <  188868.
b=1 c=1 u[ 188864]:  183474  183474  183475  183475  183475
Event 4.1. u[ 188870] =  183476 <  183477; v[ 183477] =  188865 <  188870.
b=1 c=1 u[ 188866]:  183475  183475  183475  183476  183476
Event 4.1. u[ 188874] =  183477 <  183478; v[ 183478] =  188869 <  188874.
b=1 c=1 u[ 188870]:  183476  183476  183477  183477  183477
Event 4.1. u[ 194752] =  189310 <  189311; v[ 189311] =  194747 <  194752.
b=1 c=1 u[ 194748]:  189309  189309  189310  189310  189310

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   1239    1301    1175       0      -1       3       3
   1240    1302    1176      -1      -2       2       3
   1241    1302    1178      -2      -1       3       3
   1242    1302    1179      -3       0       4       4
   1243    1302    1181      -4       0       5       1
   1244    1302    1181      -5      -1       6       2
   1245    1304    1183      -1       0       6       2
   1246    1305    1183      -1      -1       4       3
   1247    1306    1185      -1       1       3       2
   1248    1309    1185       0       0       1       3
   1249    1309    1185      -1      -1       2       4

   1298    1358    1233      -2       0       3       3
   1299    1358    1235      -3       0       4       1
   1300    1360    1236       0      -1       4       2
   1301    1362    1238       0       0       1       2
   1302    1362    1239      -1       0       2       1
   1303    1364    1239       0      -1       2       2
   1304    1366    1242      -1      -2       1       2
   1305    1368    1244      -1      -1       2       3
   1306    1370    1245       0      -1       2       4
   1307    1371    1246       0      -1       3       3
   1308    1372    1247       0       1       2       3

   1478    1549    1407       0      -1       2       3
   1479    1550    1409      -1       2       2       2
   1480    1550    1409      -2       1       3       3
   1481    1550    1409      -3       0       4       4
   1482    1550    1410      -4       0       5       4
   1483    1550    1411      -5       0       6       2
   1484    1552    1412       0       0       6       2
   1485    1554    1413      -1       0       1       2
   1486    1555    1414      -1       0       2       2
   1487    1557    1415       0       0       2       2
   1488    1559    1416      -1      -1       1       2

   1546    1622    1475       1       0       1       3
   1547    1622    1475       0      -1       2       4
   1548    1622    1476      -1      -1       3       3
   1549    1624    1477       0       0       2       3
   1550    1625    1478      -1       0       1       3
   1551    1626    1478      -1      -1       2       4
   1552    1629    1481       0      -2       2       2
   1553    1630    1484      -1       1       1       3
   1554    1630    1484      -2       0       2       4
   1555    1630    1484      -3      -1       3       5
   1556    1632    1485       0      -1       4       4

   2864    2996    2732      -2      -1       7       2
   2865    2996    2734      -3       1       8       2
   2866    2996    2734      -4       0       9       3
   2867    2997    2734      -3      -1       7       4
   2868    2997    2735      -4       1       8       3
   2869    2997    2735      -5       0       9       4
   2870    2998    2736      -2       0       8       4
   2871    2998    2736      -3      -1       9       5
   2872    3000    2737       0      -1       4       3
   2873    3000    2739      -1       2       5       2
   2874    3000    2739      -2       1       6       3

   2993    3111    2853      -1      -2       3       2
   2994    3113    2855      -1      -1       2       3
   2995    3114    2857      -1      -2       3       2
   2996    3116    2860       1      -1       2       3
   2997    3116    2862       0      -1       3       2
   2998    3116    2864      -1      -2       4       2
   2999    3118    2868       0      -2       2       2
   3000    3118    2872      -1       0       3       2
   3001    3121    2872       1      -1       2       3
   3002    3121    2872       0      -2       3       4
   3003    3121    2875      -1      -1       4       3

 183471  178152  188854      -1       0       4       2
 183472  178153  188857      -1      -1       3       1
 183473  178156  188859      -1       0       1       2
 183474  178156  188862      -2       0       2       1
 183475  178158  188862      -1      -1       3       2
 183476  178158  188863      -2      -2       4       3
 183477  178159  188865      -1      -2       3       3
 183478  178161  188869       0      -2       2       3
 183479  178162  188872      -1      -2       2       3
 183480  178164  188877       0       0       2       2
 183481  178164  188880      -1      -1       3       1
 183482  178166  188880       0      -2       2       2
 183483  178166  188881      -1      -2       3       3
 183484  178166  188885      -2      -2       4       3
 183485  178168  188888       0      -2       3       3
 183486  178169  188893       0       0       2       2
 183487  178170  188898       0      -1       2       1
 183488  178171  188900       0       0       2       2
 183489  178173  188903      -1      -1       1       1

 188863  183474  194290      -1      -1       4       2
 188864  183474  194292      -2       1       5       2
 188865  183474  194292      -3       0       6       3
 188866  183475  194293      -3      -1       4       3
 188867  183475  194295      -4       1       5       2
 188868  183475  194295      -5       0       6       3
 188869  183476  194295      -4      -1       7       4
 188870  183476  194296      -5       0       8       3
 188871  183476  194296      -6      -1       9       4
 188872  183477  194299      -3       1       9       2
 188873  183477  194299      -4       0      10       3
 188874  183477  194300      -5      -1      11       3
 188875  183478  194302      -3       1      10       2
 188876  183478  194302      -4       0      11       3
 188877  183479  194302       0      -1       8       4
 188878  183480  194303       2      -1       6       3
 188879  183480  194303       1      -2       7       4
 188880  183480  194304       0      -1       8       4
 188881  183480  194305      -1       0       9       4
 188882  183481  194307      -2       0       5       1
 188883  183481  194307      -3      -1       6       2
 188884  183481  194309      -4       0       7       2
 188885  183482  194310      -4       0       5       3
 188886  183482  194311      -5       0       6       2
 188887  183482  194313      -6      -1       7       1
 188888  183483  194315      -3       0       8       2
 188889  183483  194316      -4       0       9       2
 188890  183484  194317      -2      -1       9       2
 188891  183484  194318      -3       0      10       2
 188892  183484  194319      -4       0      11       3
 188893  183485  194319       0      -1       8       4

 194747  189309  199999       0 2097152       3      85
 194748  189309  199999      -1 2097152       4      86
 194749  189309  199999      -2 2097152       5      87
 194750  189310  199999      -3 2097152       6      88
 194751  189310  199999      -4 2097152       7      89
 194752  189310  199999      -5 2097152       8      90
 194753  189313  199999       0 2097152       3      91
 194754  189314  199999      -1 2097152       4      92
 194755  189314  199999      -2 2097152       5      93
 194756  189315  199999      -3 2097152       3      94
 194757  189315  199999      -4 2097152       4      95

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     68644     68644         0         0     -1
 -2     18741     17166         0         0     -2
 -3      1528      1372         0         0     -3
 -4       173        36         0         0     -4
 -5        14         5         0         0     -5
 -6         2         0         0         0     -6
 -7         0         0         0         0     -7

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  794658.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -6.      -80 thru  -1 =  176325.
  Behav =     Relaxed.        Maximum =   11758.        0 thru  39 =  603779.
  histend                     K       =  200000.       40 thru Max =   14554.

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

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

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

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

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

  End  analysis of Test T400  at               10:01:59.294 980422
==sss========================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.  
  Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.  
   To show:  Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).   
  Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.  
  Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 
      
  d1<0, d2<0 => the machine performed a read operation before    
                a logically preceding write operation.           
  d3<0, d4<0 => the machine performed a write operation before   
                a logically preceding read operation.            

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

Start execution of Test T410  at               10:01:59.543 980422
  End execution of Test T410  at               10:02:00.288 980422
  Duration                                            0.745 
Start  analysis of Test T410  at               10:02:00.366 980422

Thread start, stop, and dur times.
   0.157    0.157    0.000    0.000    0.000    0.000    0.000    0.000 
   0.744    0.346    0.000    0.000    0.000    0.000    0.000    0.000 
   0.587    0.189    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       2       0       0
   9999   39544    2561       0       0
  19998   78920    5051       0       0
  29997  118112    7608       0       0
  39996  157662   10114       0       0
  49995  196582   12562       0       0
  59994  199999   15116       0       0
  69993  199999   17692       0       0
  79992  199999   20271       0       0
  89991  199999   22841       0       0
  99990  199999   25364       0       0
 109989  199999   27930       0       0
 119988  199999   30475       0       0
 129987  199999   32991       0       0
 139986  199999   35531       0       0
 149985  199999   38054       0       0
 159984  199999   40578       0       0
 169983  199999   43154       0       0
 179982  199999   45698       0       0
 189981  199999   48314       0       0
 199980  199999   50859       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                    111111111111111111111111111111111111111111111111111111111111
                                                                                
                                                                                
                                                                                
                   1                                                            
                                                                                
                                                                                
                                                                                
                  1                                                             
                                                                                
                                                                                
                                                                                
                 1                                                              
                                                                                
                                                                                
                                                                                
                1                                                               
                                                                                
                                                                                
                                                                                
               1                                                                
                                                                                
                                                                                
                                                                                
              1                                                                 
                                                                                
                                                                                
                                                                                
             1                                                                  
                                                                                
                                                                                
                                                                                
            1                                                                   
                                                                                
                                                                                
                                                                                
           1                                                                    
                                                                                
                                                                                
                                                                                
          1                                                                     
                                                                                
                                                                                
                                                                                
         1                                                                      
                                                                                
                                                                                
                                                                                
        1                                                                       
                                                                                
                                                                                
       1                                                                        
                                                                                
                                                                                
                                                                                
      1                                                                         
                                                                                
                                                                                
                                                                                
     1                                                                        22
                                                                          2222  
                                                                       222      
                                                                   2222         
    1                                                          2222             
                                                           2222                 
                                                       2222                     
                                                   2222                         
                                               2222                             
   1                                       2222                                 
                                       2222                                     
                                    222                                         
  1                             2222                                            
                            2222                                                
                        2222                                                    
                    2222                                                        
                2222                                                            
 1          2222                                                                
        2222                                                                    
    2222                                                                        
                                                                                
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       298815          0
   1        50615      50934
   2          406        848
   3        13605      13344
   4        26398      25824
   5         9348       8446
   6          755       1302
   7           26        373
   8            1         75
   9            0          7
  10            0          1
  11            1          1
  12            0          0
  13            1          1
  14            1          0
  15            1          1
  16            0          1
  17            0          0
  18            1          1
  19            0          0
over           22         22

 d =  -3. 
Event 4.2. v[    607] =     175 <     176; u[    176] =     604 <     607.
b=0 c=0 v[    605]:     175     175     175
Event 4.2. v[   2530] =     688 <     689; u[    689] =    2527 <    2530.
b=0 c=0 v[   2528]:     688     688     688
Event 4.2. v[   4296] =    1151 <    1152; u[   1152] =    4293 <    4296.
b=0 c=0 v[   4294]:    1151    1151    1151
Event 4.2. v[   4807] =    1279 <    1280; u[   1280] =    4804 <    4807.
b=0 c=0 v[   4805]:    1279    1279    1279
Event 4.2. v[   5000] =    1327 <    1328; u[   1328] =    4997 <    5000.
b=0 c=0 v[   4998]:    1327    1327    1327
Event 4.2. v[   6023] =    1583 <    1584; u[   1584] =    6020 <    6023.
b=0 c=0 v[   6021]:    1583    1583    1583
Event 4.2. v[   9535] =    2447 <    2448; u[   2448] =    9532 <    9535.
b=0 c=0 v[   9533]:    2447    2447    2447
Event 4.2. v[  10895] =    2767 <    2768; u[   2768] =   10892 <   10895.
b=0 c=0 v[  10893]:    2767    2767    2767
Event 4.2. v[  12959] =    3279 <    3280; u[   3280] =   12956 <   12959.
b=0 c=0 v[  12957]:    3279    3279    3279
Event 4.2. v[  14288] =    3607 <    3608; u[   3608] =   14285 <   14288.
b=0 c=0 v[  14286]:    3607    3607    3607
Event 4.2. v[  14382] =    3631 <    3632; u[   3632] =   14379 <   14382.
b=0 c=0 v[  14380]:    3631    3631    3631
Event 4.2. v[  15863] =    3999 <    4000; u[   4000] =   15860 <   15863.
b=0 c=0 v[  15861]:    3999    3999    3999
Event 4.2. v[  15928] =    4015 <    4016; u[   4016] =   15925 <   15928.
b=0 c=0 v[  15926]:    4015    4015    4015
 d =  -2. 
Event 4.2. v[      4] =      15 <      16; u[     16] =       2 <       4.
b=0 c=0 v[      3]:      15      15
Event 4.2. v[ 199877] =   50832 <   50833; u[  50833] =  199875 <  199877.
b=0 c=0 v[ 199876]:   50832   50832

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
    173     594      62       0       0       1       8
    174     597      63       0       3       1       5
    175     599      63       0       2       1       6
    176     604      63      -1       1       1       7
    177     608      63       0       0       2       8
    178     612      63       0      -1       1       9
    179     617      63       0      -2       1      10

    604    2207     175       0       0       1       7
    605    2210     175       0      -1       1       8
    606    2214     175       0      -2       1       9
    607    2217     175       0      -3       1      10
    608    2221     177      -1       4       1       4
    609    2226     177       0       3       1       5
    610    2230     177       0       2       1       6

    686    2517     199       0       3       1       5
    687    2519     199       0       2       1       6
    688    2524     199      -1       1       1       7
    689    2527     200      -1       3       2       3
    690    2533     200       0       2       1       4
    691    2537     200       0       1       1       5
    692    2541     200       0       0       1       6

   1149    4282     321       0       4       1       5
   1150    4285     321       0       3       1       6
   1151    4289     321       0       2       1       7
   1152    4293     321      -1       1       1       8
   1153    4298     321      -1       0       1       9
   1154    4302     322       0       3       1       6
   1155    4305     322       0       2       1       7

   1277    4793     356       0       4       1       3
   1278    4796     356       0       3       1       4
   1279    4800     356       0       2       1       5
   1280    4804     356      -1       1       1       6
   1281    4809     357      -1       4       1       4
   1282    4813     357       0       3       1       5
   1283    4817     357       0       2       1       6

   2527    9854     688       0       0       1       8
   2528    9859     688      -1      -1       1       9
   2529    9863     688      -1      -2       1      10
   2530    9867     688       0      -3       1      11
   2531    9870     689       0       2       1       7
   2532    9874     689       0       1       1       8
   2533    9879     690       0       4       1       6

   4293   17011    1151       0       0       1       8
   4294   17016    1151       0      -1       1       9
   4295   17019    1151       0      -2       1      10
   4296   17024    1151       0      -3       1      11
   4297   17028    1152       0       1       1       8
   4298   17032    1152       0       0       1       9
   4299   17036    1152       0      -1       1      10

   4804   19026    1279       0       0       1       8
   4805   19030    1279       0      -1       1       9
   4806   19033    1279       0      -2       1      10
   4807   19037    1279       0      -3       1      11
   4808   19041    1280       0       1       1       8
   4809   19046    1280       0       0       1       9
   4810   19049    1280       0      -1       1      10

   4997   19788    1327       0       0       1      10
   4998   19792    1327       0      -1       1      11
   4999   19796    1327       0      -2       1      12
   5000   19800    1327       0      -3       1      13
   5001   19805    1328       0       1       1      10
   5002   19808    1328       0       0       1      11
   5003   19812    1328       0      -1       1      12

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1      1133      1133         0         0     -1
 -2         1       673         0         0     -2
 -3         0        13         0         0     -3
 -4         0         0         0         0     -4

Totals / Min / Under -25:  
         1134      1819         0         0
            2         3         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  650859.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -3.      -80 thru  -1 =    2953.
  Behav =     Relaxed.        Maximum =     328.        0 thru  39 =  647158.
  histend                     K       =  200000.       40 thru Max =     748.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
 76000 |                             |                                       
 72000 |                             |                                       
 68000 |                             |                                       
 64000 |                             |                                       
 60000 |                             |                                       
 56000 |                             |                                       
 52000 |                             |                                       
 48000 |                             |o    o                                 
 44000 |                             |o   oo                                 
 40000 |                             |o   ooo                                
 36000 |                             |o   ooo                                
 32000 |                             |o   ooo                                
 28000 |                             |o  oooo                                
 24000 |                             |o  oooo                                
 20000 |                             |o  ooooo                               
 16000 |                             |o  ooooo                               
 12000 |                             |o  ooooo                               
  8000 |                             |o  ooooo                               
  4000 |                             |o ooooooo                              
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T410  at               10:02:02.517 980422
==sss========================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].        
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].        
   To show:  Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). 
  Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.  
  Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.  
   To show:  Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).   
  Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.  
  Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.  
   To show:  Not A(CMP,UPO,WW) and not A(CMP,UPO,RW). 
      
  d1<0, d2<0 => the machine performed a read operation before    
                a logically preceding write operation.           
  d3<0, d4<0 => the machine performed a write operation before   
                a logically preceding read operation.            

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

Start execution of Test T420  at               10:02:02.770 980422
  End execution of Test T420  at               10:02:03.257 980422
  Duration                                            0.487 
Start  analysis of Test T420  at               10:02:03.388 980422

Thread start, stop, and dur times.
   0.210    0.210    0.000    0.000    0.000    0.000    0.000    0.000 
   0.486    0.479    0.000    0.000    0.000    0.000    0.000    0.000 
   0.276    0.269    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   10973    9047       0       0
  19998   24418   16639       0       0
  29997   34883   25490       0       0
  39996   45474   34980       0       0
  49995   56273   44445       0       0
  59994   67050   53690       0       0
  69993   78078   62857       0       0
  79992   88278   71849       0       0
  89991   99255   81664       0       0
  99990  110484   90750       0       0
 109989  121232   99504       0       0
 119988  132149  108672       0       0
 129987  144105  117749       0       0
 139986  150801  122033       0       0
 149985  160865  139635       0       0
 159984  169968  149106       0       0
 169983  179503  160362       0       0
 179982  189420  170466       0       0
 189981  199375  180535       0       0
 199980  199999  190581       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                           11111
                                                                          1     
                                                                         1      
                                                                        1      2
                                                                       1      2 
                                                                      1      2  
                                                                     1      2   
                                                                    1      2    
                                                                   1      2     
                                                                  1      2      
                                                                 1      2       
                                                                1      2        
                                                              11      2         
                                                             1       2          
                                                            1       2           
                                                           1                    
                                                          1        2            
                                                         1        2             
                                                        1        2              
                                                                2               
                                                               2                
                                                      11      2                 
                                                  1111       2                  
                                                 1          2                   
                                                          22                    
                                                                                
                                                1                               
                                               1         2                      
                                              1                                 
                                             1          2                       
                                            1                                   
                                           1         222                        
                                          1         2                           
                                         1         2                            
                                                 22                             
                                        1       2                               
                                       1       2                                
                                      1       2                                 
                                     1       2                                  
                                    1       2                                   
                                   1       2                                    
                                  1       2                                     
                                 1       2                                      
                                        2                                       
                                1      2                                        
                               1      2                                         
                              1     22                                          
                             1     2                                            
                            1     2                                             
                           1     2                                              
                          1     2                                               
                         1     2                                                
                        1     2                                                 
                       1     2                                                  
                            2                                                   
                      1    2                                                    
                     1    2                                                     
                    1    2                                                      
                   1    2                                                       
                  1    2                                                        
                 1    2                                                         
                1   22                                                          
               1   2                                                            
              1   2                                                             
             1   2                                                              
            1   2                                                               
               2                                                                
           1  2                                                                 
          1  2                                                                  
         1  2                                                                   
        1  2                                                                    
       1  2                                                                     
      1  2                                                                      
        2                                                                       
     222                                                                        
    11                                                                          
   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       140611          0
   1       189787     195337
   2        65578      54731
   3         3762       8781
   4          127        405
   5           22         22
   6            1          2
   7            0          0
   8            0          0
   9            1          0
  10            0          0
  11            0          0
  12            1          0
  13            0          0
  14            0          1
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over          106        106

 d =  -5. 
Event 4.2. v[  50252] =   44744 <   44745; u[  44745] =   50247 <   50252.
b=0 c=0 v[  50248]:   44744   44744   44744   44744   44744
Event 4.2. v[ 133243] =  120928 <  120929; u[ 120929] =  133238 <  133243.
b=0 c=0 v[ 133239]:  120928  120928  120928  120928  120928
 d =  -4. 
Event 4.1. u[   1680] =    1686 <    1687; v[   1687] =    1676 <    1680.
b=0 c=0 u[   1677]:    1686    1686    1686    1686
Event 4.1. u[  16105] =   19490 <   19491; v[  19491] =   16101 <   16105.
b=0 c=0 u[  16102]:   19490   19490   19490   19490
Event 4.2. v[  50251] =   44744 <   44745; u[  44745] =   50247 <   50251.
b=0 c=0 v[  50248]:   44744   44744   44744   44744
Event 4.2. v[  87288] =   79014 <   79015; u[  79015] =   87284 <   87288.
b=0 c=0 v[  87285]:   79014   79014   79014   79014
Event 4.1. u[ 108301] =  119630 <  119631; v[ 119631] =  108297 <  108301.
b=0 c=0 u[ 108298]:  119630  119630  119630  119630
Event 4.1. u[ 108340] =  119662 <  119663; v[ 119663] =  108336 <  108340.
b=1 c=1 u[ 108337]:  119661  119662  119662  119662
Event 4.1. u[ 108380] =  119702 <  119703; v[ 119703] =  108376 <  108380.
b=1 c=1 u[ 108377]:  119701  119702  119702  119702
Event 4.1. u[ 108438] =  119758 <  119759; v[ 119759] =  108434 <  108438.
b=0 c=0 u[ 108435]:  119758  119758  119758  119758
Event 4.1. u[ 108538] =  119854 <  119855; v[ 119855] =  108534 <  108538.
b=0 c=0 u[ 108535]:  119854  119854  119854  119854
Event 4.2. v[ 131983] =  119684 <  119685; u[ 119685] =  131979 <  131983.
b=0 c=0 v[ 131980]:  119684  119684  119684  119684
Event 4.2. v[ 133242] =  120928 <  120929; u[ 120929] =  133238 <  133242.
b=0 c=0 v[ 133239]:  120928  120928  120928  120928
Event 4.2. v[ 151710] =  140832 <  140833; u[ 140833] =  151706 <  151710.
b=0 c=0 v[ 151707]:  140832  140832  140832  140832
Event 4.1. u[ 153995] =  164886 <  164887; v[ 164887] =  153991 <  153995.
b=0 c=0 u[ 153992]:  164886  164886  164886  164886

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   1676    1685    1668       0       0       2       2
   1677    1686    1669      -1       0       1       2
   1678    1686    1670      -2       0       2       2
   1679    1686    1670      -3      -1       3       3
   1680    1686    1672      -4       0       4       2
   1681    1689    1672       0      -1       2       3
   1682    1690    1672       0      -2       2       4
   1683    1691    1674       0       0       2       3
   1684    1692    1674       0      -1       2       4
   1685    1693    1676       0       1       2       2
   1686    1694    1676       1       0       2       3
   1687    1694    1676       0      -1       3       4
   1688    1696    1679      -1      -2       1       2
   1689    1698    1680       0       0       2       3
   1690    1698    1681      -1       0       3       4
   1691    1699    1682       0       0       3       2

  16101   19490   13278       0     881       4    4125
  16102   19490   13278      -1     880       5    4126
  16103   19490   13278      -2     879       6    4127
  16104   19490   13278      -3     878       7    4128
  16105   19490   13278      -4     877       8    4129
  16106   19492   13278       5     876       5    4130
  16107   19492   13278       4     875       6    4131
  16108   19492   13278       3     874       7    4132
  16109   19492   13278       2     873       8    4133

  19487   23894   16090       0      -1       2       1
  19488   23895   16095       0      -1       2       1
  19489   23895   16097      -1       0       3       2
  19490   23896   16100       0       0       3       1
  19491   23897   16101       0      -1       3       2
  19492   23898   16107       0       0       2       0
  19493   23899   16111       0       0       2       1
  19494   23900   16114       0      -1       2       1
  19495   23901   16119       0      -1       2       1

  44740   50243   39267       0       0       3       2
  44741   50244   39268       0       0       2       2
  44742   50245   39269       0       0       2       2
  44743   50246   39270       0       0       2       2
  44744   50247   39270       0      -1       2       3
  44745   50247   39271      -1       0       3       3
  44746   50252   39272      -1      -1       2       3
  44747   50253   39273      -1       0       3       2
  44748   50254   39275       0       0       3       1
  44749   50254   39275      -1      -1       4       2
  44750   50256   39277       0       0       2       2

  50247   56531   44743       0       0       2       2
  50248   56533   44744       1      -1       1       2
  50249   56534   44744       0      -2       2       3
  50250   56534   44744      -1      -3       3       4
  50251   56536   44744       0      -4       2       5
  50252   56537   44744       0      -5       2       6
  50253   56538   44745       0      -1       2       6
  50254   56539   44746       0      -1       2       7
  50255   56540   44748       0      -1       2       2
  50256   56541   44750       0       1       2       2
  50257   56542   44750      -1       0       2       3

  79011   87281   70900       0       1       1       2
  79012   87281   70900      -1       0       2       3
  79013   87284   70901       1      -1       2       2
  79014   87284   70901       0      -2       3       3
  79015   87284   70903      -1       0       4       3
  79016   87289   70904       1      -1       2       2
  79017   87290   70904       0      -2       2       3
  79018   87291   70905       0      -1       1       3
  79019   87292   70907       0       0       2       2

  87284   96529   79012       0       0       2       3
  87285   96530   79014       0      -1       2       1
  87286   96531   79014       0      -2       2       2
  87287   96532   79014       0      -3       2       3
  87288   96533   79014       0      -4       2       4
  87289   96534   79015      -1       0       2       5
  87290   96534   79017      -2       1       3       1
  87291   96535   79017      -1       0       3       2
  87292   96537   79018       0       0       2       2

 120924  133234  109662       0       0       3       2
 120925  133235  109663       0       0       3       2
 120926  133236  109664       0       0       2       2
 120927  133237  109664       0      -1       2       3
 120928  133238  109666       0       0       2       2
 120929  133238  109666      -1      -1       3       3
 120930  133243  109667      -1       0       2       3
 120931  133244  109668      -1       0       3       3
 120932  133245  109669       0      -1       3       2
 120933  133246  109671      -1       0       3       2
 120934  133248  109673       0      -1       2       1

 133238  144721  120927    1880       0    2513       2
 133239  144721  120928    1879      -1    2514       2
 133240  144721  120928    1878      -2    2515       3
 133241  144721  120928    1877      -3    2516       4
 133242  144721  120928    1876      -4    2517       5
 133243  144721  120928    1875      -5    2518       6
 133244  144721  120929    1874      -1    2519       6
 133245  144721  120930    1873      -1    2520       7
 133246  144721  120932    1872       0    2521       2
 133247  144721  120932    1871      -1    2522       3
 133248  144721  120933    1870       0    2523       3

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     47277     47277         0         0     -1
 -2      8214      9456         0         0     -2
 -3       140        57         0         0     -3
 -4         8         5         0         0     -4
 -5         0         2         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
        55639     56797         0         0
            4         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   344564   0      106  20 
      0 -79        0 -59        0 -39        0 -19   205496   1      106  21 
      0 -78        0 -58        0 -38        0 -18    66577   2      106  22 
      0 -77        0 -57        0 -37        0 -17     3952   3      106  23 
      0 -76        0 -56        0 -36        0 -16      252   4      106  24 
      0 -75        0 -55        0 -35        0 -15      131   5      106  25 
      0 -74        0 -54        0 -34        0 -14      108   6      106  26 
      0 -73        0 -53        0 -33        0 -13      107   7      106  27 
      0 -72        0 -52        0 -32        0 -12      107   8      106  28 
      0 -71        0 -51        0 -31        0 -11      108   9      106  29 
      0 -70        0 -50        0 -30        0 -10      107  10      106  30 
      0 -69        0 -49        0 -29        0  -9      107  11      106  31 
      0 -68        0 -48        0 -28        0  -8      108  12      106  32 
      0 -67        0 -47        0 -27        0  -7      106  13      105  33 
      0 -66        0 -46        0 -26        0  -6      106  14      105  34 
      0 -65        0 -45        0 -25        2  -5      106  15      105  35 
      0 -64        0 -44        0 -24       13  -4      106  16      105  36 
      0 -63        0 -43        0 -23      197  -3      106  17      105  37 
      0 -62        0 -42        0 -22    17670  -2      106  18      105  38 
      0 -61        0 -41        0 -21    94554  -1      106  19      105  39

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  790597.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -5.      -80 thru  -1 =  112436.
  Behav =     Relaxed.        Maximum =    7603.        0 thru  39 =  624579.
  histend                     K       =  200000.       40 thru Max =   53582.

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

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

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

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

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

  End  analysis of Test T420  at               10:02:06.055 980422
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================

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

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

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

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

Start execution of Test T700  at               10:02:06.312 980422
  End execution of Test T700  at               10:02:06.662 980422
  Duration                                            0.350 
Start  analysis of Test T700  at               10:02:06.663 980422

Thread start, stop, and dur times.
   0.088    0.088    0.000    0.000    0.000    0.000    0.000    0.000 
   0.350    0.343    0.000    0.000    0.000    0.000    0.000    0.000 
   0.262    0.255    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      14       0  199999  199999
   9999    9756   10239       0       0
  19998   19666   20317       0       0
  29997   29530   30461       0       0
  39996   47234   35463       0       0
  49995   64852   42764       0       0
  59994   74606   49381       0       0
  69993   80698   55331       0       0
  79992   90654   69340       0       0
  89991   99611   79316       0       0
  99990  109643   90377       0       0
 109989  119675  100334       0       0
 119988  131486  110299       0       0
 129987  141391  118472       0       0
 139986  151315  128587       0       0
 149985  161078  138618       0       0
 159984  170942  148888       0       0
 169983  181109  159048       0       0
 179982  190827  168856       0       0
 189981  198563  179126       0       0
 199980  199999  191397       0       0

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


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

   i       deltas    strings 
   0       123366          0
   1       201611     202755
   2        64533      62776
   3        10205      10290
   4          160        681
   5           54         55
   6            7         14
   7            1          0
   8            1          1
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            1          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           57         58

 d =  -5. 
Event 7.1. u[   3301] =    3198 <    3199; v[   3199] =    3296 <    3301.
b=1 c=1 u[   3297]:    3197    3197    3198    3198    3198
Event 7.1. u[  49901] =   64765 <   64766; v[  64766] =   49896 <   49901.
b=1 c=1 u[  49897]:   64764   64764   64764   64765   64765
Event 7.2. v[ 177615] =  166514 <  166515; u[ 166515] =  177610 <  177615.
b=0 c=0 v[ 177611]:  166514  166514  166514  166514  166514
Event 7.2. v[ 177683] =  166532 <  166533; u[ 166533] =  177678 <  177683.
b=1 c=1 v[ 177679]:  166531  166531  166532  166532  166532
 d =  -4. 
Event 7.1. u[    493] =     494 <     495; v[    495] =     489 <     493.
b=0 c=0 u[    490]:     494     494     494     494
Event 7.1. u[    989] =     950 <     951; v[    951] =     985 <     989.
b=0 c=0 u[    986]:     950     950     950     950
Event 7.1. u[   2209] =    2158 <    2159; v[   2159] =    2205 <    2209.
b=0 c=0 u[   2206]:    2158    2158    2158    2158
Event 7.1. u[   3068] =    2993 <    2994; v[   2994] =    3064 <    3068.
b=1 c=1 u[   3065]:    2992    2992    2993    2993
Event 7.1. u[   3108] =    3011 <    3012; v[   3012] =    3104 <    3108.
b=1 c=1 u[   3105]:    3010    3011    3011    3011
Event 7.1. u[   3110] =    3012 <    3013; v[   3013] =    3106 <    3110.
b=1 c=1 u[   3107]:    3011    3011    3012    3012
Event 7.1. u[   3186] =    3086 <    3087; v[   3087] =    3182 <    3186.
b=0 c=0 u[   3183]:    3086    3086    3086    3086
Event 7.1. u[   3300] =    3198 <    3199; v[   3199] =    3296 <    3300.
b=1 c=1 u[   3297]:    3197    3197    3198    3198
Event 7.1. u[   3617] =    3502 <    3503; v[   3503] =    3613 <    3617.
b=0 c=0 u[   3614]:    3502    3502    3502    3502
Event 7.1. u[  21223] =   20878 <   20879; v[  20879] =   21219 <   21223.
b=0 c=0 u[  21220]:   20878   20878   20878   20878
Event 7.2. v[ 182410] =  171336 <  171337; u[ 171337] =  182406 <  182410.
b=1 c=1 v[ 182407]:  171335  171335  171336  171336

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
    489     493     485       0       0       1       2
    490     494     486      -1       0       2       2
    491     494     487      -2       0       3       2
    492     494     488      -3       1       4       2
    493     494     488      -4       0       5       3
    494     495     489      -1       0       5       3
    495     496     489      -1      -1       6       4
    496     499     493      -1      -1       1       2
    497     501     494       0      -1       2       3
    498     502     495       1       1       2       3
    499     502     495       0       0       3       4

   3194    3096    3292      -1       0       3       2
   3195    3098    3293       0      -1       2       2
   3196    3099    3295       0       0       1       2
   3197    3100    3295       0      -1       2       3
   3198    3101    3296       0      -1       2       2
   3199    3102    3296       0      -2       2       3
   3200    3104    3300      -1      -2       1       2
   3201    3106    3302       1       0       2       3
   3202    3106    3303       0       0       3       1
   3203    3107    3304       0       0       3       2
   3204    3108    3305      -1      -1       2       2

   3296    3196    3404      -1       0       3       2
   3297    3197    3405      -1       0       2       2
   3298    3197    3406      -2       0       3       2
   3299    3198    3407      -3       2       4       2
   3300    3198    3407      -4       1       5       3
   3301    3198    3407      -5       0       6       4
   3302    3201    3408       1      -1       2       4
   3303    3201    3411       0      -1       3       1
   3304    3202    3413       0       0       2       2
   3305    3203    3414       0       0       2       1
   3306    3203    3415      -1       0       3       2

  49896   64762   42664      -3      -2       8       4
  49897   64764   42665      -1      -1       4       3
  49898   64764   42668      -2       1       5       2
  49899   64764   42668      -3       0       6       3
  49900   64765   42669      -4       0       4       2
  49901   64765   42670      -5       0       5       2
  49902   64766   42671      -1       0       6       2
  49903   64766   42672      -2      -1       7       2
  49904   64767   42672       0      -2       8       3
  49905   64767   42673      -1      -1       9       3
  49906   64767   42676      -2       1      10       2

  64761   76276   49888     726      -2    3449       3
  64762   76276   49893     725      -1    3450       2
  64763   76276   49893     724      -2    3451       3
  64764   76276   49896     723       0    3452       3
  64765   76276   49896     722      -1    3453       4
  64766   76276   49896     721      -2    3454       5
  64767   76276   49901     720      -1    3455       2
  64768   76276   49904     719      -1    3456       2
  64769   76276   49904     718      -2    3457       3
  64770   76276   49907     717      -1    3458       3
  64771   76276   49910     716      -1    3459       2

 166510  177594  155533      -1       0       1       2
 166511  177598  155535      -1      -1       2       1
 166512  177604  155536       0       0       1       2
 166513  177606  155537       0      -1       1       3
 166514  177608  155539      -1       0       1       2
 166515  177610  155540      -1       0       2       1
 166516  177616  155541      -1       0       2       2
 166517  177619  155542      -1       0       2       2
 166518  177622  155542      -1      -1       2       3
 166519  177627  155544      -1      -1       1       2
 166520  177630  155545      -1       0       1       2

 166528  177662  155554      -1      -1       2       2
 166529  177667  155556       0       1       1       2
 166530  177670  155556      -1       0       1       3
 166531  177673  155557      -1       0       2       3
 166532  177676  155558      -1      -1       2       2
 166533  177678  155560      -2       0       2       2
 166534  177684  155560      -1      -1       2       3
 166535  177688  155560      -1      -2       2       4
 166536  177692  155562      -1      -1       1       3
 166537  177697  155564       0       1       1       2
 166538  177700  155564      -1       0       1       3

 177610  188589  166513      -1      -2       3       6
 177611  188590  166514       0      -1       3       5
 177612  188591  166514       0      -2       3       6
 177613  188591  166514      -1      -3       4       7
 177614  188593  166514       0      -4       2       8
 177615  188594  166514       0      -5       1       9
 177616  188596  166515       0       0       1       8
 177617  188596  166515      -1      -1       2       9
 177618  188597  166515      -1      -2       3      10
 177619  188598  166516       0       0       3       9
 177620  188598  166516      -1      -1       4      10

 177678  188660  166531       0      -2       2       8
 177679  188661  166531       0      -3       2       9
 177680  188662  166531       0      -4       2      10
 177681  188662  166532      -1      -3       3       8
 177682  188662  166532      -2      -4       4       9
 177683  188664  166532       0      -5       3      10
 177684  188665  166533       0       0       1       8
 177685  188666  166533       0      -1       2       9
 177686  188667  166533       0      -2       2      10
 177687  188668  166533       0      -3       2      11
 177688  188669  166534       0       0       2      10

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     49318     49318         0         0     -1
 -2      9552      7809         0         0     -2
 -3       236       286         0         0     -3
 -4        38        23         0         0     -4
 -5         2         2         0         0     -5
 -6         0         0         0         0     -6

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   =  791412.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  116584.
  Behav =     Relaxed.        Maximum =    7950.        0 thru  39 =  647892.
  histend                     K       =  200000.       40 thru Max =   26936.

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

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

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

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

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

  End  analysis of Test T700  at               10:02:09.199 980422
==sss========================================================================

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

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

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

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

Start execution of Test T710  at               10:02:09.476 980422
  End execution of Test T710  at               10:02:09.864 980422
  Duration                                            0.388 
Start  analysis of Test T710  at               10:02:09.941 980422

Thread start, stop, and dur times.
   0.114    0.114    0.000    0.000    0.000    0.000    0.000    0.000 
   0.378    0.387    0.000    0.000    0.000    0.000    0.000    0.000 
   0.264    0.273    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      62  199999       0
   9999    9864   10144       0       0
  19998   18795   21290       0       0
  29997   29195   30851       0       0
  39996   39135   40895       0       0
  49995   48548   51590       0       0
  59994   57649   62520       0       0
  69993   66630   73726       0       0
  79992   76258   84224       0       0
  89991   85458   94631       0       0
  99990   95134  105527       0       0
 109989  103969  116399       0       0
 119988  113376  126877       0       0
 129987  123025  137760       0       0
 139986  132051  148440       0       0
 149985  141456  159133       0       0
 159984  150785  169404       0       0
 169983  160479  179515       0       0
 179982  171020  189688       0       0
 189981  180257  199999       0       0
 199980  189425  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                                                                         222222
                                                                                
                                                                         2      
                                                                        2       
                                                                       2       1
                                                                      2       1 
                                                                     2       1  
                                                                    2      11   
                                                                   2      1     
                                                                  2      1      
                                                                 2      1       
                                                                2      1        
                                                               2                
                                                              2       1         
                                                             2      11          
                                                            2      1            
                                                           2                    
                                                          2      11             
                                                         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                              
                                                1                               
                                          2   11                                
                                         2   1                                  
                                        2   1                                   
                                       2   1                                    
                                      2   1                                     
                                     2   1                                      
                                    2   1                                       
                                   2   1                                        
                                  2   1                                         
                                 2   1                                          
                                2   1                                           
                               2   1                                            
                                  1                                             
                              2  1                                              
                             2  1                                               
                            2  1                                                
                           2  1                                                 
                          2  1                                                  
                         2 11                                                   
                        2 1                                                     
                       2 1                                                      
                      2 1                                                       
                       1                                                        
                     21                                                         
                    21                                                          
                   21                                                           
                  21                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   31                                                                           
  1                                                                             
 12                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0       107252          0
   1       216305     219294
   2        69519      63697
   3         6673       9350
   4          119        263
   5           19         30
   6            2          5
   7            2          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          105        105

 d =  -5. 
Event 7.2. v[   1649] =    1286 <    1287; u[   1287] =    1644 <    1649.
b=1 c=1 v[   1645]:    1285    1286    1286    1286    1286
 d =  -4. 
Event 7.2. v[   1187] =    1227 <    1228; u[   1228] =    1183 <    1187.
b=1 c=1 v[   1184]:    1226    1227    1227    1227
Event 7.2. v[   1648] =    1286 <    1287; u[   1287] =    1644 <    1648.
b=1 c=1 v[   1645]:    1285    1286    1286    1286
Event 7.1. u[   2704] =    2958 <    2959; v[   2959] =    2700 <    2704.
b=0 c=0 u[   2701]:    2958    2958    2958    2958
Event 7.1. u[   2755] =    2992 <    2993; v[   2993] =    2751 <    2755.
b=0 c=0 u[   2752]:    2992    2992    2992    2992
Event 7.1. u[   2762] =    2995 <    2996; v[   2996] =    2758 <    2762.
b=0 c=0 u[   2759]:    2995    2995    2995    2995
Event 7.1. u[   2777] =    3000 <    3001; v[   3001] =    2773 <    2777.
b=0 c=0 u[   2774]:    3000    3000    3000    3000
Event 7.1. u[   2810] =    3013 <    3014; v[   3014] =    2806 <    2810.
b=0 c=0 u[   2807]:    3013    3013    3013    3013
Event 7.1. u[   3092] =    3278 <    3279; v[   3279] =    3088 <    3092.
b=0 c=0 u[   3089]:    3278    3278    3278    3278
Event 7.2. v[  46691] =   48029 <   48030; u[  48030] =   46687 <   46691.
b=1 c=1 v[  46688]:   48028   48028   48029   48029
Event 7.1. u[  72109] =   68502 <   68503; v[  68503] =   72105 <   72109.
b=1 c=1 u[  72106]:   68501   68501   68502   68502
Event 7.2. v[ 132458] =  140401 <  140402; u[ 140402] =  132454 <  132458.
b=1 c=1 v[ 132455]:  140400  140401  140401  140401
Event 7.2. v[ 132461] =  140402 <  140403; u[ 140403] =  132457 <  132461.
b=1 c=1 v[ 132458]:  140401  140402  140402  140402
 d =  -3. 
Event 7.1. u[    738] =     590 <     591; v[    591] =     735 <     738.
b=0 c=0 u[    736]:     590     590     590
Event 7.1. u[ 199811] =  189287 <  189288; v[ 189288] =  199808 <  199811.
b=1 c=1 u[ 199809]:  189286  189287  189287

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
   1183    1039    1225       0      -3       2      10
   1184    1039    1226      -1      -1       3       7
   1185    1041    1227      -1      -2       2       5
   1186    1044    1227       0      -3       2       6
   1187    1045    1227       0      -4       2       7
   1188    1046    1228      -1       0       2       5
   1189    1048    1228       0      -1       2       6
   1190    1049    1228      -1      -2       2       7
   1191    1051    1229      -1       0       2       8

   1224    1173    1238       0      -2       1       7
   1225    1177    1238       0      -3       1       8
   1226    1180    1239      -1       1       1       7
   1227    1183    1239      -1       0       2       8
   1228    1183    1239      -2      -1       3       9
   1229    1188    1239      -1      -2       2      10
   1230    1191    1239      -1      -3       2      11
   1231    1194    1240      -1      -1       2       9
   1232    1201    1240       0      -2       1      10

   1282    1635    1256      -2     304       3       7
   1283    1637    1256      -1     303       3       8
   1284    1638    1256      -2     302       3       9
   1285    1640    1256      -1     301       3      10
   1286    1643    1256      -1     300       2      11
   1287    1644    1256      -2     299       3      12
   1288    1647    1256      -2     298       2      13
   1289    1650    1256      -1     297       3      14
   1290    1652    1256       0     296       2      15
   1291    1653    1256       0     295       3      16
   1292    1654    1256       1     294       2      17

   1644    1928    1285       1      -1       2       6
   1645    1928    1285       0      -2       3       7
   1646    1929    1286       0      -2       2       6
   1647    1930    1286       0      -3       2       7
   1648    1933    1286       0      -4       1       8
   1649    1934    1286      -1      -5       2       9
   1650    1935    1288       0       0       2       6
   1651    1936    1288       0      -1       3       7
   1652    1937    1288       0      -2       2       8
   1653    1938    1290       1       0       2       3
   1654    1939    1291       0       0       2       2

   2700    2956    2383      -1       1       4       3
   2701    2958    2384      -1       0       2       3
   2702    2958    2384      -2      -1       3       4
   2703    2958    2386      -3       0       4       2
   2704    2958    2388      -4      -1       5       1
   2705    2960    2390      -1       1       5       2
   2706    2961    2390      -2       0       3       3
   2707    2962    2391      -1       0       3       2
   2708    2963    2391       0      -1       4       3

   2751    2992    2483       0      -1       7       2
   2752    2992    2485      -1       0       8       2
   2753    2992    2486      -2       0       9       2
   2754    2992    2487      -3       0      10       2
   2755    2992    2487      -4      -1      11       3
   2756    2993    2488       0      -1       7       3
   2757    2993    2488      -1      -2       8       4
   2758    2995    2490       0       0       2       3
   2759    2995    2493      -1       0       3       1
   2760    2995    2494      -2       0       4       2
   2761    2995    2495      -3       0       5       2
   2762    2995    2495      -4      -1       6       3
   2763    2996    2496       0       0       7       3
   2764    2996    2497      -1       0       8       3
   2765    2996    2497      -2      -1       9       4
   2766    2996    2499      -3       0      10       2

   2773    3000    2505       0       0       5       2
   2774    3000    2508      -1       0       6       1
   2775    3000    2510      -2       0       7       1
   2776    3000    2512      -3       2       8       1
   2777    3000    2512      -4       1       9       2
   2778    3001    2512      -2       0       6       3
   2779    3001    2512      -3      -1       7       4
   2780    3002    2513      -1       0       7       4
   2781    3003    2516       1       0       5       1

   2955    3150    2696       0      -2       2       4
   2956    3150    2698      -1      -1       3       3
   2957    3151    2699       0      -1       2       3
   2958    3151    2700      -1       0       3       3
   2959    3153    2700       0      -1       2       4
   2960    3153    2703      -1      -2       3       2
   2961    3155    2704      -1      -1       2       3
   2962    3156    2704       0      -2       3       4
   2963    3157    2706       1      -1       3       3

   2989    3180    2738       0      -2       3       3
   2990    3181    2741       0      -1       3       2
   2991    3182    2744       1      -1       2       2
   2992    3182    2749       0      -1       3       1
   2993    3182    2751      -1      -1       4       2
   2994    3183    2756      -2      -1       4       2
   2995    3184    2756      -2      -2       3       3
   2996    3185    2758      -1      -1       4       3
   2997    3187    2763       0      -1       2       2
   2998    3188    2766       0      -1       3       2
   2999    3189    2768       0      -2       2       2
   3000    3190    2772      -1       0       2       2
   3001    3190    2773      -2      -1       3       2
   3002    3191    2776      -1      -2       3       2
   3003    3192    2779      -1      -1       4       2
   3004    3193    2782      -1       0       3       1
   3005    3194    2785      -1      -1       3       1

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     49766     49766         0         0     -1
 -2      5414      4119         0         0     -2
 -3       167        66         0         0     -3
 -4         7         5         0         0     -4
 -5         0         1         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
        55354     53957         0         0
            4         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   324608   0      105  20 
      0 -79        0 -59        0 -39        0 -19   262271   1      105  21 
      0 -78        0 -58        0 -38        0 -18    73032   2      105  22 
      0 -77        0 -57        0 -37        0 -17     6847   3      105  23 
      0 -76        0 -56        0 -36        0 -16      237   4      105  24 
      0 -75        0 -55        0 -35        0 -15      124   5      105  25 
      0 -74        0 -54        0 -34        0 -14      107   6      105  26 
      0 -73        0 -53        0 -33        0 -13      107   7      105  27 
      0 -72        0 -52        0 -32        0 -12      105   8      105  28 
      0 -71        0 -51        0 -31        0 -11      105   9      105  29 
      0 -70        0 -50        0 -30        0 -10      105  10      105  30 
      0 -69        0 -49        0 -29        0  -9      105  11      105  31 
      0 -68        0 -48        0 -28        0  -8      105  12      106  32 
      0 -67        0 -47        0 -27        0  -7      105  13      104  33 
      0 -66        0 -46        0 -26        0  -6      105  14      104  34 
      0 -65        0 -45        0 -25        1  -5      105  15      105  35 
      0 -64        0 -44        0 -24       12  -4      105  16      103  36 
      0 -63        0 -43        0 -23      233  -3      105  17      104  37 
      0 -62        0 -42        0 -22     9533  -2      105  18      102  38 
      0 -61        0 -41        0 -21    99532  -1      105  19      102  39

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  789438.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  109311.
  Behav =     Relaxed.        Maximum =    1103.        0 thru  39 =  670683.
  histend                     K       =  200000.       40 thru Max =    9444.

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

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

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

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

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

  End  analysis of Test T710  at               10:02:12.428 980422
==sss========================================================================

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

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

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

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

Start execution of Test T720  at               10:02:12.677 980422
  End execution of Test T720  at               10:02:13.155 980422
  Duration                                            0.478 
Start  analysis of Test T720  at               10:02:13.287 980422

Thread start, stop, and dur times.
   0.193    0.193    0.000    0.000    0.000    0.000    0.000    0.000 
   0.477    0.477    0.000    0.000    0.000    0.000    0.000    0.000 
   0.284    0.284    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   10295    9706       0       0
  19998   20166   19823       0       0
  29997   29977   30016       0       0
  39996   39957   40035       0       0
  49995   50000   49988       0       0
  59994   60009   59978       0       0
  69993   69981   70005       0       0
  79992   80088   79895       0       0
  89991   90015   89965       0       0
  99990  100516   99458       0       0
 109989  110491  109479       0       0
 119988  120254  119705       0       0
 129987  130115  129856       0       0
 139986  140108  139865       0       0
 149985  150163  149807       0       0
 159984  160186  159782       0       0
 169983  170096  169868       0       0
 179982  180066  179896       0       0
 189981  189886  190078       0       0
 199980  199505  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              23
                                                                             21 
                                                                             1  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         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                                                                             
                                                                                
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        69339          0
   1       266387     268291
   2        61928      58174
   3         2168       3971
   4          122        161
   5           18         27
   6            3          2
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            1          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           30         30

 d =  -4. 
Event 7.1. u[  25931] =   25936 <   25937; v[  25937] =   25927 <   25931.
b=0 c=0 u[  25928]:   25936   25936   25936   25936
Event 7.1. u[ 118476] =  118958 <  118959; v[ 118959] =  118472 <  118476.
b=0 c=0 u[ 118473]:  118958  118958  118958  118958
Event 7.1. u[ 119668] =  119950 <  119951; v[ 119951] =  119664 <  119668.
b=0 c=0 u[ 119665]:  119950  119950  119950  119950
Event 7.2. v[ 141074] =  140837 <  140838; u[ 140838] =  141070 <  141074.
b=1 c=1 v[ 141071]:  140836  140836  140837  140837
Event 7.1. u[ 164490] =  164696 <  164697; v[ 164697] =  164486 <  164490.
b=0 c=0 u[ 164487]:  164696  164696  164696  164696
Event 7.1. u[ 164956] =  165116 <  165117; v[ 165117] =  164952 <  164956.
b=1 c=1 u[ 164953]:  165115  165115  165116  165116
 d =  -3. 
Event 7.2. v[   1659] =    1513 <    1514; u[   1514] =    1656 <    1659.
b=0 c=0 v[   1657]:    1513    1513    1513
Event 7.2. v[   1663] =    1514 <    1515; u[   1515] =    1660 <    1663.
b=0 c=0 v[   1661]:    1514    1514    1514
Event 7.2. v[   1671] =    1517 <    1518; u[   1518] =    1668 <    1671.
b=0 c=0 v[   1669]:    1517    1517    1517
Event 7.2. v[   1679] =    1520 <    1521; u[   1521] =    1676 <    1679.
b=0 c=0 v[   1677]:    1520    1520    1520
Event 7.2. v[   1706] =    1528 <    1529; u[   1529] =    1703 <    1706.
b=0 c=0 v[   1704]:    1528    1528    1528
Event 7.2. v[   1714] =    1530 <    1531; u[   1531] =    1711 <    1714.
b=0 c=0 v[   1712]:    1530    1530    1530
Event 7.2. v[   1751] =    1541 <    1542; u[   1542] =    1748 <    1751.
b=0 c=0 v[   1749]:    1541    1541    1541
Event 7.2. v[   1767] =    1546 <    1547; u[   1547] =    1764 <    1767.
b=0 c=0 v[   1765]:    1546    1546    1546
Event 7.1. u[ 165931] =  166062 <  166063; v[ 166063] =  165928 <  165931.
b=1 c=1 u[ 165929]:  166061  166062  166062

  Portions of the arrays containing relaxation events:
      i       U       V      d1      d2      d3      d4
  25927   25936   25901       0       0       7       1
  25928   25936   25904      -1       0       8       1
  25929   25936   25904      -2      -1       9       2
  25930   25936   25908      -3       0      10       2
  25931   25936   25910      -4      -1      11       1
  25932   25937   25914      -1      -1       7       2
  25933   25937   25914      -2      -2       8       3
  25934   25938   25917       0      -1       7       1
  25935   25939   25920       2      -1       4       1
  25936   25939   25925       1      -1       5       1
  25937   25939   25927       0      -1       6       2
  25938   25939   25931      -1      -1       7       2
  25939   25939   25934      -2       0       8       2
  25940   25940   25937       0      -1       6       1
  25941   25941   25940       1       0       4       2

 118472  118958  117981       0       0       1       2
 118473  118958  117981      -1      -1       2       3
 118474  118958  117983      -2       1       3       2
 118475  118958  117983      -3       0       4       3
 118476  118958  117984      -4       0       5       2
 118477  118959  117984      -1      -1       5       3
 118478  118960  117985      -1       0       6       3
 118479  118961  117985      -1      -1       3       4
 118480  118964  117988       0       1       1       2

 118955  119432  118469       0       0       3       1
 118956  119433  118470       0       0       1       2
 118957  119434  118471       0       1       2       2
 118958  119435  118472       0       0       2       2
 118959  119437  118472       1      -1       1       3
 118960  119437  118476       0      -1       2       2
 118961  119438  118477      -1      -1       2       3
 118962  119438  118478      -2      -1       3       3
 118963  119440  118479       2       1       3       3

 119664  119949  119363       0       0       2       2
 119665  119950  119365      -1       1       1       1
 119666  119950  119365      -2       0       2       2
 119667  119950  119366      -3       0       3       2
 119668  119950  119367      -4       0       4       2
 119669  119952  119369       0       1       5       1
 119670  119953  119369       0       0       2       2
 119671  119954  119370       0       0       2       2
 119672  119955  119372       0       1       2       1

 119947  120215  119661       0       0       3       2
 119948  120216  119662       0       0       2       2
 119949  120217  119664       0       1       2       1
 119950  120218  119664       0       0       2       2
 119951  120219  119664       0      -1       2       3
 119952  120220  119668       0       0       2       2
 119953  120221  119669       0       0       2       3
 119954  120222  119670       1       0       2       2
 119955  120222  119671       0       0       3       2

 140834  141067  140628      -1       0       2       2
 140835  141069  140629       0       0       2       2
 140836  141070  140630       0       1       2       2
 140837  141070  140631      -1       0       3       2
 140838  141070  140632      -2       0       4       1
 140839  141074  140632      -1      -1       2       2
 140840  141076  140635      -1       1       2       2
 140841  141078  140635      -1       0       2       3
 140842  141078  140636      -2       1       3       2

 141070  141302  140835      -1       0       4       3
 141071  141303  140836       0      -1       4       2
 141072  141305  140836       0      -2       1       3
 141073  141306  140837      -1      -3       1       3
 141074  141308  140837       0      -4       2       4
 141075  141309  140838       0      -1       1       5
 141076  141310  140838       0      -2       2       6
 141077  141311  140839       0      -1       2       7
 141078  141312  140839       0      -2       2       8

 164486  164696  164256       0       0       4       1
 164487  164696  164256      -1      -1       5       2
 164488  164696  164256      -2      -2       6       3
 164489  164696  164257      -3       0       7       3
 164490  164696  164259      -4       0       8       1
 164491  164697  164260       0       0       7       2
 164492  164697  164261      -1       0       8       2
 164493  164698  164262       0       1       7       2
 164494  164698  164263      -1       0       8       2

 164693  164881  164479       0      -1       2       2
 164694  164882  164481       0       0       2       2
 164695  164883  164482       0       0       2       2
 164696  164884  164484       0      -1       2       1
 164697  164885  164486      -1      -1       2       2
 164698  164886  164491       0      -1       2       2
 164699  164888  164493       0      -1       1       2
 164700  164889  164496       0       0       2       2
 164701  164890  164496       0      -1       2       3

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     37125     37125         0         0     -1
 -2      3137      2860         0         0     -2
 -3        32        18         0         0     -3
 -4         5         1         0         0     -4
 -5         0         0         0         0     -5

Totals / Min / Under -25:  
        40299     40004         0         0
            4         4         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  799519.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -4.      -80 thru  -1 =   80303.
  Behav =     Relaxed.        Maximum =     262.        0 thru  39 =  718184.
  histend                     K       =  200000.       40 thru Max =    1032.

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

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

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

  End  analysis of Test T720  at               10:02:15.769 980422
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T800  at               10:02:16.017 980422
  End execution of Test T800  at               10:02:16.536 980422
  Duration                                            0.519 
Start  analysis of Test T800  at               10:02:17.207 980422

Thread start, stop, and dur times.
   0.233    0.233    0.000    0.000    0.000    0.000    0.000    0.000 
   0.512    0.518    0.000    0.000    0.000    0.000    0.000    0.000 
   0.279    0.285    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  796720  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 1926031 1999801 1999802 1999803

  dim =    80, max = 2000000, pamx =     2.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                            22 F
                                                                            2 F 
                                                                             F 1
                                                                           1F 11
                                                                          1F2   
                                                                         1F2    
                                                                        1F2     
                                                                       1F2      
                                                                      1F2       
                                                                     1F2        
                                                                    1F2         
                                                                   1F2          
                                                                  1F2           
                                                                 1F2            
                                                                1F2             
                                                               1F2              
                                                              1F2               
                                                             1F2                
                                                            1F2                 
                                                           1F2                  
                                                          1F2                   
                                                         1F2                    
                                                        1F2                     
                                                       1F2                      
                                                      1F2                       
                                                     1F2                        
                                                    1F2                         
                                                   1F2                          
                                                  1F2                           
                                                 1F2                            
                                                1F2                             
                                               1F2                              
                                              1F2                               
                                             1F2                                
                                            1F2                                 
                                           1F2                                  
                                          1F2                                   
                                         1F2                                    
                                        1F2                                     
                                       1F2                                      
                                      1F2                                       
                                     1F2                                        
                                    1F2                                         
                                   1F2                                          
                                  1F2                                           
                                 1F2                                            
                                1F2                                             
                               1F2                                              
                              1F2                                               
                             1F2                                                
                            1F2                                                 
                           1F2                                                  
                          1F2                                                   
                         1F2                                                    
                        1F2                                                     
                       1F2                                                      
                      1F2                                                       
                     1F2                                                        
                    1F2                                                         
                   1F2                                                          
                  1F2                                                           
                 1F2                                                            
                1F2                                                             
               1F2                                                              
              1F2                                                               
             2F2                                                                
            2F1                                                                 
           2F1                                                                  
          2F1                                                                   
         2F1                                                                    
        2F1                                                                     
       1F1                                                                      
      1F2                                                                       
     1F2                                                                        
    1F2                                                                         
   1F2                                                                          
  1F2                                                                           
 2F2                                                                            
1F1                                                                             
F2                                                                              
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   756680   0        0  20 
      0 -79        0 -59        0 -39        0 -19       58   1        0  21 
      0 -78        0 -58        0 -38        0 -18     5980   2        0  22 
      0 -77        0 -57        0 -37        0 -17     7673   3        0  23 
      0 -76        0 -56        0 -36        0 -16     2413   4        0  24 
      0 -75        0 -55        0 -35        0 -15      698   5        0  25 
      0 -74        0 -54        0 -34        0 -14       43   6        0  26 
      0 -73        0 -53        0 -33        0 -13        8   7        0  27 
      0 -72        0 -52        0 -32        0 -12        1   8        0  28 
      0 -71        0 -51        0 -31        0 -11        0   9        0  29 
      0 -70        0 -50        0 -30        0 -10        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        1  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 |                             o                                       
680000 |                             o                                       
640000 |                             o                                       
600000 |                             o                                       
560000 |                             o                                       
520000 |                             o                                       
480000 |                             o                                       
440000 |                             o                                       
400000 |                             o                                       
360000 |                             o                                       
320000 |                             o                                       
280000 |                             o                                       
240000 |                             o                                       
200000 |                             o                                       
160000 |                             o                                       
120000 |                             o                                       
 80000 |                             o                                       
 40000 |                             o                                       
     0 |_________._________._________.oooooooo_o_________._________._____o___
     -30       -20       -10         0        10        20        30        40

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


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

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

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


  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               10:03:06.324 980422
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T820  at               10:03:06.644 980422
  End execution of Test T820  at               10:03:07.012 980422
  Duration                                            0.368 
Start  analysis of Test T820  at               10:03:07.524 980422

Thread start, stop, and dur times.
   0.072    0.072    0.000    0.000    0.000    0.000    0.000    0.000 
   0.368    0.355    0.000    0.000    0.000    0.000    0.000    0.000 
   0.296    0.283    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    1161       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  646480  799922  799923
  89991 1098831  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 1798511 1599841 1599842 1599843
 169983 1699830 1699831 1699832 1699833
 179982 1799820 1799821 1799822 1799823
 189981 1899810 1899811 1899812 1899813
 199980 1999800 1999801 1999802 1999803

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

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

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


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   768148   0        0  20 
      0 -79        0 -59        0 -39        0 -19       85   1        0  21 
      0 -78        0 -58        0 -38        0 -18     3991   2        0  22 
      0 -77        0 -57        0 -37        0 -17     3912   3        0  23 
      0 -76        0 -56        0 -36        0 -16     1743   4        0  24 
      0 -75        0 -55        0 -35        0 -15      611   5        0  25 
      0 -74        0 -54        0 -34        0 -14      100   6        0  26 
      0 -73        0 -53        0 -33        0 -13       18   7        0  27 
      0 -72        0 -52        0 -32        0 -12        3   8        0  28 
      0 -71        0 -51        0 -31        0 -11        2   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        1  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        1  34 
      0 -65        0 -45        0 -25        0  -5        0  15        1  35 
      0 -64        0 -44        0 -24        0  -4        1  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        1  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

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

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


  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               10:03:56.640 980422
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T900.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T920.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1000.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1010.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1020.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1030.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1100.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1110.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1120.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1200.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1210.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1220.
==sss========================================================================

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

Summary of run:                                10:03:56.654 980422
ARCHTEST.  Version 5.4.  980317.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.

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


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

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.475      0.543   T100           1   0
      0.397      0.557   T120           0   1
      0.894      1.617   T200           2   0
      0.950      1.624   T210           1   1
      0.887      1.615   T220           0   2
      0.315      2.636   T400.1   -6    2   0
                         T400.2         2   0
      0.745      2.151   T410.1   -3    1   1
                         T410.2         1   1
      0.487      2.667   T420.1   -5    0   2
                         T420.2         0   2
      0.350      2.536   T700.1   -5    2   0
                         T700.2         2   0
      0.388      2.487   T710.1   -5    1   1
                         T710.2         1   1
      0.478      2.482   T720.1   -4    0   2
                         T720.2         0   2
      0.519     49.117   T800           1   0
      0.368     49.116   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