From:   IN%"toussi@mountains.ee.umn.edu"  "Farnaz Mounes-Toussi" 23-FEB-1995 17:38:43.34
To:     IN%"MPDIAG@delphi.com"
Date: Thu, 23 Feb 1995 16:38:21 -0600
From: Farnaz Mounes-Toussi 
To: MPDIAG@delphi.com

Hi Bill,

Enclosed is the test results on the 4 processor Power Challenger.

Farnaz
--------------------------------------

by W. W. Collier, mpdiag@acm.org. 


Specify how to generate the data to be analyzed.
1.  Execute real multiprocessing code to generate data.
2.  Execute the real mp code, but with only one processor.
3.  Generate data randomly with errors.
4.  Generate data randomly, but without errors.
5.  Use static data with errors.
6.  Use static data without errors.
(Choices 2-6 are for debugging.)  Choice [1]: 1
Enter the number of processors (from 2 to 8) [2]:   4
Define logical length of arrays (max=500000) [20000]:   20000

The following tests can be run:  2    3    4    5    6    7    8    9
                                      310            610        
                                 220  320  420  520  620  720 

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

     Note added July 1996.

     The numbering scheme for some tests was changed in late 1995.

     The numbers for the following tests have not changed.

     200 300 400 500 600 700 800 900

     Two tests, 310 and 610, have been deleted.  They created
extraneous cache traffic in a fixed format in order to see if that
introduced relaxed behavior.  Currently, any test can have extraneous
cache traffic introduced in a random fashion by setting run time
parameters.

     The names of these tests have been changed

     220 320 420 520 620 720
to
     210 310 410 510 610 710

     The change in numbers should cause little confusion in
interpreting the results.  The relaxation that a test seeks to detect
is determined only by the initial digit in its number.  See the file
ANALYSIS to understand the relaxations that each of the tests seeks
to detect.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Specify which tests to run [all]:   all

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      archout.000.
Number of processors:  4.
Length of the arrays:  20000.
Test(s) to run:        2 3 4 5 6 7 8 9 310 610 220 320 420 520 620 720 

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

  Test T200.  Seek a violation of A(CMP,RO,WO).

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[2i]   > U[2i+1] + 1
Start execution of Test 200 at:                17:21:06.661701 950223
  End execution of Test 200 at:                17:21:06.746984 950223
      i       U       V       X       Y
      0       0       0       0       0
   1999   10411       0       0       0
   3998   19999       0       0       0
   5997   19999       0       0       0
   7996   19999       0       0       0
   9995   19999       0       0       0
  11994   19999       0       0       0
  13993   19999       0       0       0
  15992   19999       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Analysis of T2 data:
      i       U       V       X       Y

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

  Test T220.  Seek a violation of A(CMP,RO,WO).

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[2i]   > U[2i+1] + 1
Start execution of Test 220 at:                17:21:06.781862 950223
  End execution of Test 220 at:                17:21:06.799671 950223
      i       U       V       X       Y
      0       0       0       0       0
   1999    6240       0       0       0
   3998   11804       0       0       0
   5997   17980       0       0       0
   7996   19999       0       0       0
   9995   19999       0       0       0
  11994   19999       0       0       0
  13993   19999       0       0       0
  15992   19999       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Analysis of T2 data:
      i       U       V       X       Y

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

  Test T300.  Seek a violation of A(CMP,RO,WO).

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 300 at:                17:21:06.841245 950223
  End execution of Test 300 at:                17:21:06.879223 950223
      i       U       V       X       Y
      0      46       0       0       0
   1999     889     900       0       0
   3998    1914    1856       0       0
   5997    2731    2791       0       0
   7996    3752    3663       0       0
   9995    4591    4543       0       0
  11994    5527    5421       0       0
  13993    6525    6277       0       0
  15992    7415    7131       0       0
  17991    8434    8025       0       0
  19990    9454    8927       0       0

