ARCHTEST.  Version 3.  950114. 
by W. W. Collier, mpdiag@acm.org. 

                                               09:09:00.447 950411
Sequent 6 proc

Default answers to the following questions are shown in brackets.


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]:   6
Define logical length of arrays (max=500000) [20000]:   250000

The following tests can be run:

  2    3    4    5    6    7    8    9   10   11   12   13   14   
       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
Synchronize the start of test processes?  [n]:  n

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      aseq__00.out.
Number of processors:  6.
Length of the arrays:  250000.
Synchronize processes: n.
Test(s) to run:        200 220 300 310 320 400 420 500 520 600 610 620 700 720 800 900 1000 1100 1200 1300 1400 1500 

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

  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[21]   > U[2i+1] + 1
Start execution of Test 200  at:               09:10:26.501 950411
  End execution of Test 200  at:               09:10:26.631 950411
      i       U       V       X       Y
      0   10459       0       0       0
  24999  103092       0       0       0
  49998  194510       0       0       0
  74997  249999       0       0       0
  99996  249999       0       0       0
 124995  249999       0       0       0
 149994  249999       0       0       0
 174993  249999       0       0       0
 199992  249999       0       0       0
 224991  249999       0       0       0
 249990  249999       0       0       0

Start   analysis of Test 2 at:                 09:10:26.741 950411
  End   analysis of Test 2 at:                 09:10:26.901 950411
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[21]   > U[2i+1] + 1
Start execution of Test 220  at:               09:10:27.512 950411
  End execution of Test 220  at:               09:10:27.703 950411
      i       U       V       X       Y
      0    3796       0       0       0
  24999   60565       0       0       0
  49998  116856       0       0       0
  74997  174426       0       0       0
  99996  231956       0       0       0
 124995  249999       0       0       0
 149994  249999       0       0       0
 174993  249999       0       0       0
 199992  249999       0       0       0
 224991  249999       0       0       0
 249990  249999       0       0       0

Start   analysis of Test 2 at:                 09:10:28.023 950411
  End   analysis of Test 2 at:                 09:10:28.193 950411
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:               09:10:28.874 950411
  End execution of Test 300  at:               09:10:29.175 950411
      i       U       V       X       Y
      0   29482   33363   36948   13960
  24999   48026   23828   50654   52413
  49998   69206   38896   38753   38430
  74997   85486   77991   54269   75911
  99996  103232   70014   72433   66954
 124995  126154  107589  110062  105625
 149994  146378  125549  126460  125083
 174993  135205  115016  116519  115228
 199992  184480  161001  135205  162465
 224991  237864  147052  149529  144204
 249990  249999  196945  168451  157484

Start   analysis of Test 3 at:                 09:10:29.315 950411
  End   analysis of Test 3 at:                 09:10:33.070 950411
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:               09:10:33.721 950411
  End execution of Test 310  at:               09:10:39.159 950411
      i       U       V       X       Y
      0    1711    6771    6926    7201
  24999   32276   28447   24916   32521
  49998   48275   52371   34159   48082
  74997   73525   64012   60824   83699
  99996  111518   88942   65871   96592
 124995  131148  109956   83315  131035
 149994  152666  140499  112658  152891
 174993  178910  158473  128186  165188
 199992  186933  168944  130123  205601
 224991  233714  186924  148477  206968
 249990  233985  227849  163913  237160

Start   analysis of Test 3 at:                 09:10:39.269 950411
  End   analysis of Test 3 at:                 09:10:43.055 950411
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:               09:10:43.696 950411
  End execution of Test 320  at:               09:10:44.026 950411
      i       U       V       X       Y
      0   10206    9218   16566   19311
  24999   24261   22250   27056   35657
  49998   46476   36132   38478   52405
  74997   64638   56817   50830   69655
  99996   83538   64420   63584   88357
 124995   83287   90717   76954   87686
 149994  114300  110423   93120  122789
 174993  132998  104350  109304  109750
 199992  150566  151705  125026  156551
 224991  169650  174917  141780  137814
 249990  147501  210813  156808  159482

Start   analysis of Test 3 at:                 09:10:44.827 950411
  End   analysis of Test 3 at:                 09:10:48.332 950411
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:               09:10:48.953 950411
  End execution of Test 400  at:               09:10:49.183 950411
      i       U       V       X       Y
      0       0    9011       0       0
  24999   15200   34992       0       0
  49998   40224   59721       0       0
  74997   65407   84293       0       0
  99996   90499  108890       0       0
 124995  116220  133861       0       0
 149994  141428  158057       0       0
 174993  167008  182457       0       0
 199992  192423  207700       0       0
 224991  217165  232454       0       0
 249990  242757  249999       0       0

