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

                                               17:23:39.265 980623

  Parameters initialized from file:  reilly.
 An Intergraph TD400, two 200 MHz Pentium Pro processors
running Windows NT 4.0, 1381.
 Thanks to Jim Reilly at Aqua Process Corp., jim@aquaprocess.com.

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) [500000]:   500000

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

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:  500000.
Test(s) to 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                              

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               17:23:48.625 980623
  End execution of Test T100  at               17:23:49.125 980623
  Duration                                            0.500 
Start  analysis of Test T100  at               17:23:49.125 980623

Thread start, stop, and dur times.
   0.000    0.000    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 
   0.078    0.078    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999   74005       0       0       0
  49998  150780       0       0       0
  74997  229306       0       0       0
  99996  308628       0       0       0
 124995  386392       0       0       0
 149994  461743       0       0       0
 174993  539435       0       0       0
 199992  614001       0       0       0
 224991  690430       0       0       0
 249990  768062       0       0       0
 274989  842767       0       0       0
 299988  919450       0       0       0
 324987  999493       0       0       0
 349986  999999       0       0       0
 374985  999999       0       0       0
 399984  999999       0       0       0
 424983  999999       0       0       0
 449982  999999       0       0       0
 474981  999999       0       0       0
 499980  999999       0       0       0

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


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

   i       deltas    strings 
   0       417816          0
   1            0       1074
   2            0       2457
   3            1      35064
   4            0      23492
   5           66       1748
   6         8485      17976
   7        25325        334
   8          873         34
   9         1950          1
  10         3666          0
  11         1622          0
  12         1506          0
  13         2521          0
  14         1205          0
  15         6500          0
  16         3929          0
  17         5341          0
  18         3170          0
  19        11920          0
over         1809          2
  End  analysis of Test T100  at               17:23:49.390 980623
==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               17:23:49.734 980623
  End execution of Test T120  at               17:23:50.234 980623
  Duration                                            0.500 
Start  analysis of Test T120  at               17:23:50.687 980623

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 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0      57       0       0       0
  24999   54405       0       0       0
  49998  106675       0       0       0
  74997  162246       0       0       0
  99996  235328       0       0       0
 124995  293149       0       0       0
 149994  353121       0       0       0
 174993  414548       0       0       0
 199992  479208       0       0       0
 224991  543289       0       0       0
 249990  614162       0       0       0
 274989  679366       0       0       0
 299988  737274       0       0       0
 324987  796578       0       0       0
 349986  861333       0       0       0
 374985  921573       0       0       0
 399984  986200       0       0       0
 424983  999999       0       0       0
 449982  999999       0       0       0
 474981  999999       0       0       0
 499980  999999       0       0       0

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


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

   i       deltas    strings 
   0       395354          0
   1            0       3615
   2            1        733
   3            0      41773
   4            0      34179
   5        26990       7881
   6         6307      15345
   7         1073       1085
   8        21492         29
   9         2961          1
  10         4350          0
  11          805          0
  12         3943          0
  13        16931          0
  14         8674          1
  15         8357          0
  16         1761          0
  17          386          0
  18          110          1
  19          257          0
over          116          1
  End  analysis of Test T120  at               17:23:50.953 980623
==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               17:23:51.312 980623
  End execution of Test T200  at               17:23:51.812 980623
  Duration                                            0.500 
Start  analysis of Test T200  at               17:23:51.812 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    0.219    0.000    0.000    0.000    0.000    0.000    0.000 
   0.172    0.219    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999  242367  242370       0       0
  49998  501599  501602       0       0
  74997  764406  764409       0       0
  99996 1021801 1021804       0       0
 124995 1277778 1277781       0       0
 149994 1499999 1499999       0       0
 174993 1499999 1499999       0       0
 199992 1499999 1499999       0       0
 224991 1499999 1499999       0       0
 249990 1499999 1499999       0       0
 274989 1499999 1499999       0       0
 299988 1499999 1499999       0       0
 324987 1499999 1499999       0       0
 349986 1499999 1499999       0       0
 374985 1499999 1499999       0       0
 399984 1499999 1499999       0       0
 424983 1499999 1499999       0       0
 449982 1499999 1499999       0       0
 474981 1499999 1499999       0       0
 499980 1499999 1499999       0       0

  dim =    80, max = 1500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                       333333333333333333333333333333333333333333333333333333333
                                                                                
                                                                                
                      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       723144          0
   1         2046     263320
   2            1      13516
   3           31          0
   4            9          2
   5          107          0
   6          653          0
   7        82375          0
   8         1052          1
   9        11136          1
  10       122086          0
  11         4899          1
  12         1193          1
  13          790          3
  14         2243          1
  15         5852          0
  16         9107          0
  17         2912          0
  18         4976          0
  19          606          0
over        23782          6

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1084720   0     1030  20 
      0 -79        0 -59        0 -39        0 -19   383067   1     3678  21 
      0 -78        0 -58        0 -38        0 -18        2   2     7101  22 
      0 -77        0 -57        0 -37        0 -17       62   3     7677  23 
      0 -76        0 -56        0 -36        0 -16   145483   4     3828  24 
      0 -75        0 -55        0 -35        0 -15     3742   5     3757  25 
      0 -74        0 -54        0 -34        0 -14     2508   6     2914  26 
      0 -73        0 -53        0 -33        0 -13   145245   7      390  27 
      0 -72        0 -52        0 -32        0 -12     3640   8      850  28 
      0 -71        0 -51        0 -31        0 -11    21199   9      186  29 
      0 -70        0 -50        0 -30        0 -10   134570  10        7  30 
      0 -69        0 -49        0 -29        0  -9     5528  11       10  31 
      0 -68        0 -48        0 -28        0  -8     1233  12        7  32 
      0 -67        0 -47        0 -27        0  -7     1444  13        1  33 
      0 -66        0 -46        0 -26        0  -6     5674  14        1  34 
      0 -65        0 -45        0 -25        0  -5    10217  15        1  35 
      0 -64        0 -44        0 -24        0  -4     9180  16        0  36 
      0 -63        0 -43        0 -23        0  -3     3271  17        0  37 
      0 -62        0 -42        0 -22        0  -2     6819  18        0  38 
      0 -61        0 -41        0 -21        0  -1      916  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             |                                       
1800000 |                             |                                       
1700000 |                             |                                       
1600000 |                             |                                       
1500000 |                             |                                       
1400000 |                             |                                       
1300000 |                             |                                       
1200000 |                             |                                       
1100000 |                             |                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             oo                                      
200000 |                             oo                                      
100000 |                             oo  o  o  o                             
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooo____
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         200.        Total   = 1999992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    1971.        0 thru  39 = 1999958.
  histend                     K       =  500000.       40 thru Max =      34.

  End  analysis of Test T200  at               17:23:52.562 980623
==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               17:23:52.906 980623
  End execution of Test T210  at               17:23:53.421 980623
  Duration                                            0.515 
Start  analysis of Test T210  at               17:23:53.625 980623

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.250    0.000    0.000    0.000    0.000    0.000    0.000 
   0.188    0.235    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999  168587  168590       0       0
  49998  381595  381598       0       0
  74997  565379  565382       0       0
  99996  774370  774373       0       0
 124995  976302  976305       0       0
 149994 1167587 1167586       0       0
 174993 1345864 1345864       0       0
 199992 1499999 1499999       0       0
 224991 1499999 1499999       0       0
 249990 1499999 1499999       0       0
 274989 1499999 1499999       0       0
 299988 1499999 1499999       0       0
 324987 1499999 1499999       0       0
 349986 1499999 1499999       0       0
 374985 1499999 1499999       0       0
 399984 1499999 1499999       0       0
 424983 1499999 1499999       0       0
 449982 1499999 1499999       0       0
 474981 1499999 1499999       0       0
 499980 1499999 1499999       0       0

  dim =    80, max = 1500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                               3333333333333333333333333333333333333333333333333
                                                                                
                              3                                                 
                                                                                
                             3                                                  
                                                                                
                                                                                
                            3                                                   
                                                                                
                           3                                                    
                                                                                
                                                                                
                          3                                                     
                                                                                
                         3                                                      
                                                                                
                                                                                
                        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       688358          0
   1         2256     241450
   2            0      70056
   3           23          2
   4          418         11
   5          341         82
   6        21489          9
   7        57161          0
   8        57719          0
   9       114137          0
  10         3291          0
  11         1887          0
  12         7953          0
  13          526          0
  14         3037          0
  15        11425          0
  16         4501          0
  17         3287          0
  18         4643          0
  19         9121          0
over         6252         28

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1032547   0     3692  20 
      0 -79        0 -59        0 -39        0 -19   393414   1     1845  21 
      0 -78        0 -58        0 -38        0 -18        0   2     2892  22 
      0 -77        0 -57        0 -37        0 -17    10548   3     1420  23 
      0 -76        0 -56        0 -36        0 -16   123866   4      207  24 
      0 -75        0 -55        0 -35        0 -15     6100   5      220  25 
      0 -74        0 -54        0 -34        0 -14    84264   6      108  26 
      0 -73        0 -53        0 -33        0 -13    68085   7       11  27 
      0 -72        0 -52        0 -32        0 -12    84764   8        6  28 
      0 -71        0 -51        0 -31        0 -11   115040   9        1  29 
      0 -70        0 -50        0 -30        0 -10     3484  10        2  30 
      0 -69        0 -49        0 -29        0  -9     3334  11        2  31 
      0 -68        0 -48        0 -28        0  -8    12503  12        3  32 
      0 -67        0 -47        0 -27        0  -7     1384  13        1  33 
      0 -66        0 -46        0 -26        0  -6     4100  14        0  34 
      0 -65        0 -45        0 -25        0  -5    15384  15        0  35 
      0 -64        0 -44        0 -24        0  -4     9154  16        0  36 
      0 -63        0 -43        0 -23        0  -3     3532  17        1  37 
      0 -62        0 -42        0 -22        0  -2     6375  18        0  38 
      0 -61        0 -41        0 -21        0  -1    11669  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             |                                       
1800000 |                             |                                       
1700000 |                             |                                       
1600000 |                             |                                       
1500000 |                             |                                       
1400000 |                             |                                       
1300000 |                             |                                       
1200000 |                             |                                       
1100000 |                             |                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             oo                                      
200000 |                             oo                                      
100000 |                             oo  o    o                              
     0 |_________._________._________.o_ooooooooooooooooooooooooooooooo___o__
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,URR,WW).
  Nmbr  =         210.        Total   = 1999992.      Min thru -81 =       0.
  Type  =       WW|RR.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   10188.        0 thru  39 = 1999958.
  histend                     K       =  500000.       40 thru Max =      34.

  End  analysis of Test T210  at               17:23:54.406 980623
==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               17:23:54.750 980623
  End execution of Test T220  at               17:23:55.265 980623
  Duration                                            0.515 