Analysis of T3 data.
      i       U       V       X       Y

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

  Test T310.  Seek a violation of A(CMP,RO,WO).

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 310 at:                17:21:07.009898 950223
  End execution of Test 310 at:                17:21:07.339744 950223
      i       U       V       X       Y
      0       1       1       0       0
   1999    2048    1841       0       0
   3998    4108    3657       0       0
   5997    6199    5457       0       0
   7996    8255    7210       0       0
   9995   10317    9028       0       0
  11994   12339   10765       0       0
  13993   14346   12602       0       0
  15992   16402   14412       0       0
  17991   18434   16240       0       0
  19990   19999   18003       0       0

Analysis of T3 data.
      i       U       V       X       Y

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

  Test T320.  Seek a violation of A(CMP,RO,WO).

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 320 at:                17:21:07.493831 950223
  End execution of Test 320 at:                17:21:07.535077 950223
      i       U       V       X       Y
      0      26      65       0       0
   1999    1223     640       0       0
   3998    2473    1211       0       0
   5997    3653    1779       0       0
   7996    4923    2351       0       0
   9995    6115    3080       0       0
  11994    6914    3533       0       0
  13993    8351    4266       0       0
  15992    9810    4655       0       0
  17991   11021    5552       0       0
  19990   12175    6138       0       0

Analysis of T3 data.
      i       U       V       X       Y

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

  Test T400.  Seek a violation of A(CMP,PO).

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.
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.
Start execution of Test 400 at:                17:21:07.692323 950223
  End execution of Test 400 at:                17:21:07.721732 950223
      i       U       V       X       Y
      0       0       0       0       0
   1999    1712    2337       0       0
   3998    3370    4791       0       0
   5997    5015    7114       0       0
   7996    6757    9455       0       0
   9995    8475   11818       0       0
  11994   10139   14247       0       0
  13993   11806   16478       0       0
  15992   13522   18283       0       0
  17991   15250   19999       0       0
  19990   16880   19999       0       0

Analysis of T4 data:

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
================================================================================

  Test T420.  Seek a violation of A(CMP,PO).

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.
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.
Start execution of Test 420 at:                17:21:07.788033 950223
  End execution of Test 420 at:                17:21:07.808951 950223
      i       U       V       X       Y
      0      26       0       0       0
   1999     851    4753       0       0
   3998    1688    9536       0       0
   5997    2514   13882       0       0
   7996    3378   18927       0       0
   9995    4193   19999       0       0
  11994    5181   19999       0       0
  13993    6039   19999       0       0
  15992    6749   19999       0       0
  17991    7611   19999       0       0
  19990    8439   19999       0       0

Analysis of T4 data:
Error 4.1. u[      2] =      32 <      33 and v[     33] =       1 <       2
Error 4.1. u[      3] =      32 <      33 and v[     33] =       1 <       3
Error 4.1. u[      4] =      32 <      33 and v[     33] =       1 <       4
Error 4.1. u[      5] =      32 <      33 and v[     33] =       1 <       5
Error 4.1. u[      6] =      32 <      33 and v[     33] =       1 <       6
Error 4.1. u[      8] =      34 <      35 and v[     35] =       7 <       8

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
      0      26       0       0      32       0 2097152
      1      32       0       0      31       1 2097152
      2      32       0      -1      30       2 2097152
      3      32       0      -2      29       3 2097152
      4      32       0      -3      28       4 2097152
      5      32       0      -4      27       5 2097152
      6      32       0      -5      26       6 2097152
      7      34       0       0      25       6 2097152
      8      34       0      -1      24       7 2097152
      9      34       0      -2      23       8 2097152
     10      34       0      -3      22       9 2097152
     11      34       0      -4      21      10 2097152

     30      42       0      -1       2       7 2097152
     31      42       0      -2       1       8 2097152
     32      42       1      -3       0       9       6
     33      42       1      -4      -1      10       7
     34      44       7       0       0       5       2
     35      44       7      -1      -1       6       3
     36      44      12      -2       0       7       2
     37      44      12      -3      -1       8       3
     38      44      18      -4       0       9       2

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

  Test T500.  Seek a violation of A(CMP,RO,WO,WA).

Seek 5.  U[i] > V[i].
Start execution of Test 500 at:                17:21:07.893088 950223
  End execution of Test 500 at:                17:21:07.912909 950223
      i       U       V       X       Y
      0       0       0       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T5 data:
      i       U       V       X       Y

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

  Test T520.  Seek a violation of A(CMP,RO,WO,WA).

