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

                                               00:01:37.307 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) [4]:   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:02:06.624 980617
  End execution of Test T100  at               00:02:07.036 980617
  Duration                                            0.412 
Start  analysis of Test T100  at               00:02:07.037 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.412    0.044    0.000    0.000    0.000    0.000    0.000    0.000 
   0.411    0.043    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    2132       0       0       0
  19998    4317       0       0       0
  29997    6555       0       0       0
  39996    8685       0       0       0
  49995   10805       0       0       0
  59994   12902       0       0       0
  69993   14994       0       0       0
  79992   17096       0       0       0
  89991   19058       0       0       0
  99990   21421       0       0       0
 109989   23610       0       0       0
 119988   25803       0       0       0
 129987   27910       0       0       0
 139986   30101       0       0       0
 149985   32286       0       0       0
 159984   34457       0       0       0
 169983   36633       0       0       0
 179982   38780       0       0       0
 189981   40950       0       0       0
 199980   43121       0       0       0

  dim =    80, max = 43126, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                               1
                                                                              1 
                                                                             1  
                                                                            1   
                                                                           1    
                                                                          1     
                                                                         1      
                                                                        1       
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                  1             
                                                                 1              
                                                                1               
                                                               1                
                                                              1                 
                                                             1                  
                                                            1                   
                                                           1                    
                                                          1                     
                                                         1                      
                                                        1                       
                                                       1                        
                                                      1                         
                                                     1                          
                                                    1                           
                                                   1                            
                                                  1                             
                                                 1                              
                                                1                               
                                               1                                
                                              1                                 
                                             1                                  
                                            1                                   
                                           1                                    
                                          1                                     
                                         1                                      
                                        1                                       
                                       1                                        
                                      1                                         
                                     1                                          
                                                                                
                                    1                                           
                                   1                                            
                                  1                                             
                                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                                                                             
                                                                                
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       157220          0
   1        42713         19
   2           62        141
   3            0       2125
   4            0      14250
   5            0      23496
   6            0       2507
   7            0        188
   8            0         31
   9            0         13
  10            0          0
  11            0          0
  12            0          1
  13            0          0
  14            0          1
  15            0          0
  16            0          0
  17            0          1
  18            0          0
  19            0          0
over            3          5
  End  analysis of Test T100  at               00:02:07.275 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:02:07.378 980617
  End execution of Test T120  at               00:02:07.787 980617
  Duration                                            0.409 
Start  analysis of Test T120  at               00:02:07.858 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.408    0.042    0.000    0.000    0.000    0.000    0.000    0.000 
   0.407    0.041    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    1989       0       0       0
  19998    3963       0       0       0
  29997    6027       0       0       0
  39996    7953       0       0       0
  49995   10032       0       0       0
  59994   12120       0       0       0
  69993   14215       0       0       0
  79992   16322       0       0       0
  89991   18399       0       0       0
  99990   20476       0       0       0
 109989   22588       0       0       0
 119988   24744       0       0       0
 129987   26839       0       0       0
 139986   28930       0       0       0
 149985   31034       0       0       0
 159984   33115       0       0       0
 169983   34865       0       0       0
 179982   36890       0       0       0
 189981   38916       0       0       0
 199980   40940       0       0       0

  dim =    80, max = 40945, 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           
                                                                  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                                                                         
     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       159214          0
   1        40759         14
   2           21         43
   3            0       1650
   4            0       8442
   5            0      25402
   6            0       4764
   7            0        432
   8            0         28
   9            0          5
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          1
  18            0          0
  19            0          0
over            4          3
  End  analysis of Test T120  at               00:02:08.097 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:02:08.200 980617
  End execution of Test T200  at               00:02:09.638 980617
  Duration                                            1.438 
Start  analysis of Test T200  at               00:02:09.639 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   1.438    0.068    0.000    0.000    0.000    0.000    0.000    0.000 
   1.437    0.067    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    1835    1835       0       0
  19998    3732    3732       0       0
  29997    5691    5690       0       0
  39996    7702    7701       0       0
  49995    9673    9673       0       0
  59994   11634   11633       0       0
  69993   13554   13554       0       0
  79992   15612   15611       0       0
  89991   17568   17568       0       0
  99990   19497   19496       0       0
 109989   21448   21448       0       0
 119988   23405   23405       0       0
 129987   25329   25329       0       0
 139986   27268   27268       0       0
 149985   29219   29218       0       0
 159984   31136   31135       0       0
 169983   33117   33117       0       0
 179982   35049   35049       0       0
 189981   36951   36951       0       0
 199980   38910   38910       0       0

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


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

   i       deltas    strings 
   0       322557          0
   1        77427         77
   2            4        388
   3            1       1503
   4            1       6704
   5            0      47545
   6            0      20554
   7            0        624
   8            0         24
   9            0          0
  10            0          0
  11            0          0
  12            0          1
  13            0          1
  14            0          0
  15            0          2
  16            0          0
  17            1          0
  18            1          0
  19            0          0
over            4         16

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   483838   0        0  20 
      0 -79        0 -59        0 -39        0 -19   316134   1        0  21 
      0 -78        0 -58        0 -38        0 -18        8   2        0  22 
      0 -77        0 -57        0 -37        0 -17        1   3        0  23 
      0 -76        0 -56        0 -36        0 -16        2   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        1  17        0  37 
      0 -62        0 -42        0 -22        0  -2        2  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------       
475000 |                             o                                       
450000 |                             o                                       
425000 |                             o                                       
400000 |                             o                                       
375000 |                             o                                       
350000 |                             o                                       
325000 |                             o                                       
300000 |                             oo                                      
275000 |                             oo                                      
250000 |                             oo                                      
225000 |                             oo                                      
200000 |                             oo                                      
175000 |                             oo                                      
150000 |                             oo                                      
125000 |                             oo                                      
100000 |                             oo                                      
 75000 |                             oo                                      
 50000 |                             oo                                      
 25000 |                             oo                                      
     0 |_________._________._________.oooo_____.______oo_._________._________
     -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 =     108.        0 thru  39 =  799986.
  histend                     K       =  200000.       40 thru Max =       6.

  End  analysis of Test T200  at               00:02:10.329 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:02:10.432 980617
  End execution of Test T210  at               00:02:11.676 980617
  Duration                                            1.244 