Start  analysis of Test T220  at               17:23:55.718 980623

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.250    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.235    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999  163586  163589       0       0
  49998  321232  321231       0       0
  74997  463884  463891       0       0
  99996  612016  612015       0       0
 124995  750473  750480       0       0
 149994  889075  889074       0       0
 174993 1031891 1031906       0       0
 199992 1177157 1177160       0       0
 224991 1324075 1324074       0       0
 249990 1475039 1475039       0       0
 274989 1499999 1499999       0       0
 299988 1499999 1499999       0       0
 324987 1499999 1499999       0       0
 349986 1499999 1499999       0       0
 374985 1499999 1499999       0       0
 399984 1499999 1499999       0       0
 424983 1499999 1499999       0       0
 449982 1499999 1499999       0       0
 474981 1499999 1499999       0       0
 499980 1499999 1499999       0       0

  dim =    80, max = 1500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                        3333333333333333333333333333333333333333
                                                                                
                                       3                                        
                                                                                
                                      3                                         
                                                                                
                                     3                                          
                                                                                
                                    3                                           
                                                                                
                                   3                                            
                                                                                
                                  3                                             
                                                                                
                                 3                                              
                                                                                
                                3                                               
                                                                                
                               3                                                
                                                                                
                              3                                                 
                                                                                
                             3                                                  
                                                                                
                            3                                                   
                                                                                
                           3                                                    
                                                                                
                          3                                                     
                         3                                                      
                                                                                
                        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       674507          0
   1        16817     147255
   2            0     178134
   3           12          0
   4          741         18
   5         1440         53
   6        16811         15
   7        59776          2
   8       113971          0
   9        46501          1
  10         4801          1
  11         3353          0
  12        13037          0
  13         1434          0
  14          654          0
  15         6329          0
  16        13524          0
  17         1539          0
  18         8637          0
  19         6502          0
over         3652         10

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1011766   0     9213  20 
      0 -79        0 -59        0 -39        0 -19   478931   1      585  21 
      0 -78        0 -58        0 -38        0 -18        0   2     1396  22 
      0 -77        0 -57        0 -37        0 -17     8687   3     1343  23 
      0 -76        0 -56        0 -36        0 -16    37819   4      365  24 
      0 -75        0 -55        0 -35        0 -15     4506   5      168  25 
      0 -74        0 -54        0 -34        0 -14    41267   6       41  26 
      0 -73        0 -53        0 -33        0 -13    94445   7       15  27 
      0 -72        0 -52        0 -32        0 -12   173861   8        8  28 
      0 -71        0 -51        0 -31        0 -11    47968   9        4  29 
      0 -70        0 -50        0 -30        0 -10     6632  10        5  30 
      0 -69        0 -49        0 -29        0  -9     5485  11        1  31 
      0 -68        0 -48        0 -28        0  -8    24198  12        3  32 
      0 -67        0 -47        0 -27        0  -7     2037  13        0  33 
      0 -66        0 -46        0 -26        0  -6     1095  14        0  34 
      0 -65        0 -45        0 -25        0  -5     8681  15        0  35 
      0 -64        0 -44        0 -24        0  -4    20916  16        0  36 
      0 -63        0 -43        0 -23        0  -3     2238  17        0  37 
      0 -62        0 -42        0 -22        0  -2     9037  18        0  38 
      0 -61        0 -41        0 -21        0  -1     7233  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
1900000 |                             |                                       
1800000 |                             |                                       
1700000 |                             |                                       
1600000 |                             |                                       
1500000 |                             |                                       
1400000 |                             |                                       
1300000 |                             |                                       
1200000 |                             |                                       
1100000 |                             |                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             oo                                      
300000 |                             oo                                      
200000 |                             oo                                      
100000 |                             oo      o                               
     0 |_________._________._________.o_oooooooooooooooooooooooooooooo_______
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T220  at               17:23:56.500 980623
==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               17:23:56.875 980623
  End execution of Test T400  at               17:23:57.375 980623
  Duration                                            0.500 
Start  analysis of Test T400  at               17:23:57.390 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.140    0.140    0.000    0.000    0.000    0.000    0.000    0.000 
   0.140    0.140    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0     318       0       0
  24999   25848   24077       0       0
  49998   48794   51508       0       0
  74997   70933   80224       0       0
  99996   92624  107980       0       0
 124995  112877  139838       0       0
 149994  135100  166924       0       0
 174993  156445  195364       0       0
 199992  179344  224980       0       0
 224991  199997  253877       0       0
 249990  221427  282720       0       0
 274989  243446  320671       0       0
 299988  265331  352814       0       0
 324987  277625  380188       0       0
 349986  297619  407920       0       0
 374985  320627  435373       0       0
 399984  342645  465204       0       0
 424983  365611  492365       0       0
 449982  387255  499999       0       0
 474981  408512  499999       0       0
 499980  431824  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                    222222222222
                                                                   2            
                                                                  2             
                                                                 2              
                                                                2               
                                                               2                
                                                                                
                                                              2                 
                                                             2                  
                                                            2                   
                                                           2                   1
                                                          2                   1 
                                                         2                   1  
                                                        2                   1   
                                                                           1    
                                                       2                  1     
                                                      2                  1      
                                                     2                  1       
                                                    2                 11        
                                                   2                 1          
                                                  2                 1           
                                                 2                 1            
                                                2                 1             
                                                                 1              
                                               2                1               
                                              2                1                
                                             2                1                 
                                            2                1                  
                                                           11                   
                                           2                                    
                                                         11                     
                                          2             1                       
                                                       1                        
                                         2            1                         
                                        2            1                          
                                       2           11                           
                                      2           1                             
                                     2         111                              
                                    2         1                                 
                                   2         1                                  
                                            1                                   
                                  2        1                                    
                                 2        1                                     
                                2        1                                      
                               2        1                                       
                              2       11                                        
                                     1                                          
                             2      1                                           
                            2      1                                            
                           2      1                                             
                          2      1                                              
                         2     11                                               
                        2     1                                                 
                             1                                                  
                       2    1                                                   
                      2    1                                                    
                     2    1                                                     
                    2    1                                                      
                   2    1                                                       
                  2    1                                                        
                     11                                                         
                 2  1                                                           
                2  1                                                            
               2  1                                                             
              2  1                                                              
             2 11                                                               
            2 1                                                                 
             1                                                                  
           21                                                                   
          21                                                                    
         21                                                                     
        21                                                                      
       21                                                                       
      31                                                                        
     1                                                                          
    12                                                                          
   12                                                                           
  12                                                                            
 12                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0       852259          0
   1          919        984
   2         4544      22119
   3        14514      19925
   4        17731       3128
   5        17915       3342
   6        44686      22959
   7         7256      29066
   8         9018      26604
   9        17952       6129
  10        11344       3489
  11         1205       1994
  12          460       3307
  13          100       4248
  14            9        272
  15           19         37
  16           16         63
  17            9         35
  18           12         11
  19            3          4
over           23         21

 d = -25. 
Event 4.1. u[  13369] =   14944 <   14945; v[  14945] =   13344 <   13369.
b=12 c=2 u[  13345]:   14932   14940   14940   14940   14940   14940   14940
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944
 d = -24. 
Event 4.1. u[  13368] =   14944 <   14945; v[  14945] =   13344 <   13368.
b=12 c=2 u[  13345]:   14932   14940   14940   14940   14940   14940   14940
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944
Event 4.2. v[ 239080] =  270048 <  270049; u[ 270049] =  239056 <  239080.
b=11 c=2 v[ 239057]:  270037  270045  270045  270045  270045  270045  270045
                     270048  270048  270048  270048  270048  270048  270048
                     270048  270048  270048  270048  270048  270048  270048
                     270048  270048  270048
 d = -23. 
Event 4.1. u[  13367] =   14944 <   14945; v[  14945] =   13344 <   13367.
b=12 c=2 u[  13345]:   14932   14940   14940   14940   14940   14940   14940
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944
Event 4.2. v[ 239079] =  270048 <  270049; u[ 270049] =  239056 <  239079.
b=11 c=2 v[ 239057]:  270037  270045  270045  270045  270045  270045  270045
                     270048  270048  270048  270048  270048  270048  270048
                     270048  270048  270048  270048  270048  270048  270048
                     270048  270048
 d = -22. 
Event 4.1. u[  13366] =   14944 <   14945; v[  14945] =   13344 <   13366.
b=12 c=2 u[  13345]:   14932   14940   14940   14940   14940   14940   14940
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944   14944   14944   14944
                      14944
Event 4.2. v[ 239078] =  270048 <  270049; u[ 270049] =  239056 <  239078.
b=11 c=2 v[ 239057]:  270037  270045  270045  270045  270045  270045  270045
                     270048  270048  270048  270048  270048  270048  270048
                     270048  270048  270048  270048  270048  270048  270048
                     270048
 d = -21. 
Event 4.2. v[   4000] =    3616 <    3617; u[   3617] =    3979 <    4000.
b=10 c=2 v[   3980]:    3606    3613    3613    3613    3616    3616    3616
                       3616    3616    3616    3616    3616    3616    3616
                       3616    3616    3616    3616    3616    3616    3616
Event 4.1. u[  13365] =   14944 <   14945; v[  14945] =   13344 <   13365.
b=12 c=2 u[  13345]:   14932   14940   14940   14940   14940   14940   14940
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944   14944   14944   14944
Event 4.1. u[ 225981] =  200840 <  200841; v[ 200841] =  225960 <  225981.
b=12 c=2 u[ 225961]:  200828  200828  200836  200836  200836  200836  200836
                     200840  200840  200840  200840  200840  200840  200840
                     200840  200840  200840  200840  200840  200840  200840
Event 4.2. v[ 239077] =  270048 <  270049; u[ 270049] =  239056 <  239077.
b=11 c=2 v[ 239057]:  270037  270045  270045  270045  270045  270045  270045
                     270048  270048  270048  270048  270048  270048  270048
                     270048  270048  270048  270048  270048  270048  270048
 d = -20. 
Event 4.2. v[   3999] =    3616 <    3617; u[   3617] =    3979 <    3999.
b=10 c=2 v[   3980]:    3606    3613    3613    3613    3616    3616    3616
                       3616    3616    3616    3616    3616    3616    3616
                       3616    3616    3616    3616    3616    3616
Event 4.1. u[  13364] =   14944 <   14945; v[  14945] =   13344 <   13364.
b=12 c=2 u[  13345]:   14932   14940   14940   14940   14940   14940   14940
                      14944   14944   14944   14944   14944   14944   14944
                      14944   14944   14944   14944   14944   14944
Event 4.1. u[ 225980] =  200840 <  200841; v[ 200841] =  225960 <  225980.
b=12 c=2 u[ 225961]:  200828  200828  200836  200836  200836  200836  200836
                     200840  200840  200840  200840  200840  200840  200840
                     200840  200840  200840  200840  200840  200840
Event 4.1. u[ 317028] =  270912 <  270913; v[ 270913] =  317008 <  317028.
b=16 c=2 u[ 317009]:  270896  270896  270896  270910  270910  270910  270910
                     270912  270912  270912  270912  270912  270912  270912
                     270912  270912  270912  270912  270912  270912
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     62943     62943         0         0     -1
 -2     59222     61621         0         0     -2
 -3     48466     53475         0         0     -3
 -4     48119     51681         0         0     -4
 -5     47262     40334         0         0     -5
 -6     40918     21032         0         0     -6
 -7     23635     15500         0         0     -7
 -8     22207     13762         0         0     -8
 -9      8347     13073         0         0     -9