Seek 5.  U[i] > V[i].
Start execution of Test 520 at:                17:21:07.949469 950223
  End execution of Test 520 at:                17:21:07.969483 950223
      i       U       V       X       Y
      0       0      86       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T5 data:
      i       U       V       X       Y

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

  Test T600.  Seek a violation of A(CMP,RO,WO,WA).

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of
the same parity.
Start execution of Test 600 at:                17:21:08.014394 950223
  End execution of Test 600 at:                17:21:08.027316 950223
      i       U       V       X       Y
      0      64      82       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T6 data:
      i       U       V       X       Y

Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F3                                                                              
 33                                                                             
  33                                                                            
    33                                                                          
     33                                                                         
      33                                                                        
       33                                                                       
        33                                                                      
         33                                                                     
           33                                                                   
            33                                                                  
             13                                                                 
              33                                                                
               33                                                               
                33                                                              
                  33                                                            
                   33                                                           
                    33                                                          
                     33                                                         
                      33                                                        
                       33                                                       
                         33                                                     
                          33                                                    
                           33                                                   
                            33                                                  
                             33                                                 
                              33                                                
                                33                                              
                                 33                                             
                                  33                                            
                                   33                                           
                                    33                                          
                                     33                                         
                                       33                                       
                                        33                                      
                                         33                                     
                                          33                                    
                                           33                                   
                                            33                                  
                                              33                                
                                               33                               
                                                33                              
                                                 33                             
                                                  33                            
                                                   33                           
                                                     33                         
                                                      33                        
                                                       33                       
                                                        33                      
                                                         33                     
                                                          33                    
                                                            3                   
                                                             33                 
                                                              33                
                                                               33               
                                                                33              
                                                                 33             
                                                                  33            
                                                                    33          
                                                                     33         
                                                                      33        
                                                                       33       
                                                                        33      
                                                                         333    
                                                                           33   
                                                                            33  
                                                                             33 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

Save output from Test 6? [n] n
================================================================================

  Test T610.  Seek a violation of A(CMP,RO,WO,WA).

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of
the same parity.
Start execution of Test 610 at:                17:21:17.263189 950223
  End execution of Test 610 at:                17:21:17.520883 950223
      i       U       V       X       Y
      0       5      13       0       0
   1999    2831    2634       0       0
   3998    5628    5263       0       0
   5997    8319    7771       0       0
   7996   11196   10447       0       0
   9995   13897   13030       0       0
  11994   16753   15749       0       0
  13993   19515   18305       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T6 data:
      i       U       V       X       Y

Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F                                                                               
33                                                                              
 33                                                                             
  33                                                                            
   33                                                                           
    33                                                                          
     33                                                                         
      33                                                                        
       33                                                                       
        33                                                                      
         33                                                                     
          33                                                                    
           33                                                                   
            33                                                                  
             33                                                                 
              33                                                                
               33                                                               
                33                                                              
                 33                                                             
                  33                                                            
                   33                                                           
                    33                                                          
                     33                                                         
                      33                                                        
                       33                                                       
                        33                                                      
                         33                                                     
                          33                                                    
                           33                                                   
                            33                                                  
                             33                                                 
                              33                                                
                               33                                               
                                33                                              
                                 33                                             
                                  33                                            
                                   33                                           
                                    33                                          
                                     33                                         
                                      33                                        
                                       33                                       
                                        33                                      
                                         33                                     
                                          33                                    
                                           33                                   
                                            33                                  
                                             33                                 
                                              33                                
                                               33                               
                                                33                              
                                                 33                             
                                                  33                            
                                                   33                           
                                                    33                          
                                                     33                         
                                                      33                        
                                                       33                       
                                                        33                      
                                                         33                     
                                                          33                    
                                                           33                   
                                                            33                  
                                                             33                 
                                                              33                
                                                               33               
                                                                33              
                                                                 33             
                                                                  33            
                                                                   33           
                                                                    33          
                                                                     33         
                                                                      33        
                                                                       33       
                                                                        33      
                                                                         33     
                                                                          33    
                                                                           33   
                                                                            33  
                                                                             33 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

