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

                                               14:29:53.281 980528

  Parameters initialized from file:  weiden.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks to Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.

Default answers to the following questions are shown in brackets.

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

The following tests can be run:

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

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

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

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T100  at               14:30:05.453 980528
  End execution of Test T100  at               14:30:05.968 980528
  Duration                                            0.515 
Start  analysis of Test T100  at               14:30:05.968 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.109    0.078    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.063    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   11267       0       0       0
  19998   22482       0       0       0
  29997   35331       0       0       0
  39996   46552       0       0       0
  49995   57596       0       0       0
  59994   68572       0       0       0
  69993   79795       0       0       0
  79992   91045       0       0       0
  89991  102426       0       0       0
  99990  113376       0       0       0
 109989  123797       0       0       0
 119988  135646       0       0       0
 129987  146394       0       0       0
 139986  157027       0       0       0
 149985  167959       0       0       0
 159984  179764       0       0       0
 169983  190686       0       0       0
 179982  202320       0       0       0
 189981  212988       0       0       0
 199980  223758       0       0       0

  dim =    80, max = 223778, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              11
                                                                             1  
                                                                            1   
                                                                           1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                                
                                                                   1            
                                                                 11             
                                                                1               
                                                               1                
                                                                                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                      11                        
                                                     1                          
                                                    1                           
                                                   1                            
                                                                                
                                                 11                             
                                                1                               
                                               1                                
                                                                                
                                              1                                 
                                             1                                  
                                            1                                   
                                           1                                    
                                          1                                     
                                         1                                      
                                       11                                       
                                      1                                         
                                     1                                          
                                    1                                           
                                   1                                            
                                  1                                             
                                 1                                              
                                1                                               
                                                                                
                               1                                                
                              1                                                 
                             1                                                  
                            1                                                   
                           1                                                    
                          1                                                     
                         1                                                      
                        1                                                       
                       1                                                        
                      1                                                         
                     1                                                          
                    1                                                           
                   1                                                            
                  1                                                             
                 1                                                              
                1                                                               
               1                                                                
              1                                                                 
             1                                                                  
            1                                                                   
           1                                                                    
          1                                                                     
         1                                                                      
        1                                                                       
       1                                                                        
      1                                                                         
     1                                                                          
    1                                                                           
   1                                                                            
  1                                                                             
 1                                                                              
                                                                                
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         2326          0
   1       196818     197663
   2          656          0
   3           26          0
   4            2          0
   5            0          1
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over          170          8
  End  analysis of Test T100  at               14:30:06.187 980528
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T120  at               14:30:06.546 980528
  End execution of Test T120  at               14:30:07.062 980528
  Duration                                            0.516 
Start  analysis of Test T120  at               14:30:07.296 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.063    0.000    0.000    0.000    0.000    0.000    0.000 
   0.109    0.047    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    9867       0       0       0
  19998   16676       0       0       0
  29997   24470       0       0       0
  39996   34471       0       0       0
  49995   42116       0       0       0
  59994   52115       0       0       0
  69993   62114       0       0       0
  79992   72113       0       0       0
  89991   81166       0       0       0
  99990   85354       0       0       0
 109989   90709       0       0       0
 119988   98515       0       0       0
 129987  108523       0       0       0
 139986  118532       0       0       0
 149985  128541       0       0       0
 159984  138550       0       0       0
 169983  147854       0       0       0
 179982  157803       0       0       0
 189981  167812       0       0       0
 199980  177821       0       0       0

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


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

   i       deltas    strings 
   0        24715          0
   1       174465     174485
   2          707        768
   3           91          0
   4            0          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          1
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          1
  16            0          0
  17            0          0
  18            1          0
  19            0          0
over           19         28
  End  analysis of Test T120  at               14:30:07.515 980528
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T200  at               14:30:07.859 980528
 line3
  End execution of Test T200  at               14:30:08.375 980528
  Duration                                            0.516 