-10      2975      1209         0         0    -10
-11      2394       913         0         0    -11
-12      1964       664         0         0    -12
-13      1832       646         0         0    -13
-14       571       584         0         0    -14
-15       543       498         0         0    -15
-16       525       485         0         0    -16
-17        18       345         0         0    -17
-18         5        14         0         0    -18
-19         4         6         0         0    -19
-20         3         3         0         0    -20
-21         2         2         0         0    -21
-22         1         1         0         0    -22
-23         1         1         0         0    -23
-24         1         1         0         0    -24
-25         1         0         0         0    -25

Totals / Min / Under -25:  
       371959    338793         0         0
           25        24         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        6 -20   957704   0       22  20 
      0 -79        0 -59        0 -39       10 -19    34792   1       24  21 
      0 -78        0 -58        0 -38       19 -18    19433   2       19  22 
      0 -77        0 -57        0 -37      363 -17    24322   3       19  23 
      0 -76        0 -56        0 -36     1010 -16    27267   4       19  24 
      0 -75        0 -55        0 -35     1041 -15    26911   5       19  25 
      0 -74        0 -54        0 -34     1155 -14    50381   6       18  26 
      0 -73        0 -53        0 -33     2478 -13     7867   7       17  27 
      0 -72        0 -52        0 -32     2628 -12     9585   8       17  28 
      0 -71        0 -51        0 -31     3307 -11    18262   9       17  29 
      0 -70        0 -50        0 -30     4184 -10    11615  10       17  30 
      0 -69        0 -49        0 -29    21420  -9     1452  11       17  31 
      0 -68        0 -48        0 -28    35969  -8      696  12       17  32 
      0 -67        0 -47        0 -27    39135  -7      280  13       17  33 
      0 -66        0 -46        0 -26    61950  -6      170  14       17  34 
      0 -65        0 -45        1 -25    87596  -5      127  15       17  35 
      0 -64        0 -44        2 -24    99800  -4       96  16       17  36 
      0 -63        0 -43        2 -23   101941  -3       34  17       17  37 
      0 -62        0 -42        2 -22   120843  -2       34  18       17  38 
      0 -61        0 -41        4 -21   125886  -1       23  19       17  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             o                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                          oooo                                       
 50000 |                       ooooooo     o                                 
     0 |____ooooooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   = 1931863.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -25.      -80 thru  -1 =  710752.
  Behav =     Relaxed.        Maximum =   11302.        0 thru  39 = 1191412.
  histend                     K       =  500000.       40 thru Max =   29699.

  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    14350   0       73  20 
      0 -79        0 -59        0 -39        0 -19    33873   1       42  21 
      0 -78        0 -58        0 -38        0 -18    56224   2       32  22 
      0 -77        0 -57        0 -37        0 -17    67605   3       31  23 
      0 -76        0 -56        0 -36        0 -16    69654   4       28  24 
      0 -75        0 -55        0 -35        0 -15    81500   5       24  25 
      0 -74        0 -54        0 -34        0 -14   100873   6       20  26 
      0 -73        0 -53        0 -33        0 -13   101617   7       20  27 
      0 -72        0 -52        0 -32        0 -12    89957   8       17  28 
      0 -71        0 -51        0 -31        0 -11    80245   9       17  29 
      0 -70        0 -50        0 -30        0 -10    66986  10       17  30 
      0 -69        0 -49        0 -29        0  -9    54004  11       17  31 
      0 -68        0 -48        0 -28        0  -8    31707  12       17  32 
      0 -67        0 -47        0 -27        0  -7    20042  13       17  33 
      0 -66        0 -46        0 -26        0  -6    15597  14       17  34 
      0 -65        0 -45        0 -25        0  -5    11820  15       17  35 
      0 -64        0 -44        0 -24        0  -4     3245  16       17  36 
      0 -63        0 -43        0 -23        0  -3     1783  17       17  37 
      0 -62        0 -42        0 -22        0  -2      387  18       17  38 
      0 -61        0 -41        0 -21        0  -1      133  19       17  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |                                       
120000 |                             |                                       
110000 |                             |                                       
100000 |                             |     oo                                
 90000 |                             |     oo                                
 80000 |                             |    ooooo                              
 70000 |                             |    ooooo                              
 60000 |                             |  oooooooo                             
 50000 |                             | oooooooooo                            
 40000 |                             | oooooooooo                            
 30000 |                             |oooooooooooo                           
 20000 |                             |ooooooooooooo                          
 10000 |                             oooooooooooooooo                        
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         400.        Total   =  999674.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   68138.        0 thru  39 =  902076.
  histend                     K       =  500000.       40 thru Max =   97598.

  End  analysis of Test T400  at               17:23:58.796 980623
==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               17:23:59.140 980623
  End execution of Test T410  at               17:23:59.640 980623
  Duration                                            0.500 
Start  analysis of Test T410  at               17:23:59.843 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.156    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.156    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0     196       0       0
  24999   15252   38771       0       0
  49998   33338   68602       0       0
  74997   57216   93693       0       0
  99996   80744  120792       0       0
 124995  104506  146155       0       0
 149994  128898  171155       0       0
 174993  153828  196427       0       0
 199992  178732  221757       0       0
 224991  203218  246283       0       0
 249990  228732  270776       0       0
 274989  254066  295877       0       0
 299988  279226  320702       0       0
 324987  304138  346416       0       0
 349986  328481  371779       0       0
 374985  353260  396603       0       0
 399984  378296  421925       0       0
 424983  402986  448653       0       0
 449982  426300  473643       0       0
 474981  451301  499797       0       0
 499980  475156  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                           22222
                                                                          2     
                                                                         2      
                                                                        2      1
                                                                       2      1 
                                                                      2      1  
                                                                     2      1   
                                                                    2      1    
                                                                   2      1     
                                                                  2      1      
                                                                 2      1       
                                                                2      1        
                                                               2      1         
                                                              2      1          
                                                             2      1           
                                                            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                                                  
                            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     11                                                             
          2     1                                                               
               1                                                                
         2    1                                                                 
       22    1                                                                  
      2     1                                                                   
           1                                                                    
     2                                                                          
    2    11                                                                     
        1                                                                       
   2   1                                                                        
  2  11                                                                         
    1                                                                           
 211                                                                            
                                                                                
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       828131          0
   1         2427       2513
   2         7443      39211
   3        18717       5414
   4        29757       8350
   5        52532      11514
   6        22420      18659
   7         3501      47180
   8         2311      24131
   9         1100      10800
  10        28540       1295
  11          707       1663
  12         1531        609
  13          457        136
  14           47         64
  15           10        261
  16          310         35
  17            7          9
  18           22          0
  19            2          0
over           24         21

 d = -24. 
Event 4.1. u[  10280] =    5624 <    5625; v[   5625] =   10256 <   10280.
b=13 c=2 u[  10257]:    5611    5611    5622    5622    5622    5622    5622
                       5624    5624    5624    5624    5624    5624    5624
                       5624    5624    5624    5624    5624    5624    5624
                       5624    5624    5624
 d = -23. 
Event 4.1. u[  10279] =    5624 <    5625; v[   5625] =   10256 <   10279.
b=13 c=2 u[  10257]:    5611    5611    5622    5622    5622    5622    5622
                       5624    5624    5624    5624    5624    5624    5624
                       5624    5624    5624    5624    5624    5624    5624
                       5624    5624
 d = -22. 
Event 4.1. u[  10278] =    5624 <    5625; v[   5625] =   10256 <   10278.
b=13 c=2 u[  10257]:    5611    5611    5622    5622    5622    5622    5622
                       5624    5624    5624    5624    5624    5624    5624
                       5624    5624    5624    5624    5624    5624    5624
                       5624
 d = -21. 
Event 4.1. u[    608] =     184 <     185; v[    185] =     587 <     608.
b=2 c=1 u[    588]:     182     182     182     182     182     184     184
                        184     184     184     184     184     184     184
                        184     184     184     184     184     184     184
Event 4.1. u[   1128] =     544 <     545; v[    545] =    1107 <    1128.
b=2 c=1 u[   1108]:     542     542     542     542     542     544     544
                        544     544     544     544     544     544     544
                        544     544     544     544     544     544     544
Event 4.1. u[   1280] =     616 <     617; v[    617] =    1259 <    1280.
b=4 c=2 u[   1260]:     612     614     614     614     614     614     616
                        616     616     616     616     616     616     616
                        616     616     616     616     616     616     616
Event 4.1. u[   1432] =     688 <     689; v[    689] =    1411 <    1432.
b=4 c=2 u[   1412]:     684     686     686     686     686     686     688
                        688     688     688     688     688     688     688
                        688     688     688     688     688     688     688
Event 4.1. u[   1768] =     864 <     865; v[    865] =    1747 <    1768.
b=2 c=1 u[   1748]:     862     862     862     862     862     864     864
                        864     864     864     864     864     864     864
                        864     864     864     864     864     864     864
Event 4.1. u[   1992] =    1032 <    1033; v[   1033] =    1971 <    1992.
b=4 c=2 u[   1972]:    1028    1030    1030    1030    1030    1030    1032
                       1032    1032    1032    1032    1032    1032    1032
                       1032    1032    1032    1032    1032    1032    1032
Event 4.1. u[   2104] =    1096 <    1097; v[   1097] =    2083 <    2104.
b=3 c=2 u[   2084]:    1093    1095    1095    1095    1095    1095    1096
                       1096    1096    1096    1096    1096    1096    1096
                       1096    1096    1096    1096    1096    1096    1096
Event 4.1. u[   2320] =    1224 <    1225; v[   1225] =    2299 <    2320.
b=4 c=2 u[   2300]:    1220    1222    1222    1222    1222    1222    1224
                       1224    1224    1224    1224    1224    1224    1224
                       1224    1224    1224    1224    1224    1224    1224
Event 4.1. u[   2464] =    1304 <    1305; v[   1305] =    2443 <    2464.
b=4 c=2 u[   2444]:    1300    1302    1302    1302    1302    1302    1304
                       1304    1304    1304    1304    1304    1304    1304
                       1304    1304    1304    1304    1304    1304    1304
Event 4.1. u[   2752] =    1464 <    1465; v[   1465] =    2731 <    2752.
b=4 c=2 u[   2732]:    1460    1462    1462    1462    1462    1462    1464
                       1464    1464    1464    1464    1464    1464    1464
                       1464    1464    1464    1464    1464    1464    1464
Event 4.1. u[   2824] =    1504 <    1505; v[   1505] =    2803 <    2824.
b=4 c=2 u[   2804]:    1500    1502    1502    1502    1502    1502    1504
                       1504    1504    1504    1504    1504    1504    1504
                       1504    1504    1504    1504    1504    1504    1504
Event 4.1. u[ 487896] =  464016 <  464017; v[ 464017] =  487875 <  487896.
b=4 c=2 u[ 487876]:  464012  464014  464014  464014  464014  464014  464016
                     464016  464016  464016  464016  464016  464016  464016
                     464016  464016  464016  464016  464016  464016  464016
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     52292     52292         0         0     -1
 -2     60938     58856         0         0     -2
 -3     60954     59003         0         0     -3
 -4     60597     58909         0         0     -4
 -5     59845     53856         0         0     -5
 -6     41639     40621         0         0     -6
 -7     24107     38045         0         0     -7
 -8     22470     32824         0         0     -8
 -9     20944     21337         0         0     -9