Start   analysis of Test 4/7 at:               09:10:49.294 950411
Error 4.2. v[      1] =    9020 <    9021 and u[   9021] =       0 <       1
Error 4.2. v[      2] =    9020 <    9021 and u[   9021] =       0 <       2
Error 4.2. v[      3] =    9022 <    9023 and u[   9023] =       2 <       3
Error 4.2. v[      4] =    9022 <    9023 and u[   9023] =       2 <       4
Error 4.2. v[      6] =    9025 <    9026 and u[   9026] =       5 <       6
Error 4.2. v[      8] =    9027 <    9028 and u[   9028] =       7 <       8
  End   analysis of Test 4/7 at:               09:10:49.364 950411
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
      0       0    9011    9020       0 2097152       0
      1       0    9020    9019      -1 2097152       1
      2       0    9020    9018      -2 2097152       2
      3       0    9022    9017      -1 2097152       3
      4       0    9022    9016      -2 2097152       4
      5       0    9025    9015       0 2097152       1
      6       0    9025    9014      -1 2097152       2
      7       0    9026    9013       0 2097152       3
      8       0    9027    9012      -1 2097152       3
      9       0    9030    9011      -1 2097152       1
     10       0    9030    9010      -2 2097152       2
     11       0    9033    9009       1 2097152       1

   9018       0   18746       2      -2 2097152       2
   9019       0   18748       1      -1 2097152       3
   9020       0   18748       0      -2 2097152       4
   9021       0   18750      -1      -1 2097152       3
   9022       2   18750       0      -2       2       4
   9023       2   18752      -1       0       3       3
   9024       4   18752       1      -1       2       4
   9025       4   18752       0      -2       3       5
   9026       5   18752      -1      -3       4       6
   9027       7   18755       0       0       2       4
   9028       7   18755      -1      -1       3       5
   9029       8   18760       1       2       3       2
   9030       8   18760       0       1       4       3
   9031       8   18760      -1       0       5       4

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

  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:               09:10:50.325 950411
  End execution of Test 420  at:               09:10:50.636 950411
      i       U       V       X       Y
      0       0    2729       0       0
  24999   13576   43477       0       0
  49998   28999   83696       0       0
  74997   44765  124225       0       0
  99996   60298  164953       0       0
 124995   75470  204267       0       0
 149994   90649  245458       0       0
 174993  106078  249999       0       0
 199992  122340  249999       0       0
 224991  137520  249999       0       0
 249990  152888  249999       0       0

Start   analysis of Test 4/7 at:               09:10:51.146 950411
Error 4.2. v[     59] =    2781 <    2782 and u[   2782] =      58 <      59
Error 4.2. v[     60] =    2781 <    2782 and u[   2782] =      58 <      60
Error 4.2. v[     61] =    2781 <    2782 and u[   2782] =      58 <      61
Error 4.2. v[     62] =    2781 <    2782 and u[   2782] =      58 <      62
Error 4.2. v[     63] =    2781 <    2782 and u[   2782] =      58 <      63
Error 4.2. v[     65] =    2784 <    2785 and u[   2785] =      64 <      65
  End   analysis of Test 4/7 at:               09:10:51.216 950411
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
     56       0    2729    2673       1 2097152      56
     57       0    2773    2672       0 2097152       0
     58       0    2781    2671       0 2097152       1
     59       0    2781    2670      -1 2097152       2
     60       0    2781    2669      -2 2097152       3
     61       0    2781    2668      -3 2097152       4
     62       0    2781    2667      -4 2097152       5
     63       0    2781    2666      -5 2097152       6
     64       0    2784    2665       0 2097152       0
     65       0    2784    2664      -1 2097152       1
     66       0    2784    2663      -2 2097152       2
     67       0    2784    2662      -3 2097152       3
     68       0    2784    2661      -4 2097152       4

   2779      57    7139       2      -1      50       2
   2780      57    7142       1       0      51       1
   2781      58    7143       0       0       8       2
   2782      58    7145      -1       0       9       1
   2783      64    7146       1       0       2       2
   2784      64    7147       0      -1       3       2
   2785      64    7150      -1      -1       4       1
   2786      64    7152      -2       1       5       2
   2787      71    7152       1       0       3       3
   2788      71    7153       0      -1       4       3

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

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