Start  analysis of Test T200  at               14:30:08.375 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.187    0.125    0.000    0.000    0.000    0.000    0.000    0.000 
   0.171    0.109    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0      30     110       0       0
   9999   15793   15793       0       0
  19998   31119   31119       0       0
  29997   45551   45551       0       0
  39996   62170   62170       0       0
  49995   77682   77682       0       0
  59994   92735   92735       0       0
  69993  108628  108628       0       0
  79992  124713  124713       0       0
  89991  141027  141027       0       0
  99990  157255  157255       0       0
 109989  172221  172221       0       0
 119988  187232  187232       0       0
 129987  203383  203383       0       0
 139986  217984  217984       0       0
 149985  234095  234096       0       0
 159984  250151  250151       0       0
 169983  265888  265888       0       0
 179982  282098  282098       0       0
 189981  298396  298396       0       0
 199980  313652  313652       0       0

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

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20    13260   0        3  20 
      0 -79        0 -59        0 -39        0 -19   494025   1        0  21 
      0 -78        0 -58        0 -38        0 -18   291957   2        0  22 
      0 -77        0 -57        0 -37        0 -17       52   3        0  23 
      0 -76        0 -56        0 -36        0 -16        0   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        0   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        0   9        0  29 
      0 -70        0 -50        0 -30        0 -10        0  10        0  30 
      0 -69        0 -49        0 -29        0  -9        0  11        0  31 
      0 -68        0 -48        0 -28        0  -8        2  12        0  32 
      0 -67        0 -47        0 -27        0  -7        1  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        3  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 ------       
475000 |                             |o                                      
450000 |                             |o                                      
425000 |                             |o                                      
400000 |                             |o                                      
375000 |                             |o                                      
350000 |                             |o                                      
325000 |                             |o                                      
300000 |                             |o                                      
275000 |                             |oo                                     
250000 |                             |oo                                     
225000 |                             |oo                                     
200000 |                             |oo                                     
175000 |                             |oo                                     
150000 |                             |oo                                     
125000 |                             |oo                                     
100000 |                             |oo                                     
 75000 |                             |oo                                     
 50000 |                             |oo                                     
 25000 |                             |oo                                     
     0 |_________._________._________oooo______._oo_o____o_________._________
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T200  at               14:30:09.015 980528
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T210  at               14:30:09.375 980528
  End execution of Test T210  at               14:30:09.890 980528
  Duration                                            0.515 
Start  analysis of Test T210  at               14:30:09.984 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.218    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.094    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      17       0       0
   9999   12661   12661       0       0
  19998   25464   25464       0       0
  29997   35183   35183       0       0
  39996   45222   45222       0       0
  49995   56340   56340       0       0
  59994   67417   67417       0       0
  69993   77456   77456       0       0
  79992   87494   87494       0       0
  89991   97528   97528       0       0
  99990  107367  107367       0       0
 109989  117406  117406       0       0
 119988  129536  129537       0       0
 129987  140867  140867       0       0
 139986  153373  153373       0       0
 149985  165224  165225       0       0
 159984  176890  176890       0       0
 169983  186924  186924       0       0
 179982  196960  196960       0       0
 189981  206997  206997       0       0
 199980  216897  216897       0       0

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

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

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

  End  analysis of Test T210  at               14:30:10.625 980528
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T220  at               14:30:10.968 980528
  End execution of Test T220  at               14:30:11.484 980528
  Duration                                            0.516 
Start  analysis of Test T220  at               14:30:11.718 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.219    0.110    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.094    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   12440   12440       0       0
  19998   25760   25761       0       0
  29997   38289   38289       0       0
  39996   50818   50818       0       0
  49995   64124   64124       0       0
  59994   76652   76652       0       0
  69993   89180   89180       0       0
  79992  101855  101855       0       0
  89991  114382  114382       0       0
  99990  126908  126909       0       0
 109989  139484  139485       0       0
 119988  152009  152009       0       0
 129987  164536  164536       0       0
 139986  177065  177065       0       0
 149985  189568  189569       0       0
 159984  202092  202092       0       0
 169983  214500  214500       0       0
 179982  227701  227701       0       0
 189981  240223  240223       0       0
 199980  252747  252747       0       0

  dim =    80, max = 252772, 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                                                                     
         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          702          0
   1       299140     399280
   2        99911          0
   3          230          0
   4            1          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            1          0
  13            1          0
  14            0          0
  15            0          0
  16            0          0
  17            0          1
  18            0          1
  19            0          2
over           10         10

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

            ------ Relaxed ------    |         ------ Strong ------       
760000 |                             |                                       
720000 |                             |                                       
680000 |                             |                                       
640000 |                             |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 |                             |oo                                     
 80000 |                             |oo                                     
 40000 |                             |oo                                     
     0 |_________._________._________ooooo_____._oo______._________._________
     -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 =     989.        0 thru  39 =  799977.
  histend                     K       =  200000.       40 thru Max =      15.

  End  analysis of Test T220  at               14:30:12.359 980528
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================

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

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

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

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

Start execution of Test T400  at               14:30:12.734 980528
  End execution of Test T400  at               14:30:13.234 980528
  Duration                                            0.500 