-10      6688      5058         0         0    -10
-11      1843      2272         0         0    -11
-12      1582       708         0         0    -12
-13      1459       643         0         0    -13
-14      1446       456         0         0    -14
-15      1439       386         0         0    -15
-16      1419       359         0         0    -16
-17      1294       347         0         0    -17
-18       513        21         0         0    -18
-19       269         6         0         0    -19
-20       264         4         0         0    -20
-21       250         0         0         0    -21
-22         1         0         0         0    -22
-23         1         0         0         0    -23
-24         1         0         0         0    -24
-25         0         0         0         0    -25

Totals / Min / Under -25:  
       422255    426003         0         0
           24        20         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40      268 -20   920193   0       21  20 
      0 -79        0 -59        0 -39      275 -19    17241   1       23  21 
      0 -78        0 -58        0 -38      534 -18    10976   2       20  22 
      0 -77        0 -57        0 -37     1641 -17    21099   3       20  23 
      0 -76        0 -56        0 -36     1778 -16    31851   4       20  24 
      0 -75        0 -55        0 -35     1825 -15    54386   5       19  25 
      0 -74        0 -54        0 -34     1902 -14    23144   6       21  26 
      0 -73        0 -53        0 -33     2102 -13     3975   7       18  27 
      0 -72        0 -52        0 -32     2290 -12     2555   8       19  28 
      0 -71        0 -51        0 -31     4115 -11     1207   9       18  29 
      0 -70        0 -50        0 -30    11746 -10    28612  10       17  30 
      0 -69        0 -49        0 -29    42281  -9      767  11       17  31 
      0 -68        0 -48        0 -28    55294  -8     1583  12       17  32 
      0 -67        0 -47        0 -27    62152  -7      492  13       17  33 
      0 -66        0 -46        0 -26    82260  -6       81  14       17  34 
      0 -65        0 -45        0 -25   113701  -5       35  15       17  35 
      0 -64        0 -44        1 -24   119506  -4      334  16       17  36 
      0 -63        0 -43        1 -23   119957  -3       28  17       17  37 
      0 -62        0 -42        1 -22   119794  -2       43  18       17  38 
      0 -61        0 -41      250 -21   104584  -1       23  19       17  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                        oooooo                                       
 50000 |                     ooooooooo    o                                  
     0 |_____oooooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   = 1975190.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -24.      -80 thru  -1 =  848258.
  Behav =     Relaxed.        Maximum =    3778.        0 thru  39 = 1118994.
  histend                     K       =  500000.       40 thru Max =    7938.

  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     2655   0      374  20 
      0 -79        0 -59        0 -39        0 -19    14814   1      328  21 
      0 -78        0 -58        0 -38        0 -18    73217   2       56  22 
      0 -77        0 -57        0 -37        0 -17    77720   3       42  23 
      0 -76        0 -56        0 -36        0 -16    84464   4       38  24 
      0 -75        0 -55        0 -35        0 -15   100631   5       33  25 
      0 -74        0 -54        0 -34        0 -14   120834   6       22  26 
      0 -73        0 -53        0 -33        0 -13   120296   7       20  27 
      0 -72        0 -52        0 -32        0 -12   107779   8       19  28 
      0 -71        0 -51        0 -31        0 -11    81871   9       19  29 
      0 -70        0 -50        0 -30        0 -10    78106  10       18  30 
      0 -69        0 -49        0 -29        0  -9    56618  11       18  31 
      0 -68        0 -48        0 -28        0  -8    24760  12       18  32 
      0 -67        0 -47        0 -27        0  -7     6336  13       17  33 
      0 -66        0 -46        0 -26        0  -6     5059  14       17  34 
      0 -65        0 -45        0 -25        0  -5     4061  15       17  35 
      0 -64        0 -44        0 -24        0  -4     3029  16       17  36 
      0 -63        0 -43        0 -23        0  -3     2571  17       17  37 
      0 -62        0 -42        0 -22        0  -2      785  18       17  38 
      0 -61        0 -41        0 -21        0  -1      407  19       17  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |                                       
120000 |                             |     oo                                
110000 |                             |     oo                                
100000 |                             |    oooo                               
 90000 |                             |    oooo                               
 80000 |                             |   oooooo                              
 70000 |                             | ooooooooo                             
 60000 |                             | ooooooooo                             
 50000 |                             | oooooooooo                            
 40000 |                             | oooooooooo                            
 30000 |                             | oooooooooo                            
 20000 |                             | ooooooooooo                           
 10000 |                             |oooooooooooo                           
     0 |_________._________._________oooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         410.        Total   =  999719.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   24819.        0 thru  39 =  967137.
  histend                     K       =  500000.       40 thru Max =   32582.

  End  analysis of Test T410  at               17:24:01.312 980623
==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               17:24:01.656 980623
  End execution of Test T420  at               17:24:02.171 980623
  Duration                                            0.515 
Start  analysis of Test T420  at               17:24:02.625 980623

Thread start, stop, and dur times.
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 
   0.156    0.172    0.000    0.000    0.000    0.000    0.000    0.000 
   0.141    0.157    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     135       0       0       0
  24999   21102   30608       0       0
  49998   41666   59357       0       0
  74997   63906   86301       0       0
  99996   88760  112489       0       0
 124995  111627  139442       0       0
 149994  133952  167739       0       0
 174993  156368  196243       0       0
 199992  178330  224979       0       0
 224991  200002  251802       0       0
 249990  223287  278996       0       0
 274989  246621  305581       0       0
 299988  270048  334235       0       0
 324987  292096  362080       0       0
 349986  314248  390749       0       0
 374985  336112  420163       0       0
 399984  358400  446572       0       0
 424983  379409  472882       0       0
 449982  403426  499788       0       0
 474981  426877  499999       0       0
 499980  450149  499999       0       0

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


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

   i       deltas    strings 
   0       802361          0
   1         3350      21276
   2         6453      29136
   3        53176       7860
   4        20199      13764
   5        63266      53254
   6        27113      32878
   7         7876      16830
   8         2225       6963
   9         8891      11651
  10         2729       1513
  11          876       1096
  12          623       1034
  13          419        145
  14          184         24
  15           11         89
  16           89         97
  17          100          7
  18           32          3
  19            1          1
over           16         14

 d = -21. 
Event 4.1. u[   1599] =    1600 <    1601; v[   1601] =    1578 <    1599.
b=4 c=2 u[   1579]:    1596    1598    1598    1598    1598    1600    1600
                       1600    1600    1600    1600    1600    1600    1600
                       1600    1600    1600    1600    1600    1600    1600
Event 4.1. u[   2079] =    2000 <    2001; v[   2001] =    2058 <    2079.
b=4 c=2 u[   2059]:    1996    1998    1998    1998    1998    2000    2000
                       2000    2000    2000    2000    2000    2000    2000
                       2000    2000    2000    2000    2000    2000    2000
Event 4.1. u[   2231] =    2104 <    2105; v[   2105] =    2210 <    2231.
b=4 c=2 u[   2211]:    2100    2102    2102    2102    2102    2104    2104
                       2104    2104    2104    2104    2104    2104    2104
                       2104    2104    2104    2104    2104    2104    2104
Event 4.1. u[   2327] =    2168 <    2169; v[   2169] =    2306 <    2327.
b=4 c=2 u[   2307]:    2164    2166    2166    2166    2166    2168    2168
                       2168    2168    2168    2168    2168    2168    2168
                       2168    2168    2168    2168    2168    2168    2168
Event 4.1. u[   4775] =    4272 <    4273; v[   4273] =    4754 <    4775.
b=4 c=2 u[   4755]:    4268    4270    4270    4270    4270    4272    4272
                       4272    4272    4272    4272    4272    4272    4272
                       4272    4272    4272    4272    4272    4272    4272
Event 4.1. u[   5679] =    4920 <    4921; v[   4921] =    5658 <    5679.
b=4 c=2 u[   5659]:    4916    4918    4918    4918    4918    4920    4920
                       4920    4920    4920    4920    4920    4920    4920
                       4920    4920    4920    4920    4920    4920    4920
Event 4.1. u[   7599] =    6616 <    6617; v[   6617] =    7578 <    7599.
b=4 c=2 u[   7579]:    6612    6614    6614    6614    6614    6616    6616
                       6616    6616    6616    6616    6616    6616    6616
                       6616    6616    6616    6616    6616    6616    6616
Event 4.1. u[   7679] =    6664 <    6665; v[   6665] =    7658 <    7679.
b=4 c=2 u[   7659]:    6660    6662    6662    6662    6662    6664    6664
                       6664    6664    6664    6664    6664    6664    6664
                       6664    6664    6664    6664    6664    6664    6664
Event 4.1. u[   8439] =    7344 <    7345; v[   7345] =    8418 <    8439.
b=4 c=2 u[   8419]:    7340    7342    7342    7342    7342    7344    7344
                       7344    7344    7344    7344    7344    7344    7344
                       7344    7344    7344    7344    7344    7344    7344
Event 4.1. u[  10183] =    8760 <    8761; v[   8761] =   10162 <   10183.
b=4 c=2 u[  10163]:    8756    8758    8758    8758    8758    8760    8760
                       8760    8760    8760    8760    8760    8760    8760
                       8760    8760    8760    8760    8760    8760    8760
Event 4.1. u[  11455] =    9784 <    9785; v[   9785] =   11434 <   11455.
b=4 c=2 u[  11435]:    9780    9782    9782    9782    9782    9784    9784
                       9784    9784    9784    9784    9784    9784    9784
                       9784    9784    9784    9784    9784    9784    9784
Event 4.1. u[  11727] =    9976 <    9977; v[   9977] =   11706 <   11727.
b=4 c=2 u[  11707]:    9972    9974    9974    9974    9974    9976    9976
                       9976    9976    9976    9976    9976    9976    9976
                       9976    9976    9976    9976    9976    9976    9976
Event 4.1. u[  11839] =   10048 <   10049; v[  10049] =   11818 <   11839.
b=4 c=2 u[  11819]:   10044   10046   10046   10046   10046   10048   10048
                      10048   10048   10048   10048   10048   10048   10048
                      10048   10048   10048   10048   10048   10048   10048
Event 4.1. u[  11959] =   10128 <   10129; v[  10129] =   11938 <   11959.
b=4 c=2 u[  11939]:   10124   10126   10126   10126   10126   10128   10128
                      10128   10128   10128   10128   10128   10128   10128
                      10128   10128   10128   10128   10128   10128   10128
Event 4.1. u[ 352055] =  316136 <  316137; v[ 316137] =  352034 <  352055.
b=4 c=2 u[ 352035]:  316132  316134  316134  316134  316134  316136  316136
                     316136  316136  316136  316136  316136  316136  316136
                     316136  316136  316136  316136  316136  316136  316136
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     75227     75227         0         0     -1
 -2     64694     71507         0         0     -2
 -3     61789     64392         0         0     -3
 -4     60791     63512         0         0     -4
 -5     41423     28953         0         0     -5
 -6     22312      9101         0         0     -6
 -7     17520      7157         0         0     -7
 -8     15656      6034         0         0     -8
 -9      3672      5573         0         0     -9