Seek 5.  U[i] > V[i].
Start execution of Test 500  at:               09:10:52.128 950411
  End execution of Test 500  at:               09:10:52.318 950411
      i       U       V       X       Y
      0   20656   20674       0       0
  24999  249999  249999       0       0
  49998  249999  249999       0       0
  74997  249999  249999       0       0
  99996  249999  249999       0       0
 124995  249999  249999       0       0
 149994  249999  249999       0       0
 174993  249999  249999       0       0
 199992  249999  249999       0       0
 224991  249999  249999       0       0
 249990  249999  249999       0       0

Start   analysis of Test 5 at:                 09:10:52.428 950411
  End   analysis of Test 5 at:                 09:10:52.568 950411
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:               09:10:53.159 950411
  End execution of Test 520  at:               09:10:53.379 950411
      i       U       V       X       Y
      0   21874   21893       0       0
  24999  249999  249999       0       0
  49998  249999  249999       0       0
  74997  249999  249999       0       0
  99996  249999  249999       0       0
 124995  249999  249999       0       0
 149994  249999  249999       0       0
 174993  249999  249999       0       0
 199992  249999  249999       0       0
 224991  249999  249999       0       0
 249990  249999  249999       0       0

Start   analysis of Test 5 at:                 09:10:53.860 950411
  End   analysis of Test 5 at:                 09:10:54.000 950411
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:               09:10:54.601 950411
  End execution of Test 600  at:               09:10:54.771 950411
      i       U       V       X       Y
      0   23944   33768   47251   59595
  24999  191378  208677  201671  212238
  49998  249999  249999  249999  249999
  74997  249999  249999  249999  249999
  99996  249999  249999  249999  249999
 124995  249999  249999  249999  249999
 149994  249999  249999  249999  249999
 174993  249999  249999  249999  249999
 199992  249999  249999  249999  249999
 224991  249999  249999  249999  249999
 249990  249999  249999  249999  249999

Start   analysis of Test 6 at:                 09:10:54.882 950411
  End   analysis of Test 6 at:                 09:11:02.442 950411
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           09:11:02.473 950411
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 23944 249999 2862 13166 249999 2998
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
    1                                                                           
    11                                                                          
     11                                                                         
      11                                                                        
       13                                                                       
        33                                                                      
         33                                                                     
          33                                                                    
           377                                                                  
             77                                                                 
              77                                                                
               77                                                               
                74D                                                             
                  FF                                                            
                   FF                                                           
                    FF                                                          
                     FF                                                         
                      EF1                                                       
                       EFF                                                      
                         FF                                                     
                          FF                                                    
                           FF                                                   
                            FF                                                  
                             CF                                                 
                              FFF                                               
                                FF                                              
                                 FF                                             
                                  FF                                            
                                   FF                                           
                                    FFF                                         
                                      F                                         
                                      EF                                        
                                       FFF                                      
                                         FF                                     
                                          FF                                    
                                           FF                                   
                                            FF                                  
                                             FF                                 
                                              FF                                
                                               FFE                              
                                                 FF                             
                                                  FF                            
                                                   FF                           
                                                    FF                          
                                                     FF                         
                                                      FF                        
                                                       FFF                      
                                                         FF                     
                                                          FF                    
                                                           FF                   
                                                            FF                  
                                                             FF                 
                                                              FFF               
                                                                FF              
                                                                 FF             
                                                                  F             
                                                                  FFF           
                                                                    FF          
                                                                     FF         
                                                                      FF        
                                                                       FF       
                                                                        FF      
                                                                         FF     
                                                                          FF    
                                                                           FFF  
                                                                             FF 
                                                                              F7
                                                                               7
