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

                                               05:41:37.281 970609

Dual pentium II 400 MHz w/ Intel 440 BX AGPset
Thanks to Dave Magram at PC Expo on June 18, 1998.

Default answers to the following questions are shown in brackets.

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

The following tests can be run:

   100  200  300  400  500  600  700  800  900 1000 1100 1200
        210  310  410  510  610  710           1010 1110 1210
   120  220  320  420  520  620  720  820  920 1020 1120 1220
                                               1030          
Specify which tests to run [all]:  

Parameters for this run:
Type of run:           1. Perform a real multiprocessor test.
Output file name:      a_____01.out.
Number of threads:     2.
Length of the arrays:  500000.
Test(s) to run:        all.

Select other options? (y,n,?)[n]  
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T100  at               05:41:52.796 970609
  End execution of Test T100  at               05:41:53.296 970609
  Duration                                            0.500 
Start  analysis of Test T100  at               05:41:53.296 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.204    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.000    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999       0       0       0       0
  49998       0       0       0       0
  74997       0       0       0       0
  99996       0       0       0       0
 124995       0       0       0       0
 149994       0       0       0       0
 174993       0       0       0       0
 199992       0       0       0       0
 224991       0       0       0       0
 249990       0       0       0       0
 274989       0       0       0       0
 299988       0       0       0       0
 324987       0       0       0       0
 349986       0       0       0       0
 374985       0       0       0       0
 399984       0       0       0       0
 424983       0       0       0       0
 449982       0       0       0       0
 474981       0       0       0       0
 499980       0       0       0       0

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


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

   i       deltas    strings 
   0       499998          0
   1            0          0
   2            0          0
   3            0          0
   4            0          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            0          0
  End  analysis of Test T100  at               05:41:53.437 970609
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T120  at               05:41:53.546 970609
  End execution of Test T120  at               05:41:54.046 970609
  Duration                                            0.500 
Start  analysis of Test T120  at               05:41:54.265 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.219    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.031    0.000    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999       0       0       0       0
  49998       0       0       0       0
  74997       0       0       0       0
  99996       0       0       0       0
 124995       0       0       0       0
 149994       0       0       0       0
 174993       0       0       0       0
 199992       0       0       0       0
 224991       0       0       0       0
 249990       0       0       0       0
 274989       0       0       0       0
 299988       0       0       0       0
 324987       0       0       0       0
 349986       0       0       0       0
 374985       0       0       0       0
 399984       0       0       0       0
 424983       0       0       0       0
 449982       0       0       0       0
 474981       0       0       0       0
 499980       0       0       0       0

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


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

   i       deltas    strings 
   0       499998          0
   1            0          0
   2            0          0
   3            0          0
   4            0          0
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            0          0
  End  analysis of Test T120  at               05:41:54.406 970609
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T200  at               05:41:54.531 970609
  End execution of Test T200  at               05:41:55.031 970609
  Duration                                            0.500 
Start  analysis of Test T200  at               05:41:55.031 970609

Thread start, stop, and dur times.
   0.187    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.234    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.047    0.015    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999       0       0       0       0
  49998       0       0       0       0
  74997       0       0       0       0
  99996       0       0       0       0
 124995       0       0       0       0
 149994       0       0       0       0
 174993       0       0       0       0
 199992       0       0       0       0
 224991       0       0       0       0
 249990       0       0       0       0
 274989       0       0       0       0
 299988       0       0       0       0
 324987       0       0       0       0
 349986       0       0       0       0
 374985       0       0       0       0
 399984       0       0       0       0
 424983       0       0       0       0
 449982       0       0       0       0
 474981       0       0       0       0
 499980       0       0       0       0

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


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

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

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

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

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

  End  analysis of Test T200  at               05:41:55.437 970609
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T210  at               05:41:55.562 970609
  End execution of Test T210  at               05:41:56.062 970609
  Duration                                            0.500 
Start  analysis of Test T210  at               05:41:56.171 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.250    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.062    0.015    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999       0       0       0       0
  49998       0       0       0       0
  74997       0       0       0       0
  99996       0       0       0       0
 124995       0       0       0       0
 149994       0       0       0       0
 174993       0       0       0       0
 199992       0       0       0       0
 224991       0       0       0       0
 249990       0       0       0       0
 274989       0       0       0       0
 299988       0       0       0       0
 324987       0       0       0       0
 349986       0       0       0       0
 374985       0       0       0       0
 399984       0       0       0       0
 424983       0       0       0       0
 449982       0       0       0       0
 474981       0       0       0       0
 499980       0       0       0       0

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


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

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

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

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

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

  End  analysis of Test T210  at               05:41:56.593 970609