-10      1408      2544         0         0    -10
-11       991      1398         0         0    -11
-12       546       496         0         0    -12
-13       524       448         0         0    -13
-14       512       410         0         0    -14
-15       473       371         0         0    -15
-16       442       364         0         0    -16
-17       379       341         0         0    -17
-18       124       122         0         0    -18
-19       104        76         0         0    -19
-20        97        73         0         0    -20
-21        91         0         0         0    -21
-22         0         0         0         0    -22

Totals / Min / Under -25:  
       368775    338099         0         0
           21        20         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40      170 -20   941881   0       20  20 
      0 -79        0 -59        0 -39      180 -19    38660   1       14  21 
      0 -78        0 -58        0 -38      246 -18    33598   2       16  22 
      0 -77        0 -57        0 -37      720 -17    69159   3       14  23 
      0 -76        0 -56        0 -36      806 -16    32854   4       14  24 
      0 -75        0 -55        0 -35      844 -15    66831   5       14  25 
      0 -74        0 -54        0 -34      922 -14    29672   6       14  26 
      0 -73        0 -53        0 -33      972 -13     8983   7       14  27 
      0 -72        0 -52        0 -32     1042 -12     2436   8       14  28 
      0 -71        0 -51        0 -31     2389 -11     8970   9       14  29 
      0 -70        0 -50        0 -30     3952 -10     2775  10       14  30 
      0 -69        0 -49        0 -29     9245  -9      919  11       14  31 
      0 -68        0 -48        0 -28    21690  -8      663  12       14  32 
      0 -67        0 -47        0 -27    24677  -7      452  13       14  33 
      0 -66        0 -46        0 -26    31413  -6      213  14       14  34 
      0 -65        0 -45        0 -25    70376  -5       33  15       14  35 
      0 -64        0 -44        0 -24   124303  -4      109  16       14  36 
      0 -63        0 -43        0 -23   126181  -3      119  17       14  37 
      0 -62        0 -42        0 -22   136201  -2       47  18       14  38 
      0 -61        0 -41       91 -21   150454  -1       16  19       14  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                            oo                                       
100000 |                         ooooo                                       
 50000 |                        oooooo  o o                                  
     0 |________ooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   = 1950161.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -21.      -80 thru  -1 =  706874.
  Behav =     Relaxed.        Maximum =    2160.        0 thru  39 = 1238678.
  histend                     K       =  500000.       40 thru Max =    4609.

  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    23860   0      197  20 
      0 -79        0 -59        0 -39        0 -19    35310   1      116  21 
      0 -78        0 -58        0 -38        0 -18    79650   2       21  22 
      0 -77        0 -57        0 -37        0 -17    94507   3       21  23 
      0 -76        0 -56        0 -36        0 -16    95519   4       20  24 
      0 -75        0 -55        0 -35        0 -15   137456   5       20  25 
      0 -74        0 -54        0 -34        0 -14   129056   6       16  26 
      0 -73        0 -53        0 -33        0 -13   112075   7       14  27 
      0 -72        0 -52        0 -32        0 -12    83093   8       14  28 
      0 -71        0 -51        0 -31        0 -11    71232   9       14  29 
      0 -70        0 -50        0 -30        0 -10    49543  10       14  30 
      0 -69        0 -49        0 -29        0  -9    16074  11       14  31 
      0 -68        0 -48        0 -28        0  -8     5936  12       14  32 
      0 -67        0 -47        0 -27        0  -7     3511  13       14  33 
      0 -66        0 -46        0 -26        0  -6     2467  14       14  34 
      0 -65        0 -45        0 -25        0  -5     2019  15       14  35 
      0 -64        0 -44        0 -24        0  -4     1690  16       14  36 
      0 -63        0 -43        0 -23        0  -3     1360  17       14  37 
      0 -62        0 -42        0 -22        0  -2      325  18       14  38 
      0 -61        0 -41        0 -21        0  -1      211  19       14  39

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

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         420.        Total   =  999801.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   49834.        0 thru  39 =  945487.
  histend                     K       =  500000.       40 thru Max =   54314.

  End  analysis of Test T420  at               17:24:04.062 980623
==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               17:24:04.421 980623
  End execution of Test T700  at               17:24:04.921 980623
  Duration                                            0.500 
Start  analysis of Test T700  at               17:24:04.921 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.157    0.157    0.000    0.000    0.000    0.000    0.000    0.000 
   0.157    0.157    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     966       0  499999  499999
  24999   28323   21826       0       0
  49998   53860   46243       0       0
  74997   79411   70714       0       0
  99996  105004   95190       0       0
 124995  130995  119344       0       0
 149994  156483  143554       0       0
 174993  182440  167778       0       0
 199992  207480  192730       0       0
 224991  232931  217098       0       0
 249990  258202  241962       0       0
 274989  282416  267090       0       0
 299988  306648  293144       0       0
 324987  329859  320130       0       0
 349986  355097  344586       0       0
 374985  382539  367578       0       0
 399984  407659  392522       0       0
 424983  432268  417473       0       0
 449982  457275  442481       0       0
 474981  482123  467778       0       0
 499980  499999  492751       0       0

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


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

   i       deltas    strings 
   0       787766          0
   1         2204      61254
   2         4721      21863
   3        37256       4521
   4        89546       7192
   5        53356      19974
   6         5775      17422
   7         1694      57339
   8         1117       5830
   9         1215       1225
  10          628        512
  11        13696      13677
  12          552        583
  13          133        420
  14          163        201
  15          106        132
  16           17         13
  17            8          6
  18            0          0
  19           20         33
over           17         33

 d = -25. 
Event 7.1. u[ 474001] =  481128 <  481129; v[ 481129] =  473976 <  474001.
b=11 c=2 u[ 473977]:  481117  481127  481127  481127  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128  481128  481128
 d = -24. 
Event 7.1. u[ 474000] =  481128 <  481129; v[ 481129] =  473976 <  474000.
b=11 c=2 u[ 473977]:  481117  481127  481127  481127  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128  481128
 d = -23. 
Event 7.1. u[ 473999] =  481128 <  481129; v[ 481129] =  473976 <  473999.
b=11 c=2 u[ 473977]:  481117  481127  481127  481127  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128
 d = -22. 
Event 7.2. v[ 168427] =  161272 <  161273; u[ 161273] =  168405 <  168427.
b=0 c=0 v[ 168406]:  161272  161272  161272  161272  161272  161272  161272
                     161272  161272  161272  161272  161272  161272  161272
                     161272  161272  161272  161272  161272  161272  161272
                     161272
Event 7.2. v[ 168491] =  161312 <  161313; u[ 161313] =  168469 <  168491.
b=0 c=0 v[ 168470]:  161312  161312  161312  161312  161312  161312  161312
                     161312  161312  161312  161312  161312  161312  161312
                     161312  161312  161312  161312  161312  161312  161312
                     161312
Event 7.2. v[ 168555] =  161352 <  161353; u[ 161353] =  168533 <  168555.
b=0 c=0 v[ 168534]:  161352  161352  161352  161352  161352  161352  161352
                     161352  161352  161352  161352  161352  161352  161352
                     161352  161352  161352  161352  161352  161352  161352
                     161352
Event 7.2. v[ 168619] =  161392 <  161393; u[ 161393] =  168597 <  168619.
b=0 c=0 v[ 168598]:  161392  161392  161392  161392  161392  161392  161392
                     161392  161392  161392  161392  161392  161392  161392
                     161392  161392  161392  161392  161392  161392  161392
                     161392
Event 7.2. v[ 231635] =  223792 <  223793; u[ 223793] =  231613 <  231635.
b=0 c=0 v[ 231614]:  223792  223792  223792  223792  223792  223792  223792
                     223792  223792  223792  223792  223792  223792  223792
                     223792  223792  223792  223792  223792  223792  223792
                     223792
Event 7.2. v[ 231803] =  223928 <  223929; u[ 223929] =  231781 <  231803.
b=0 c=0 v[ 231782]:  223928  223928  223928  223928  223928  223928  223928
                     223928  223928  223928  223928  223928  223928  223928
                     223928  223928  223928  223928  223928  223928  223928
                     223928
Event 7.1. u[ 473998] =  481128 <  481129; v[ 481129] =  473976 <  473998.
b=11 c=2 u[ 473977]:  481117  481127  481127  481127  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128  481128  481128  481128  481128  481128  481128
                     481128
 d = -21. 
Event 7.2. v[ 168426] =  161272 <  161273; u[ 161273] =  168405 <  168426.
b=0 c=0 v[ 168406]:  161272  161272  161272  161272  161272  161272  161272
                     161272  161272  161272  161272  161272  161272  161272
                     161272  161272  161272  161272  161272  161272  161272
Event 7.2. v[ 168490] =  161312 <  161313; u[ 161313] =  168469 <  168490.
b=0 c=0 v[ 168470]:  161312  161312  161312  161312  161312  161312  161312
                     161312  161312  161312  161312  161312  161312  161312
                     161312  161312  161312  161312  161312  161312  161312
Event 7.2. v[ 168554] =  161352 <  161353; u[ 161353] =  168533 <  168554.
b=0 c=0 v[ 168534]:  161352  161352  161352  161352  161352  161352  161352
                     161352  161352  161352  161352  161352  161352  161352
                     161352  161352  161352  161352  161352  161352  161352
Event 7.2. v[ 168618] =  161392 <  161393; u[ 161393] =  168597 <  168618.
b=0 c=0 v[ 168598]:  161392  161392  161392  161392  161392  161392  161392
                     161392  161392  161392  161392  161392  161392  161392
                     161392  161392  161392  161392  161392  161392  161392
Event 7.2. v[ 231634] =  223792 <  223793; u[ 223793] =  231613 <  231634.
b=0 c=0 v[ 231614]:  223792  223792  223792  223792  223792  223792  223792
                     223792  223792  223792  223792  223792  223792  223792
                     223792  223792  223792  223792  223792  223792  223792
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     73773     73773         0         0     -1
 -2     84360     60822         0         0     -2
 -3     57062     60196         0         0     -3
 -4     47326     50757         0         0     -4
 -5     13257     37646         0         0     -5
 -6      9514     35362         0         0     -6
 -7      8920     34715         0         0     -7
 -8      8337     32002         0         0     -8
 -9      7976      7938         0         0     -9
-10      7538      7676         0         0    -10
-11       521       880         0         0    -11
-12       331       443         0         0    -12
-13       110       257         0         0    -13
-14        68       115         0         0    -14
-15        36        34         0         0    -15
-16        35        24         0         0    -16
-17        31        18         0         0    -17
-18        28        18         0         0    -18
-19        14        16         0         0    -19
-20         1        10         0         0    -20
-21         1         6         0         0    -21
-22         1         6         0         0    -22
-23         1         0         0         0    -23
-24         1         0         0         0    -24
-25         1         0         0         0    -25