7                                                                               
77                                                                              
 77                                                                             
  77                                                                            
   77                                                                           
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           09:11:04.055 950411
Save output from Test 6? [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:               09:11:08.541 950411
  End execution of Test 610  at:               09:11:14.059 950411
      i       U       V       X       Y
      0    4157    4488    4765    4935
  24999   28112   24300   23229   28027
  49998   62914   50949   49617   59535
  74997   79708   68532   68125   78959
  99996  122827  101382  101144  118023
 124995  133485  110657  108841  134211
 149994  178798  151591  151180  186493
 174993  185621  156703  158873  191050
 199992  238358  204052  205896  244564
 224991  242295  209169  204876  248311
 249990  249999  249999  249999  249999

Start   analysis of Test 6 at:                 09:11:14.179 950411
  End   analysis of Test 6 at:                 09:11:19.827 950411
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           09:11:19.858 950411
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 4157 249999 3112 1355 249999 3148
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                                
FF                                                                              
 FF                                                                             
  FF                                                                            
   FF                                                                           
    FF                                                                          
     FF                                                                         
      FF                                                                        
       FF                                                                       
        FF                                                                      
         FF                                                                     
          F                                                                     
          FF                                                                    
           FF                                                                   
            FF                                                                  
             FF                                                                 
              FF                                                                
               FF                                                               
                FF                                                              
                 FF                                                             
                  FF                                                            
                   FF                                                           
                    FF                                                          
                     F                                                          
                     FF                                                         
                      FF                                                        
                       FF                                                       
                        FF                                                      
                         F                                                      
                         FF                                                     
                          FF                                                    
                           FF                                                   
                            FF                                                  
                             F                                                  
                             FF                                                 
                              FF                                                
                               FF                                               
                                FF                                              
                                 FF                                             
                                  FF                                            
                                   FF                                           
                                    FF                                          
                                     FF                                         
                                      FF                                        
                                       FF                                       
                                        FF                                      
                                         FF                                     
                                          F                                     
                                          FF                                    
                                           FF                                   
                                            FF                                  
                                             FF                                 
                                              FF                                
                                               FF                               
                                                FF                              
                                                 FF                             
                                                  FF                            
                                                   FF                           
                                                    FF                          
                                                     FF                         
                                                      FF                        
                                                       FF                       
                                                        FF                      
                                                         F                      
                                                         FF                     
                                                          FF                    
                                                           FF                   
                                                            FF                  
                                                             F                  
                                                             FF                 
                                                              FF                
                                                               FF               
                                                                FF              
                                                                 FF             
                                                                  FF            
                                                                   FF           
                                                                    FF          
                                                                     FF         
                                                                      FF        
                                                                       FFBBB9999
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           09:11:21.440 950411
Save output from Test 6? [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:               09:11:22.041 950411
  End execution of Test 620  at:               09:11:22.331 950411
      i       U       V       X       Y
      0   18765   28740   37367   49900
  24999  102220  100736  129506  127589
  49998  249999  249999  249999  249999
  74997  203847  220217  219849  212389
  99996  249999  249999  249999  249999
 124995  249999  249999  249999  249999
 149994  249999  249999  249999  249999
 174993  249999  249999  249999  249999
 199992  249999  249999  249999  249999
 224991  249999  249999  249999  249999
 249990  249999  249999  249999  249999

Start   analysis of Test 6 at:                 09:11:23.242 950411
  End   analysis of Test 6 at:                 09:11:27.549 950411
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           09:11:27.579 950411
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 18765 249999 2928 4104 249999 3113
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
                                                                                
 1                                                                              
 11                                                                             
  1                                                                             
  13                                                                            
   33                                                                           
    3                                                                           
    77                                                                          
     7                                                                          
     77                                                                         
      7                                                                         
      FF                                                                        
       F                                                                        
       FF                                                                       
        FF                                                                      
         F                                                                      
         BF                                                                     
          F                                                                     
          FF                                                                    
           F                                                                    
           FF                                                                   
            FF                                                                  
             F                                                                  
             FF                                                                 
              F                                                                 
              FF                                                                
               FF                                                               
                F                                                               
                FF                                                              
                 F                                                              
                 FF                                                             
                  F                                                             
                  FF                                                            
                   FF                                                           
                    F                                                           
                    FF                                                          
                     F                                                          
                     FF                                                         
                      F                                                         
                      FF                                                        
                       FF                                                       
                        F                                                       
                        FF                                                      
                         F                                                      
                         FF                                                     
                          F                                                     
                          FF                                                    
                           FF                                                   
                            F                                                   
                            FF                                                  
                             F                                                  
                             FF                                                 
                              F                                                 
                              FF                                                
                               FB                                               
                                F                                               
                                FF                                              
                                 F                                              
                                 FF                                             
                                  F                                             
                                  FF                                            
                                   F                                            
                                   FF                                           
                                    FF                                          
                                     F                                          
                                     FF                                         
                                      F                                         
                                      FF                                        
                                       F                                        
                                       FF                                       
                                        F                                       
                                        FF                                      
                                         FF                                     
                                          F                                     
                                          FF                                    
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           09:11:29.161 950411
Save output from Test 6? [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:               09:11:31.775 950411
  End execution of Test 700  at:               09:11:32.025 950411
      i       U       V       X       Y
      0       0    7464  249999  249999
  24999   17238   32751       0       0
  49998   42814   57285       0       0
  74997   67428   82069       0       0
  99996   92650  107291       0       0
 124995  117788  132196       0       0
 149994  142592  157008       0       0
 174993  168455  181678       0       0
 199992  193707  206016       0       0
 224991  218897  230952       0       0
 249990  243497  249999       0       0

Start   analysis of Test 4/7 at:               09:11:32.135 950411
Error 7.2. v[      1] =    7471 <    7472 and u[   7472] =       0 <       1
Error 7.2. v[      2] =    7471 <    7472 and u[   7472] =       0 <       2
Error 7.2. v[      4] =    7473 <    7474 and u[   7474] =       3 <       4
Error 7.2. v[      6] =    7477 <    7478 and u[   7478] =       5 <       6
Error 7.2. v[      8] =    7479 <    7480 and u[   7480] =       7 <       8
Error 7.2. v[     10] =    7482 <    7483 and u[   7483] =       9 <      10
  End   analysis of Test 4/7 at:               09:11:32.205 950411
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
      0       0    7464    7471       0 2097152       0
      1       0    7471    7470      -1 2097152       1
      2       0    7471    7469      -2 2097152       2
      3       0    7473    7468       0 2097152       3
      4       0    7473    7467      -1 2097152       4
      5       0    7477    7466       0 2097152       2
      6       0    7477    7465      -1 2097152       3
      7       0    7479    7464       0 2097152       2
      8       0    7479    7463      -1 2097152       3
      9       0    7482    7462       0 2097152       2
     10       0    7482    7461      -1 2097152       3
     11       0    7482    7460      -2 2097152       4
     12       0    7482    7459      -3 2097152       5
     13       0    7484    7458       0 2097152       4

   7469       0   15136       2      -2 2097152       4
   7470       0   15136       1      -3 2097152       5
   7471       0   15136       0      -4 2097152       6
   7472       0   15138      -1       0 2097152       5
   7473       3   15138       0      -1       2       6
   7474       3   15143      -1       0       3       2
   7475       3   15143      -2      -1       4       3
   7476       3   15145      -3       0       5       2
   7477       3   15145      -4      -1       6       3
   7478       5   15148      -1       0       5       2
   7479       5   15148      -2      -1       6       3
   7480       7   15148      -1      -2       3       4
   7481       7   15148      -2      -3       4       5
   7482       9   15148       0      -4       3       6
   7483       9   15150      -1      -1       4       5
   7484      13   15150       0      -2       2       6
   7485      13   15153      -1       1       3       1
   7486      13   15153      -2       0       4       2

================================================================================
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:               09:11:33.147 950411
  End execution of Test 720  at:               09:11:33.457 950411
      i       U       V       X       Y
      0       0    6013  249999       0
  24999   11756   46682       0       0
  49998   26990   88225       0       0
  74997   42244  129672       0       0
  99996   57105  172599       0       0
 124995   72058  215080       0       0
 149994   86617  249999       0       0
 174993  101526  249999       0       0
 199992  116001  249999       0       0
 224991  130784  249999       0       0
 249990  145833  249999       0       0

Start   analysis of Test 4/7 at:               09:11:33.958 950411
Error 7.2. v[      1] =    6075 <    6076 and u[   6076] =       0 <       1
Error 7.2. v[      5] =    6083 <    6084 and u[   6084] =       4 <       5
Error 7.2. v[      6] =    6085 <    6086 and u[   6086] =       5 <       6
Error 7.2. v[      8] =    6089 <    6090 and u[   6090] =       7 <       8
Error 7.2. v[     12] =    6096 <    6097 and u[   6097] =      11 <      12
Error 7.2. v[     14] =    6098 <    6099 and u[   6099] =      13 <      14
  End   analysis of Test 4/7 at:               09:11:34.018 950411
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
      0       0    6013    6075       0 2097152       0
      1       0    6075    6074      -1 2097152       1
      2       0    6077    6073       0 2097152       2
      3       0    6081    6072       0 2097152       1
      4       0    6082    6071       0 2097152       2
      5       0    6083    6070      -1 2097152       2
      6       0    6085    6069      -1 2097152       2
      7       0    6087    6068       0 2097152       2
      8       0    6089    6067      -1 2097152       1
      9       0    6091    6066       0 2097152       2
     10       0    6095    6065       0 2097152       1
     11       0    6096    6064       0 2097152       2
     12       0    6096    6063      -1 2097152       3
     13       0    6098    6062       0 2097152       2
     14       0    6098    6061      -1 2097152       3
     15       0    6098    6060      -2 2097152       4
     16       0    6100    6059       0 2097152       3
     17       0    6105    6058       0 2097152       1

   6073       0   15843       2       0 2097152       3
   6074       0   15847       1       0 2097152       1
   6075       0   15848       0       0 2097152       2
   6076       0   15848      -1      -1 2097152       3
   6077       2   15850       4       0       2       2
   6078       2   15850       3      -1       3       3
   6079       2   15850       2      -2       4       4
   6080       2   15852       1      -1       5       3
   6081       2   15854       0       0       6       2
   6082       3   15857       0      -1       5       1
   6083       4   15859       0       0       2       2
   6084       4   15863      -1      -1       3       1
   6085       5   15865       0       0       3       2
   6086       5   15865      -1      -1       4       3
   6087       7   15865       2      -2       2       4
   6088       7   15867       1      -1       3       3
   6089       7   15869       0       0       4       2
   6090       7   15873      -1       0       5       1
   6091       9   15874       4       0       2       2
   6092       9   15875       3      -1       3       2
   6093       9   15877       2      -1       4       2
   6094       9   15880       1       0       5       0
   6095       9   15880       0      -1       6       1
   6096      10   15883       0       0       5       2
   6097      11   15883      -1      -1       2       3
   6098      13   15887       0       0       2       2
   6099      13   15887      -1      -1       3       3
   6100      16   15887       5      -2       2       4
   6101      16   15889       4       0       3       3
   6102      16   15889       3      -1       4       4

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

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

Start execution of Test 800  at:               09:11:35.069 950411
  End execution of Test 800  at:               09:11:35.590 950411
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0       1       2   68941
   24999  166732  249991  220103  249993
   49998  379792  499981  499982  499983
   74997  749970  749971  749972  749973
   99996  999960 1013992  999962  999963
  124995 1249950 1249951 1249952 1249953
  149994 1499940 1499941 1499942 1499943
  174993 1569821 1749931 1749932 1749933
  199992 1999920 1999921 1999922 1999923
  224991 2249910 2249911 2249912 2249913
  249990 2499900 2499901 2499902 2499903
Start   analysis of Test 8 at:                 09:11:36.511 950411
  End   analysis of Test 8 at:                 09:11:46.866 950411
Analysis of T8 data: 
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [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:               09:11:55.419 950411
  End execution of Test 9.1  at:               09:11:55.779 950411

Start   analysis of Test 9 at:                 09:11:55.789 950411
  End   analysis of Test 9 at:                 09:11:56.250 950411
 0  426105   25     120   50       3   75       1
 1       2   26      38   51       0   76       0
 2       5   27      44   52       1   77       1
 3       2   28      25   53       0   78       0
 4       5   29      12   54       1   79       0
 5       6   30      16   55       1   80       0
 6      82   31      20   56       0   81       1
 7    5505   32      10   57       0   82       0
 8    1767   33      14   58       0   83       0
 9    1171   34       7   59       0   84       0
10    1341   35       3   60       0   85       1
11   15013   36      10   61       0   86       0
12   25329   37       6   62       1   87       0
13    6035   38       7   63       0   88       0
14    1369   39       4   64       0   89       0
15    2000   40       6   65       2   90       0
16     806   41       2   66       0   91       0
17     534   42       3   67       0   92       0
18     352   43       2   68       0   93       1
19     166   44       1   69       0   94       0
20     439   45       1   70       0   95       0
21    3278   46       0   71       0   96       1
22    5267   47       1   72       0   97       0
23    2292   48       0   73       0   98       0
24     747   49       0   74       1   99       0

Total = 499998, t9min = 0, t9max = 590, under = 0, over = 0.


Test T9.2.  P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2  at:               09:11:56.741 950411
  End execution of Test 9.2  at:               09:11:57.121 950411

Start   analysis of Test 9 at:                 09:11:57.131 950411
  End   analysis of Test 9 at:                 09:11:57.602 950411
 0  396353   25      42   50       0   75       0
 1      12   26      34   51       0   76       0
 2      17   27      29   52       0   77       0
 3       9   28      31   53       0   78       0
 4      12   29      34   54       0   79       0
 5       5   30      31   55       0   80       0
 6     227   31      27   56       0   81       0
 7   15337   32      20   57       0   82       0
 8   56493   33      25   58       0   83       0
 9    2708   34      13   59       0   84       0
10     569   35      16   60       0   85       0
11    1881   36       8   61       0   86       0
12    6140   37       7   62       0   87       0
13    6608   38       8   63       0   88       0
14    8001   39       4   64       0   89       0
15    2939   40       8   65       0   90       0
16     976   41       6   66       0   91       0
17     436   42       4   67       0   92       0
18     170   43       3   68       0   93       0
19     186   44       3   69       0   94       0
20     156   45       3   70       0   95       0
21     115   46       2   71       0   96       0
22     105   47       1   72       0   97       0
23      91   48       0   73       0   98       0
24      62   49       0   74       0   99       0

Total = 499998, t9min = 0, t9max = 682, under = 0, over = 0.


Test T9.4.  P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4  at:               09:11:58.093 950411
  End execution of Test 9.4  at:               09:11:58.453 950411

Start   analysis of Test 9 at:                 09:11:58.463 950411
  End   analysis of Test 9 at:                 09:11:58.934 950411
 0  407155   25       2   50       0   75       0
 1       5   26       0   51       0   76       0
 2      19   27       1   52       0   77       0
 3      14   28       1   53       0   78       0
 4      20   29       1   54       0   79       0
 5      15   30       0   55       0   80       0
 6      80   31       0   56       0   81       0
 7    5462   32       1   57       0   82       0
 8    1146   33       0   58       0   83       0
 9    1143   34       0   59       0   84       0
10   60722   35       0   60       0   85       0
11    8809   36       0   61       0   86       0
12    3719   37       0   62       0   87       0
13     987   38       0   63       0   88       0
14    5041   39       0   64       0   89       0
15    4588   40       0   65       0   90       0
16     458   41       0   66       0   91       0
17     330   42       0   67       0   92       0
18     104   43       0   68       0   93       0
19      56   44       0   69       0   94       0
20      30   45       0   70       0   95       0
21      22   46       0   71       0   96       0
22      12   47       0   72       0   97       0
23      12   48       0   73       0   98       0
24       4   49       0   74       0   99       0

Total = 499998, t9min = 0, t9max = 1121, under = 0, over = 0.


Test T9.3.  P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3  at:               09:11:59.434 950411
  End execution of Test 9.3  at:               09:11:59.795 950411

Start   analysis of Test 9 at:                 09:11:59.805 950411
  End   analysis of Test 9 at:                 09:12:00.276 950411
 0  427577   25     167   50       0   75       0
 1      18   26      57   51       0   76       0
 2      13   27      43   52       0   77       0
 3       4   28      35   53       0   78       0
 4      11   29      23   54       0   79       0
 5      19   30      15   55       0   80       0
 6     109   31       7   56       0   81       0
 7    3836   32       9   57       0   82       0
 8    1000   33      10   58       0   83       0
 9     731   34      11   59       0   84       0
10    1111   35       3   60       0   85       0
11   15104   36       2   61       0   86       0
12   25915   37       1   62       0   87       0
13    6384   38       0   63       0   88       0
14     931   39       1   64       0   89       0
15    3220   40       0   65       0   90       0
16    1239   41       0   66       0   91       0
17     638   42       0   67       0   92       0
18     291   43       0   68       0   93       0
19     220   44       0   69       0   94       0
20     251   45       0   70       0   95       0
21    1709   46       0   71       0   96       0
22    5612   47       0   72       0   97       0
23    2751   48       0   73       0   98       0
24     875   49       0   74       0   99       0

Total = 499998, t9min = 0, t9max = 835, under = 0, over = 0.

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

  Test T1000.  Seek a critsec failure.

Seek 10.  Operand A != 0. 
Start execution of Test 1000 at:               09:12:01.618 950411
  End execution of Test 1000 at:               09:12:01.628 950411
================================================================================


Failing tests:  400 420 700 720.

Run this job another time? [y]  n