Start  analysis of Test T400  at               14:30:13.250 980528

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    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      24       0       0
   9999    9249   10741       0       0
  19998   19319   20670       0       0
  29997   29375   30619       0       0
  39996   39429   40558       0       0
  49995   48272   51716       0       0
  59994   58272   61715       0       0
  69993   68271   71714       0       0
  79992   78270   83055       0       0
  89991   86927   93054       0       0
  99990   96926  103053       0       0
 109989  106925  113052       0       0
 119988  116112  123864       0       0
 129987  126110  133862       0       0
 139986  136110  143861       0       0
 149985  146109  153860       0       0
 159984  155354  164614       0       0
 169983  165353  174613       0       0
 179982  175351  184611       0       0
 189981  185350  194963       0       0
 199980  194997  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                             222
                                                                            2   
                                                                           2   1
                                                                          2   1 
                                                                         2  11  
                                                                        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  11                 
                                                         2  1                   
                                                        2  1                    
                                                       2  1                     
                                                      2  1                      
                                                     2  1                       
                                                    2  1                        
                                                   2  1                         
                                                  2  1                          
                                                 2  1                           
                                                2  1                            
                                               2  1                             
                                              2  1                              
                                                1                               
                                             2 1                                
                                            2 1                                 
                                           2 1                                  
                                          2 1                                   
                                         2 1                                    
                                        2 1                                     
                                       2 1                                      
                                      2 1                                       
                                     2 1                                        
                                    2 1                                         
                                   2 1                                          
                                  2 1                                           
                                 2 1                                            
                                2 1                                             
                               2 1                                              
                              2 1                                               
                             2 1                                                
                            2 1                                                 
                           2 1                                                  
                          2 1                                                   
                           1                                                    
                         21                                                     
                        21                                                      
                       21                                                       
                      21                                                        
                     21                                                         
                    21                                                          
                   21                                                           
                  21                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      21                                                                        
     21                                                                         
    21                                                                          
   21                                                                           
  31                                                                            
 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        23440          0
   1       364084     364053
   2        12412      12471
   3           42         13
   4            3          0
   5            2          4
   6            0          1
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           13         14

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

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

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

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

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

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

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

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

  End  analysis of Test T400  at               14:30:14.218 980528
==sss========================================================================

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

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

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

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

Start execution of Test T410  at               14:30:14.656 980528
  End execution of Test T410  at               14:30:15.171 980528
  Duration                                            0.515 
Start  analysis of Test T410  at               14:30:15.265 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.079    0.079    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      63       0       0
   9999    9899   10098       0       0
  19998   19888   20107       0       0
  29997   29844   31571       0       0
  39996   38413   41580       0       0
  49995   48402   51588       0       0
  59994   58391   61597       0       0
  69993   68673   71312       0       0
  79992   78672   81312       0       0
  89991   88670   91310       0       0
  99990   98669  101310       0       0
 109989  108477  111502       0       0
 119988  118466  121511       0       0
 129987  128455  131519       0       0
 139986  138444  141365       0       0
 149985  148604  151365       0       0
 159984  158604  161364       0       0
 169983  168603  171363       0       0
 179982  178617  181345       0       0
 189981  188616  191345       0       0
 199980  198616  199999       0       0

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


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

   i       deltas    strings 
   0         5509          0
   1       393225     393220
   2         1247       1252
   3            1          1
   4            1          1
   5            1          1
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           11         12

 d =  -1. 
Event 4.2. v[  29847] =   31421 <   31422; u[  31422] =   29846 <   29847.
b=0 c=0 v[  29847]:   31421
Event 4.2. v[  29849] =   31423 <   31424; u[  31424] =   29848 <   29849.
b=0 c=0 v[  29849]:   31423
Event 4.2. v[  29851] =   31425 <   31426; u[  31426] =   29850 <   29851.
b=0 c=0 v[  29851]:   31425
Event 4.2. v[  29853] =   31427 <   31428; u[  31428] =   29852 <   29853.
b=0 c=0 v[  29853]:   31427
Event 4.2. v[  29855] =   31429 <   31430; u[  31430] =   29854 <   29855.
b=0 c=0 v[  29855]:   31429
Event 4.2. v[  29857] =   31431 <   31432; u[  31432] =   29856 <   29857.
b=0 c=0 v[  29857]:   31431
Event 4.2. v[  29859] =   31433 <   31434; u[  31434] =   29858 <   29859.
b=0 c=0 v[  29859]:   31433
Event 4.2. v[  29861] =   31435 <   31436; u[  31436] =   29860 <   29861.
b=0 c=0 v[  29861]:   31435
Event 4.2. v[  29863] =   31437 <   31438; u[  31438] =   29862 <   29863.
b=0 c=0 v[  29863]:   31437
Event 4.2. v[  29865] =   31439 <   31440; u[  31440] =   29864 <   29865.
b=0 c=0 v[  29865]:   31439
Event 4.2. v[  29867] =   31441 <   31442; u[  31442] =   29866 <   29867.
b=0 c=0 v[  29867]:   31441
Event 4.2. v[  29869] =   31443 <   31444; u[  31444] =   29868 <   29869.
b=0 c=0 v[  29869]:   31443
Event 4.2. v[  29871] =   31445 <   31446; u[  31446] =   29870 <   29871.
b=0 c=0 v[  29871]:   31445
Event 4.2. v[  29873] =   31447 <   31448; u[  31448] =   29872 <   29873.
b=0 c=0 v[  29873]:   31447
Event 4.1. u[ 178167] =  176801 <  176802; v[ 176802] =  178166 <  178167.
b=0 c=0 u[ 178167]:  176801
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1       481       481         0         0     -1
 -2         0         0         0         0     -2

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

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  798630.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -1.      -80 thru  -1 =     962.
  Behav =     Relaxed.        Maximum =    1498.        0 thru  39 =  795185.
  histend                     K       =  200000.       40 thru Max =    2483.

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

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

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

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

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

  End  analysis of Test T410  at               14:30:16.250 980528