Start  analysis of Test T210  at               00:02:11.718 980617

Thread start, stop, and dur times.
   0.073    0.033    0.000    0.000    0.000    0.000    0.000    0.000 
   1.243    0.070    0.000    0.000    0.000    0.000    0.000    0.000 
   1.170    0.037    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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

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

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

  End  analysis of Test T210  at               00:02:12.399 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:02:12.502 980617
  End execution of Test T220  at               00:02:13.943 980617
  Duration                                            1.441 
Start  analysis of Test T220  at               00:02:14.014 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   1.441    0.046    0.000    0.000    0.000    0.000    0.000    0.000 
   1.440    0.045    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     382     381       0       0
  19998     382     381       0       0
  29997    1887    1887       0       0
  39996    3355    3354       0       0
  49995    4847    4847       0       0
  59994    6596    6596       0       0
  69993    8359    8359       0       0
  79992   10144   10144       0       0
  89991   10264   10263       0       0
  99990   10264   10263       0       0
 109989   10264   10263       0       0
 119988   10264   10263       0       0
 129987   10264   10263       0       0
 139986   10264   10263       0       0
 149985   10264   10263       0       0
 159984   10264   10263       0       0
 169983   10264   10263       0       0
 179982   10264   10263       0       0
 189981   10264   10263       0       0
 199980   10264   10263       0       0

  dim =    80, max = 10265, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                333333333333333333333333333333333333333333333333
                                                                                
                                                                                
                               3                                                
                                                                                
                                                                                
                              3                                                 
                                                                                
                                                                                
                                                                                
                             3                                                  
                                                                                
                                                                                
                            3                                                   
                                                                                
                                                                                
                                                                                
                           3                                                    
                                                                                
                                                                                
                          3                                                     
                                                                                
                                                                                
                                                                                
                         3                                                      
                                                                                
                                                                                
                        3                                                       
                                                                                
                                                                                
                       3                                                        
                                                                                
                                                                                
                                                                                
                      3                                                         
                                                                                
                                                                                
                     3                                                          
                                                                                
                                                                                
                                                                                
                    3                                                           
                                                                                
                                                                                
                   3                                                            
                                                                                
                  3                                                             
                                                                                
                                                                                
                                                                                
                 3                                                              
                                                                                
                                                                                
               33                                                               
                                                                                
                                                                                
                                                                                
              3                                                                 
                                                                                
                                                                                
                                                                                
             3                                                                  
                                                                                
                                                                                
            3                                                                   
                                                                                
                                                                                
                                                                                
           3                                                                    
                                                                                
                                                                                
                                                                                
          3                                                                     
                                                                                
                                                                                
         3                                                                      
                                                                                
 33333333                                                                       
                                                                                
                                                                                
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       379554          0
   1        20437         34
   2            1         55
   3            0        146
   4            0       1217
   5            0       7462
   6            0      10351
   7            0       1076
   8            0         84
   9            0          5
  10            0          3
  11            0          1
  12            0          0
  13            0          0
  14            1          0
  15            1          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            2          8

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   569331   0        0  20 
      0 -79        0 -59        0 -39        0 -19   230653   1        0  21 
      0 -78        0 -58        0 -38        0 -18        2   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        1  29 
      0 -70        0 -50        0 -30        0 -10        0  10        2  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        1  14        0  34 
      0 -65        0 -45        0 -25        0  -5        2  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

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

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

  End  analysis of Test T220  at               00:02:14.699 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:02:14.804 980617
  End execution of Test T400  at               00:02:15.038 980617
  Duration                                            0.234 
Start  analysis of Test T400  at               00:02:15.038 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.232    0.234    0.000    0.000    0.000    0.000    0.000    0.000 
   0.231    0.233    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      19       0       0
   9999    9915   10081       0       0
  19998   20496   19550       0       0
  29997   30230   29763       0       0
  39996   36930   44219       0       0
  49995   44167   56433       0       0
  59994   53564   66436       0       0
  69993   63561   76403       0       0
  79992   73577   86433       0       0
  89991   83550   96414       0       0
  99990   93546  106990       0       0
 109989  102961  117014       0       0
 119988  112947  127067       0       0
 129987  122927  137123       0       0
 139986  132852  147177       0       0
 149985  142796  157179       0       0
 159984  152798  167164       0       0
 169983  162802  176778       0       0
 179982  173067  186868       0       0
 189981  183515  196094       0       0
 199980  198136  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
                                                                           2221 
                                                                          2     
                                                                         2      
                                                                        2    1  
                                                                       2    1   
                                                                      2    1    
                                                                     2    1     
                                                                    2    1      
                                                                   2    1       
                                                                  2    1        
                                                                 2    1         
                                                                2    1          
                                                               2    1           
                                                              2                 
                                                             2     1            
                                                            2     1             
                                                           2     1              
                                                          2     1               
                                                         2     1                
                                                        2     1                 
                                                       2     1                  
                                                      2     1                   
                                                     2     1                    
                                                    2     1                     
                                                   2     1                      
                                                  2     1                       
                                                 2     1                        
                                                2     1                         
                                               2     1                          
                                              2     1                           
                                             2     1                            
                                            2     1                             
                                           2     1                              
                                          2     1                               
                                         2     1                                
                                        2     1                                 
                                       2     1                                  
                                      2     1                                   
                                     2     1                                    
                                    2     1                                     
                                   2     1                                      
                                        1                                       
                                  2    1                                        
                                 2    1                                         
                                2    1                                          
                               2    1                                           
                              2    1                                            
                             2    1                                             
                            2    1                                              
                           2    1                                               
                          2    1                                                
                         2    1                                                 
                        2    1                                                  
                       2    1                                                   
                      2    1                                                    
                     2    1                                                     
                    2    1                                                      
                   2    1                                                       
                  2    1                                                        
                      1                                                         
                 2   1                                                          
                2  11                                                           
               2  1                                                             
                 1                                                              
              311                                                               
             3                                                                  
            3                                                                   
           1                                                                    
          12                                                                    
         12                                                                     
        12                                                                      
       32                                                                       
      3                                                                         
     3                                                                          
    3                                                                           
   3                                                                            
  2                                                                             
 21                                                                             
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

   i       deltas    strings 
   0       177751          0
   1        61811      62078
   2       160382     159859
   3            8        262
   4            1          1
   5            0          1
   6            0          0
   7            1          1
   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          1