==sss========================================================================

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

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T220  at               05:41:56.703 970609
  End execution of Test T220  at               05:41:57.203 970609
  Duration                                            0.500 
Start  analysis of Test T220  at               05:41:57.421 970609

Thread start, stop, and dur times.
   0.187    0.093    0.000    0.000    0.000    0.000    0.000    0.000 
   0.250    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.063    0.016    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0       0       0       0       0
  24999       0       0       0       0
  49998       0       0       0       0
  74997       0       0       0       0
  99996       0       0       0       0
 124995       0       0       0       0
 149994       0       0       0       0
 174993       0       0       0       0
 199992       0       0       0       0
 224991       0       0       0       0
 249990       0       0       0       0
 274989       0       0       0       0
 299988       0       0       0       0
 324987       0       0       0       0
 349986       0       0       0       0
 374985       0       0       0       0
 399984       0       0       0       0
 424983       0       0       0       0
 449982       0       0       0       0
 474981       0       0       0       0
 499980       0       0       0       0

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


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

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

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

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

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

  End  analysis of Test T220  at               05:41:57.843 970609
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================

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

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

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

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

Start execution of Test T400  at               05:41:57.953 970609
  End execution of Test T400  at               05:41:58.453 970609
  Duration                                            0.500 
Start  analysis of Test T400  at               05:41:58.453 970609

Thread start, stop, and dur times.
   0.187    0.093    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0  499999       0       0       0
  24999  499999       0       0       0
  49998  499999       0       0       0
  74997  499999       0       0       0
  99996  499999       0       0       0
 124995  499999       0       0       0
 149994  499999       0       0       0
 174993  499999       0       0       0
 199992  499999       0       0       0
 224991  499999       0       0       0
 249990  499999       0       0       0
 274989  499999       0       0       0
 299988  499999       0       0       0
 324987  499999       0       0       0
 349986  499999       0       0       0
 374985  499999       0       0       0
 399984  499999       0       0       0
 424983  499999       0       0       0
 449982  499999       0       0       0
 474981  499999       0       0       0
 499980  499999       0       0       0

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


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

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

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

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

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

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

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

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
    19 |                             |                                       
    18 |                             |                                       
    17 |                             |                                       
    16 |                             |                                       
    15 |                             |                                       
    14 |                             |                                       
    13 |                             |                                       
    12 |                             |                                       
    11 |                             |                                       
    10 |                             |                                       
     9 |                             |                                       
     8 |                             |                                       
     7 |                             |                                       
     6 |                             |                                       
     5 |                             |                                       
     4 |                             |                                       
     3 |                             |                                       
     2 |                             |                                       
     1 |                             |                                       
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T400  at               05:41:58.921 970609
==sss========================================================================

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

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

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

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

Start execution of Test T410  at               05:41:59.046 970609
  End execution of Test T410  at               05:41:59.546 970609
  Duration                                            0.500 
Start  analysis of Test T410  at               05:41:59.656 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.204    0.110    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0  499999       0       0       0
  24999  499999       0       0       0
  49998  499999       0       0       0
  74997  499999       0       0       0
  99996  499999       0       0       0
 124995  499999       0       0       0
 149994  499999       0       0       0
 174993  499999       0       0       0
 199992  499999       0       0       0
 224991  499999       0       0       0
 249990  499999       0       0       0
 274989  499999       0       0       0
 299988  499999       0       0       0
 324987  499999       0       0       0
 349986  499999       0       0       0
 374985  499999       0       0       0
 399984  499999       0       0       0
 424983  499999       0       0       0
 449982  499999       0       0       0
 474981  499999       0       0       0
 499980  499999       0       0       0

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


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

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

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

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

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

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

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

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
    19 |                             |                                       
    18 |                             |                                       
    17 |                             |                                       
    16 |                             |                                       
    15 |                             |                                       
    14 |                             |                                       
    13 |                             |                                       
    12 |                             |                                       
    11 |                             |                                       
    10 |                             |                                       
     9 |                             |                                       
     8 |                             |                                       
     7 |                             |                                       
     6 |                             |                                       
     5 |                             |                                       
     4 |                             |                                       
     3 |                             |                                       
     2 |                             |                                       
     1 |                             |                                       
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T410  at               05:42:00.125 970609
==sss========================================================================

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

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

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

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

Start execution of Test T420  at               05:42:00.250 970609
  End execution of Test T420  at               05:42:00.750 970609
  Duration                                            0.500 
Start  analysis of Test T420  at               05:42:00.968 970609