Save output from Test 6? [n] n
================================================================================

  Test T620.  Seek a violation of A(CMP,RO,WO,WA).

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of
the same parity.
Start execution of Test 620 at:                17:21:30.090016 950223
  End execution of Test 620 at:                17:21:30.111998 950223
      i       U       V       X       Y
      0     126      46       0       0
   1999    6008    6003       0       0
   3998   19999   19999       0       0
   5997   10940   10893       0       0
   7996   19999   19999       0       0
   9995   15764   15679       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T6 data:
      i       U       V       X       Y

Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F                                                                               
3                                                                               
3                                                                               
33                                                                              
 3                                                                              
 3                                                                              
 3                                                                              
 33                                                                             
  3                                                                             
  3                                                                             
  33                                                                            
   3                                                                            
   3                                                                            
   33                                                                           
    3                                                                           
    3                                                                           
    33                                                                          
     3                                                                          
     3                                                                          
     33                                                                         
      3                                                                         
      3                                                                         
      3                                                                         
      33                                                                        
       3                                                                        
       3                                                                        
       33                                                                       
        3                                                                       
        3                                                                       
        3                                                                       
         3                                                                      
         3                                                                      
         3                                                                      
         33                                                                     
          3                                                                     
          3                                                                     
          3                                                                     
          33                                                                    
           3                                                                    
           3                                                                    
           33                                                                   
            3                                                                   
            3                                                                   
            3                                                                   
             3                                                                  
             3                                                                  
             3                                                                  
             33                                                                 
              3                                                                 
              3                                                                 
              33                                                                
               3                                                                
               3                                                                
               31                                                               
                3                                                               
                3                                                               
                33                                                              
                 3                                                              
                 3                                                              
                 32                                                             
                  3                                                             
                  3                                                             
                  33                                                            
                   3                                                            
                   3                                                            
                   3                                                            
                   3                                                            
                   33                                                           
                    3                                                           
                    3                                                           
                    33                                                          
                     3                                                          
                     3                                                          
                     3                                                          
                     33                                                         
                      3                                                         
                      3                                                         
                      3                                                         
                      133333333333333333333333333333333333333333333333333333333 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

Save output from Test 6? [n] n
================================================================================

  Test T700.  Seek a violation of A(CMP,UPO,RO,WO,WA).

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.
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.
Start execution of Test 700 at:                17:21:39.937324 950223
  End execution of Test 700 at:                17:21:39.969620 950223
      i       U       V       X       Y
      0       0       2   19999   19999
   1999    1988    2011       0       0
   3998    3729    4319       0       0
   5997    5408    6882       0       0
   7996    7180    8959       0       0
   9995    8881   11226       0       0
  11994   10672   13718       0       0
  13993   12242   15483       0       0
  15992   14438   17755       0       0
  17991   16175   19991       0       0
  19990   17989   19999       0       0

Analysis of T7 data:

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
================================================================================
Test T720.  Seek a violation of A(CMP,UPO,RO,WO,WA).

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.
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.
Start execution of Test 720 at:                17:21:40.021808 950223
  End execution of Test 720 at:                17:21:40.053020 950223
      i       U       V       X       Y
      0      11       0   19999       0
   1999     856    4755       0       0
   3998    1681    9740       0       0
   5997    2486   14540       0       0
   7996    3287   19506       0       0
   9995    4105   19999       0       0
  11994    4942   19999       0       0
  13993    5773   19999       0       0
  15992    6547   19999       0       0
  17991    7375   19999       0       0
  19990    8195   19999       0       0