over           41         42

 d =  -1. 
Event 4.2. v[      1] =      20 <      21; u[     21] =       0 <       1.
b=0 c=0 v[      1]:      20
Event 4.2. v[      3] =      22 <      23; u[     23] =       2 <       3.
b=0 c=0 v[      3]:      22
Event 4.2. v[      5] =      24 <      25; u[     25] =       4 <       5.
b=0 c=0 v[      5]:      24
Event 4.2. v[     11] =      30 <      31; u[     31] =      10 <      11.
b=0 c=0 v[     11]:      30
Event 4.2. v[     13] =      32 <      33; u[     33] =      12 <      13.
b=0 c=0 v[     13]:      32
Event 4.2. v[     15] =      34 <      35; u[     35] =      14 <      15.
b=0 c=0 v[     15]:      34
Event 4.2. v[     17] =      36 <      37; u[     37] =      16 <      17.
b=0 c=0 v[     17]:      36
Event 4.2. v[     19] =      38 <      39; u[     39] =      18 <      19.
b=0 c=0 v[     19]:      38
Event 4.1. u[     21] =       0 <       1; v[      1] =      20 <      21.
b=0 c=0 u[     21]:       0
Event 4.2. v[     21] =      40 <      41; u[     41] =      20 <      21.
b=0 c=0 v[     21]:      40
Event 4.1. u[     23] =       2 <       3; v[      3] =      22 <      23.
b=0 c=0 u[     23]:       2
Event 4.2. v[     24] =      43 <      44; u[     44] =      23 <      24.
b=0 c=0 v[     24]:      43
Event 4.1. u[     25] =       4 <       5; v[      5] =      24 <      25.
b=0 c=0 u[     25]:       4
Event 4.2. v[     29] =      48 <      49; u[     49] =      28 <      29.
b=0 c=0 v[     29]:      48
Event 4.1. u[ 199999] =  198155 <  198156; v[ 198156] =  199998 <  199999.
b=0 c=0 u[ 199999]:  198155
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     84304     84304         0         0     -1
 -2         0         0         0         0     -2

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         400.        Total   =  798151.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -1.      -80 thru  -1 =  168608.
  Behav =     Relaxed.        Maximum =    4624.        0 thru  39 =  615495.
  histend                     K       =  200000.       40 thru Max =   14048.

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

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

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

  End  analysis of Test T400  at               00:02:16.578 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:02:16.682 980617
  End execution of Test T410  at               00:02:17.084 980617
  Duration                                            0.402 
Start  analysis of Test T410  at               00:02:17.127 980617

Thread start, stop, and dur times.
   0.164    0.164    0.000    0.000    0.000    0.000    0.000    0.000 
   0.388    0.402    0.000    0.000    0.000    0.000    0.000    0.000 
   0.224    0.238    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      19       0       0
   9999    9873   10152       0       0
  19998   19531   20469       0       0
  29997   27617   34984       0       0
  39996   34412   47199       0       0
  49995   42781   57264       0       0
  59994   52713   66904       0       0
  69993   63094   76940       0       0
  79992   73029   87157       0       0
  89991   82732   97481       0       0
  99990   92469  107537       0       0
 109989  102486  117520       0       0
 119988  112421  127609       0       0
 129987  122361  137699       0       0
 139986  132268  147921       0       0
 149985  142008  158326       0       0
 159984  151635  168384       0       0
 169983  161572  178463       0       0
 179982  171496  188804       0       0
 189981  180260  199999       0       0
 199980  186947  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                         2222222
                                                                        2       
                                                                                
                                                                                
                                                                       2        
                                                                      2        1
                                                                     2        1 
                                                                    2      111  
                                                                   2      1     
                                                                  2      1      
                                                                 2      1       
                                                                2      1        
                                                               2      1         
                                                              2      1          
                                                             2      1           
                                                            2      1            
                                                           2      1             
                                                          2      1              
                                                                1               
                                                         2     1                
                                                        2     1                 
                                                       2     1                  
                                                      2     1                   
                                                     2     1                    
                                                    2     1                     
                                                   2     1                      
                                                  2     1                       
                                                 2     1                        
                                                2     1                         
                                               2     1                          
                                              2     1                           
                                             2     1                            
                                            2     1                             
                                           2     1                              
                                          2     1                               
                                         2     1                                
                                        2     1                                 
                                       2     1                                  
                                      2     1                                   
                                     2     1                                    
                                    2     1                                     
                                   2     1                                      
                                  2     1                                       
                                 2     1                                        
                                2     1                                         
                               2     1                                          
                              2     1                                           
                             2     1                                            
                            2     1                                             
                           2     1                                              
                          2     1                                               
                         2     1                                                
                        2     1                                                 
                       2     1                                                  
                      2     1                                                   
                     2     1                                                    
                    2     1                                                     
                   2     1                                                      
                  2     1                                                       
                 2     1                                                        
                2     1                                                         
               2     1                                                          
              2     1                                                           
                   1                                                            
             2    1                                                             
            2    1                                                              
           2   11                                                               
              1                                                                 
            11                                                                  
          21                                                                    
         21                                                                     
        21                                                                      
       31                                                                       
      3                                                                         
     2                                                                          
    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       193004          0
   1        40543      40757
   2       166407     165977
   3            7        220
   4            1          3
   5            0          1
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over           34         34

 d =  -1. 