Totals / Min / Under -25:  
       319243    402714         0         0
           25        22         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40       11 -20   911464   0       21  20 
      0 -79        0 -59        0 -39       30 -19    55529   1       18  21 
      0 -78        0 -58        0 -38       46 -18    57880   2       15  22 
      0 -77        0 -57        0 -37       49 -17    45821   3       15  23 
      0 -76        0 -56        0 -36       59 -16    97963   4       15  24 
      0 -75        0 -55        0 -35       70 -15    61375   5       15  25 
      0 -74        0 -54        0 -34      183 -14    10406   6       15  26 
      0 -73        0 -53        0 -33      367 -13     3782   7       14  27 
      0 -72        0 -52        0 -32      774 -12     1704   8       13  28 
      0 -71        0 -51        0 -31     1401 -11     1409   9       13  29 
      0 -70        0 -50        0 -30    15214 -10      719  10       13  30 
      0 -69        0 -49        0 -29    15914  -9    13773  11       13  31 
      0 -68        0 -48        0 -28    40339  -8      622  12       13  32 
      0 -67        0 -47        0 -27    43635  -7      201  13       13  33 
      0 -66        0 -46        0 -26    44876  -6      214  14       13  34 
      0 -65        0 -45        1 -25    50903  -5      150  15       13  35 
      0 -64        0 -44        1 -24    98083  -4       54  16       13  36 
      0 -63        0 -43        1 -23   117258  -3       44  17       13  37 
      0 -62        0 -42        7 -22   145182  -2       36  18       13  38 
      0 -61        0 -41        7 -21   147546  -1       55  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             |                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                             o                                       
150000 |                             o                                       
100000 |                          oooo                                       
 50000 |                        oooooooo oo                                  
     0 |____ooooooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   = 1992766.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =     -25.      -80 thru  -1 =  721957.
  Behav =     Relaxed.        Maximum =    2870.        0 thru  39 = 1263485.
  histend                     K       =  500000.       40 thru Max =    7324.

  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    22933   0       95  20 
      0 -79        0 -59        0 -39        0 -19    53325   1       61  21 
      0 -78        0 -58        0 -38        0 -18   101969   2       55  22 
      0 -77        0 -57        0 -37        0 -17   104374   3       49  23 
      0 -76        0 -56        0 -36        0 -16   122885   4       37  24 
      0 -75        0 -55        0 -35        0 -15   125225   5       24  25 
      0 -74        0 -54        0 -34        0 -14   122889   6       21  26 
      0 -73        0 -53        0 -33        0 -13   118093   7       21  27 
      0 -72        0 -52        0 -32        0 -12    96106   8       14  28 
      0 -71        0 -51        0 -31        0 -11    49251   9       14  29 
      0 -70        0 -50        0 -30        0 -10    20993  10       14  30 
      0 -69        0 -49        0 -29        0  -9    18665  11       13  31 
      0 -68        0 -48        0 -28        0  -8    16210  12       13  32 
      0 -67        0 -47        0 -27        0  -7     3418  13       13  33 
      0 -66        0 -46        0 -26        0  -6     2661  14       13  34 
      0 -65        0 -45        0 -25        0  -5     2258  15       13  35 
      0 -64        0 -44        0 -24        0  -4     1735  16       13  36 
      0 -63        0 -43        0 -23        0  -3     1045  17       13  37 
      0 -62        0 -42        0 -22        0  -2      518  18       13  38 
      0 -61        0 -41        0 -21        0  -1      326  19       13  39

            ------ Relaxed ------    |         ------ Strong ------       
190000 |                             |                                       
180000 |                             |                                       
170000 |                             |                                       
160000 |                             |                                       
150000 |                             |                                       
140000 |                             |                                       
130000 |                             |                                       
120000 |                             |   ooo                                 
110000 |                             |   oooo                                
100000 |                             | oooooo                                
 90000 |                             | ooooooo                               
 80000 |                             | ooooooo                               
 70000 |                             | ooooooo                               
 60000 |                             | ooooooo                               
 50000 |                             |oooooooo                               
 40000 |                             |ooooooooo                              
 30000 |                             |ooooooooo                              
 20000 |                             ooooooooooo                             
 10000 |                             ooooooooooooo                           
     0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         700.        Total   =  999013.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =    7229.        0 thru  39 =  985401.
  histend                     K       =  500000.       40 thru Max =   13612.

  End  analysis of Test T700  at               17:24:06.328 980623
==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               17:24:06.671 980623
  End execution of Test T710  at               17:24:07.171 980623
  Duration                                            0.500 
Start  analysis of Test T710  at               17:24:07.375 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.188    0.188    0.000    0.000    0.000    0.000    0.000    0.000 
   0.188    0.188    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0     131       0  499999       0
  24999   18548   34171       0       0
  49998   37216   65394       0       0
  74997   59380   91538       0       0
  99996   83193  118156       0       0
 124995  107280  141870       0       0
 149994  133426  165947       0       0
 174993  159224  190118       0       0
 199992  185080  214421       0       0
 224991  210800  238428       0       0
 249990  237075  262612       0       0
 274989  262659  286828       0       0
 299988  288500  310956       0       0
 324987  313040  336983       0       0
 349986  337978  362086       0       0
 374985  363552  385672       0       0
 399984  386864  414356       0       0
 424983  410561  438640       0       0
 449982  436024  463802       0       0
 474981  461260  489244       0       0
 499980  485908  499999       0       0

  dim =    80, max = 500000, 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           
                                                              2    1            
                                                                  1             
                                                             2   1              
                                                            2   1               
                                                           2  11                
                                                          2  1                  
                                                         2                      
                                                        2   1                   
                                                       2   1                    
                                                      2   1                     
                                                     2   1                      
                                                    2   1                       
                                                   2   1                        
                                                  2   1                         
                                                 2   1                          
                                                2   1                           
                                               2   1                            
                                              2   1                             
                                             2   1                              
                                            2   1                               
                                           2   1                                
                                          2   1                                 
                                         2   1                                  
                                        2   1                                   
                                       2   1                                    
                                      2   1                                     
                                     2   1                                      
                                    2   1                                       
                                   2   1                                        
                                  2   1                                         
                                 2   1                                          
                                2   1                                           
                               2   1                                            
                              2   1                                             
                             2   1                                              
                            2   1                                               
                           2                                                    
                          2    1                                                
                         2    1                                                 
                        2    1                                                  
                       2    1                                                   
                      2    1                                                    
                     2    1                                                     
                   22    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                                                                    
          1                                                                     
     2  11                                                                      
    2  1                                                                        
   2  1                                                                         
    11                                                                          
  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       761477          0
   1         7734      12870
   2        41686      61127
   3        32988      11768
   4        78431      80011
   5        29220      14735
   6        34549      33774
   7         4315       8633
   8         2523       8105
   9         4042       2028
  10         1507        796
  11          613        846
  12          475       1019
  13           35       2234
  14          234        278
  15          116        106
  16           29         11
  17            4         23
  18            2         25
  19            0        102
over           16         28

 d = -20. 
Event 7.1. u[ 199855] =  184952 <  184953; v[ 184953] =  199835 <  199855.
b=0 c=0 u[ 199836]:  184952  184952  184952  184952  184952  184952  184952
                     184952  184952  184952  184952  184952  184952  184952
                     184952  184952  184952  184952  184952  184952
 d = -19. 
Event 7.1. u[  32590] =   24032 <   24033; v[  24033] =   32571 <   32590.
b=0 c=0 u[  32572]:   24032   24032   24032   24032   24032   24032   24032
                      24032   24032   24032   24032   24032   24032   24032
                      24032   24032   24032   24032   24032
Event 7.2. v[ 170657] =  185816 <  185817; u[ 185817] =  170638 <  170657.
b=0 c=0 v[ 170639]:  185816  185816  185816  185816  185816  185816  185816
                     185816  185816  185816  185816  185816  185816  185816
                     185816  185816  185816  185816  185816
Event 7.1. u[ 199854] =  184952 <  184953; v[ 184953] =  199835 <  199854.
b=0 c=0 u[ 199836]:  184952  184952  184952  184952  184952  184952  184952
                     184952  184952  184952  184952  184952  184952  184952
                     184952  184952  184952  184952  184952
Event 7.1. u[ 227130] =  212984 <  212985; v[ 212985] =  227111 <  227130.
b=0 c=0 u[ 227112]:  212984  212984  212984  212984  212984  212984  212984
                     212984  212984  212984  212984  212984  212984  212984
                     212984  212984  212984  212984  212984
Event 7.2. v[ 359889] =  371336 <  371337; u[ 371337] =  359870 <  359889.
b=0 c=0 v[ 359871]:  371336  371336  371336  371336  371336  371336  371336
                     371336  371336  371336  371336  371336  371336  371336
                     371336  371336  371336  371336  371336
Event 7.2. v[ 426993] =  440672 <  440673; u[ 440673] =  426974 <  426993.
b=0 c=0 v[ 426975]:  440672  440672  440672  440672  440672  440672  440672
                     440672  440672  440672  440672  440672  440672  440672
                     440672  440672  440672  440672  440672
Event 7.2. v[ 447473] =  461240 <  461241; u[ 461241] =  447454 <  447473.
b=0 c=0 v[ 447455]:  461240  461240  461240  461240  461240  461240  461240
                     461240  461240  461240  461240  461240  461240  461240
                     461240  461240  461240  461240  461240
Event 7.2. v[ 452593] =  466496 <  466497; u[ 466497] =  452574 <  452593.
b=0 c=0 v[ 452575]:  466496  466496  466496  466496  466496  466496  466496
                     466496  466496  466496  466496  466496  466496  466496
                     466496  466496  466496  466496  466496
Event 7.1. u[ 456298] =  442360 <  442361; v[ 442361] =  456279 <  456298.
b=0 c=0 u[ 456280]:  442360  442360  442360  442360  442360  442360  442360
                     442360  442360  442360  442360  442360  442360  442360
                     442360  442360  442360  442360  442360
 d = -18. 
Event 7.1. u[   3678] =    2696 <    2697; v[   2697] =    3660 <    3678.
b=0 c=0 u[   3661]:    2696    2696    2696    2696    2696    2696    2696
                       2696    2696    2696    2696    2696    2696    2696
                       2696    2696    2696    2696
Event 7.1. u[  32589] =   24032 <   24033; v[  24033] =   32571 <   32589.
b=0 c=0 u[  32572]:   24032   24032   24032   24032   24032   24032   24032
                      24032   24032   24032   24032   24032   24032   24032
                      24032   24032   24032   24032
Event 7.2. v[  38984] =   52088 <   52089; u[  52089] =   38966 <   38984.
b=0 c=0 v[  38967]:   52088   52088   52088   52088   52088   52088   52088
                      52088   52088   52088   52088   52088   52088   52088
                      52088   52088   52088   52088
Event 7.2. v[  42992] =   57080 <   57081; u[  57081] =   42974 <   42992.
b=0 c=0 v[  42975]:   57080   57080   57080   57080   57080   57080   57080
                      57080   57080   57080   57080   57080   57080   57080
                      57080   57080   57080   57080
Event 7.2. v[ 478600] =  492840 <  492841; u[ 492841] =  478582 <  478600.
b=0 c=0 v[ 478583]:  492840  492840  492840  492840  492840  492840  492840
                     492840  492840  492840  492840  492840  492840  492840
                     492840  492840  492840  492840
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1    104980    104980         0         0     -1
 -2     60142     93743         0         0     -2
 -3     55111     89672         0         0     -3
 -4     45431     19203         0         0     -4
 -5     32047     12050         0         0     -5
 -6      5242      9668         0         0     -6
 -7      3616      7434         0         0     -7
 -8      2604      5740         0         0     -8
 -9      2012      4006         0         0     -9
