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

                                               00:06:56.286 980617

  Parameters initialized from file:  parms.
System = tarkovsky.npac.syr.edu
OS = Solaris 2.5.1
Machine = 4-way Sun Sparc Ultra-2

Default answers to the following questions are shown in brackets.

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

The following tests can be run:

   100  200  300  400  500  600  700  800  900 1000 1100 1200
        210  310  410  510  610  710           1010 1110 1210
   120  220  320  420  520  620  720  820  920 1020 1120 1220
                                               1030          
Specify which tests to run ('a' for all): 
 
[  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:      a00___00.out.
Number of threads:     2.
Length of the arrays:  200000.
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               00:07:14.627 980617
  End execution of Test T100  at               00:07:14.718 980617
  Duration                                            0.091 
Start  analysis of Test T100  at               00:07:14.719 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.091    0.055    0.000    0.000    0.000    0.000    0.000    0.000 
   0.090    0.054    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   11852       0       0       0
  19998   23954       0       0       0
  29997   36437       0       0       0
  39996   48091       0       0       0
  49995   59161       0       0       0
  59994   70983       0       0       0
  69993   82800       0       0       0
  79992   94643       0       0       0
  89991  106360       0       0       0
  99990  118823       0       0       0
 109989  131275       0       0       0
 119988  143813       0       0       0
 129987  156120       0       0       0
 139986  168558       0       0       0
 149985  181011       0       0       0
 159984  193332       0       0       0
 169983  205444       0       0       0
 179982  217579       0       0       0
 189981  229682       0       0       0
 199980  241418       0       0       0

  dim =    80, max = 241441, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              11
                                                                             1  
                                                                            1   
                                                                           1    
                                                                          1     
                                                                         1      
                                                                                
                                                                        1       
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                 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                                                             
                11                                                              
               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       124173          0
   1            2         56
   2            5      31368
   3        63208      44094
   4        12319        295
   5          234          2
   6            9          0
   7            0          0
   8            9          0
   9           18          0
  10            9          0
  11            3          0
  12            2          0
  13            2          0
  14            0          0
  15            0          0
  16            2          0
  17            0          0
  18            0          0
  19            0          0
over            3         10
  End  analysis of Test T100  at               00:07:14.965 980617
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T120  at               00:07:15.069 980617
  End execution of Test T120  at               00:07:15.177 980617
  Duration                                            0.108 
Start  analysis of Test T120  at               00:07:15.247 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.107    0.047    0.000    0.000    0.000    0.000    0.000    0.000 
   0.106    0.046    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0      16       0       0       0
   9999    9815       0       0       0
  19998   20195       0       0       0
  29997   30964       0       0       0
  39996   41570       0       0       0
  49995   47761       0       0       0
  59994   47761       0       0       0
  69993   47761       0       0       0
  79992   54516       0       0       0
  89991   64790       0       0       0
  99990   77064       0       0       0
 109989   80283       0       0       0
 119988   81837       0       0       0
 129987   92078       0       0       0
 139986  102326       0       0       0
 149985  112803       0       0       0
 159984  123046       0       0       0
 169983  133167       0       0       0
 179982  143416       0       0       0
 189981  153321       0       0       0
 199980  163470       0       0       0

  dim =    80, max = 163489, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               1
                                                                              1 
                                                                             1  
                                                                            1   
                                                                                
                                                                           1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                       1        
                                                                                
                                                                      1         
                                                                     1          
                                                                    1           
                                                                                
                                                                   1            
                                                                  1             
                                                                 1              
                                                                1               
                                                                                
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                                                
                                                           1                    
                                                          1                     
                                                         1                      
                                                                                
                                                        1                       
                                                       1                        
                                                      1                         
                                                     1                          
                                                                                
                                                    1                           
                                                   1                            
                                                  1                             
                                                 1                              
                                                                                
                                                1                               
                                         1111111                                
                                        1                                       
                                       1                                        
                                                                                
                                                                                
                                      1                                         
                                     1                                          
                                    1                                           
                                                                                
                                   1                                            
                                  1                                             
                                 1                                              
                                1                                               
                                                                                
                               1                                                
                              1                                                 
                  111111111111                                                  
                                                                                
                 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       147538          0
   1            1         27
   2            1       3170
   3        50344      47686
   4         2074       1548
   5           29         25
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           11          4
  End  analysis of Test T120  at               00:07:15.486 980617
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T200  at               00:07:15.588 980617
  End execution of Test T200  at               00:07:15.751 980617
  Duration                                            0.163 
Start  analysis of Test T200  at               00:07:15.751 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.162    0.162    0.000    0.000    0.000    0.000    0.000    0.000 
   0.161    0.161    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0      12      18       0       0
   9999   39450   39451       0       0
  19998   78410   78411       0       0
  29997  117127  117128       0       0
  39996  152413  152414       0       0
  49995  166364  166364       0       0
  59994  187464  187464       0       0
  69993  187464  187464       0       0
  79992  187464  187464       0       0
  89991  215251  215250       0       0
  99990  215251  215250       0       0
 109989  250541  250542       0       0
 119988  290015  290016       0       0
 129987  329530  329531       0       0
 139986  369245  369246       0       0
 149985  408576  408577       0       0
 159984  448014  448015       0       0
 169983  488013  488014       0       0
 179982  527815  527816       0       0
 189981  568143  568144       0       0
 199980  599999  599999       0       0

  dim =    80, max = 600000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              33
                                                                             3  
                                                                            3   
                                                                                
                                                                           3    
                                                                          3     
                                                                                
                                                                         3      
                                                                        3       
                                                                       3        
                                                                                
                                                                      3         
                                                                     3          
                                                                    3           
                                                                                
                                                                   3            
                                                                  3             
                                                                 3              
                                                                                
                                                                3               
                                                               3                
                                                              3                 
                                                                                
                                                             3                  
                                                            3                   
                                                           3                    
                                                                                
                                                          3                     
                                                         3                      
                                                        3                       
                                                                                
                                                       3                        
                                                      3                         
                                                     3                          
                                                                                
                                                    3                           
                                                   3                            
                                                  3                             
                                                                                
                                                 3                              
                                                3                               
                                               3                                
                                                                                
                                              3                                 
                                             3                                  
                                            3                                   
                                                                                
                                           3                                    
                                          3                                     
                                         3                                      
                                                                                
                                    33333                                       
                                   3                                            
                                  3                                             
                                                                                
                      333333333333                                              
                     3                                                          
                  333                                                           
                 3                                                              
                3                                                               
               3                                                                
                                                                                
             33                                                                 
                                                                                
            3                                                                   
           3                                                                    
          3                                                                     
                                                                                
         3                                                                      
        3                                                                       
       3                                                                        
                                                                                
      3                                                                         
     3                                                                          
    3                                                                           
                                                                                
   3                                                                            
  3                                                                             
 3                                                                              
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0       103173          0
   1          607     296019
   2         1043        767
   3        11609          2
   4       262892          1
   5        20173          0
   6          399          0
   7           85          0
   8            0          0
   9            0          1
  10            0          1
  11            0          0
  12            1          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           14         32

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   154761   0        0  20 
      0 -79        0 -59        0 -39        0 -19    58958   1        0  21 
      0 -78        0 -58        0 -38        0 -18   142937   2        0  22 
      0 -77        0 -57        0 -37        0 -17   150076   3        0  23 
      0 -76        0 -56        0 -36        0 -16   272419   4        0  24 
      0 -75        0 -55        0 -35        0 -15    20311   5        0  25 
      0 -74        0 -54        0 -34        0 -14      421   6        0  26 
      0 -73        0 -53        0 -33        0 -13       87   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        1  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        0  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

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

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

  End  analysis of Test T200  at               00:07:16.498 980617
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T210  at               00:07:16.603 980617
  End execution of Test T210  at               00:07:16.825 980617
  Duration                                            0.222 
Start  analysis of Test T210  at               00:07:16.868 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.222    0.156    0.000    0.000    0.000    0.000    0.000    0.000 
   0.220    0.154    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0      18      25       0       0
   9999   19955   19954       0       0
  19998   40763   40763       0       0
  29997   61569   61568       0       0
  39996   76505   76505       0       0
  49995   98847   98847       0       0
  59994  122867  122868       0       0
  69993  146215  146216       0       0
  79992  166948  166948       0       0
  89991  188006  188006       0       0
  99990  208843  208843       0       0
 109989  226987  226988       0       0
 119988  238971  238971       0       0
 129987  238971  238971       0       0
 139986  248134  248135       0       0
 149985  258585  258585       0       0
 159984  271954  271955       0       0
 169983  296302  296302       0       0
 179982  320824  320823       0       0
 189981  346015  346016       0       0
 199980  366505  366504       0       0

  dim =    80, max = 366547, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                           3    
                                                                          3     
                                                                                
                                                                         3      
                                                                        3       
                                                                                
                                                                       3        
                                                                      3         
                                                                     3          
                                                                                
                                                                    3           
                                                                   3            
                                                                  3             
                                                                                
                                                                 3              
                                                                3               
                                                               3                
                                                                                
                                                              3                 
                                                         33333                  
                                                        3                       
                                                                                
                                                       3                        
                                              333333333                         
                                             3                                  
                                            3                                   
                                           3                                    
                                                                                
                                          3                                     
                                        33                                      
                                                                                
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                                                                
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                                                                                
                          3                                                     
                         3                                                      
                        3                                                       
                                                                                
                       3                                                        
                      3                                                         
                     3                                                          
                                                                                
                    3                                                           
                   3                                                            
                  3                                                             
                                                                                
                 3                                                              
               33                                                               
              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       116236          0
   1        47630     244725
   2       101503      38998
   3        64667          1
   4        66751          2
   5         3129          0
   6           59          0
   7            6          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            1          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           14         34

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

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

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

  End  analysis of Test T210  at               00:07:17.586 980617
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T220  at               00:07:17.689 980617
  End execution of Test T220  at               00:07:17.931 980617
  Duration                                            0.242 
Start  analysis of Test T220  at               00:07:18.001 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.241    0.182    0.000    0.000    0.000    0.000    0.000    0.000 
   0.240    0.181    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       5       8       0       0
   9999   22550   22550       0       0
  19998   41097   41098       0       0
  29997   64134   64134       0       0
  39996   94561   94562       0       0
  49995  116992  116994       0       0
  59994  139666  139667       0       0
  69993  160687  160687       0       0
  79992  160687  160687       0       0
  89991  160687  160687       0       0
  99990  177638  177638       0       0
 109989  180406  180407       0       0
 119988  202894  202895       0       0
 129987  225427  225427       0       0
 139986  247397  247398       0       0
 149985  269644  269644       0       0
 159984  292758  292759       0       0
 169983  315118  315118       0       0
 179982  337638  337639       0       0
 189981  359878  359879       0       0
 199980  382515  382516       0       0

  dim =    80, max = 382560, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               3
                                                                              3 
                                                                             3  
                                                                            3   
                                                                           3    
                                                                                
                                                                          3     
                                                                         3      
                                                                        3       
                                                                       3        
                                                                      3         
                                                                     3          
                                                                                
                                                                    3           
                                                                   3            
                                                                  3             
                                                                 3              
                                                                3               
                                                               3                
                                                                                
                                                              3                 
                                                             3                  
                                                            3                   
                                                           3                    
                                                                                
                                                          3                     
                                                         3                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                                                
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                                                                
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                       33333                                    
                                      3                                         
                                     3                                          
                                                                                
                           3333333333                                           
                                                                                
                          3                                                     
                         3                                                      
                        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        73959          0
   1        69040     325999
   2       130264         12
   3       108904          2
   4        17094          0
   5          604          0
   6           74          0
   7            4          0
   8            3          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           50         24

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   110941   0        0  20 
      0 -79        0 -59        0 -39        0 -19   255890   1        0  21 
      0 -78        0 -58        0 -38        0 -18   281680   2        0  22 
      0 -77        0 -57        0 -37        0 -17   133398   3        0  23 
      0 -76        0 -56        0 -36        0 -16    17297   4        0  24 
      0 -75        0 -55        0 -35        0 -15      630   5        0  25 
      0 -74        0 -54        0 -34        0 -14       74   6        0  26 
      0 -73        0 -53        0 -33        0 -13        4   7        0  27 
      0 -72        0 -52        0 -32        0 -12        3   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 ------       
380000 |                             |                                       
360000 |                             |                                       
340000 |                             |                                       
320000 |                             |                                       
300000 |                             |                                       
280000 |                             | o                                     
260000 |                             | o                                     
240000 |                             |oo                                     
220000 |                             |oo                                     
200000 |                             |oo                                     
180000 |                             |oo                                     
160000 |                             |oo                                     
140000 |                             |oo                                     
120000 |                             |ooo                                    
100000 |                             oooo                                    
 80000 |                             oooo                                    
 60000 |                             oooo                                    
 40000 |                             oooo                                    
 20000 |                             oooo                                    
     0 |_________._________._________.oooooooo_._________._________._________
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T220  at               00:07:18.714 980617
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================

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

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

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

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

Start execution of Test T400  at               00:07:18.816 980617
  End execution of Test T400  at               00:07:18.877 980617
  Duration                                            0.061 
Start  analysis of Test T400  at               00:07:18.878 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.052    0.061    0.000    0.000    0.000    0.000    0.000    0.000 
   0.051    0.060    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       6       0       0
   9999   10158    9834       0       0
  19998   20124   19858       0       0
  29997   30103   29897       0       0
  39996   40268   39719       0       0
  49995   50382   49606       0       0
  59994   60261   59726       0       0
  69993   70288   69696       0       0
  79992   80353   79633       0       0
  89991   90399   89594       0       0
  99990   98815  101137       0       0
 109989  108813  111130       0       0
 119988  118885  121064       0       0
 129987  125131  142942       0       0
 139986  127023  152971       0       0
 149985  137013  198342       0       0
 159984  143999  199999       0       0
 169983  143999  199999       0       0
 179982  143999  199999       0       0
 189981  143999  199999       0       0
 199980  151618  199999       0       0

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


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

   i       deltas    strings 
   0       322008          0
   1          763        126
   2         2288       1996
   3        29607      34020
   4        21850      16735
   5        21332      22797
   6         2113       2211
   7           15         26
   8            3         37
   9            2         29
  10            1          3
  11            1          1
  12            4          0
  13            2          0
  14            1          0
  15            0          1
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            6          6

 d = -10. 
Event 4.1. u[  42326] =   42588 <   42589; v[  42589] =   42316 <   42326.
b=2 c=2 u[  42317]:   42586   42586   42587   42587   42587   42587   42587
                      42588   42588   42588
Event 4.1. u[  42351] =   42594 <   42595; v[  42595] =   42341 <   42351.
b=2 c=2 u[  42342]:   42592   42592   42592   42593   42593   42594   42594
                      42594   42594   42594
 d =  -9. 
Event 4.2. v[   4016] =    3966 <    3967; u[   3967] =    4007 <    4016.
b=2 c=2 v[   4008]:    3964    3964    3965    3965    3965    3965    3966
                       3966    3966
Event 4.2. v[   4028] =    3969 <    3970; u[   3970] =    4019 <    4028.
b=2 c=2 v[   4020]:    3967    3967    3967    3968    3968    3968    3969
                       3969    3969
Event 4.2. v[   4040] =    3972 <    3973; u[   3973] =    4031 <    4040.
b=2 c=2 v[   4032]:    3970    3970    3970    3971    3971    3971    3972
                       3972    3972
Event 4.1. u[  18967] =   19134 <   19135; v[  19135] =   18958 <   18967.
b=2 c=1 u[  18959]:   19132   19132   19132   19134   19134   19134   19134
                      19134   19134
Event 4.1. u[  18978] =   19137 <   19138; v[  19138] =   18969 <   18978.
b=2 c=1 u[  18970]:   19135   19135   19135   19137   19137   19137   19137
                      19137   19137
Event 4.1. u[  42325] =   42588 <   42589; v[  42589] =   42316 <   42325.
b=2 c=2 u[  42317]:   42586   42586   42587   42587   42587   42587   42587
                      42588   42588
Event 4.1. u[  42338] =   42591 <   42592; v[  42592] =   42329 <   42338.
b=2 c=2 u[  42330]:   42589   42589   42589   42590   42590   42590   42591
                      42591   42591
Event 4.1. u[  42350] =   42594 <   42595; v[  42595] =   42341 <   42350.
b=2 c=2 u[  42342]:   42592   42592   42592   42593   42593   42594   42594
                      42594   42594
 d =  -8. 
Event 4.2. v[   1088] =    1094 <    1095; u[   1095] =    1080 <    1088.
b=0 c=0 v[   1081]:    1094    1094    1094    1094    1094    1094    1094
                       1094
Event 4.2. v[   4015] =    3966 <    3967; u[   3967] =    4007 <    4015.
b=2 c=2 v[   4008]:    3964    3964    3965    3965    3965    3965    3966
                       3966
Event 4.2. v[   4027] =    3969 <    3970; u[   3970] =    4019 <    4027.
b=2 c=2 v[   4020]:    3967    3967    3967    3968    3968    3968    3969
                       3969
Event 4.2. v[   4039] =    3972 <    3973; u[   3973] =    4031 <    4039.
b=2 c=2 v[   4032]:    3970    3970    3970    3971    3971    3971    3972
                       3972
Event 4.1. u[ 192834] =  144532 <  144533; v[ 144533] =  192826 <  192834.
b=0 c=0 u[ 192827]:  144532  144532  144532  144532  144532  144532  144532
                     144532
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     38318     38318         0         0     -1
 -2     37798     38057         0         0     -2
 -3     23216     22729         0         0     -3
 -4     13279     12202         0         0     -4
 -5       887      1884         0         0     -5
 -6       266       297         0         0     -6
 -7        62       186         0         0     -7
 -8        14        28         0         0     -8
 -9         5         3         0         0     -9
-10         2         0         0         0    -10
-11         0         0         0         0    -11

Totals / Min / Under -25:  
       113847    113704         0         0
           10         9         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  751634.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -10.      -80 thru  -1 =  227551.
  Behav =     Relaxed.        Maximum =   35968.        0 thru  39 =  473847.
  histend                     K       =  200000.       40 thru Max =   50236.

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

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

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

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

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

  End  analysis of Test T400  at               00:07:19.986 980617
==sss========================================================================

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

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

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

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

Start execution of Test T410  at               00:07:20.089 980617
  End execution of Test T410  at               00:07:20.157 980617
  Duration                                            0.068 
Start  analysis of Test T410  at               00:07:20.200 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.067    0.062    0.000    0.000    0.000    0.000    0.000    0.000 
   0.066    0.061    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      24       0       0
   9999    9918   10077       0       0
  19998   16553   23548       0       0
  29997   26785   33211       0       0
  39996   36756   42989       0       0
  49995   48839   51143       0       0
  59994   58896   61098       0       0
  69993   68969   71013       0       0
  79992  100601   73015       0       0
  89991  110502   73015       0       0
  99990  131992   79378       0       0
 109989  141974   89470       0       0
 119988  151779   96601       0       0
 129987  161747   97951       0       0
 139986  172082  108015       0       0
 149985  181749  118191       0       0
 159984  191724  128203       0       0
 169983  199999  137886       0       0
 179982  199999  148218       0       0
 189981  199999  158218       0       0
 199980  199999  168262       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                  11111111111111
                                                                 1              
                                                                1               
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                        
                                                      1                        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                        22              
                                                               2                
                                                              2                 
                                                             2                  
                                                            2                   
                                                           2                    
                                      1                                         
                                     1                    2                     
                                    1                    2                      
                                   1                    2                       
                                  1                    2                        
                                 1                    2                         
                                1                    2                          
                               1                    2                           
                              1               222222                            
                             1               2                                  
                                            2                                   
                                           2                                    
                                          2                                     
                                         2                                      
                                        2                                       
                                       2                                        
                                      2                                         
                             222222222                                          
                            2                                                   
                           21                                                   
                          21                                                    
                         21                                                     
                        21                                                      
                       21                                                       
                      21                                                        
                     21                                                         
                    21                                                          
                   21                                                           
                  21                                                            
                221                                                             
               2 1                                                              
              2                                                                 
             2  1                                                               
            2  1                                                                
           2  1                                                                 
          2  1                                                                  
         2  1                                                                   
        2  1                                                                    
       2  1                                                                     
      2  1                                                                      
     2  1                                                                       
       1                                                                        
    311                                                                         
   3                                                                            
  3                                                                             
 2                                                                              
                                                                                
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       302677          0
   1         2555        918
   2        11729      12881
   3        38564      43844
   4        35806      29168
   5         8543       9621
   6           83        789
   7           16         58
   8            4         21
   9            2          7
  10            0          0
  11            4          2
  12            4          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            9         10

 d = -10. 
Event 4.1. u[  22884] =   19354 <   19355; v[  19355] =   22874 <   22884.
b=2 c=1 u[  22875]:   19352   19352   19352   19354   19354   19354   19354
                      19354   19354   19354
 d =  -9. 
Event 4.1. u[  22883] =   19354 <   19355; v[  19355] =   22874 <   22883.
b=2 c=1 u[  22875]:   19352   19352   19352   19354   19354   19354   19354
                      19354   19354
Event 4.2. v[  58469] =   59609 <   59610; u[  59610] =   58460 <   58469.
b=2 c=2 v[  58461]:   59607   59607   59607   59608   59608   59608   59609
                      59609   59609
Event 4.2. v[  58488] =   59614 <   59615; u[  59615] =   58479 <   58488.
b=2 c=2 v[  58480]:   59612   59612   59612   59613   59613   59613   59614
                      59614   59614
Event 4.2. v[  58511] =   59620 <   59621; u[  59621] =   58502 <   58511.
b=2 c=2 v[  58503]:   59618   59618   59618   59619   59619   59619   59620
                      59620   59620
Event 4.1. u[ 141330] =  173377 <  173378; v[ 173378] =  141321 <  141330.
b=2 c=1 u[ 141322]:  173375  173375  173375  173377  173377  173377  173377
                     173377  173377
Event 4.2. v[ 173586] =  141528 <  141529; u[ 141529] =  173577 <  173586.
b=2 c=2 v[ 173578]:  141526  141526  141526  141527  141527  141527  141528
                     141528  141528
Event 4.2. v[ 173621] =  141537 <  141538; u[ 141538] =  173612 <  173621.
b=2 c=2 v[ 173613]:  141535  141535  141536  141536  141536  141537  141537
                     141537  141537
Event 4.2. v[ 173633] =  141540 <  141541; u[ 141541] =  173624 <  173633.
b=2 c=2 v[ 173625]:  141538  141538  141539  141539  141539  141540  141540
                     141540  141540
 d =  -8. 
Event 4.1. u[  22835] =   19337 <   19338; v[  19338] =   22827 <   22835.
b=2 c=2 u[  22828]:   19335   19335   19336   19336   19336   19337   19337
                      19337
Event 4.1. u[  22882] =   19354 <   19355; v[  19355] =   22874 <   22882.
b=2 c=1 u[  22875]:   19352   19352   19352   19354   19354   19354   19354
                      19354
Event 4.2. v[  58468] =   59609 <   59610; u[  59610] =   58460 <   58468.
b=2 c=2 v[  58461]:   59607   59607   59607   59608   59608   59608   59609
                      59609
Event 4.2. v[  58487] =   59614 <   59615; u[  59615] =   58479 <   58487.
b=2 c=2 v[  58480]:   59612   59612   59612   59613   59613   59613   59614
                      59614
Event 4.2. v[  58499] =   59617 <   59618; u[  59618] =   58491 <   58499.
b=2 c=2 v[  58492]:   59615   59615   59616   59616   59616   59617   59617
                      59617
Event 4.2. v[  58510] =   59620 <   59621; u[  59621] =   58502 <   58510.
b=2 c=2 v[  58503]:   59618   59618   59618   59619   59619   59619   59620
                      59620
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     45816     45816         0         0     -1
 -2     47976     35756         0         0     -2
 -3     19362     32155         0         0     -3
 -4      8885      4007         0         0     -4
 -5        59      3165         0         0     -5
 -6        32      3069         0         0     -6
 -7        20        43         0         0     -7
 -8         4         8         0         0     -8
 -9         2         6         0         0     -9
-10         1         0         0         0    -10
-11         0         0         0         0    -11

Totals / Min / Under -25:  
       122157    124025         0         0
           10         9         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  768281.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =     -10.      -80 thru  -1 =  246182.
  Behav =     Relaxed.        Maximum =   21887.        0 thru  39 =  482588.
  histend                     K       =  200000.       40 thru Max =   39511.

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

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

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

  End  analysis of Test T410  at               00:07:21.379 980617
==sss========================================================================

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

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

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

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

Start execution of Test T420  at               00:07:21.483 980617
  End execution of Test T420  at               00:07:21.554 980617
  Duration                                            0.071 
Start  analysis of Test T420  at               00:07:21.625 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.071    0.071    0.000    0.000    0.000    0.000    0.000    0.000 
   0.069    0.069    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       6       0       0
   9999   10202    9792       0       0
  19998   20308   19661       0       0
  29997   30266   29728       0       0
  39996   40522   39504       0       0
  49995   50523   49478       0       0
  59994   60363   59622       0       0
  69993   70537   69450       0       0
  79992   80563   79420       0       0
  89991   90359   89611       0       0
  99990  100408   99568       0       0
 109989  110426  109546       0       0
 119988  120269  119702       0       0
 129987  130424  129548       0       0
 139986  140504  139478       0       0
 149985  149357  150608       0       0
 159984  157972  161858       0       0
 169983  168568  171375       0       0
 179982  178424  181519       0       0
 189981  189016  190886       0       0
 199980  199468  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                              23
                                                                             21 
                                                                            21  
                                                                           21   
                                                                          21    
                                                                         21     
                                                                        21      
                                                                       21       
                                                                      21        
                                                                     21         
                                                                    21          
                                                                   21           
                                                                  21            
                                                                 21             
                                                                21              
                                                               21               
                                                              2                 
                                                             2 1                
                                                            2 1                 
                                                            11                  
                                                          23                    
                                                         21                     
                                                         1                      
                                                        3                       
                                                       3                        
                                                      3                         
                                                     3                          
                                                    3                           
                                                   3                            
                                                  3                             
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                    3                                                           
                   3                                                            
                  1                                                             
                 12                                                             
                12                                                              
               32                                                               
              3                                                                 
             3                                                                  
            3                                                                   
           3                                                                    
          1                                                                     
         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       273297          0
   1         4351        311
   2        38541      47556
   3        25439      27736
   4        56832      46532
   5         1411       1693
   6           98        461
   7           10       2362
   8            2         23
   9            2          9
  10            2          4
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          1
  17            0          0
  18            0          0
  19            0          0
over           11         11

 d =  -8. 
Event 4.1. u[  19830] =   20132 <   20133; v[  20133] =   19822 <   19830.
b=2 c=1 u[  19823]:   20130   20130   20132   20132   20132   20132   20132
                      20132
 d =  -7. 
Event 4.2. v[    208] =     198 <     199; u[    199] =     201 <     208.
b=1 c=1 v[    202]:     197     197     197     198     198     198     198
Event 4.2. v[   3382] =    3238 <    3239; u[   3239] =    3375 <    3382.
b=1 c=1 v[   3376]:    3237    3237    3237    3238    3238    3238    3238
Event 4.2. v[   3984] =    3798 <    3799; u[   3799] =    3977 <    3984.
b=1 c=1 v[   3978]:    3797    3797    3797    3798    3798    3798    3798
Event 4.2. v[   4203] =    4006 <    4007; u[   4007] =    4196 <    4203.
b=1 c=1 v[   4197]:    4005    4005    4005    4006    4006    4006    4006
Event 4.2. v[   4350] =    4134 <    4135; u[   4135] =    4343 <    4350.
b=1 c=1 v[   4344]:    4133    4133    4133    4134    4134    4134    4134
Event 4.2. v[   4470] =    4246 <    4247; u[   4247] =    4463 <    4470.
b=1 c=1 v[   4464]:    4245    4245    4245    4246    4246    4246    4246
Event 4.1. u[  13896] =   14148 <   14149; v[  14149] =   13889 <   13896.
b=1 c=1 u[  13890]:   14147   14147   14147   14148   14148   14148   14148
Event 4.1. u[  17800] =   18132 <   18133; v[  18133] =   17793 <   17800.
b=1 c=1 u[  17794]:   18131   18131   18131   18132   18132   18132   18132
Event 4.1. u[  19809] =   20125 <   20126; v[  20126] =   19802 <   19809.
b=2 c=1 u[  19803]:   20123   20123   20125   20125   20125   20125   20125
Event 4.1. u[  19829] =   20132 <   20133; v[  20133] =   19822 <   19829.
b=2 c=1 u[  19823]:   20130   20130   20132   20132   20132   20132   20132
Event 4.1. u[  20269] =   20564 <   20565; v[  20565] =   20262 <   20269.
b=0 c=0 u[  20263]:   20564   20564   20564   20564   20564   20564   20564
Event 4.1. u[  26397] =   26708 <   26709; v[  26709] =   26390 <   26397.
b=0 c=0 u[  26391]:   26708   26708   26708   26708   26708   26708   26708
Event 4.2. v[  26998] =   26662 <   26663; u[  26663] =   26991 <   26998.
b=1 c=1 v[  26992]:   26661   26661   26661   26662   26662   26662   26662
Event 4.2. v[ 193746] =  194470 <  194471; u[ 194471] =  193739 <  193746.
b=1 c=1 v[ 193740]:  194469  194469  194469  194470  194470  194470  194470
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     60148     60148         0         0     -1
 -2     40813     41433         0         0     -2
 -3     34712     34433         0         0     -3
 -4      3302      3933         0         0     -4
 -5      1862      2424         0         0     -5
 -6      1622      2145         0         0     -6
 -7        17        47         0         0     -7
 -8         1         0         0         0     -8
 -9         0         0         0         0     -9

Totals / Min / Under -25:  
       142477    144563         0         0
            8         7         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  799480.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -8.      -80 thru  -1 =  287040.
  Behav =     Relaxed.        Maximum =    1912.        0 thru  39 =  506247.
  histend                     K       =  200000.       40 thru Max =    6193.

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

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

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

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

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

  End  analysis of Test T420  at               00:07:22.811 980617
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================

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

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

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

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

Start execution of Test T700  at               00:07:22.914 980617
  End execution of Test T700  at               00:07:22.992 980617
  Duration                                            0.078 
Start  analysis of Test T700  at               00:07:22.993 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.078    0.069    0.000    0.000    0.000    0.000    0.000    0.000 
   0.077    0.068    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       1  199999  199999
   9999    9946   10053       0       0
  19998   29899   17551       0       0
  29997   41156   20097       0       0
  39996   51147   28829       0       0
  49995   61460   38827       0       0
  59994   71444   48516       0       0
  69993   81332   58557       0       0
  79992   98130   68640       0       0
  89991  107944   73489       0       0
  99990  117497   81861       0       0
 109989  127539   92141       0       0
 119988  157705  102474       0       0
 129987  167996  112432       0       0
 139986  183863  113564       0       0
 149985  193839  113564       0       0
 159984  199999  122284       0       0
 169983  199999  130149       0       0
 179982  199999  136077       0       0
 189981  199999  146113       0       0
 199980  199999  156140       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                            1111111111111111111
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                        
                                                      1                         
                                                     1                          
                                                    1                           
                                                                                
                                                                                
                                                                                
                                                   1                            
                                                  1                             
                                                 1                              
                                                1                               
                                               1                               2
                                              1                               2 
                                             1                               2  
                                                                            2   
                                                                           2    
                                                                          2     
                                                                         2      
                                                                        2       
                                                                       2        
                                                                      2         
                                                                   222          
                                            1                     2             
                                           1                     2              
                                          1                     2               
                                         1                     2                
                                        1                     2                 
                                       1                     2                  
                                      1             222222222                   
                                     1             2                            
                                    1             2                             
                                   1             2                              
                                  1             2                               
                                 1             2                                
                                1             2                                 
                               1             2                                  
                              1             2                                   
                                           2                                    
                                          2                                     
                                         2                                      
                             1          2                                       
                            1          2                                        
                           1          2                                         
                          1          2                                          
                         1        222                                           
                        1        2                                              
                       1        2                                               
                      1        2                                                
                     1        2                                                 
                    1        2                                                  
                   1        2                                                   
                  1        2                                                    
                 1        2                                                     
                1        2                                                      
               1        2                                                       
              1        2                                                        
             1        2                                                         
            1        2                                                          
           1        2                                                           
          1        2                                                            
         1        2                                                             
        1        2                                                              
       1       22                                                               
              2                                                                 
             2                                                                  
            2                                                                   
       22222                                                                    
      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       296348          0
   1         2550        138
   2        43414      48895
   3        12761       9104
   4        42780      43448
   5         2064       1890
   6           46        107
   7           15         41
   8            3         12
   9            2          0
  10            0          0
  11            0          0
  12            1          1
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           12         12

 d =  -7. 
Event 7.2. v[  31989] =   22266 <   22267; u[  22267] =   31982 <   31989.
b=0 c=0 v[  31983]:   22266   22266   22266   22266   22266   22266   22266
Event 7.2. v[  31997] =   22268 <   22269; u[  22269] =   31990 <   31997.
b=0 c=0 v[  31991]:   22268   22268   22268   22268   22268   22268   22268
Event 7.2. v[  32005] =   22270 <   22271; u[  22271] =   31998 <   32005.
b=0 c=0 v[  31999]:   22270   22270   22270   22270   22270   22270   22270
Event 7.2. v[  32013] =   22272 <   22273; u[  22273] =   32006 <   32013.
b=0 c=0 v[  32007]:   22272   22272   22272   22272   22272   22272   22272
Event 7.2. v[  32021] =   22274 <   22275; u[  22275] =   32014 <   32021.
b=0 c=0 v[  32015]:   22274   22274   22274   22274   22274   22274   22274
Event 7.2. v[  32029] =   22276 <   22277; u[  22277] =   32022 <   32029.
b=0 c=0 v[  32023]:   22276   22276   22276   22276   22276   22276   22276
Event 7.2. v[  32079] =   22295 <   22296; u[  22296] =   32072 <   32079.
b=0 c=0 v[  32073]:   22295   22295   22295   22295   22295   22295   22295
Event 7.2. v[  32102] =   22302 <   22303; u[  22303] =   32095 <   32102.
b=2 c=1 v[  32096]:   22300   22300   22302   22302   22302   22302   22302
Event 7.2. v[  56066] =   44928 <   44929; u[  44929] =   56059 <   56066.
b=1 c=1 v[  56060]:   44927   44927   44927   44928   44928   44928   44928
Event 7.2. v[  56077] =   44931 <   44932; u[  44932] =   56070 <   56077.
b=1 c=1 v[  56071]:   44930   44930   44930   44931   44931   44931   44931
 d =  -6. 
Event 7.1. u[   7281] =    7252 <    7253; v[   7253] =    7275 <    7281.
b=0 c=0 u[   7276]:    7252    7252    7252    7252    7252    7252
Event 7.2. v[  13338] =   13430 <   13431; u[  13431] =   13332 <   13338.
b=0 c=0 v[  13333]:   13430   13430   13430   13430   13430   13430
Event 7.2. v[  13434] =   13526 <   13527; u[  13527] =   13428 <   13434.
b=0 c=0 v[  13429]:   13526   13526   13526   13526   13526   13526
Event 7.2. v[  13530] =   13622 <   13623; u[  13623] =   13524 <   13530.
b=0 c=0 v[  13525]:   13622   13622   13622   13622   13622   13622
Event 7.2. v[ 194202] =  150342 <  150343; u[ 150343] =  194196 <  194202.
b=0 c=0 v[ 194197]:  150342  150342  150342  150342  150342  150342
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     51574     51574         0         0     -1
 -2     29253     28259         0         0     -2
 -3     24409     22772         0         0     -3
 -4       891      1284         0         0     -4
 -5        29        98         0         0     -5
 -6        12        73         0         0     -6
 -7         0        10         0         0     -7
 -8         0         0         0         0     -8

Totals / Min / Under -25:  
       106168    104070         0         0
            6         7         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   =  756158.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -7.      -80 thru  -1 =  210238.
  Behav =     Relaxed.        Maximum =   20181.        0 thru  39 =  499731.
  histend                     K       =  200000.       40 thru Max =   46189.

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

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

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

  End  analysis of Test T700  at               00:07:24.107 980617
==sss========================================================================

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

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

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

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

Start execution of Test T710  at               00:07:24.209 980617
  End execution of Test T710  at               00:07:24.290 980617
  Duration                                            0.081 
Start  analysis of Test T710  at               00:07:24.333 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.073    0.081    0.000    0.000    0.000    0.000    0.000    0.000 
   0.072    0.080    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0      10  199999       0
   9999    8296   12050       0       0
  19998   16763   23965       0       0
  29997   24953   35881       0       0
  39996   33377   47926       0       0
  49995   41673   60042       0       0
  59994   49958   72011       0       0
  69993   58331   84030       0       0
  79992   66665   96046       0       0
  89991   74966  107971       0       0
  99990   83213  119999       0       0
 109989   91719  131909       0       0
 119988   99978  144049       0       0
 129987  108395  156011       0       0
 139986  116669  168057       0       0
 149985  124979  179917       0       0
 159984  133313  191794       0       0
 169983  141647  199999       0       0
 179982  150036  199999       0       0
 189981  158433  199999       0       0
 199980  166752  199999       0       0

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


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

   i       deltas    strings 
   0       266925          0
   1         6000       3359
   2        52365      64447
   3        45553      34748
   4        27311      25717
   5         1810       2302
   6           18       2473
   7            6         16
   8            1          1
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          1
over            7          7

 d =  -6. 
Event 7.2. v[ 136781] =  164187 <  164188; u[ 164188] =  136775 <  136781.
b=2 c=1 v[ 136776]:  164185  164185  164187  164187  164187  164187
Event 7.2. v[ 136807] =  164198 <  164199; u[ 164199] =  136801 <  136807.
b=1 c=1 v[ 136802]:  164197  164197  164197  164197  164198  164198
 d =  -5. 
Event 7.2. v[   2699] =    3238 <    3239; u[   3239] =    2694 <    2699.
b=0 c=0 v[   2695]:    3238    3238    3238    3238    3238
Event 7.2. v[   3083] =    3686 <    3687; u[   3687] =    3078 <    3083.
b=0 c=0 v[   3079]:    3686    3686    3686    3686    3686
Event 7.2. v[   3961] =    4710 <    4711; u[   4711] =    3956 <    3961.
b=0 c=0 v[   3957]:    4710    4710    4710    4710    4710
Event 7.2. v[   4681] =    5590 <    5591; u[   5591] =    4676 <    4681.
b=0 c=0 v[   4677]:    5590    5590    5590    5590    5590
Event 7.2. v[   4786] =    5718 <    5719; u[   5719] =    4781 <    4786.
b=0 c=0 v[   4782]:    5718    5718    5718    5718    5718
Event 7.2. v[   8403] =   10118 <   10119; u[  10119] =    8398 <    8403.
b=0 c=0 v[   8399]:   10118   10118   10118   10118   10118
Event 7.2. v[  17113] =   20422 <   20423; u[  20423] =   17108 <   17113.
b=0 c=0 v[  17109]:   20422   20422   20422   20422   20422
Event 7.2. v[  24277] =   29190 <   29191; u[  29191] =   24272 <   24277.
b=0 c=0 v[  24273]:   29190   29190   29190   29190   29190
Event 7.2. v[  27339] =   32742 <   32743; u[  32743] =   27334 <   27339.
b=0 c=0 v[  27335]:   32742   32742   32742   32742   32742
Event 7.1. u[  41785] =   34836 <   34837; v[  34837] =   41780 <   41785.
b=0 c=0 u[  41781]:   34836   34836   34836   34836   34836
Event 7.2. v[  43385] =   52070 <   52071; u[  52071] =   43380 <   43385.
b=0 c=0 v[  43381]:   52070   52070   52070   52070   52070
Event 7.2. v[  46462] =   55766 <   55767; u[  55767] =   46457 <   46462.
b=0 c=0 v[  46458]:   55766   55766   55766   55766   55766
Event 7.1. u[ 171639] =  143028 <  143029; v[ 143029] =  171634 <  171639.
b=0 c=0 u[ 171635]:  143028  143028  143028  143028  143028
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     63870     63870         0         0     -1
 -2     36378     36508         0         0     -2
 -3     28799      2309         0         0     -3
 -4      1849       414         0         0     -4
 -5         5       101         0         0     -5
 -6         0         2         0         0     -6
 -7         0         0         0         0     -7

Totals / Min / Under -25:  
       130901    103204         0         0
            5         6         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  766765.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -6.      -80 thru  -1 =  234105.
  Behav =     Relaxed.        Maximum =     198.        0 thru  39 =  532016.
  histend                     K       =  200000.       40 thru Max =     644.

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

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

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

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

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

  End  analysis of Test T710  at               00:07:25.494 980617
==sss========================================================================

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

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

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

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

Start execution of Test T720  at               00:07:25.599 980617
  End execution of Test T720  at               00:07:25.689 980617
  Duration                                            0.090 
Start  analysis of Test T720  at               00:07:25.759 980617

Thread start, stop, and dur times.
   0.000    0.000    0.000    0.000    0.000    0.000    0.000    0.000 
   0.090    0.085    0.000    0.000    0.000    0.000    0.000    0.000 
   0.090    0.085    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       4       0       0
   9999   11545    8612       0       0
  19998   22836   17368       0       0
  29997   33512   26543       0       0
  39996   44711   35902       0       0
  49995   55482   44900       0       0
  59994   65455   54035       0       0
  69993   76423   64042       0       0
  79992   87695   73240       0       0
  89991   98484   82033       0       0
  99990  109316   91366       0       0
 109989  120432  100662       0       0
 119988  131222  109560       0       0
 129987  142099  118852       0       0
 139986  152662  127926       0       0
 149985  163231  137450       0       0
 159984  174942  146995       0       0
 169983  186396  155674       0       0
 179982  197918  164537       0       0
 189981  199999  173276       0       0
 199980  199999  181862       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                       111111111
                                                                                
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                               2
                                                                 1            2 
                                                                1           22  
                                                               1           2    
                                                              1           2     
                                                             1           2      
                                                            1           2       
                                                           1           2        
                                                                      2         
                                                          1         22          
                                                         1         2            
                                                        1         2             
                                                       1         2              
                                                      1         2               
                                                     1         2                
                                                    1         2                 
                                                   1         2                  
                                                  1         2                   
                                                 1         2                    
                                                1         2                     
                                               1         2                      
                                                        2                       
                                              1        2                        
                                             1       22                         
                                            1       2                           
                                           1       2                            
                                          1       2                             
                                         1       2                              
                                        1       2                               
                                       1       2                                
                                      1       2                                 
                                             2                                  
                                     1      2                                   
                                    1      2                                    
                                   1      2                                     
                                  1     22                                      
                                 1     2                                        
                                1     2                                         
                               1     2                                          
                              1     2                                           
                             1     2                                            
                                  2                                             
                            1    2                                              
                           1    2                                               
                          1    2                                                
                         1    2                                                 
                        1    2                                                  
                       1    2                                                   
                      1   22                                                    
                     1                                                          
                    1    2                                                      
                   1    2                                                       
                  1   22                                                        
                 1   2                                                          
                1   2                                                           
                   2                                                            
               1  2                                                             
              1  2                                                              
             1  2                                                               
            1  2                                                                
           1  2                                                                 
          1  2                                                                  
         1  2                                                                   
        1  2                                                                    
       1  2                                                                     
      1 22                                                                      
       2                                                                        
     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       251315          0
   1         4711        604
   2        66639      72025
   3        70587      71293
   4         5624       4327
   5          894        369
   6          204         31
   7            6         15
   8            1          0
   9            0          1
  10            0          1
  11            0          1
  12            1          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           14         14

 d =  -5. 
Event 7.2. v[ 121771] =  111200 <  111201; u[ 111201] =  121766 <  121771.
b=0 c=0 v[ 121767]:  111200  111200  111200  111200  111200
 d =  -4. 
Event 7.2. v[     55] =      54 <      55; u[     55] =      51 <      55.
b=0 c=0 v[     52]:      54      54      54      54
Event 7.2. v[   3227] =    2534 <    2535; u[   2535] =    3223 <    3227.
b=0 c=0 v[   3224]:    2534    2534    2534    2534
Event 7.2. v[   3253] =    2550 <    2551; u[   2551] =    3249 <    3253.
b=0 c=0 v[   3250]:    2550    2550    2550    2550
Event 7.2. v[   3279] =    2566 <    2567; u[   2567] =    3275 <    3279.
b=0 c=0 v[   3276]:    2566    2566    2566    2566
Event 7.2. v[   3467] =    2742 <    2743; u[   2743] =    3463 <    3467.
b=0 c=0 v[   3464]:    2742    2742    2742    2742
Event 7.2. v[   3493] =    2758 <    2759; u[   2759] =    3489 <    3493.
b=0 c=0 v[   3490]:    2758    2758    2758    2758
Event 7.2. v[   3761] =    2998 <    2999; u[   2999] =    3757 <    3761.
b=0 c=0 v[   3758]:    2998    2998    2998    2998
Event 7.2. v[   3883] =    3110 <    3111; u[   3111] =    3879 <    3883.
b=0 c=0 v[   3880]:    3110    3110    3110    3110
Event 7.2. v[   3909] =    3126 <    3127; u[   3127] =    3905 <    3909.
b=0 c=0 v[   3906]:    3126    3126    3126    3126
Event 7.2. v[   3935] =    3142 <    3143; u[   3143] =    3931 <    3935.
b=0 c=0 v[   3932]:    3142    3142    3142    3142
Event 7.2. v[   3986] =    3174 <    3175; u[   3175] =    3982 <    3986.
b=0 c=0 v[   3983]:    3174    3174    3174    3174
Event 7.2. v[   4012] =    3190 <    3191; u[   3191] =    4008 <    4012.
b=0 c=0 v[   4009]:    3190    3190    3190    3190
Event 7.2. v[   4136] =    3318 <    3319; u[   3319] =    4132 <    4136.
b=0 c=0 v[   4133]:    3318    3318    3318    3318
Event 7.2. v[ 197083] =  179398 <  179399; u[ 179399] =  197079 <  197083.
b=0 c=0 v[ 197080]:  179398  179398  179398  179398
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     73032     73032         0         0     -1
 -2     31973     45514         0         0     -2
 -3      1791      3184         0         0     -3
 -4        84       229         0         0     -4
 -5         0         1         0         0     -5
 -6         0         0         0         0     -6

Totals / Min / Under -25:  
       106880    121960         0         0
            4         5         0         0
            0         0         0         0

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  781872.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -5.      -80 thru  -1 =  228840.
  Behav =     Relaxed.        Maximum =     944.        0 thru  39 =  549697.
  histend                     K       =  200000.       40 thru Max =    3335.

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

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

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

  End  analysis of Test T720  at               00:07:26.916 980617
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T800  at               00:07:27.033 980617
  End execution of Test T800  at               00:07:27.123 980617
  Duration                                            0.090 
Start  analysis of Test T800  at               00:07:27.310 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.090    0.090    0.000    0.000    0.000    0.000    0.000    0.000 
   0.088    0.088    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T800  at               00:07:50.469 980617
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T820  at               00:07:50.572 980617
  End execution of Test T820  at               00:07:50.657 980617
  Duration                                            0.085 
Start  analysis of Test T820  at               00:07:50.867 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.085    0.085    0.000    0.000    0.000    0.000    0.000    0.000 
   0.084    0.084    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

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

Time to perform 1000000 of the following integer operations:
  NOPs:                                               0.071 
  Additions:                                          0.090 
  Subtractions:                                       0.091 
  Multiplications:                                    0.272 
  Divisions:                                          0.389 
Time to perform 1000000 of the following floating operations:
  Additions:                                          0.097 
  Subtractions:                                       0.095 
  Multiplications:                                    0.096 
  Divisions:                                          0.136 
================================================================================

Summary of run:                                00:08:15.448 980617
ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.
System = tarkovsky.npac.syr.edu
OS = Solaris 2.5.1
Machine = 4-way Sun Sparc Ultra-2

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

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.091      0.246   T100           1   0
      0.108      0.239   T120           0   1
      0.163      0.747   T200           2   0
      0.222      0.718   T210           1   1
      0.242      0.713   T220           0   2
      0.061      1.108   T400.1  -10    2   0
                         T400.2         2   0
      0.068      1.179   T410.1  -10    1   1
                         T410.2         1   1
      0.071      1.186   T420.1   -8    0   2
                         T420.2         0   2
      0.078      1.114   T700.1   -7    2   0
                         T700.2         2   0
      0.081      1.161   T710.1   -6    1   1
                         T710.2         1   1
      0.090      1.157   T720.1   -5    0   2
                         T720.2         0   2
      0.090     23.159   T800           1   0
      0.085     23.243   T820           0   1

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

  No monotonicity relaxations seen.

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

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

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

Run this job another time? [y]  n
 
Last updated April 20, 2000.