Event 4.2. v[      1] =      21 <      22; u[     22] =       0 <       1.
b=0 c=0 v[      1]:      21
Event 4.2. v[      3] =      23 <      24; u[     24] =       2 <       3.
b=0 c=0 v[      3]:      23
Event 4.2. v[      5] =      25 <      26; u[     26] =       4 <       5.
b=0 c=0 v[      5]:      25
Event 4.2. v[      7] =      27 <      28; u[     28] =       6 <       7.
b=0 c=0 v[      7]:      27
Event 4.2. v[      9] =      29 <      30; u[     30] =       8 <       9.
b=0 c=0 v[      9]:      29
Event 4.2. v[     12] =      31 <      32; u[     32] =      11 <      12.
b=0 c=0 v[     12]:      31
Event 4.2. v[     14] =      33 <      34; u[     34] =      13 <      14.
b=0 c=0 v[     14]:      33
Event 4.2. v[     16] =      35 <      36; u[     36] =      15 <      16.
b=0 c=0 v[     16]:      35
Event 4.2. v[     18] =      37 <      38; u[     38] =      17 <      18.
b=0 c=0 v[     18]:      37
Event 4.2. v[     20] =      39 <      40; u[     40] =      19 <      20.
b=0 c=0 v[     20]:      39
Event 4.1. u[     22] =       0 <       1; v[      1] =      21 <      22.
b=0 c=0 u[     22]:       0
Event 4.2. v[     22] =      41 <      42; u[     42] =      21 <      22.
b=0 c=0 v[     22]:      41
Event 4.1. u[     24] =       2 <       3; v[      3] =      23 <      24.
b=0 c=0 u[     24]:       2
Event 4.2. v[     24] =      43 <      44; u[     44] =      23 <      24.
b=0 c=0 v[     24]:      43
Event 4.1. u[ 199840] =  186877 <  186878; v[ 186878] =  199839 <  199840.
b=0 c=0 u[ 199840]:  186877
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     87350     87350         0         0     -1
 -2         0         0         0         0     -2

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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         410.        Total   =  786942.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -1.      -80 thru  -1 =  174700.
  Behav =     Relaxed.        Maximum =    4425.        0 thru  39 =  599904.
  histend                     K       =  200000.       40 thru Max =   12338.

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

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

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

  End  analysis of Test T410  at               00:02:18.676 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:02:18.779 980617
  End execution of Test T420  at               00:02:19.022 980617
  Duration                                            0.243 
Start  analysis of Test T420  at               00:02:19.093 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.235    0.243    0.000    0.000    0.000    0.000    0.000    0.000 
   0.233    0.241    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   10077    9919       0       0
  19998   20132   19862       0       0
  29997   30150   29843       0       0
  39996   40165   39827       0       0
  49995   50781   49212       0       0
  59994   60565   59427       0       0
  69993   68134   76615       0       0
  79992   73370   88755       0       0
  89991   81229   98722       0       0
  99990   91260  108707       0       0
 109989  101273  118665       0       0
 119988  111812  128130       0       0
 129987  121850  138094       0       0
 139986  131876  148055       0       0
 149985  141918  158040       0       0
 159984  151939  168071       0       0
 169983  161626  178412       0       0
 179982  171560  188332       0       0
 189981  181640  198186       0       0
 199980  191769  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                           22222
                                                                          2     
                                                                         2      
                                                                        2      1
                                                                       2      1 
                                                                      2      1  
                                                                     2      1   
                                                                    2      1    
                                                                   2      1     
                                                                  2      1      
                                                                 2      1       
                                                                2      1        
                                                               2      1         
                                                              2      1          
                                                                    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     1                             
                                                 1                              
                                          2     1                               
                                         2     1                                
                                        2     1                                 
                                       2     1                                  
                                      2     1                                   
                                     2     1                                    
                                    2     1                                     
                                   2     1                                      
                                  2                                             
                                 2      1                                       
                                2      1                                        
                               2      1                                         
                              2      1                                          
                             2      1                                           
                                   1                                            
                            2     1                                             
                           2    11                                              
                               1                                                
                            111                                                 
                          31                                                    
                         3                                                      
                        3                                                       
                       3                                                        
                      1                                                         
                     12                                                         
                    12                                                          
                   12                                                           
                  12                                                            
                 12                                                             
                32                                                              
               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       173087          0
   1        74242      74404
   2       152622     152305
   3           11        164
   4            1          2
   5            0          0
   6            0          0
   7            0          1
   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            1          1
over           30         32

 d =  -2. 
Event 4.1. u[   3817] =    3823 <    3824; v[   3824] =    3815 <    3817.
b=0 c=0 u[   3816]:    3823    3823
 d =  -1. 
Event 4.2. v[      1] =       5 <       6; u[      6] =       0 <       1.
b=0 c=0 v[      1]:       5
Event 4.2. v[      3] =       7 <       8; u[      8] =       2 <       3.
b=0 c=0 v[      3]:       7
Event 4.2. v[      5] =       9 <      10; u[     10] =       4 <       5.
b=0 c=0 v[      5]:       9
Event 4.1. u[      6] =       0 <       1; v[      1] =       5 <       6.
b=0 c=0 u[      6]:       0
Event 4.2. v[      7] =      11 <      12; u[     12] =       6 <       7.
b=0 c=0 v[      7]:      11
Event 4.1. u[      8] =       2 <       3; v[      3] =       7 <       8.
b=0 c=0 u[      8]:       2
Event 4.2. v[      9] =      13 <      14; u[     14] =       8 <       9.
b=0 c=0 v[      9]:      13
Event 4.1. u[     10] =       4 <       5; v[      5] =       9 <      10.
b=0 c=0 u[     10]:       4
Event 4.2. v[     11] =      15 <      16; u[     16] =      10 <      11.
b=0 c=0 v[     11]:      15
Event 4.1. u[     12] =       6 <       7; v[      7] =      11 <      12.
b=0 c=0 u[     12]:       6
Event 4.2. v[     13] =      17 <      18; u[     18] =      12 <      13.
b=0 c=0 v[     13]:      17
Event 4.1. u[     14] =       8 <       9; v[      9] =      13 <      14.
b=0 c=0 u[     14]:       8
Event 4.2. v[     15] =      19 <      20; u[     20] =      14 <      15.
b=0 c=0 v[     15]:      19
Event 4.1. u[ 199997] =  191786 <  191787; v[ 191787] =  199996 <  199997.
b=0 c=0 u[ 199997]:  191786
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     81737     81737         0         0     -1
 -2         1         0         0         0     -2
 -3         0         0         0         0     -3