==sss========================================================================

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

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

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

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

Start execution of Test T420  at               14:30:16.687 980528
  End execution of Test T420  at               14:30:17.187 980528
  Duration                                            0.500 
Start  analysis of Test T420  at               14:30:17.453 980528

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    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    9691   10306       0       0
  19998   19680   20315       0       0
  29997   29670   30324       0       0
  39996   38605   41386       0       0
  49995   48604   51385       0       0
  59994   58603   61384       0       0
  69993   68602   71383       0       0
  79992   77546   82437       0       0
  89991   87545   92436       0       0
  99990   97544  102435       0       0
 109989  107543  113096       0       0
 119988  116880  123095       0       0
 129987  126879  133094       0       0
 139986  136878  143093       0       0
 149985  146695  153274       0       0
 159984  156694  163273       0       0
 169983  166693  173272       0       0
 179982  176692  183271       0       0
 189981  185668  194297       0       0
 199980  195657  199999       0       0

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

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

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

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

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

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

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

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

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

  End  analysis of Test T420  at               14:30:18.421 980528
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================

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

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

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

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

Start execution of Test T700  at               14:30:18.796 980528
  End execution of Test T700  at               14:30:19.312 980528
  Duration                                            0.516 
Start  analysis of Test T700  at               14:30:19.328 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.141    0.141    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.125    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      14  199999  199999
   9999   10033    9965       0       0
  19998   18834   21160       0       0
  29997   28867   31122       0       0
  39996   38912   41385       0       0
  49995   48646   51338       0       0
  59994   58695   61288       0       0
  69993   67461   72511       0       0
  79992   77523   82443       0       0
  89991   87577   92411       0       0
  99990   97615  102352       0       0
 109989  107683  112281       0       0
 119988  117263  122700       0       0
 129987  127322  132631       0       0
 139986  136273  143683       0       0
 149985  146309  153646       0       0
 159984  156360  164662       0       0
 169983  165339  174610       0       0
 179982  175384  184550       0       0
 189981  184400  195632       0       0
 199980  194340  199999       0       0

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

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

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

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

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

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

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

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

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

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

  End  analysis of Test T700  at               14:30:20.281 980528
==sss========================================================================

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

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

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

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

Start execution of Test T710  at               14:30:20.718 980528
  End execution of Test T710  at               14:30:21.234 980528
  Duration                                            0.516 