-10      1257      3383         0         0    -10
-11       949      2979         0         0    -11
-12       513      2268         0         0    -12
-13       221       337         0         0    -13
-14       113       162         0         0    -14
-15        23       150         0         0    -15
-16        16       143         0         0    -16
-17         8       126         0         0    -17
-18         6       103         0         0    -18
-19         4         5         0         0    -19
-20         1         0         0         0    -20
-21         0         0         0         0    -21

Totals / Min / Under -25:  
       314296    356152         0         0
           20        19         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        1 -20   965765   0       17  20 
      0 -79        0 -59        0 -39        9 -19    40801   1       17  21 
      0 -78        0 -58        0 -38      109 -18    69049   2       17  22 
      0 -77        0 -57        0 -37      134 -17    48670   3       17  23 
      0 -76        0 -56        0 -36      159 -16    90669   4       17  24 
      0 -75        0 -55        0 -35      173 -15    36383   5       17  25 
      0 -74        0 -54        0 -34      275 -14    38474   6       17  26 
      0 -73        0 -53        0 -33      558 -13     6750   7       17  27 
      0 -72        0 -52        0 -32     2781 -12     3196   8       17  28 
      0 -71        0 -51        0 -31     3928 -11     4255   9       17  29 
      0 -70        0 -50        0 -30     4640 -10     1578  10       17  30 
      0 -69        0 -49        0 -29     6018  -9      670  11       17  31 
      0 -68        0 -48        0 -28     8344  -8      512  12       17  32 
      0 -67        0 -47        0 -27    11050  -7       70  13       17  33 
      0 -66        0 -46        0 -26    14910  -6      264  14       17  34 
      0 -65        0 -45        0 -25    44097  -5      143  15       17  35 
      0 -64        0 -44        0 -24    64634  -4       52  16       17  36 
      0 -63        0 -43        0 -23   144783  -3       25  17       17  37 
      0 -62        0 -42        0 -22   153885  -2       20  18       18  38 
      0 -61        0 -41        0 -21   209960  -1       18  19       16  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             o                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                            oo                                       
150000 |                           ooo                                       
100000 |                          oooo                                       
 50000 |                         ooooo o o                                   
     0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   = 1985923.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =     -20.      -80 thru  -1 =  670448.
  Behav =     Relaxed.        Maximum =    3853.        0 thru  39 = 1307704.
  histend                     K       =  500000.       40 thru Max =    7771.

  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    15038   0      180  20 
      0 -79        0 -59        0 -39        0 -19    33067   1      160  21 
      0 -78        0 -58        0 -38        0 -18    92265   2      137  22 
      0 -77        0 -57        0 -37        0 -17    96737   3       32  23 
      0 -76        0 -56        0 -36        0 -16   153261   4       22  24 
      0 -75        0 -55        0 -35        0 -15   151283   5       22  25 
      0 -74        0 -54        0 -34        0 -14   162685   6       21  26 
      0 -73        0 -53        0 -33        0 -13   150361   7       19  27 
      0 -72        0 -52        0 -32        0 -12    41519   8       18  28 
      0 -71        0 -51        0 -31        0 -11    26469   9       18  29 
      0 -70        0 -50        0 -30        0 -10    15046  10       17  30 
      0 -69        0 -49        0 -29        0  -9    11350  11       17  31 
      0 -68        0 -48        0 -28        0  -8     7495  12       17  32 
      0 -67        0 -47        0 -27        0  -7     6102  13       17  33 
      0 -66        0 -46        0 -26        0  -6     5173  14       17  34 
      0 -65        0 -45        0 -25        0  -5     4316  15       17  35 
      0 -64        0 -44        0 -24        0  -4     3562  16       17  36 
      0 -63        0 -43        0 -23        0  -3      853  17       17  37 
      0 -62        0 -42        0 -22        0  -2      393  18       17  38 
      0 -61        0 -41        0 -21        0  -1      316  19       17  39

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

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         710.        Total   =  999856.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   14070.        0 thru  39 =  978090.
  histend                     K       =  500000.       40 thru Max =   21766.

  End  analysis of Test T710  at               17:24:08.828 980623
==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               17:24:09.171 980623
  End execution of Test T720  at               17:24:09.671 980623
  Duration                                            0.500 
Start  analysis of Test T720  at               17:24:10.125 980623

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.188    0.188    0.000    0.000    0.000    0.000    0.000    0.000 
   0.188    0.188    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0      18       0       0
  24999   18547   33200       0       0
  49998   40259   60576       0       0
  74997   64024   86872       0       0
  99996   88488  111841       0       0
 124995  113349  135964       0       0
 149994  139077  162776       0       0
 174993  162256  187528       0       0
 199992  187352  212344       0       0
 224991  212739  236960       0       0
 249990  238083  261755       0       0
 274989  263266  286656       0       0
 299988  288361  311644       0       0
 324987  312532  337388       0       0
 349986  337653  362461       0       0
 374985  362632  387176       0       0
 399984  385845  414051       0       0
 424983  411010  440249       0       0
 449982  434848  464968       0       0
 474981  460195  489679       0       0
 499980  485460  499999       0       0

  dim =    80, max = 500000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                            2222
                                                                           2    
                                                                          2    1
                                                                         2    1 
                                                                        2    1  
                                                                       2    1   
                                                                      2    1    
                                                                     2    1     
                                                                    2    1      
                                                                   2    1       
                                                                  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                                           
                               2   1                                            
                              2   1                                             
                             2   1                                              
                            2   1                                               
                           2   1                                                
                          2   1                                                 
                         2   1                                                  
                        2   1                                                   
                       2   1                                                    
                      2   1                                                     
                     2   1                                                      
                    2   1                                                       
                   2   1                                                        
                  2   1                                                         
                 2   1                                                          
                2   1                                                           
               2   1                                                            
              2   1                                                             
             2   1                                                              
            2   1                                                               
               1                                                                
           2  1                                                                 
          2  1                                                                  
         2  1                                                                   
        2  1                                                                    
       2  1                                                                     
      2  1                                                                      
     2  1                                                                       
    2  1                                                                        
   2  1                                                                         
    11                                                                          
  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       752382          0
   1         7963      16114
   2        52998      60547
   3        17504       3007
   4       101330      96557
   5        18161       6423
   6        40399      52204
   7         5374       8264
   8         1310       2161
   9         2051       1185
  10          126        131
  11          202        409
  12           68        190
  13           57        163
  14           45        124
  15            5         85
  16            1         12
  17            2         16
  18            0          3
  19            0          1
over           17         18

 d = -19. 
Event 7.1. u[ 319505] =  307056 <  307057; v[ 307057] =  319486 <  319505.
b=0 c=0 u[ 319487]:  307056  307056  307056  307056  307056  307056  307056
                     307056  307056  307056  307056  307056  307056  307056
                     307056  307056  307056  307056  307056
 d = -18. 
Event 7.1. u[ 319504] =  307056 <  307057; v[ 307057] =  319486 <  319504.
b=0 c=0 u[ 319487]:  307056  307056  307056  307056  307056  307056  307056
                     307056  307056  307056  307056  307056  307056  307056
                     307056  307056  307056  307056
 d = -17. 
Event 7.2. v[ 215680] =  227896 <  227897; u[ 227897] =  215663 <  215680.
b=0 c=0 v[ 215664]:  227896  227896  227896  227896  227896  227896  227896
                     227896  227896  227896  227896  227896  227896  227896
                     227896  227896  227896
Event 7.1. u[ 319503] =  307056 <  307057; v[ 307057] =  319486 <  319503.
b=0 c=0 u[ 319487]:  307056  307056  307056  307056  307056  307056  307056
                     307056  307056  307056  307056  307056  307056  307056
                     307056  307056  307056
Event 7.2. v[ 385403] =  399568 <  399569; u[ 399569] =  385386 <  385403.
b=0 c=0 v[ 385387]:  399568  399568  399568  399568  399568  399568  399568
                     399568  399568  399568  399568  399568  399568  399568
                     399568  399568  399568
Event 7.2. v[ 431016] =  446176 <  446177; u[ 446177] =  430999 <  431016.
b=0 c=0 v[ 431000]:  446176  446176  446176  446176  446176  446176  446176
                     446176  446176  446176  446176  446176  446176  446176
                     446176  446176  446176
 d = -16. 
Event 7.2. v[  11779] =   15928 <   15929; u[  15929] =   11763 <   11779.
b=0 c=0 v[  11764]:   15928   15928   15928   15928   15928   15928   15928
                      15928   15928   15928   15928   15928   15928   15928
                      15928   15928
Event 7.1. u[  58278] =   47848 <   47849; v[  47849] =   58262 <   58278.
b=0 c=0 u[  58263]:   47848   47848   47848   47848   47848   47848   47848
                      47848   47848   47848   47848   47848   47848   47848
                      47848   47848
Event 7.1. u[ 106835] =   94856 <   94857; v[  94857] =  106819 <  106835.
b=0 c=0 u[ 106820]:   94856   94856   94856   94856   94856   94856   94856
                      94856   94856   94856   94856   94856   94856   94856
                      94856   94856
Event 7.2. v[ 148227] =  161016 <  161017; u[ 161017] =  148211 <  148227.
b=0 c=0 v[ 148212]:  161016  161016  161016  161016  161016  161016  161016
                     161016  161016  161016  161016  161016  161016  161016
                     161016  161016
Event 7.2. v[ 156115] =  168856 <  168857; u[ 168857] =  156099 <  156115.
b=0 c=0 v[ 156100]:  168856  168856  168856  168856  168856  168856  168856
                     168856  168856  168856  168856  168856  168856  168856
                     168856  168856
Event 7.2. v[ 164355] =  177048 <  177049; u[ 177049] =  164339 <  164355.
b=0 c=0 v[ 164340]:  177048  177048  177048  177048  177048  177048  177048
                     177048  177048  177048  177048  177048  177048  177048
                     177048  177048
Event 7.2. v[ 167875] =  180472 <  180473; u[ 180473] =  167859 <  167875.
b=0 c=0 v[ 167860]:  180472  180472  180472  180472  180472  180472  180472
                     180472  180472  180472  180472  180472  180472  180472
                     180472  180472
Event 7.2. v[ 215679] =  227896 <  227897; u[ 227897] =  215663 <  215679.
b=0 c=0 v[ 215664]:  227896  227896  227896  227896  227896  227896  227896
                     227896  227896  227896  227896  227896  227896  227896
                     227896  227896
Event 7.2. v[ 224827] =  236792 <  236793; u[ 236793] =  224811 <  224827.
b=0 c=0 v[ 224812]:  236792  236792  236792  236792  236792  236792  236792
                     236792  236792  236792  236792  236792  236792  236792
                     236792  236792
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1    109590    109590         0         0     -1
 -2     87824     70744         0         0     -2
 -3     86824     69799         0         0     -3
 -4     21491     36549         0         0     -4
 -5     16439     31666         0         0     -5
 -6      3949      5530         0         0     -6
 -7      2319      2143         0         0     -7
 -8      1911      1315         0         0     -8
 -9       459       650         0         0     -9