Totals / Min / Under -25:  
        81738     81737         0         0
            2         1         0         0
            0         0         0         0

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
  Nmbr  =         420.        Total   =  791783.      Min thru -81 =       0.
  Type  = WR|(WW&CC3).        Minimum =      -2.      -80 thru  -1 =  163475.
  Behav =     Relaxed.        Maximum =    5616.        0 thru  39 =  617138.
  histend                     K       =  200000.       40 thru Max =   11170.

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

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

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

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

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

  End  analysis of Test T420  at               00:02:20.623 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:02:20.726 980617
  End execution of Test T700  at               00:02:21.042 980617
  Duration                                            0.316 
Start  analysis of Test T700  at               00:02:21.042 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.292    0.316    0.000    0.000    0.000    0.000    0.000    0.000 
   0.291    0.315    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      17  199999  199999
   9999   10042    9955       0       0
  19998   20108   19887       0       0
  29997   30184   29810       0       0
  39996   38450   43453       0       0
  49995   45373   55010       0       0
  59994   54938   65106       0       0
  69993   64816   75718       0       0
  79992   73948   86028       0       0
  89991   83959   99793       0       0
  99990   90185  109964       0       0
 109989  100014  119874       0       0
 119988  110104  129827       0       0
 129987  120147  139872       0       0
 139986  130100  150056       0       0
 149985  139913  160269       0       0
 159984  149703  170703       0       0
 169983  159262  180671       0       0
 179982  169290  199999       0       0
 189981  173885  199999       0       0
 199980  176971  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C                                                                    22222222222
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                    2           
                                                                   2            
                                                                  2             
                                                                 2             1
                                                                2        111111 
                                                               2        1       
                                                              2        1        
                                                                      1         
                                                             2       1          
                                                            2       1           
                                                           2       1            
                                                          2       1             
                                                         2       1              
                                                        2       1               
                                                       2       1                
                                                      2       1                 
                                                     2       1                  
                                                    2       1                   
                                                   2       1                    
                                                  2       1                     
                                                 2       1                      
                                                2       1                       
                                               2       1                        
                                              2       1                         
                                             2       1                          
                                            2       1                           
                                           2       1                            
                                          2       1                             
                                         2       1                              
                                        2       1                               
                                       2       1                                
                                      2       1                                 
                                     2       1                                  
                                    2       1                                   
                                   2       1                                    
                                  2       1                                     
                                         1                                      
                                        1                                       
                                 2     1                                        
                                2   111                                         
                               2   1                                            
                              2   1                                             
                             2   1                                              
                            2                                                   
                           2   11                                               
                          2   1                                                 
                         2   1                                                  
                        2   1                                                   
                       2   1                                                    
                      2   1                                                     
                     2   1                                                      
                    2   1                                                       
                   2   1                                                        
                  2   1                                                         
                     1                                                          
                 2  1                                                           
                2  1                                                            
                  1                                                             
               211                                                              
              31                                                                
             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        81150          0
   1       286172     286167
   2        32591      32588
   3           22         29
   4            2          1
   5            1          2
   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          3
  19            3          1
over           50         55

 d =  -1. 
Event 7.2. v[      3] =      21 <      22; u[     22] =       2 <       3.
b=0 c=0 v[      3]:      21
Event 7.2. v[     17] =      35 <      36; u[     36] =      16 <      17.
b=0 c=0 v[     17]:      35
Event 7.1. u[     22] =       2 <       3; v[      3] =      21 <      22.
b=0 c=0 u[     22]:       2
Event 7.2. v[     33] =      51 <      52; u[     52] =      32 <      33.
b=0 c=0 v[     33]:      51
Event 7.2. v[     35] =      53 <      54; u[     54] =      34 <      35.
b=0 c=0 v[     35]:      53
Event 7.1. u[     36] =      16 <      17; v[     17] =      35 <      36.
b=0 c=0 u[     36]:      16
Event 7.2. v[     37] =      55 <      56; u[     56] =      36 <      37.
b=0 c=0 v[     37]:      55
Event 7.2. v[     39] =      57 <      58; u[     58] =      38 <      39.
b=0 c=0 v[     39]:      57
Event 7.2. v[     41] =      59 <      60; u[     60] =      40 <      41.
b=0 c=0 v[     41]:      59
Event 7.2. v[     43] =      61 <      62; u[     62] =      42 <      43.
b=0 c=0 v[     43]:      61
Event 7.1. u[     52] =      32 <      33; v[     33] =      51 <      52.
b=0 c=0 u[     52]:      32
Event 7.1. u[     54] =      34 <      35; v[     35] =      53 <      54.
b=0 c=0 u[     54]:      34
Event 7.1. u[     56] =      36 <      37; v[     37] =      55 <      56.
b=0 c=0 u[     56]:      36
Event 7.1. u[     58] =      38 <      39; v[     39] =      57 <      58.
b=0 c=0 u[     58]:      38
Event 7.1. u[ 199935] =  176926 <  176927; v[ 176927] =  199934 <  199935.
b=0 c=0 u[ 199935]:  176926
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     14587     14587         0         0     -1
 -2         0         0         0         0     -2

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

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   =  776985.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -1.      -80 thru  -1 =   29174.
  Behav =     Relaxed.        Maximum =   12438.        0 thru  39 =  724201.
  histend                     K       =  200000.       40 thru Max =   23610.

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

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

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

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

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

  End  analysis of Test T700  at               00:02:22.144 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:02:22.246 980617
  End execution of Test T710  at               00:02:22.546 980617
  Duration                                            0.300 