Thread start, stop, and dur times.
   0.187    0.093    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0  499999       0       0       0
  24999  499999       0       0       0
  49998  499999       0       0       0
  74997  499999       0       0       0
  99996  499999       0       0       0
 124995  499999       0       0       0
 149994  499999       0       0       0
 174993  499999       0       0       0
 199992  499999       0       0       0
 224991  499999       0       0       0
 249990  499999       0       0       0
 274989  499999       0       0       0
 299988  499999       0       0       0
 324987  499999       0       0       0
 349986  499999       0       0       0
 374985  499999       0       0       0
 399984  499999       0       0       0
 424983  499999       0       0       0
 449982  499999       0       0       0
 474981  499999       0       0       0
 499980  499999       0       0       0

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


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

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

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

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

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

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

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

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
    19 |                             |                                       
    18 |                             |                                       
    17 |                             |                                       
    16 |                             |                                       
    15 |                             |                                       
    14 |                             |                                       
    13 |                             |                                       
    12 |                             |                                       
    11 |                             |                                       
    10 |                             |                                       
     9 |                             |                                       
     8 |                             |                                       
     7 |                             |                                       
     6 |                             |                                       
     5 |                             |                                       
     4 |                             |                                       
     3 |                             |                                       
     2 |                             |                                       
     1 |                             |                                       
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T420  at               05:42:01.453 970609
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
  The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================

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

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

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

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

Start execution of Test T700  at               05:42:01.562 970609
  End execution of Test T700  at               05:42:02.062 970609
  Duration                                            0.500 
Start  analysis of Test T700  at               05:42:02.062 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.015    0.015    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0  499999       0  499999  499999
  24999  499999       0       0       0
  49998  499999       0       0       0
  74997  499999       0       0       0
  99996  499999       0       0       0
 124995  499999       0       0       0
 149994  499999       0       0       0
 174993  499999       0       0       0
 199992  499999       0       0       0
 224991  499999       0       0       0
 249990  499999       0       0       0
 274989  499999       0       0       0
 299988  499999       0       0       0
 324987  499999       0       0       0
 349986  499999       0       0       0
 374985  499999       0       0       0
 399984  499999       0       0       0
 424983  499999       0       0       0
 449982  499999       0       0       0
 474981  499999       0       0       0
 499980  499999       0       0       0

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


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

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

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

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

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         700.        Total   = 1499994.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =  499999.        0 thru  39 = 1000034.
  histend                     K       =  500000.       40 thru Max =  499960.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
    19 |                             |                                       
    18 |                             |                                       
    17 |                             |                                       
    16 |                             |                                       
    15 |                             |                                       
    14 |                             |                                       
    13 |                             |                                       
    12 |                             |                                       
    11 |                             |                                       
    10 |                             |                                       
     9 |                             |                                       
     8 |                             |                                       
     7 |                             |                                       
     6 |                             |                                       
     5 |                             |                                       
     4 |                             |                                       
     3 |                             |                                       
     2 |                             |                                       
     1 |                             |                                       
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T700  at               05:42:02.531 970609
==sss========================================================================

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

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

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

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

Start execution of Test T710  at               05:42:02.656 970609
  End execution of Test T710  at               05:42:03.156 970609
  Duration                                            0.500 
Start  analysis of Test T710  at               05:42:03.265 970609

Thread start, stop, and dur times.
   0.187    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.015    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0  499999       0  499999       0
  24999  499999       0       0       0
  49998  499999       0       0       0
  74997  499999       0       0       0
  99996  499999       0       0       0
 124995  499999       0       0       0
 149994  499999       0       0       0
 174993  499999       0       0       0
 199992  499999       0       0       0
 224991  499999       0       0       0
 249990  499999       0       0       0
 274989  499999       0       0       0
 299988  499999       0       0       0
 324987  499999       0       0       0
 349986  499999       0       0       0
 374985  499999       0       0       0
 399984  499999       0       0       0
 424983  499999       0       0       0
 449982  499999       0       0       0
 474981  499999       0       0       0
 499980  499999       0       0       0

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


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

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

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

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

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         710.        Total   = 1499994.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =  499999.        0 thru  39 = 1000034.
  histend                     K       =  500000.       40 thru Max =  499960.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
    19 |                             |                                       
    18 |                             |                                       
    17 |                             |                                       
    16 |                             |                                       
    15 |                             |                                       
    14 |                             |                                       
    13 |                             |                                       
    12 |                             |                                       
    11 |                             |                                       
    10 |                             |                                       
     9 |                             |                                       
     8 |                             |                                       
     7 |                             |                                       
     6 |                             |                                       
     5 |                             |                                       
     4 |                             |                                       
     3 |                             |                                       
     2 |                             |                                       
     1 |                             |                                       
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T710  at               05:42:03.734 970609
==sss========================================================================

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

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

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

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