Start  analysis of Test T710  at               14:30:21.328 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.125    0.000    0.000    0.000    0.000    0.000    0.000 
   0.109    0.109    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      28  199999       0
   9999    9912   10086       0       0
  19998   19094   21354       0       0
  29997   28609   31393       0       0
  39996   38568   41432       0       0
  49995   47348   52650       0       0
  59994   57311   62689       0       0
  69993   67274   73444       0       0
  79992   76490   83510       0       0
  89991   86449   93545       0       0
  99990   96203  103793       0       0
 109989  106162  113832       0       0
 119988  116121  123871       0       0
 129987  125735  134255       0       0
 139986  135694  144294       0       0
 149985  145614  155507       0       0
 159984  154446  165546       0       0
 169983  164405  175582       0       0
 179982  173190  186795       0       0
 189981  183163  196824       0       0
 199980  193125  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                                                                           2222
                                                                           2    
                                                                          2    1
                                                                         2    1 
                                                                        2    1  
                                                                       2    1   
                                                                      2    1    
                                                                     2    1     
                                                                    2    1      
                                                                   2    1       
                                                                  2    1        
                                                                 2    1         
                                                                2    1          
                                                               2    1           
                                                                   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  11                             
                                             2  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                                            
                                2 1                                             
                               2 1                                              
                              2                                                 
                             2  1                                               
                            2  1                                                
                           2  1                                                 
                          2 11                                                  
                         2 1                                                    
                        2 1                                                     
                       2 1                                                      
                      2 1                                                       
                     2 1                                                        
                    2 1                                                         
                   2 1                                                          
                  2 1                                                           
                   1                                                            
                 21                                                             
                21                                                              
               21                                                               
              21                                                                
             21                                                                 
            21                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       31                                                                       
      3                                                                         
     3                                                                          
    3                                                                           
   3                                                                            
  2                                                                             
 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        15350          0
   1       382615     382619
   2         2010       2006
   3            0          3
   4            0          1
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            1          1
  18            1          0
  19            0          1
over           17         15

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

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

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

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

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

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

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

  End  analysis of Test T710  at               14:30:22.296 980528
==sss========================================================================

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

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

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

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

Start execution of Test T720  at               14:30:22.734 980528
  End execution of Test T720  at               14:30:23.250 980528
  Duration                                            0.516 
Start  analysis of Test T720  at               14:30:23.515 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.141    0.141    0.000    0.000    0.000    0.000    0.000    0.000 
   0.125    0.125    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    9985   10013       0       0
  19998   19732   20263       0       0
  29997   29729   30264       0       0
  39996   39722   40270       0       0
  49995   49540   50450       0       0
  59994   59538   60450       0       0
  69993   68867   71120       0       0
  79992   78847   81138       0       0
  89991   88554   91430       0       0
  99990   98542  101442       0       0
 109989  108529  111326       0       0
 119988  118647  121332       0       0
 129987  128631  131346       0       0
 139986  138106  141867       0       0
 149985  148097  151872       0       0
 159984  157206  162765       0       0
 169983  167192  172777       0       0
 179982  177177  183750       0       0
 189981  186201  193762       0       0
 199980  196193  199999       0       0

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


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

   i       deltas    strings 
   0       113134          0
   1       181781     181783
   2       105055     105055
   3            2          0
   4            1          0
   5            0          3
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            1          1
  17            2          1
  18            2          2
  19            1          1
over           15         16

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

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

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

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

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

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

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

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

  End  analysis of Test T720  at               14:30:24.468 980528
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T800  at               14:30:24.906 980528
  End execution of Test T800  at               14:30:25.421 980528
  Duration                                            0.515 
Start  analysis of Test T800  at               14:30:26.140 980528

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.079    0.079    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T800  at               14:30:48.062 980528
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T820  at               14:30:48.421 980528
  End execution of Test T820  at               14:30:48.937 980528
  Duration                                            0.516 
Start  analysis of Test T820  at               14:30:50.375 980528

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.094    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.078    0.078    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T820  at               14:31:11.203 980528
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T900.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T920.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1000.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1010.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1020.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1030.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1100.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1110.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1120.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1200.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1210.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T1220.
==sss========================================================================

Time to perform 1000000 of the following integer operations:
  NOPs:                                               0.047 
  Additions:                                          0.063 
  Subtractions:                                       0.078 
  Multiplications:                                    0.125 
  Divisions:                                          0.422 
Time to perform 1000000 of the following floating operations:
  Additions:                                          1.312 
  Subtractions:                                       1.312 
  Multiplications:                                    1.329 
  Divisions:                                          1.546 
================================================================================

Summary of run:                                14:31:17.546 980528
ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.

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

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.515      0.219   T100           1   0
      0.516      0.219   T120           0   1
      0.516      0.640   T200           2   0
      0.515      0.641   T210           1   1
      0.516      0.641   T220           0   2
      0.500      0.968   T400.1         2   0
                         T400.2         2   0
      0.515      0.985   T410.1   -1    1   1
                         T410.2         1   1
      0.500      0.968   T420.1         0   2
                         T420.2         0   2
      0.516      0.953   T700.1         2   0
                         T700.2         2   0
      0.516      0.968   T710.1         1   1
                         T710.2         1   1
      0.516      0.953   T720.1         0   2
                         T720.2         0   2
      0.515     21.922   T800           1   0
      0.516     20.828   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.
  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                  

  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 O             O  

Save the parameters from this run in a file? 
Press Enter for No.  Otherwise, enter the name of the file. 

Run this job another time? [y]  n