Start  analysis of Test T710  at               00:02:22.588 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.299    0.282    0.000    0.000    0.000    0.000    0.000    0.000 
   0.298    0.281    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       3       0  199999       0
   9999   10074    9923       0       0
  19998   20094   19901       0       0
  29997   30148   29845       0       0
  39996   39995   39995       0       0
  49995   49891   50099       0       0
  59994   59628   60368       0       0
  69993   69507   70483       0       0
  79992   79403   80591       0       0
  89991   89114   90900       0       0
  99990   98751  101282       0       0
 109989  108422  111601       0       0
 119988  118088  121968       0       0
 129987  127718  132255       0       0
 139986  137932  142091       0       0
 149985  164572  142795       0       0
 159984  174167  145483       0       0
 169983  187694  155608       0       0
 179982  197663  166041       0       0
 189981  199999  172235       0       0
 199980  199999  182164       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4                                                                       11111111
                                                                       1        
                                                                      1         
                                                                     1          
                                                                    1           
                                                                   1            
                                                                                
                                                                  1            2
                                                                 1            2 
                                                                1            2  
                                                               1            2   
                                                              1            2    
                                                             1          222     
                                                            1          2        
                                                           1          2         
                                                          1          2          
                                                         1          2           
                                                                   2            
                                                                  2             
                                                                                
                                                                22              
                                                               2                
                                                        2222222                 
                                                       2                        
                                                      2 1                       
                                                     2 1                        
                                                    2 1                         
                                                   2 1                          
                                                  2 1                           
                                                 2 1                            
                                                2 1                             
                                               2 1                              
                                              2 1                               
                                             2 1                                
                                            2 1                                 
                                           2 1                                  
                                          2 1                                   
                                         2 1                                    
                                        2 1                                     
                                         1                                      
                                       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                                                                     
         3                                                                      
        3                                                                       
       3                                                                        
      3                                                                         
     3                                                                          
    3                                                                           
   3                                                                            
  3                                                                             
 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       111606          0
   1       218439     218418
   2        69878      69908
   3           26         16
   4            2          2
   5            0          1
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            3          1
  19            6          9
over           33         35

 d =  -1. 
Event 7.1. u[      3] =       6 <       7; v[      7] =       2 <       3.
b=0 c=0 u[      3]:       6
Event 7.2. v[      7] =       2 <       3; u[      3] =       6 <       7.
b=0 c=0 v[      7]:       2
Event 7.1. u[     15] =      17 <      18; v[     18] =      14 <      15.
b=0 c=0 u[     15]:      17
Event 7.2. v[     18] =      14 <      15; u[     15] =      17 <      18.
b=0 c=0 v[     18]:      14
Event 7.1. u[     46] =      48 <      49; v[     49] =      45 <      46.
b=0 c=0 u[     46]:      48
Event 7.1. u[     49] =      52 <      53; v[     53] =      48 <      49.
b=0 c=0 u[     49]:      52
Event 7.2. v[     49] =      45 <      46; u[     46] =      48 <      49.
b=0 c=0 v[     49]:      45
Event 7.1. u[     51] =      54 <      55; v[     55] =      50 <      51.
b=0 c=0 u[     51]:      54
Event 7.2. v[     53] =      48 <      49; u[     49] =      52 <      53.
b=0 c=0 v[     53]:      48
Event 7.1. u[     54] =      57 <      58; v[     58] =      53 <      54.
b=0 c=0 u[     54]:      57
Event 7.2. v[     55] =      50 <      51; u[     51] =      54 <      55.
b=0 c=0 v[     55]:      50
Event 7.1. u[     56] =      59 <      60; v[     60] =      55 <      56.
b=0 c=0 u[     56]:      59
Event 7.2. v[     58] =      53 <      54; u[     54] =      57 <      58.
b=0 c=0 v[     58]:      53
Event 7.2. v[     60] =      55 <      56; u[     56] =      59 <      60.
b=0 c=0 v[     60]:      55
Event 7.2. v[ 199994] =  182178 <  182179; u[ 182179] =  199993 <  199994.
b=0 c=0 v[ 199994]:  182178
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     31569     31569         0         0     -1
 -2         0         0         0         0     -2

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

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   =  782179.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -1.      -80 thru  -1 =   63138.
  Behav =     Relaxed.        Maximum =   16461.        0 thru  39 =  696552.
  histend                     K       =  200000.       40 thru Max =   22489.

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

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

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

  End  analysis of Test T710  at               00:02:23.795 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:02:23.897 980617
  End execution of Test T720  at               00:02:24.531 980617
  Duration                                            0.634 