Analysis of T7 data:
Error 7.2. v[   3748] =    9126 <    9127 and u[   9127] =    3747 <    3748
Error 7.2. v[   3751] =    9137 <    9138 and u[   9138] =    3750 <    3751
Error 7.2. v[   7846] =   19143 <   19144 and u[  19144] =    7845 <    7846
Error 7.2. v[   7849] =   19154 <   19155 and u[  19155] =    7848 <    7849
Error 7.1. u[   9127] =    3747 <    3748 and v[   3748] =    9126 <    9127
Error 7.1. u[   9128] =    3747 <    3748 and v[   3748] =    9126 <    9128

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
   3745    1575    9120       3       1       1       1
   3746    1575    9121       2       0       2       1
   3747    1575    9126       1       0       3       1
   3748    1576    9126       1      -1       3       2
   3749    1577    9129       3       0       1       2
   3750    1577    9137       2       0       2       1
   3751    1577    9137       1      -1       3       2
   3752    1578    9140       2       0       3       2
   3753    1578    9148       1       2       4       1
   3754    1579    9148       1       1       2       2

   7843    3221   19141       2       1       3       1
   7844    3221   19141       1       0       4       2
   7845    3222   19143       1       0       2       1
   7846    3223   19143       3      -1       1       2
   7847    3223   19146       2       0       2       2
   7848    3223   19154       1       0       3       1
   7849    3224   19154       2      -1       3       2
   7850    3224   19157       1       0       4       2
   7851    3225   19164       1       1       2       1
   7852    3226   19165       4       0       1       1

   9124    3746   19999       2 2097152       4     924
   9125    3746   19999       1 2097152       5     925
   9126    3747   19999       0 2097152       5     926
   9127    3747   19999      -1 2097152       6     927
   9128    3747   19999      -2 2097152       7     928
   9129    3749   19999       8 2097152       3     929
   9130    3749   19999       7 2097152       4     930
   9131    3749   19999       6 2097152       5     931

   9135    3749   19999       2 2097152       9     935
   9136    3749   19999       1 2097152      10     936
   9137    3750   19999       0 2097152       8     937
   9138    3750   19999      -1 2097152       9     938
   9139    3750   19999      -2 2097152      10     939
   9140    3752   19999       8 2097152       3     940
   9141    3752   19999       7 2097152       4     941

  19141    7843   19999       0 2097152       6   10941
  19142    7844   19999       1 2097152       1   10942
  19143    7845   19999       0 2097152       2   10943
  19144    7845   19999      -1 2097152       3   10944
  19145    7845   19999      -2 2097152       4   10945
  19146    7847   19999       8 2097152       3   10946
  19147    7847   19999       7 2097152       4   10947

  19152    7847   19999       2 2097152       9   10952
  19153    7847   19999       1 2097152      10   10953
  19154    7848   19999       0 2097152       8   10954
  19155    7848   19999      -1 2097152       9   10955
  19156    7848   19999      -2 2097152      10   10956
  19157    7850   19999       7 2097152       3   10957
  19158    7850   19999       6 2097152       4   10958

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

  Test T8.  Seek a violation of A(CMP,UPO,CON).

Start execution of Test 800 at:                17:21:40.143176 950223
  End execution of Test 800 at:                17:21:40.238125 950223
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0       1       2       3
    1999   19990   19991   19992   19993
    3998   39980   39981   39982   39983
    5997   59970   59971   59972   59973
    7996   79960   79961   79962   79963
    9995   99950   99951   99952   99953
   11994  119940  119941  119942  119943
   13993  139930  139931  139932  139933
   15992  159920  159921  159922  159923
   17991  179910  179911  179912  180321
   19990  199900  199901  199711  199903
Analysis of T8 data: 
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [n] n
================================================================================

Test T9.  Collect performance data on cache hits.

Test T9.1.  P2: inv -> excl & P3: inv -> excl.
Start execution of Test 9.1 at:                17:21:45.970215 950223
  End execution of Test 9.1 at:                17:21:46.286424 950223

 0  465383   25       6   50       0   75       0
 1       1   26       8   51       2   76       0
 2       0   27    1048   52       5   77       0
 3       0   28   24432   53       0   78       0
 4       0   29    4435   54       1   79       0
 5       0   30     490   55       2   80       0
 6       1   31    1227   56       0   81       0
 7     283   32    1241   57       1   82       0
 8      63   33      51   58       1   83       0
 9      12   34       7   59       0   84       0
10       5   35       9   60       0   85       0
11       2   36     478   61       0   86       0
12       9   37     145   62       0   87       0
13       3   38      39   63       0   88       0
14       0   39      72   64       0   89       0
15       5   40     142   65       0   90       0
16       3   41      24   66       0   91       0
17       1   42      58   67       0   92       0
18       1   43      97   68       0   93       0
19       7   44      63   69       0   94       0
20       1   45      90   70       0   95       0
21       3   46       1   71       0   96       0
22       7   47       1   72       0   97       0
23       7   48       1   73       0   98       0
24       8   49       1   74       0   99       0