Start execution of Test T720  at               05:42:03.859 970609
  End execution of Test T720  at               05:42:04.359 970609
  Duration                                            0.500 
Start  analysis of Test T720  at               05:42:04.578 970609

Thread start, stop, and dur times.
   0.187    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.109    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.015    0.000    0.000    0.000    0.000    0.000    0.000 

Every 24999th entry of the arrays, from 0 thru 499999.
      i       U       V       X       Y
      0  499999       0       0       0
  24999  499999       0       0       0
  49998  499999       0       0       0
  74997  499999       0       0       0
  99996  499999       0       0       0
 124995  499999       0       0       0
 149994  499999       0       0       0
 174993  499999       0       0       0
 199992  499999       0       0       0
 224991  499999       0       0       0
 249990  499999       0       0       0
 274989  499999       0       0       0
 299988  499999       0       0       0
 324987  499999       0       0       0
 349986  499999       0       0       0
 374985  499999       0       0       0
 399984  499999       0       0       0
 424983  499999       0       0       0
 449982  499999       0       0       0
 474981  499999       0       0       0
 499980  499999       0       0       0

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


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

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

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

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

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

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

  Test  =     A(CMP,UPO,RR,CC1).
  Nmbr  =         720.        Total   = 1499994.      Min thru -81 =       0.
  Type  =      RR|CC1.        Minimum =       0.      -80 thru  -1 =       0.
  Behav =      Strong.        Maximum =  499999.        0 thru  39 = 1000034.
  histend                     K       =  500000.       40 thru Max =  499960.

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

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

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

            ------ Relaxed ------    |         ------ Strong ------       
    19 |                             |                                       
    18 |                             |                                       
    17 |                             |                                       
    16 |                             |                                       
    15 |                             |                                       
    14 |                             |                                       
    13 |                             |                                       
    12 |                             |                                       
    11 |                             |                                       
    10 |                             |                                       
     9 |                             |                                       
     8 |                             |                                       
     7 |                             |                                       
     6 |                             |                                       
     5 |                             |                                       
     4 |                             |                                       
     3 |                             |                                       
     2 |                             |                                       
     1 |                             |                                       
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

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

  End  analysis of Test T720  at               05:42:05.062 970609
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T800  at               05:42:05.171 970609
  End execution of Test T800  at               05:42:05.671 970609
  Duration                                            0.500 
Start  analysis of Test T800  at               05:42:05.828 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.204    0.110    0.000    0.000    0.000    0.000    0.000    0.000 
   0.016    0.016    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

      0      0      0
      1      0      0
      2      0      0
      3      0      0
      4      0      0
  End  analysis of Test T800  at               05:42:19.390 970609
==sss========================================================================

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

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

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

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

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

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

Start execution of Test T820  at               05:42:19.515 970609
  End execution of Test T820  at               05:42:20.015 970609
  Duration                                            0.500 
Start  analysis of Test T820  at               05:42:20.453 970609

Thread start, stop, and dur times.
   0.188    0.094    0.000    0.000    0.000    0.000    0.000    0.000 
   0.203    0.110    0.000    0.000    0.000    0.000    0.000    0.000 
   0.015    0.016    0.000    0.000    0.000    0.000    0.000    0.000 

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

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


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

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

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


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

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

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


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

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

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

Summary of run:                                05:42:35.093 970609
ARCHTEST.  Version 5.4.  980526.  By W. W. Collier, mpdiag@acm.org

  This copy of ARCHTEST is licensed (under license no. vvv  )
for use by vvv                    at vvv                
  Documentation is available via www.infomall.org/diagnostics.pcexpo
dual pentium II 400 MHz w/ Intel 440 BX AGPset

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

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

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

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

  Execution   Analysis                Operands
   Duration   Duration   Test      d   int flt 
      0.500      0.141   T100           1   0
      0.500      0.141   T120           0   1
      0.500      0.406   T200           2   0
      0.500      0.422   T210           1   1
      0.500      0.422   T220           0   2
      0.500      0.468   T400.1         2   0
                         T400.2         2   0
      0.500      0.469   T410.1         1   1
                         T410.2         1   1
      0.500      0.485   T420.1         0   2
                         T420.2         0   2
      0.500      0.469   T700.1         2   0
                         T700.2         2   0
      0.500      0.469   T710.1         1   1
                         T710.2         1   1
      0.500      0.484   T720.1         0   2
                         T720.2         0   2
      0.500     13.562   T800           1   0
      0.500     14.640   T820           0   1

  No monotonicity relaxations seen.

  No other relaxations seen.

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

Save the parameters from this run in a file? 
Press Enter for No.  Otherwise, enter the name of the file. 
Run this job another time? [y]  n