Start  analysis of Test T720  at               00:02:24.602 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.275    0.634    0.000    0.000    0.000    0.000    0.000    0.000 
   0.274    0.633    0.000    0.000    0.000    0.000    0.000    0.000 

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       2       0       0       0
   9999    9845   10156       0       0
  19998   19854   20141       0       0
  29997   29763   30231       0       0
  39996   39559   40432       0       0
  49995   49706   50285       0       0
  59994   59687   60301       0       0
  69993   69575   70409       0       0
  79992   79710   80273       0       0
  89991   89759   90222       0       0
  99990   99808  100171       0       0
 109989  109894  110078       0       0
 119988  120000  119975       0       0
 129987  126713  133153       0       0
 139986  135605  199999       0       0
 149985  135868  199999       0       0
 159984  135868  199999       0       0
 169983  135868  199999       0       0
 179982  135868  199999       0       0
 189981  135868  199999       0       0
 199980  135868  199999       0       0

  dim =    80, max = 200000, pamx =     1.
  Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                      22222222222222222222222222
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                     2                          
                                                    2   111111111111111111111111
                                                       1                        
                                                   2 11                         
                                                  2 1                           
                                                  11                            
                                                 3                              
                                                3                               
                                               3                                
                                              3                                 
                                             3                                  
                                            3                                   
                                           3                                    
                                          3                                     
                                         3                                      
                                        3                                       
                                       3                                        
                                      3                                         
                                     3                                          
                                    3                                           
                                   3                                            
                                  3                                             
                                 3                                              
                                3                                               
                               3                                                
                              3                                                 
                             3                                                  
                            3                                                   
                           3                                                    
                          3                                                     
                         3                                                      
                        3                                                       
                       3                                                        
                      3                                                         
                     3                                                          
                    3                                                           
                   3                                                            
                  3                                                             
                 3                                                              
                3                                                               
               3                                                                
              3                                                                 
             3                                                                  
            3                                                                   
           3                                                                    
          3                                                                     
         3                                                                      
        3                                                                       
       3                                                                        
      2                                                                         
     21                                                                         
    21                                                                          
   31                                                                           
  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       154168          0
   1       222508     222482
   2        23251      23297
   3           28          8
   4            0          0
   5            0          1
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            1          1
  15            0          0
  16            0          0
  17            1          1
  18            1          2
  19            4          5
over           31         31

 d =  -1. 
Event 7.1. u[      4] =       6 <       7; v[      7] =       3 <       4.
b=0 c=0 u[      4]:       6
Event 7.1. u[      6] =       8 <       9; v[      9] =       5 <       6.
b=0 c=0 u[      6]:       8
Event 7.2. v[      7] =       3 <       4; u[      4] =       6 <       7.
b=0 c=0 v[      7]:       3
Event 7.1. u[      8] =      10 <      11; v[     11] =       7 <       8.
b=0 c=0 u[      8]:      10
Event 7.2. v[      9] =       5 <       6; u[      6] =       8 <       9.
b=0 c=0 v[      9]:       5
Event 7.1. u[     10] =      12 <      13; v[     13] =       9 <      10.
b=0 c=0 u[     10]:      12
Event 7.2. v[     11] =       7 <       8; u[      8] =      10 <      11.
b=0 c=0 v[     11]:       7
Event 7.2. v[     13] =       9 <      10; u[     10] =      12 <      13.
b=0 c=0 v[     13]:       9
Event 7.1. u[     14] =      16 <      17; v[     17] =      13 <      14.
b=0 c=0 u[     14]:      16
Event 7.1. u[     17] =      20 <      21; v[     21] =      16 <      17.
b=0 c=0 u[     17]:      20
Event 7.2. v[     17] =      13 <      14; u[     14] =      16 <      17.
b=0 c=0 v[     17]:      13
Event 7.2. v[     21] =      16 <      17; u[     17] =      20 <      21.
b=0 c=0 v[     21]:      16
Event 7.1. u[     23] =      25 <      26; v[     26] =      22 <      23.
b=0 c=0 u[     23]:      25
Event 7.2. v[     26] =      22 <      23; u[     23] =      25 <      26.
b=0 c=0 v[     26]:      22
Event 7.1. u[ 140247] =  135867 <  135868; v[ 135868] =  140246 <  140247.
b=0 c=0 u[ 140247]:  135867
  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1     10248     10248         0         0     -1
 -2         0         0         0         0     -2

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

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   =  735863.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =      -1.      -80 thru  -1 =   20496.
  Behav =     Relaxed.        Maximum =   59753.        0 thru  39 =  649889.
  histend                     K       =  200000.       40 thru Max =   65478.

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

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

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

  End  analysis of Test T720  at               00:02:25.633 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:02:25.736 980617
  End execution of Test T800  at               00:02:25.989 980617
  Duration                                            0.253 
Start  analysis of Test T800  at               00:02:26.169 980617

Thread start, stop, and dur times.
   0.002    0.002    0.000    0.000    0.000    0.000    0.000    0.000 
   0.244    0.253    0.000    0.000    0.000    0.000    0.000    0.000 
   0.242    0.251    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....:....
                                                                           22  F
                                                                              F 
                                                                          22 F  
                                                                         2  F   
                                                                           F   1
                                                                          F  1  
                                                                         F  1   
                                                                       2F       
                                                                      2F1       
                                                                     2F1        
                                                                    2F          
                                                                    F1          
                                                                   F            
                                                                 2F1            
                                                                2F1             
                                                               2F1              
                                                              2F1               
                                                             2F1                
                                                            2F1                 
                                                           2F1                  
                                                          2F                    
                                                         2F                     
                                                        2F1                     
                                                       2F1                      
                                                      2F1                       
                                                     2F1                        
                                                    2F1                         
                                                   2F                           
                                                  2F1                           
                                                 2F1                            
                                                 F                              
                                               2F1                              
                                              2F1                               
                                             2F                                 
                                             F                                  
                                            F1                                  
                                          2F                                    
                                         2F1                                    
                                        2F                                      
                                       2F1                                      
                                      2F1                                       
                                     2F1                                        
                                    2F1                                         
                                   2F1                                          
                                  2F                                            
                                 2F                                             
                                 F                                              
                               2F1                                              
                              2F                                                
                              F1                                                
                             F                                                  
                            F                                                   
                           F1                                                   
                          F1                                                    
                         F                                                      
                        F                                                       
                       F                                                        
                      F                                                         
                     F1                                                         
                   2F1                                                          
                   F                                                            
                  F                                                             
                 F                                                              
               2F                                                               
              2F                                                                
              F                                                                 
             F                                                                  
            F                                                                   
           F                                                                    
          F                                                                     
         F                                                                      
        F                                                                       
       F                                                                        
      F                                                                         
     F                                                                          
    F                                                                           
   F                                                                            
 2F                                                                             
 F                                                                              