Total = 499999, t9min = 0, t9max = 1256, under = 0, over = 0.


Test T9.2.  P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at:                17:21:46.694461 950223
  End execution of Test 9.2 at:                17:21:47.026392 950223

 0  430609   25     378   50       0   75       0
 1       5   26     521   51       0   76       0
 2       1   27     186   52       0   77       0
 3       1   28      74   53       0   78       0
 4       9   29      16   54       0   79       0
 5      33   30       9   55       0   80       0
 6      55   31       3   56       0   81       0
 7     808   32       5   57       0   82       0
 8     231   33       1   58       0   83       0
 9      32   34       2   59       0   84       0
10      20   35       1   60       0   85       0
11      70   36       1   61       0   86       0
12   11778   37       0   62       0   87       0
13    1567   38       0   63       0   88       0
14   37305   39       0   64       0   89       0
15   13528   40       0   65       0   90       0
16    1218   41       1   66       0   91       0
17     399   42       0   67       0   92       0
18      84   43       0   68       0   93       0
19      21   44       0   69       0   94       0
20      30   45       0   70       0   95       0
21      88   46       0   71       0   96       0
22     465   47       0   72       0   97       0
23      96   48       0   73       0   98       0
24     282   49       0   74       0   99       0

Total = 499999, t9min = 0, t9max = 1324, under = 0, over = 0.


Test T9.4.  P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at:                17:21:47.432135 950223
  End execution of Test 9.4 at:                17:21:47.693903 950223

 0  439537   25    2426   50       0   75       0
 1       5   26    2774   51       0   76       0
 2       1   27    1211   52       0   77       1
 3       2   28     737   53       0   78       0
 4       1   29      38   54       0   79       0
 5      10   30       8   55       0   80       0
 6       9   31       7   56       0   81       0
 7   12448   32      72   57       0   82       0
 8   15655   33      88   58       0   83       0
 9     319   34       5   59       0   84       0
10     188   35     158   60       0   85       0
11       0   36     438   61       0   86       0
12       0   37      45   62       0   87       0
13       3   38      91   63       0   88       0
14       2   39      46   64       0   89       0
15     284   40      13   65       0   90       0
16      39   41       7   66       0   91       0
17       8   42       2   67       0   92       0
18      83   43       0   68       0   93       0
19     479   44       2   69       0   94       0
20      32   45       0   70       0   95       0
21      20   46       0   71       0   96       0
22     195   47       2   72       0   97       0
23   12382   48       0   73       0   98       0
24   10109   49       0   74       0   99       0

Total = 499999, t9min = 0, t9max = 1177, under = 0, over = 0.


Test T9.3.  P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at:                17:21:48.121742 950223
  End execution of Test 9.3 at:                17:21:48.440372 950223

 0  465574   25       4   50     146   75       0
 1       1   26      23   51      14   76       0
 2       1   27    2101   52       1   77       0
 3       0   28   23135   53       1   78       0
 4       0   29    4115   54       2   79       0
 5       1   30     721   55       4   80       0
 6       1   31    1124   56       2   81       0
 7     141   32    1480   57       1   82       0
 8     181   33      64   58       0   83       0
 9       5   34       6   59       1   84       0
10       2   35       9   60       1   85       1
11       1   36     438   61       0   86       0
12       0   37      57   62       0   87       0
13       0   38      32   63       0   88       0
14       0   39     105   64       0   89       0
15       6   40     177   65       0   90       0
16       0   41      51   66       0   91       0
17       0   42      53   67       1   92       0
18       2   43     134   68       0   93       0
19       3   44      18   69       0   94       0
20       0   45      20   70       0   95       0
21       2   46       0   71       0   96       0
22       3   47       3   72       0   97       0
23      10   48       0   73       0   98       0
24       3   49       3   74       0   99       0

Total = 499999, t9min = 0, t9max = 4853, under = 0, over = 0.