-10       390       599         0         0    -10
-11       222       369         0         0    -11
-12       192       208         0         0    -12
-13        97       148         0         0    -13
-14        35        77         0         0    -14
-15        11        19         0         0    -15
-16         4        16         0         0    -16
-17         1         3         0         0    -17
-18         1         0         0         0    -18
-19         1         0         0         0    -19
-20         0         0         0         0    -20

Totals / Min / Under -25:  
       331760    329425         0         0
           19        17         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   979526   0       17  20 
      0 -79        0 -59        0 -39        1 -19    32211   1       16  21 
      0 -78        0 -58        0 -38        1 -18    72898   2       16  22 
      0 -77        0 -57        0 -37        4 -17    30691   3       16  23 
      0 -76        0 -56        0 -36       20 -16   114109   4       16  24 
      0 -75        0 -55        0 -35       30 -15    27863   5       16  25 
      0 -74        0 -54        0 -34      112 -14    49083   6       16  26 
      0 -73        0 -53        0 -33      245 -13     5876   7       16  27 
      0 -72        0 -52        0 -32      400 -12     1384   8       16  28 
      0 -71        0 -51        0 -31      591 -11     2098   9       16  29 
      0 -70        0 -50        0 -30      989 -10      169  10       16  30 
      0 -69        0 -49        0 -29     1109  -9      239  11       16  31 
      0 -68        0 -48        0 -28     3226  -8      100  12       16  32 
      0 -67        0 -47        0 -27     4462  -7       82  13       16  33 
      0 -66        0 -46        0 -26     9479  -6       64  14       16  34 
      0 -65        0 -45        0 -25    48105  -5       23  15       16  35 
      0 -64        0 -44        0 -24    58040  -4       18  16       16  36 
      0 -63        0 -43        0 -23   156623  -3       19  17       16  37 
      0 -62        0 -42        0 -22   158568  -2       17  18       16  38 
      0 -61        0 -41        0 -21   219180  -1       17  19       16  39

            ------ Relaxed ------    |         ------ Strong ------       
950000 |                             o                                       
900000 |                             o                                       
850000 |                             o                                       
800000 |                             o                                       
750000 |                             o                                       
700000 |                             o                                       
650000 |                             o                                       
600000 |                             o                                       
550000 |                             o                                       
500000 |                             o                                       
450000 |                             o                                       
400000 |                             o                                       
350000 |                             o                                       
300000 |                             o                                       
250000 |                             o                                       
200000 |                            oo                                       
150000 |                          oooo                                       
100000 |                          oooo   o                                   
 50000 |                         ooooo o o                                   
     0 |_________.ooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   = 1985478.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =     -19.      -80 thru  -1 =  661185.
  Behav =     Relaxed.        Maximum =    1923.        0 thru  39 = 1316808.
  histend                     K       =  500000.       40 thru Max =    7485.

  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    14461   0       26  20 
      0 -79        0 -59        0 -39        0 -19    24248   1       21  21 
      0 -78        0 -58        0 -38        0 -18    78262   2       19  22 
      0 -77        0 -57        0 -37        0 -17    78543   3       17  23 
      0 -76        0 -56        0 -36        0 -16   169735   4       16  24 
      0 -75        0 -55        0 -35        0 -15   171677   5       16  25 
      0 -74        0 -54        0 -34        0 -14   201312   6       16  26 
      0 -73        0 -53        0 -33        0 -13   190291   7       16  27 
      0 -72        0 -52        0 -32        0 -12    20408   8       16  28 
      0 -71        0 -51        0 -31        0 -11    12155   9       16  29 
      0 -70        0 -50        0 -30        0 -10     6887  10       16  30 
      0 -69        0 -49        0 -29        0  -9     4097  11       16  31 
      0 -68        0 -48        0 -28        0  -8     2212  12       16  32 
      0 -67        0 -47        0 -27        0  -7     1196  13       16  33 
      0 -66        0 -46        0 -26        0  -6      775  14       16  34 
      0 -65        0 -45        0 -25        0  -5      597  15       16  35 
      0 -64        0 -44        0 -24        0  -4      441  16       16  36 
      0 -63        0 -43        0 -23        0  -3      152  17       16  37 
      0 -62        0 -42        0 -22        0  -2       92  18       16  38 
      0 -61        0 -41        0 -21        0  -1       38  19       16  39

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

  Test  =     A(CMP,UPO,WW) and A(CMP,UPO,RW).
  Nmbr  =         720.        Total   =  999910.      Min thru -81 =       0.
  Type  =       WW&RW.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =   14519.        0 thru  39 =  977918.
  histend                     K       =  500000.       40 thru Max =   21992.

  End  analysis of Test T720  at               17:24:11.546 980623
==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               17:24:11.890 980623
  End execution of Test T800  at               17:24:12.406 980623
  Duration                                            0.516 
Start  analysis of Test T800  at               17:24:12.812 980623

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.110    0.110    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 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       1       2       3
  24999  249990  249991  249992  249993
  49998  499980  499981  499982  499983
  74997  749970  749971  749972  749973
  99996  999960  999961  999962  999963
 124995 1249950 1249951 1249952 1249953
 149994 1499940 1499941 1499942 1499943
 174993 1749930 1749931 1749932 1749933
 199992 1999920 1999921 1999922 1999923
 224991 2249910 2249911 2249912 2249913
 249990 2499900 2499901 2499902 2499903
 274989 2749890 2749891 2749892 2749893
 299988 2999880 2999881 2999882 2999883
 324987 3249870 3249871 3249872 3249873
 349986 3499860 3499861 3499862 3499863
 374985 3749850 3749851 3749852 3749853
 399984 3999840 3999841 3999842 3999843
 424983 4249830 4249831 4249832 4249833
 449982 4499820 4499821 4499822 4499823
 474981 4749810 4749811 4749812 4749813
 499980 4999800 4999801 4999802 4999803

  dim =    80, max = 5000000, pamx =     2.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               F
                                                                             1F2
                                                                             F  
                                                                            F2  
                                                                           F2   
                                                                          F2    
                                                                         F2     
                                                                        F2      
                                                                       F2       
                                                                      F2        
                                                                     F2         
                                                                    F2          
                                                                   F2           
                                                                  F2            
                                                                 F2             
                                                                F2              
                                                               F2               
                                                              F2                
                                                             F2                 
                                                            F2                  
                                                           F2                   
                                                          F2                    
                                                         F2                     
                                                        F2                      
                                                       F22                      
                                                      F2                        
                                                     F2                         
                                                    F                           
                                                   F2                           
                                                22F                             
                                               22F                              
                                               2F                               
                                              2F                                
                                            22F                                 
                                            2F                                  
                                           2F1                                  
                                           F                                    
                                          F                                     
                                        2F                                      
                                        F                                       
                                       F                                        
                                      F                                         
                                    2F                                          
                                    F                                           
                                   F                                            
                                  F                                             
                                 F                                              
                                F                                               
                               F                                                
                              F                                                 
                             F                                                  
                            F                                                   
                           F                                                    
                          F                                                     
                         F                                                      
                        F                                                       
                       F                                                        
                      F                                                         
                     F2                                                         
                    F                                                           
                   F                                                            
                  F                                                             
                 F                                                              
                F                                                               
               F                                                                
             2F                                                                 
            2F                                                                  
           2F                                                                   
          2F                                                                    
         2F                                                                     
        2F                                                                      
        F                                                                       
       F                                                                        
      F1                                                                        
    2F                                                                          
    F                                                                           
  2F                                                                            
 2F                                                                             
 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  1998707   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 ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

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


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1998707   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 ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   = 1998707.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       0.        0 thru  39 = 1998707.
  histend                     K       =  500000.       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               17:24:42.171 980623
==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               17:24:42.515 980623
  End execution of Test T820  at               17:24:43.031 980623
  Duration                                            0.516 
Start  analysis of Test T820  at               17:24:43.906 980623

Thread start, stop, and dur times.
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 
   0.110    0.110    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 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       1       2       3
  24999  249990  249991  249992  249993
  49998  499980  499981  499982  499983
  74997  749970  749971  749972  749973
  99996  999960  999961  999962  999963
 124995 1249950 1249951 1249952 1249953
 149994 1499940 1499941 1499942 1499943
 174993 1749930 1749931 1749932 1749933
 199992 1999920 1999921 1999922 1999923
 224991 2249910 2249911 2249912 2249913
 249990 2499900 2499901 2499902 2499903
 274989 2749890 2749891 2749892 2749893
 299988 2999880 2999881 2999882 2999883
 324987 3249870 3249871 3249872 3249873
 349986 3499860 3499861 3499862 3499863
 374985 3749850 3749851 3749852 3749853
 399984 3999840 3999841 3999842 3999843
 424983 4249830 4249831 4249832 4249833
 449982 4499820 4499821 4499822 4499823
 474981 4749810 4749811 4749812 4749813
 499980 4999800 4999801 4999802 4999803

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


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1999834   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 ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

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


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20  1999834   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 ------       
1900000 |                             o                                       
1800000 |                             o                                       
1700000 |                             o                                       
1600000 |                             o                                       
1500000 |                             o                                       
1400000 |                             o                                       
1300000 |                             o                                       
1200000 |                             o                                       
1100000 |                             o                                       
1000000 |                             o                                       
900000 |                             o                                       
800000 |                             o                                       
700000 |                             o                                       
600000 |                             o                                       
500000 |                             o                                       
400000 |                             o                                       
300000 |                             o                                       
200000 |                             o                                       
100000 |                             o                                       
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         820.        Total   = 1999834.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       0.        0 thru  39 = 1999834.
  histend                     K       =  500000.       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               17:25:13.234 980623
==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.031 
  Additions:                                          0.047 
  Subtractions:                                       0.031 
  Multiplications:                                    0.047 
  Divisions:                                          0.219 
Time to perform 1000000 of the following floating operations:
  Additions:                                          1.343 
  Subtractions:                                       1.344 
  Multiplications:                                    1.359 
  Divisions:                                          1.360 
================================================================================

Summary of run:                                17:25:19.031 980623
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.
 An Intergraph TD400, two 200 MHz Pentium Pro processors
running Windows NT 4.0, 1381.
 Thanks to Jim Reilly at Aqua Process Corp., jim@aquaprocess.com.

  Number of threads:         2.
  Length of the arrays:      500000.
  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.500      0.265   T100           1   0
      0.500      0.266   T120           0   1
      0.500      0.750   T200           2   0
      0.515      0.781   T210           1   1
      0.515      0.782   T220           0   2
      0.500      1.406   T400.1  -25    2   0
                         T400.2         2   0
      0.500      1.469   T410.1  -24    1   1
                         T410.2         1   1
      0.515      1.437   T420.1  -21    0   2
                         T420.2         0   2
      0.500      1.407   T700.1  -25    2   0
                         T700.2         2   0
      0.500      1.453   T710.1  -20    1   1
                         T710.2         1   1
      0.500      1.421   T720.1  -19    0   2
                         T720.2         0   2
      0.516     29.359   T800           1   0
      0.516     29.328   T820           0   1

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

  No monotonicity relaxations seen.

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

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

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