F                                                                               
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 
      0 -80        0 -60        0 -40        0 -20   799623   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        2   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 |_________._________._________.__o______._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   =  799625.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       3.        0 thru  39 =  799625.
  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   799623   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        1   3        0  23 
      0 -76        0 -56        0 -36        0 -16        1   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 |_________._________._________.__ooo____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         800.        Total   =  799627.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       5.        0 thru  39 =  799627.
  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:02:49.494 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:02:49.597 980617
  End execution of Test T820  at               00:02:49.857 980617
  Duration                                            0.260 
Start  analysis of Test T820  at               00:02:50.055 980617

Thread start, stop, and dur times.
   0.001    0.001    0.000    0.000    0.000    0.000    0.000    0.000 
   0.260    0.243    0.000    0.000    0.000    0.000    0.000    0.000 
   0.259    0.242    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
                                                                        1     F 
                                                                             F  
                                                                            F   
                                                                           F    
                                                                     11   F     
                                                                    1    F      
                                                                        F     2 
                                                                  11   F     22 
                                                                 1    F     2   
                                                                     F    2     
                                                               11   F   2       
                                                              11   F   22       
                                                             1    F   22        
                                                                 F   22         
                                                            1   F    2          
                                                          11   F    2           
                                                          1   F   22            
                                                        11   F                  
                                                       11   F                   
                                                       1   F                    
                                                      1   F    2                
                                                         F   2                  
                                                    1   F   2                   
                                                       F                        
                                                 11   F   2                     
                                                 1   F   22                     
                                               1    F   22                      
                                               1   F   2                        
                                                  F                             
                                             1   F   22                         
                                           11   F   22                          
                                          1    F   22                           
                                              F   2                             
                                        1    F   22                             
                                            F   22                              
                                      1    F   22                               
                                     1    F                                     
                                    1    F   22                                 
                                   1    F   22                                  
                                  11   F   2                                    
                                  1   F   22                                    
                                1    F   22                                     
                               1    F   22                                      
                               1   F   22                                       
                              1   F   22                                        
                            11   F   22                                         
                           11   F   2                                           
                          11   F    2                                           
                              F                                                 
                             F   2                                              
                       1    F                                                   
                      11   F   22                                               
                     1    F                                                     
                         F   2                                                  
                    1   F   22                                                  
                  11   F   2                                                    
                 11   F   2                                                     
                 1   F   2                                                      
                    F                                                           
                1  F    2                                                       
              11  F   22                                                        
              1  F   2                                                          
                F  2                                                            
               F                                                                
            11F  22                                                             
           1 F                                                                  
           1F                                                                   
         11F 2                                                                  
        11F22                                                                   
       11F 2                                                                    
      11F                                                                       
       F 2                                                                      
      F22                                                                       
     F                                                                          
    F                                                                           
   F                                                                            
  F                                                                             
 F                                                                              
F                                                                               
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....


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

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

  Test  =     A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
  Nmbr  =         820.        Total   =  799736.      Min thru -81 =       0.
  Type  = (WW|WR)&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       0.        0 thru  39 =  799736.
  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   799736   0        0  20 
      0 -79        0 -59        0 -39        0 -19        0   1        0  21 
      0 -78        0 -58        0 -38        0 -18        0   2        0  22 
      0 -77        0 -57        0 -37        0 -17        0   3        0  23 
      0 -76        0 -56        0 -36        0 -16        0   4        0  24 
      0 -75        0 -55        0 -35        0 -15        0   5        0  25 
      0 -74        0 -54        0 -34        0 -14        0   6        0  26 
      0 -73        0 -53        0 -33        0 -13        0   7        0  27 
      0 -72        0 -52        0 -32        0 -12        0   8        0  28 
      0 -71        0 -51        0 -31        0 -11        0   9        0  29 
      0 -70        0 -50        0 -30        0 -10        0  10        0  30 
      0 -69        0 -49        0 -29        0  -9        0  11        0  31 
      0 -68        0 -48        0 -28        0  -8        0  12        0  32 
      0 -67        0 -47        0 -27        0  -7        0  13        0  33 
      0 -66        0 -46        0 -26        0  -6        0  14        0  34 
      0 -65        0 -45        0 -25        0  -5        0  15        0  35 
      0 -64        0 -44        0 -24        0  -4        0  16        0  36 
      0 -63        0 -43        0 -23        0  -3        0  17        0  37 
      0 -62        0 -42        0 -22        0  -2        0  18        0  38 
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

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

  Test  =     A(CMP,UPO,RW) and A(CMP,UPO,CC3).
  Nmbr  =         820.        Total   =  799736.      Min thru -81 =       0.
  Type  =      RW&CC3.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =       0.        0 thru  39 =  799736.
  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:03:13.355 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.092 
  Multiplications:                                    0.253 
  Divisions:                                          0.385 
Time to perform 1000000 of the following floating operations:
  Additions:                                          0.099 
  Subtractions:                                       0.096 
  Multiplications:                                    0.095 
  Divisions:                                          0.136 
================================================================================

Summary of run:                                00:03:14.674 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: sometimes
  Line count:                0.
  Action count:              0.
  Interference count:        0.
  T10 thread 0 count:        100000.
  T10 thread 1 count:        10000.
  T10 thread 2 count:        100000.

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.412      0.238   T100           1   0
      0.409      0.239   T120           0   1
      1.438      0.690   T200           2   0
      1.244      0.681   T210           1   1
      1.441      0.685   T220           0   2
      0.234      1.540   T400.1   -1    2   0
                         T400.2         2   0
      0.402      1.549   T410.1   -1    1   1
                         T410.2         1   1
      0.243      1.530   T420.1   -2    0   2
                         T420.2         0   2
      0.316      1.102   T700.1   -1    2   0
                         T700.2         2   0
      0.300      1.207   T710.1   -1    1   1
                         T710.2         1   1
      0.634      1.031   T720.1   -1    0   2
                         T720.2         0   2
      0.253     23.325   T800           1   0
      0.260     23.300   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.