ARCHTEST.  Version 4.  950301. 
by W. W. Collier, mpdiag@acm.org. 

                                               08:26:00.390 950621
Alr revolution 4/100

Default answers to the following questions are shown in brackets.

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

The following tests can be run:

  2    3    4    5    6    7    8    9
       310            610        
  220  320  420  520  620  720   
Specify which tests to run [all]:   all
Synchronize the start of test processes?  [y]:  y

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      aalr4100.out.
Number of processors:  4.
Length of the arrays:  400000.
Synchronize processes: y.
Test(s) to run:        200 220 300 310 320 400 420 500 520 600 610 620 700 720 800 900 

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

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

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[21]   > U[2i+1] + 1
Start execution of Test 200  at:               08:26:40.781 950621
  End execution of Test 200  at:               08:26:42.218 950621
      i       U       V       X       Y
      0       0       0       0       0
  39999  399999       0       0       0
  79998  399999       0       0       0
 119997  399999       0       0       0
 159996  399999       0       0       0
 199995  399999       0       0       0
 239994  399999       0       0       0
 279993  399999       0       0       0
 319992  399999       0       0       0
 359991  399999       0       0       0
 399990  399999       0       0       0

Start   analysis of Test 2 at:                 08:26:42.437 950621
  End   analysis of Test 2 at:                 08:26:42.562 950621
Analysis of T2 data:
      i       U       V       X       Y

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

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

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[21]   > U[2i+1] + 1
Start execution of Test 220  at:               08:26:48.656 950621
  End execution of Test 220  at:               08:26:48.984 950621
      i       U       V       X       Y
      0      16       0       0       0
  39999  176802       0       0       0
  79998  358998       0       0       0
 119997  399999       0       0       0
 159996  399999       0       0       0
 199995  399999       0       0       0
 239994  399999       0       0       0
 279993  399999       0       0       0
 319992  399999       0       0       0
 359991  399999       0       0       0
 399990  399999       0       0       0

Start   analysis of Test 2 at:                 08:26:49.359 950621
  End   analysis of Test 2 at:                 08:26:49.500 950621
Analysis of T2 data:
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 300  at:               08:26:50.625 950621
  End execution of Test 300  at:               08:26:51.000 950621
      i       U       V       X       Y
      0       0       0       0       0
  39999   84456   91641       0       0
  79998   49859  165649       0       0
 119997   84759  208845       0       0
 159996  126865  272623       0       0
 199995  227341  130496       0       0
 239994  291421  171412       0       0
 279993  390599  265746       0       0
 319992  399999  325302       0       0
 359991  399999  399998       0       0
 399990  399999  399998       0       0

Start   analysis of Test 3 at:                 08:26:51.218 950621
  End   analysis of Test 3 at:                 08:26:54.046 950621
Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 310  at:               08:26:54.953 950621
  End execution of Test 310  at:               08:27:03.000 950621
      i       U       V       X       Y
      0       0       0       0       0
  39999   36231   46005       0       0
  79998   92394   94713       0       0
 119997  112023  146361       0       0
 159996  177756  192159       0       0
 199995  216120  237973       0       0
 239994  217259  270111       0       0
 279993  254295  270528       0       0
 319992  323858  301954       0       0
 359991  370954  384069       0       0
 399990  366735  383436       0       0

Start   analysis of Test 3 at:                 08:27:03.187 950621
  End   analysis of Test 3 at:                 08:27:05.031 950621
Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is 
                even    odd    even    odd 
Start execution of Test 320  at:               08:27:05.796 950621
  End execution of Test 320  at:               08:27:06.250 950621
      i       U       V       X       Y
      0       1       1       0       0
  39999   15612   15646       0       0
  79998   29887   39558       0       0
 119997   52017   62532       0       0
 159996   77960   87410       0       0
 199995  110791  127369       0       0
 239994  142145  138268       0       0
 279993  205570  161458       0       0
 319992  244200  221115       0       0
 359991  278116  253009       0       0
 399990  331310  236160       0       0

Start   analysis of Test 3 at:                 08:27:06.906 950621
  End   analysis of Test 3 at:                 08:27:08.640 950621
Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 400  at:               08:27:09.406 950621
  End execution of Test 400  at:               08:27:09.734 950621
      i       U       V       X       Y
      0       0       0       0       0
  39999   51457   31121       0       0
  79998   98913   63945       0       0
 119997  141383   99057       0       0
 159996  182393  137489       0       0
 199995  224033  177017       0       0
 239994  264504  216072       0       0
 279993  304521  255971       0       0
 319992  344328  295010       0       0
 359991  383609  335904       0       0
 399990  399999  376427       0       0

Start Part 1 analysis of Test 4 at:            08:27:09.906 950621
Error 4.1. u[      1] =       0 <       1 and v[      1] =       0 <       1
Error 4.2. v[      1] =       0 <       1 and u[      1] =       0 <       1
Error 4.2. v[      2] =       0 <       1 and u[      1] =       0 <       2
Error 4.2. v[      3] =       0 <       1 and u[      1] =       0 <       3
Error 4.1. u[      4] =       5 <       6 and v[      6] =       3 <       4
Error 4.2. v[      4] =       0 <       1 and u[      1] =       0 <       4
  End Part 1 analysis of Test 4 at:            08:27:10.000 950621

Analysis of T4 data:

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

      i       U       V      d1      d2      d3      d4
      0       0       0       0       0 2097152 2097152
      1       0       0      -1      -1 2097152 2097152
      2       5       0       1      -2       2 2097152
      3       5       0       0      -3       3 2097152
      4       5       0      -1      -4       4 2097152
      5      12       3       0       0       0       0
      6      12       3      -1      -1       1       1
      7      17       3       1      -2       2       2
      8      17       3       0      -3       3       3
      9      17       3      -1      -4       4       4

Start Part 2 analysis of Test 4 at:            08:27:10.265 950621
 d = -23. 
Error 4.2. v[ 157344] =  135256 <  135257 and u[ 135257] =  157321 <  157344
Error 4.2. v[ 393856] =  370040 <  370041 and u[ 370041] =  393833 <  393856
 d = -22. 
Error 4.2. v[ 393855] =  370040 <  370041 and u[ 370041] =  393833 <  393855
Error 4.2. v[ 157343] =  135256 <  135257 and u[ 135257] =  157321 <  157343
 d = -21. 
Error 4.2. v[  34760] =   27128 <   27129 and u[  27129] =   34739 <   34760
Error 4.2. v[  34798] =   27160 <   27161 and u[  27161] =   34777 <   34798
Error 4.2. v[ 192254] =  169352 <  169353 and u[ 169353] =  192233 <  192254
Error 4.2. v[ 226718] =  202648 <  202649 and u[ 202649] =  226697 <  226718
Error 4.2. v[ 311198] =  286280 <  286281 and u[ 286281] =  311177 <  311198
Error 4.2. v[ 393854] =  370040 <  370041 and u[ 370041] =  393833 <  393854
Error 4.1. u[ 135238] =  157304 <  157305 and v[ 157305] =  135217 <  135238
Error 4.2. v[ 157342] =  135256 <  135257 and u[ 135257] =  157321 <  157342
 d = -20. 
Error 4.2. v[  34797] =   27160 <   27161 and u[  27161] =   34777 <   34797
Error 4.2. v[ 226717] =  202648 <  202649 and u[ 202649] =  226697 <  226717
Error 4.2. v[ 157341] =  135256 <  135257 and u[ 135257] =  157321 <  157341
Error 4.2. v[ 311197] =  286280 <  286281 and u[ 286281] =  311177 <  311197
Error 4.2. v[  34759] =   27128 <   27129 and u[  27129] =   34739 <   34759
Error 4.2. v[ 393853] =  370040 <  370041 and u[ 370041] =  393833 <  393853
Error 4.2. v[  75845] =   60712 <   60713 and u[  60713] =   75825 <   75845
Error 4.1. u[ 135237] =  157304 <  157305 and v[ 157305] =  135217 <  135237
Error 4.2. v[ 192253] =  169352 <  169353 and u[ 169353] =  192233 <  192253
 d = -19. 
Error 4.2. v[  34758] =   27128 <   27129 and u[  27129] =   34739 <   34758
Error 4.1. u[ 135236] =  157304 <  157305 and v[ 157305] =  135217 <  135236
Error 4.2. v[ 311196] =  286280 <  286281 and u[ 286281] =  311177 <  311196
Error 4.2. v[  34796] =   27160 <   27161 and u[  27161] =   34777 <   34796
Error 4.2. v[  75844] =   60712 <   60713 and u[  60713] =   75825 <   75844
Error 4.2. v[ 393852] =  370040 <  370041 and u[ 370041] =  393833 <  393852
Error 4.2. v[ 192252] =  169352 <  169353 and u[ 169353] =  192233 <  192252
Error 4.2. v[ 145372] =  124344 <  124345 and u[ 124345] =  145353 <  145372
Error 4.2. v[ 157340] =  135256 <  135257 and u[ 135257] =  157321 <  157340
Error 4.2. v[ 226716] =  202648 <  202649 and u[ 202649] =  226697 <  226716
 d = -18. 
Error 4.1. u[ 135366] =  157448 <  157449 and v[ 157449] =  135348 <  135366
Error 4.2. v[ 311195] =  286280 <  286281 and u[ 286281] =  311177 <  311195
Error 4.2. v[ 145371] =  124344 <  124345 and u[ 124345] =  145353 <  145371
Error 4.2. v[ 192251] =  169352 <  169353 and u[ 169353] =  192233 <  192251
Error 4.1. u[ 135235] =  157304 <  157305 and v[ 157305] =  135217 <  135235
Error 4.2. v[ 393851] =  370040 <  370041 and u[ 370041] =  393833 <  393851
Error 4.2. v[ 157339] =  135256 <  135257 and u[ 135257] =  157321 <  157339
Error 4.2. v[  75843] =   60712 <   60713 and u[  60713] =   75825 <   75843
Error 4.2. v[ 226715] =  202648 <  202649 and u[ 202649] =  226697 <  226715
Error 4.2. v[  34795] =   27160 <   27161 and u[  27161] =   34777 <   34795
Error 4.2. v[  34757] =   27128 <   27129 and u[  27129] =   34739 <   34757
 d = -17. 
Error 4.1. u[ 196042] =  220153 <  220154 and v[ 220154] =  196025 <  196042
Error 4.1. u[ 200938] =  224872 <  224873 and v[ 224873] =  200921 <  200938
Error 4.1. u[ 215706] =  239660 <  239661 and v[ 239661] =  215689 <  215706
Error 4.2. v[ 226714] =  202648 <  202649 and u[ 202649] =  226697 <  226714
Error 4.1. u[ 123306] =  144200 <  144201 and v[ 144201] =  123289 <  123306
Error 4.2. v[ 157199] =  135021 <  135022 and u[ 135022] =  157182 <  157199
Error 4.2. v[ 157338] =  135256 <  135257 and u[ 135257] =  157321 <  157338
Error 4.1. u[ 123386] =  144268 <  144269 and v[ 144269] =  123369 <  123386
  End Part 2 analysis of Test 4 at:            08:27:14.656 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1     73474     73474         0         0     1
 2     33992     33344         0         0     2
 3     31051     32066         0         0     3
 4     29533     31161         0         0     4
 5      6571      8315         0         0     5
 6      5935      7381         0         0     6
 7      5880      7254         0         0     7
 8      2503      3342         0         0     8
 9      2252      2895         0         0     9
10      1806      2325         0         0    10
11      1624      1840         0         0    11
12      1569      1667         0         0    12
13       396       483         0         0    13
14        90        92         0         0    14
15        60        61         0         0    15
16        22        14         0         0    16
17        19        10         0         0    17
18         2         9         0         0    18
19         1         9         0         0    19
20         1         8         0         0    20
21         1         7         0         0    21
22         0         2         0         0    22
23         0         2         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:  
      196782    205761         0         0
          21        23         0         0
           0         0         0         0

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

      i       U       V      d1      d2      d3      d4
  27126   34739   21115       2       1       5       5
  27127   34739   21115       1       0       6       6
  27128   34739   21115       0      -1       7       7
  27129   34739   21118      -1       0       8       0
  27130   34761   21118       4      -1       2       1
  27131   34761   21121       3       1       3       2
  27132   34761   21121       2       0       4       3

  27158   34777   21137       2      -2      11       5
  27159   34777   21137       1      -3      12       6
  27160   34777   21137       0      -4      13       7
  27161   34777   21140      -1       0      14       0
  27162   34799   21140       1      -1       2       1
  27163   34799   21145       0       6       3       2
  27164   34799   21145      -1       5       4       3

  34754   44804   27128      -1     -15       1      15
  34755   44809   27128       1     -16       2      16
  34756   44809   27128       0     -17       3      17
  34757   44809   27128      -1     -18       4      18
  34758   44809   27128      -2     -19       5      19
  34759   44809   27128      -3     -20       6      20
  34760   44809   27128      -4     -21       7      21
  34761   44818   27134       0       0       0       0
  34762   44818   27134      -1      -1       1       1
  34763   44824   27137       0       4       0       2

  34792   44848   27160      -3     -15       3      15
  34793   44857   27160       0     -16       0      16
  34794   44857   27160      -1     -17       1      17
  34795   44863   27160       0     -18       0      18
  34796   44863   27160      -1     -19       1      19
  34797   44865   27160       1     -20       2      20
  34798   44865   27160       0     -21       3      21
  34799   44865   27163      -1       0       4       0
  34800   44865   27163      -2      -1       5       1
  34801   44868   27171       0     135       0       1

 135254  157321  114329       2     151       5     405
 135255  157321  114329       1     150       6     406
 135256  157321  114329       0     149       7     407
 135257  157321  114329      -1     148       8     408
 135258  157345  114329       5     147       2     409
 135259  157345  114329       4     146       3     410
 135260  157345  114329       3     145       4     411

 157335  179961  135256      -6     -14       6      14
 157336  179961  135256      -7     -15       7      15
 157337  179969  135256       0     -16       0      16
 157338  179969  135256      -1     -17       1      17
 157339  179974  135256       1     -18       2      18
 157340  179974  135256       0     -19       3      19
 157341  179974  135256      -1     -20       4      20
 157342  179974  135256      -2     -21       5      21
 157343  179974  135256      -3     -22       6      22
 157344  179974  135256      -4     -23       7      23
 157345  179977  135263       0       0       0       0
 157346  179977  135263      -1      -1       1       1
 157347  179977  135265      -2       3       2       2

 192248  215961  169352      -4     -15      13      16
 192249  215969  169352       0     -16       0      17
 192250  215969  169352      -1     -17       1      18
 192251  215975  169352       0     -18       0      19
 192252  215975  169352      -1     -19       1      20
 192253  215977  169352       7     -20       2      21
 192254  215977  169352       6     -21       3      22
 192255  215977  169361       5       0       4       0
 192256  215977  169361       4      -1       5       1
 192257  215977  169371       3       7       6       1

 370038  393832  345897       2       3      12       5
 370039  393832  345897       1       2      13       6
 370040  393833  345897       0       1      14       7
 370041  393833  345897      -1       0      15       8
 370042  393856  345897       7      -1       2       9
 370043  393856  345905       6       1       3       2
 370044  393856  345905       5       0       4       3

 393848  399999  370040 2097152     -15   17421      16
 393849  399999  370040 2097152     -16   17422      17
 393850  399999  370040 2097152     -17   17423      18
 393851  399999  370040 2097152     -18   17424      19
 393852  399999  370040 2097152     -19   17425      20
 393853  399999  370040 2097152     -20   17426      21
 393854  399999  370040 2097152     -21   17427      22
 393855  399999  370040 2097152     -22   17428      23
 393856  399999  370040 2097152     -23   17429      24
 393857  399999  370049 2097152       7   17430       1
 393858  399999  370049 2097152       6   17431       2
 393859  399999  370049 2097152       5   17432       3

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

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 420  at:               08:27:17.218 950621
  End execution of Test 420  at:               08:27:17.562 950621
      i       U       V       X       Y
      0       0      24       0       0
  39999   40021   39964       0       0
  79998   77931   81777       0       0
 119997  117398  122421       0       0
 159996  152321  168729       0       0
 199995  188985  214403       0       0
 239994  222322  260344       0       0
 279993  254985  309932       0       0
 319992  288648  357040       0       0
 359991  322425  399999       0       0
 399990  358425  399999       0       0

Start Part 1 analysis of Test 4 at:            08:27:18.015 950621
Error 4.2. v[      3] =      97 <      98 and u[     98] =       2 <       3
Error 4.2. v[      4] =      97 <      98 and u[     98] =       2 <       4
Error 4.2. v[      5] =      97 <      98 and u[     98] =       2 <       5
Error 4.2. v[      8] =      99 <     100 and u[    100] =       7 <       8
Error 4.2. v[     10] =     102 <     103 and u[    103] =       9 <      10
Error 4.2. v[     13] =     105 <     106 and u[    106] =      12 <      13
  End Part 1 analysis of Test 4 at:            08:27:18.109 950621

Analysis of T4 data:

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

      i       U       V      d1      d2      d3      d4
      0       0      24      97       0 2097152       0
      1       0      97      96       1 2097152       1
      2       0      97      95       0 2097152       2
      3       0      97      94      -1 2097152       3
      4       0      97      93      -2 2097152       4
      5       0      97      92      -3 2097152       5
      6       0      99      91       1 2097152       4
      7       0      99      90       0 2097152       5
      8       0      99      89      -1 2097152       6
      9       0     102      88       0 2097152       0
     10       0     102      87      -1 2097152       1
     11       0     105      86       1 2097152       2
     12       0     105      85       0 2097152       3
     13       0     105      84      -1 2097152       4
     14       0     105      83      -2 2097152       5
     15       0     105      82      -3 2097152       6
     16       0     105      81      -4 2097152       7

     95       0     161       2      -3 2097152       6
     96       0     163       1       1 2097152       4
     97       2     163       0       0       0       5
     98       2     163      -1      -1       1       6
     99       7     163       0      -2       0       7
    100       7     163      -1      -3       1       8
    101       9     163       1      -4       2       9
    102       9     166       0       0       3       0
    103       9     166      -1      -1       4       1
    104       9     169      -2       1       5       2
    105      12     169       0       0       0       3
    106      12     169      -1      -1       1       4
    107      17     169       1      -2       2       5
    108      17     169       0      -3       3       6
    109      17     171      -1       1       4       4

Start Part 2 analysis of Test 4 at:            08:27:18.671 950621
 d = -23. 
Error 4.1. u[  54792] =   54313 <   54314 and v[  54314] =   54769 <   54792
Error 4.1. u[  55200] =   54872 <   54873 and v[  54873] =   55177 <   55200
 d = -22. 
Error 4.1. u[  55199] =   54872 <   54873 and v[  54873] =   55177 <   55199
Error 4.1. u[  54791] =   54313 <   54314 and v[  54314] =   54769 <   54791
Error 4.1. u[ 313208] =  282264 <  282265 and v[ 282265] =  313186 <  313208
 d = -21. 
Error 4.1. u[  54790] =   54313 <   54314 and v[  54314] =   54769 <   54790
Error 4.1. u[  55104] =   54808 <   54809 and v[  54809] =   55083 <   55104
Error 4.1. u[ 313207] =  282264 <  282265 and v[ 282265] =  313186 <  313207
Error 4.1. u[  55198] =   54872 <   54873 and v[  54873] =   55177 <   55198
 d = -20. 
Error 4.1. u[  55197] =   54872 <   54873 and v[  54873] =   55177 <   55197
Error 4.1. u[ 313206] =  282264 <  282265 and v[ 282265] =  313186 <  313206
Error 4.1. u[  55103] =   54808 <   54809 and v[  54809] =   55083 <   55103
Error 4.1. u[  54789] =   54313 <   54314 and v[  54314] =   54769 <   54789
 d = -19. 
Error 4.1. u[ 313205] =  282264 <  282265 and v[ 282265] =  313186 <  313205
Error 4.1. u[  55102] =   54808 <   54809 and v[  54809] =   55083 <   55102
Error 4.1. u[  55196] =   54872 <   54873 and v[  54873] =   55177 <   55196
Error 4.1. u[  54788] =   54313 <   54314 and v[  54314] =   54769 <   54788
 d = -18. 
Error 4.1. u[  55195] =   54872 <   54873 and v[  54873] =   55177 <   55195
Error 4.1. u[  55101] =   54808 <   54809 and v[  54809] =   55083 <   55101
Error 4.1. u[  54787] =   54313 <   54314 and v[  54314] =   54769 <   54787
Error 4.1. u[ 313204] =  282264 <  282265 and v[ 282265] =  313186 <  313204
 d = -17. 
Error 4.1. u[  54786] =   54313 <   54314 and v[  54314] =   54769 <   54786
Error 4.1. u[  55100] =   54808 <   54809 and v[  54809] =   55083 <   55100
Error 4.1. u[  55194] =   54872 <   54873 and v[  54873] =   55177 <   55194
Error 4.2. v[ 101616] =  104800 <  104801 and u[ 104801] =  101599 <  101616
Error 4.1. u[ 313203] =  282264 <  282265 and v[ 282265] =  313186 <  313203
 d = -16. 
Error 4.1. u[ 210424] =  197224 <  197225 and v[ 197225] =  210408 <  210424
Error 4.1. u[ 212888] =  198808 <  198809 and v[ 198809] =  212872 <  212888
Error 4.1. u[ 243512] =  225176 <  225177 and v[ 225177] =  243496 <  243512
Error 4.1. u[ 244264] =  225432 <  225433 and v[ 225433] =  244248 <  244264
Error 4.1. u[ 248184] =  229080 <  229081 and v[ 229081] =  248168 <  248184
Error 4.1. u[ 251000] =  231560 <  231561 and v[ 231561] =  250984 <  251000
Error 4.1. u[ 268920] =  246440 <  246441 and v[ 246441] =  268904 <  268920
Error 4.1. u[ 286712] =  261368 <  261369 and v[ 261369] =  286696 <  286712
Error 4.1. u[ 296040] =  268968 <  268969 and v[ 268969] =  296024 <  296040
Error 4.1. u[ 301528] =  272632 <  272633 and v[ 272633] =  301512 <  301528
Error 4.1. u[ 313202] =  282264 <  282265 and v[ 282265] =  313186 <  313202
Error 4.1. u[  55193] =   54872 <   54873 and v[  54873] =   55177 <   55193
Error 4.1. u[  55099] =   54808 <   54809 and v[  54809] =   55083 <   55099
Error 4.2. v[ 101615] =  104800 <  104801 and u[ 104801] =  101599 <  101615
Error 4.1. u[  54785] =   54313 <   54314 and v[  54314] =   54769 <   54785
Error 4.1. u[ 179656] =  169816 <  169817 and v[ 169817] =  179640 <  179656
Error 4.1. u[ 183384] =  172920 <  172921 and v[ 172921] =  183368 <  183384
Error 4.1. u[ 389992] =  349352 <  349353 and v[ 349353] =  389976 <  389992
 d = -15. 
Error 4.1. u[  14034] =   14040 <   14041 and v[  14041] =   14019 <   14034
Error 4.1. u[ 237975] =  221112 <  221113 and v[ 221113] =  237960 <  237975
Error 4.1. u[ 243511] =  225176 <  225177 and v[ 225177] =  243496 <  243511
Error 4.1. u[  54784] =   54313 <   54314 and v[  54314] =   54769 <   54784
Error 4.1. u[ 244263] =  225432 <  225433 and v[ 225433] =  244248 <  244263
Error 4.1. u[ 127984] =  124472 <  124473 and v[ 124473] =  127969 <  127984
  End Part 2 analysis of Test 4 at:            08:27:22.828 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1     77859     77859         0         0     1
 2     29427     42924         0         0     2
 3     24962     32788         0         0     3
 4     21230      7220         0         0     4
 5      7786      3082         0         0     5
 6      6717      2751         0         0     6
 7      6512      1513         0         0     7
 8      3536       954         0         0     8
 9      3406       145         0         0     9
10      2214        62         0         0    10
11      1323        39         0         0    11
12      1186        19         0         0    12
13       748        16         0         0    13
14       289         5         0         0    14
15        40         3         0         0    15
16        17         1         0         0    16
17         4         1         0         0    17
18         4         0         0         0    18
19         4         0         0         0    19
20         4         0         0         0    20
21         4         0         0         0    21
22         3         0         0         0    22
23         2         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:  
      187277    169382         0         0
          23        17         0         0
           0         0         0         0

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

      i       U       V      d1      d2      d3      d4
  54311   53666   54769      -6       2       7       7
  54312   53666   54769      -7       1       8       8
  54313   53671   54769       0       0       0       9
  54314   53671   54769      -1      -1       1      10
  54315   53673   54793       4       5       2       2
  54316   53673   54793       3       4       3       3
  54317   53673   54793       2       3       4       4

  54781   54313   55073     -12      -3      12      12
  54782   54313   55075     -13       8      13       4
  54783   54313   55075     -14       7      14       5
  54784   54313   55075     -15       6      15       6
  54785   54313   55075     -16       5      16       7
  54786   54313   55075     -17       4      17       8
  54787   54313   55075     -18       3      18       9
  54788   54313   55075     -19       2      19      10
  54789   54313   55075     -20       1      20      11
  54790   54313   55075     -21       0      21      12
  54791   54313   55075     -22      -1      22      13
  54792   54313   55075     -23      -2      23      14
  54793   54320   55080       0       9       0       0
  54794   54320   55080      -1       8       1       1
  54795   54320   55080      -2       7       2       2

  54806   54328   55083      -5       2       5       4
  54807   54328   55083      -6       1       6       5
  54808   54328   55083      -7       0       7       6
  54809   54335   55083       0      -1       0       7
  54810   54335   55110      -1       0       1       0
  54811   54337   55110       5      -1       2       1
  54812   54337   55110       4      -2       3       2

  54870   54464   55177      -3       2       3       4
  54871   54464   55177      -4       1       4       5
  54872   54464   55177      -5       0       5       6
  54873   54472   55177       0      -1       0       7
  54874   54472   55201      -1       4       1       2
  54875   54472   55201      -2       3       2       3
  54876   54472   55201      -3       2       3       4

  55096   54808   56135     -13      -2      13       7
  55097   54808   56141     -14       0      14       0
  55098   54808   56141     -15      -1      15       1
  55099   54808   56145     -16       1      16       2
  55100   54808   56145     -17       0      17       3
  55101   54808   56145     -18      -1      18       4
  55102   54808   56145     -19      -2      19       5
  55103   54808   56145     -20      -3      20       6
  55104   54808   56145     -21      -4      21       7
  55105   54810   56148       5       0      22       0
  55106   54810   56148       4      -1      23       1
  55107   54810   56153       3       1      24       2

  55190   54872   56209     -13      -3      13       6
  55191   54872   56211     -14       1      14       4
  55192   54872   56211     -15       0      15       5
  55193   54872   56211     -16      -1      16       6
  55194   54872   56216     -17       1      17       2
  55195   54872   56216     -18       0      18       3
  55196   54872   56216     -19      -1      19       4
  55197   54872   56216     -20      -2      20       5
  55198   54872   56216     -21      -3      21       6
  55199   54872   56218     -22       1      22       4
  55200   54872   56218     -23       0      23       5
  55201   54878   56218       0      -1       0       6
  55202   54878   56224      -1       0       1       0
  55203   54881   56224       5      -1       2       1

 101612   98597  104800      -2     -13       9      13
 101613   98597  104800      -3     -14      10      14
 101614   98597  104800      -4     -15      11      15
 101615   98599  104800       1     -16       5      16
 101616   98599  104800       0     -17       6      17
 101617   98599  104803      -1       0       7       0
 101618   98605  104803       1      -1       2       1
 101619   98605  104810       0       0       3       0

 282262  257430  313184      -1     -13       1      13
 282263  257433  313186       5       1       2      14
 282264  257433  313186       4       0       3      15
 282265  257433  313186       3      -1       4      16
 282266  257433  313209       2       1       5       2
 282267  257433  313209       1       0       6       3
 282268  257433  313209       0      -1       7       4

 313199  282264  349328     -13       1      13       4
 313200  282264  349328     -14       0      14       5
 313201  282264  349328     -15      -1      15       6
 313202  282264  349328     -16      -2      16       7
 313203  282264  349328     -17      -3      17       8
 313204  282264  349328     -18      -4      18       9
 313205  282264  349328     -19      -5      19      10
 313206  282264  349328     -20      -6      20      11
 313207  282264  349331     -21       0      21       0
 313208  282264  349331     -22      -1      22       1
 313209  282267  349343       0       0       0       0
 313210  282267  349343      -1      -1       1       1
 313211  282272  349345       0       5       0       2

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

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

Seek 5.  U[i] > V[i].
Start execution of Test 500  at:               08:27:25.515 950621
  End execution of Test 500  at:               08:27:25.796 950621
      i       U       V       X       Y
      0      31      56       0       0
  39999  255530  255542       0       0
  79998  399999  399999       0       0
 119997  399999  399999       0       0
 159996  399999  399999       0       0
 199995  399999  399999       0       0
 239994  399999  399999       0       0
 279993  399999  399999       0       0
 319992  399999  399999       0       0
 359991  399999  399999       0       0
 399990  399999  399999       0       0

Start   analysis of Test 5 at:                 08:27:25.984 950621
  End   analysis of Test 5 at:                 08:27:26.109 950621
Analysis of T5 data:
      i       U       V       X       Y

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

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

Seek 5.  U[i] > V[i].
Start execution of Test 520  at:               08:27:26.843 950621
  End execution of Test 520  at:               08:27:27.156 950621
      i       U       V       X       Y
      0       0     105       0       0
  39999  259848  259858       0       0
  79998  399999  399999       0       0
 119997  399999  399999       0       0
 159996  399999  399999       0       0
 199995  399999  399999       0       0
 239994  399999  399999       0       0
 279993  399999  399999       0       0
 319992  399999  399999       0       0
 359991  399999  399999       0       0
 399990  399999  399999       0       0

Start   analysis of Test 5 at:                 08:27:27.609 950621
  End   analysis of Test 5 at:                 08:27:27.734 950621
Analysis of T5 data:
      i       U       V       X       Y

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

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 600  at:               08:27:28.468 950621
  End execution of Test 600  at:               08:27:28.687 950621
      i       U       V       X       Y
      0       1      91       0       0
  39999  366647  234935       0       0
  79998  399999  399999       0       0
 119997  399999  399999       0       0
 159996  399999  399999       0       0
 199995  399999  399999       0       0
 239994  399999  399999       0       0
 279993  399999  399999       0       0
 319992  399999  399999       0       0
 359991  399999  399999       0       0
 399990  399999  399999       0       0

Start   analysis of Test 6 at:                 08:27:28.859 950621
  End   analysis of Test 6 at:                 08:27:48.390 950621
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           08:27:48.984 950621
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 399999 5064 0 399999 5064
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F3                                                                              
 33                                                                             
  33                                                                            
   33                                                                           
    33                                                                          
     33                                                                         
      33                                                                        
       333                                                                      
         33                                                                     
          33                                                                    
           33                                                                   
            33                                                                  
             33                                                                 
              33                                                                
               33                                                               
                33                                                              
                 33                                                             
                  33                                                            
                   33                                                           
                    33                                                          
                     33                                                         
                      33                                                        
                       33                                                       
                        33                                                      
                         33                                                     
                          33                                                    
                           33                                                   
                            33                                                  
                             333                                                
                               33                                               
                                33                                              
                                 33                                             
                                  33                                            
                                   33                                           
                                    33                                          
                                     33                                         
                                      3                                         
                                      33                                        
                                       33                                       
                                        33                                      
                                         33                                     
                                          33                                    
                                           33                                   
                                            33                                  
                                             33                                 
                                              33                                
                                               33                               
                                                33                              
                                                 33                             
                                                  33                            
                                                   33                           
                                                    33                          
                                                     33                         
                                                      33                        
                                                       23                       
                                                        33                      
                                                         23                     
                                                          33                    
                                                           33                   
                                                            33                  
                                                             33                 
                                                              33                
                                                               33               
                                                                33              
                                                                 33             
                                                                  33            
                                                                   331          
                                                                     33         
                                                                      33        
                                                                       33       
                                                                        33      
                                                                         3      
                                                                         33     
                                                                          333   
                                                                            33  
                                                                             33 
                                                                              3 
                                                                              3 
                                                                              3 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           08:27:51.921 950621
Save output from Test 6? [n] 
================================================================================

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 610  at:               08:28:27.203 950621
  End execution of Test 610  at:               08:28:35.468 950621
      i       U       V       X       Y
      0       0       4       0       0
  39999   35146   38094       0       0
  79998   94172   96905       0       0
 119997  126991  120955       0       0
 159996  208172  194530       0       0
 199995  219314  212870       0       0
 239994  316305  302796       0       0
 279993  319172  305072       0       0
 319992  399999  395166       0       0
 359991  399999  399999       0       0
 399990  399999  399999       0       0

Start   analysis of Test 6 at:                 08:28:35.609 950621
  End   analysis of Test 6 at:                 08:28:45.109 950621
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           08:28:45.156 950621
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 399999 5064 0 399999 5064
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F                                                                               
33                                                                              
 33                                                                             
  33                                                                            
   3                                                                            
   33                                                                           
    33                                                                          
     33                                                                         
      3                                                                         
      33                                                                        
       33                                                                       
        33                                                                      
         33                                                                     
          33                                                                    
           3                                                                    
           33                                                                   
            33                                                                  
             33                                                                 
              33                                                                
               33                                                               
                33                                                              
                 3                                                              
                 33                                                             
                  33                                                            
                   33                                                           
                    33                                                          
                     33                                                         
                      33                                                        
                       33                                                       
                        3                                                       
                        33                                                      
                         33                                                     
                          33                                                    
                           33                                                   
                            33                                                  
                             3                                                  
                             33                                                 
                              33                                                
                               33                                               
                                33                                              
                                 33                                             
                                  33                                            
                                   33                                           
                                    33                                          
                                     33                                         
                                      3                                         
                                      23                                        
                                       33                                       
                                        33                                      
                                         33                                     
                                          33                                    
                                           33                                   
                                            33                                  
                                             3                                  
                                             33                                 
                                              33                                
                                               33                               
                                                33                              
                                                 33                             
                                                  33                            
                                                   3                            
                                                   33                           
                                                    33                          
                                                     33                         
                                                      33                        
                                                       33                       
                                                        33                      
                                                         33                     
                                                          33                    
                                                           33                   
                                                            33                  
                                                             33                 
                                                              333               
                                                                3               
                                                                333             
                                                                  33            
                                                                   33           
                                                                    33          
                                                                     3333333333 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           08:28:46.937 950621
Save output from Test 6? [n] 
================================================================================

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 620  at:               08:29:15.968 950621
  End execution of Test 620  at:               08:29:16.390 950621
      i       U       V       X       Y
      0       1     187       0       0
  39999  211283  296507       0       0
  79998  399999  399999       0       0
 119997  399999  399999       0       0
 159996  399999  399999       0       0
 199995  399999  399999       0       0
 239994  399999  399999       0       0
 279993  399999  399999       0       0
 319992  399999  399999       0       0
 359991  399999  399999       0       0
 399990  399999  399999       0       0

Start   analysis of Test 6 at:                 08:29:17.234 950621
  End   analysis of Test 6 at:                 08:29:18.640 950621
Analysis of T6 data:
      i       U       V       X       Y

Start   plotting data for Test 6 at:           08:29:18.703 950621
Plot of T6 data. 

xmin xmax xintv ymin ymax yintv 0 399999 5064 0 399999 5064
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F                                                                               
33                                                                              
 33                                                                             
  3                                                                             
  33                                                                            
   33                                                                           
    33                                                                          
     33                                                                         
      3                                                                         
      33                                                                        
       33                                                                       
        33                                                                      
         33                                                                     
          3                                                                     
          33                                                                    
           33                                                                   
            33                                                                  
             3                                                                  
             33                                                                 
              33                                                                
               31                                                               
                3                                                               
                33                                                              
                 33                                                             
                  33                                                            
                   3                                                            
                   33                                                           
                    33                                                          
                     33                                                         
                      33                                                        
                       3                                                        
                       33                                                       
                        33                                                      
                         33                                                     
                          3                                                     
                          33                                                    
                           33                                                   
                            33                                                  
                             3                                                  
                             33                                                 
                              33                                                
                               33                                               
                                33                                              
                                 3                                              
                                 33                                             
                                  33                                            
                                   33                                           
                                    3                                           
                                    33                                          
                                     33                                         
                                      33                                        
                                       3                                        
                                       33                                       
                                        33                                      
                                         33                                     
                                          33                                    
                                           3                                    
                                           33                                   
                                            33                                  
                                             33                                 
                                              3                                 
                                              23                                
                                               33                               
                                                33                              
                                                 33                             
                                                  3                             
                                                  33                            
                                                   33                           
                                                    33                          
                                                     33                         
                                                      3                         
                                                      33                        
                                                       33                       
                                                        33                      
                                                         3                      
                                                         33                     
                                                          33                    
                                                           33                   
                                                            3323333333333333333 
                                                                                
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End   plotting data for Test 6 at:           08:29:20.265 950621
Save output from Test 6? [n] 
================================================================================

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = v[ u[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = u[ v[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - v[ u[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - u[ v[i]-1 ] < 0.

Start execution of Test 700  at:               08:29:22.687 950621
  End execution of Test 700  at:               08:29:23.031 950621
      i       U       V       X       Y
      0       0      70  399999  399999
  39999   37561   42286       0       0
  79998   75129   84609       0       0
 119997  114650  126760       0       0
 159996  149513  170840       0       0
 199995  186816  215603       0       0
 239994  220344  262800       0       0
 279993  254856  314083       0       0
 319992  284256  357267       0       0
 359991  322856  396732       0       0
 399990  363393  399999       0       0

Start Part 1 analysis of Test 7 at:            08:29:23.218 950621
Error 7.2. v[      2] =      83 <      84 and u[     84] =       1 <       2
Error 7.2. v[      4] =      90 <      91 and u[     91] =       3 <       4
Error 7.2. v[      6] =      95 <      96 and u[     96] =       5 <       6
Error 7.2. v[      9] =      97 <      98 and u[     98] =       8 <       9
Error 7.2. v[     11] =     102 <     103 and u[    103] =      10 <      11
Error 7.2. v[     14] =     105 <     106 and u[    106] =      13 <      14
  End Part 1 analysis of Test 7 at:            08:29:23.312 950621

Analysis of T7 data:

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

      i       U       V      d1      d2      d3      d4
      0       0      70      83       0 2097152       0
      1       0      83      82       0 2097152       0
      2       0      83      81      -1 2097152       1
      3       0      90      80       0 2097152       0
      4       0      90      79      -1 2097152       1
      5       0      95      78       0 2097152       0
      6       0      95      77      -1 2097152       1
      7       0      97      76       1 2097152       2
      8       0      97      75       0 2097152       3
      9       0      97      74      -1 2097152       4
     10       0     102      73       0 2097152       0
     11       0     102      72      -1 2097152       1
     12       0     105      71       1 2097152       2
     13       0     105      70       0 2097152       3
     14       0     105      69      -1 2097152       4
     15       0     105      68      -2 2097152       5
     16       0     105      67      -3 2097152       6
     17       0     108      66       0 2097152       0

     81       0     192       2       0 2097152       0
     82       1     192       1      -1      12       1
     83       1     192       0      -2      13       2
     84       1     192      -1      -3      14       3
     85       1     194      -2       1      15       4
     86       1     194      -3       0      16       5
     87       1     194      -4      -1      17       6
     88       3     194       2      -2       5       7
     89       3     197       1       0       6       0
     90       3     197       0      -1       7       1
     91       3     201      -1       1       8       2
     92       3     201      -2       0       9       3
     93       3     201      -3      -1      10       4
     94       5     201       1      -2       4       5
     95       5     201       0      -3       5       6
     96       5     203      -1       2       6       4
     97       8     203       0       1       0       5
     98       8     203      -1       0       1       6
     99       8     203      -2      -1       2       7
    100       8     203      -3      -2       3       8
    101      10     203       1      -3       4       9
    102      10     205       0       1       5       4
    103      10     205      -1       0       6       5
    104      10     205      -2      -1       7       6
    105      13     208       0       0       0       0
    106      13     208      -1      -1       1       1
    107      17     208       1      -2       2       2
    108      17     208       0      -3       3       3
    109      17     210      -1       1       4       4

Start Part 2 analysis of Test 7 at:            08:29:24.078 950621
 d = -22. 
Error 7.1. u[ 167024] =  155752 <  155753 and v[ 155753] =  167002 <  167024
 d = -21. 
Error 7.1. u[ 167023] =  155752 <  155753 and v[ 155753] =  167002 <  167023
Error 7.1. u[ 193992] =  180314 <  180315 and v[ 180315] =  193971 <  193992
 d = -20. 
Error 7.1. u[ 193991] =  180314 <  180315 and v[ 180315] =  193971 <  193991
Error 7.1. u[ 167022] =  155752 <  155753 and v[ 155753] =  167002 <  167022
Error 7.1. u[ 393463] =  356682 <  356683 and v[ 356683] =  393443 <  393463
 d = -19. 
Error 7.1. u[ 193990] =  180314 <  180315 and v[ 180315] =  193971 <  193990
Error 7.1. u[ 393462] =  356682 <  356683 and v[ 356683] =  393443 <  393462
Error 7.1. u[ 167021] =  155752 <  155753 and v[ 155753] =  167002 <  167021
 d = -18. 
Error 7.1. u[ 230140] =  211064 <  211065 and v[ 211065] =  230122 <  230140
Error 7.1. u[ 238688] =  219208 <  219209 and v[ 219209] =  238670 <  238688
Error 7.1. u[ 393461] =  356682 <  356683 and v[ 356683] =  393443 <  393461
Error 7.1. u[ 193989] =  180314 <  180315 and v[ 180315] =  193971 <  193989
Error 7.1. u[ 167020] =  155752 <  155753 and v[ 155753] =  167002 <  167020
 d = -17. 
Error 7.1. u[ 238687] =  219208 <  219209 and v[ 219209] =  238670 <  238687
Error 7.1. u[ 193988] =  180314 <  180315 and v[ 180315] =  193971 <  193988
Error 7.1. u[ 393460] =  356682 <  356683 and v[ 356683] =  393443 <  393460
Error 7.1. u[ 167019] =  155752 <  155753 and v[ 155753] =  167002 <  167019
Error 7.1. u[ 230139] =  211064 <  211065 and v[ 211065] =  230122 <  230139
Error 7.2. v[ 175354] =  187784 <  187785 and u[ 187785] =  175337 <  175354
 d = -16. 
Error 7.1. u[ 230138] =  211064 <  211065 and v[ 211065] =  230122 <  230138
Error 7.2. v[ 263856] =  291896 <  291897 and u[ 291897] =  263840 <  263856
Error 7.2. v[ 263945] =  291981 <  291982 and u[ 291982] =  263929 <  263945
Error 7.2. v[ 264928] =  293144 <  293145 and u[ 293145] =  264912 <  264928
Error 7.2. v[ 304665] =  343370 <  343371 and u[ 343371] =  304649 <  304665
Error 7.1. u[ 393459] =  356682 <  356683 and v[ 356683] =  393443 <  393459
Error 7.1. u[ 193987] =  180314 <  180315 and v[ 180315] =  193971 <  193987
Error 7.2. v[ 175353] =  187784 <  187785 and u[ 187785] =  175337 <  175353
Error 7.1. u[ 238686] =  219208 <  219209 and v[ 219209] =  238670 <  238686
Error 7.1. u[ 167018] =  155752 <  155753 and v[ 155753] =  167002 <  167018
 d = -15. 
Error 7.1. u[ 238685] =  219208 <  219209 and v[ 219209] =  238670 <  238685
Error 7.2. v[ 179400] =  192040 <  192041 and u[ 192041] =  179385 <  179400
Error 7.1. u[ 193986] =  180314 <  180315 and v[ 180315] =  193971 <  193986
Error 7.1. u[  36808] =   34280 <   34281 and v[  34281] =   36793 <   36808
Error 7.2. v[ 245512] =  268927 <  268928 and u[ 268928] =  245497 <  245512
Error 7.2. v[ 261055] =  287224 <  287225 and u[ 287225] =  261040 <  261055
Error 7.2. v[ 263855] =  291896 <  291897 and u[ 291897] =  263840 <  263855
Error 7.2. v[ 105816] =  110397 <  110398 and u[ 110398] =  105801 <  105816
Error 7.2. v[ 263944] =  291981 <  291982 and u[ 291982] =  263929 <  263944
Error 7.1. u[ 110440] =  105864 <  105865 and v[ 105865] =  110425 <  110440
Error 7.2. v[ 264088] =  292093 <  292094 and u[ 292094] =  264073 <  264088
Error 7.2. v[ 264201] =  292191 <  292192 and u[ 292192] =  264186 <  264201
Error 7.2. v[ 264927] =  293144 <  293145 and u[ 293145] =  264912 <  264927
Error 7.1. u[ 110576] =  106008 <  106009 and v[ 106009] =  110561 <  110576
Error 7.2. v[ 269759] =  299048 <  299049 and u[ 299049] =  269744 <  269759
Error 7.1. u[ 270480] =  247864 <  247865 and v[ 247865] =  270465 <  270480
Error 7.1. u[ 276463] =  252296 <  252297 and v[ 252297] =  276448 <  276463
Error 7.2. v[ 287864] =  324143 <  324144 and u[ 324144] =  287849 <  287864
Error 7.1. u[ 291936] =  263880 <  263881 and v[ 263881] =  291921 <  291936
Error 7.1. u[ 292175] =  264168 <  264169 and v[ 264169] =  292160 <  292175
  End Part 2 analysis of Test 7 at:            08:29:28.046 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1     78105     78105         0         0     1
 2     32190     32930         0         0     2
 3     29311     30138         0         0     3
 4      9305      9347         0         0     4
 5      6795      6717         0         0     5
 6      6600      6530         0         0     6
 7      4538      4382         0         0     7
 8      3868      3657         0         0     8
 9      2038      1772         0         0     9
10      1667      1375         0         0    10
11      1400      1170         0         0    11
12       465       433         0         0    12
13       166       164         0         0    13
14        49        33         0         0    14
15        34        15         0         0    15
16         5         5         0         0    16
17         5         1         0         0    17
18         5         0         0         0    18
19         3         0         0         0    19
20         3         0         0         0    20
21         2         0         0         0    21
22         1         0         0         0    22
23         0         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:  
      176555    176774         0         0
          22        17         0         0
           0         0         0         0

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

      i       U       V      d1      d2      d3      d4
 155750  146011  167000       1     -12       4      12
 155751  146011  167002       0       1       5      13
 155752  146011  167002      -1       0       6      14
 155753  146020  167002       0      -1       0      15
 155754  146020  167024      -1       7       1       2
 155755  146026  167024       0       6       0       3
 155756  146026  167024      -1       5       1       4

 167015  155752  178337     -13       2      13      65
 167016  155752  178337     -14       1      14      66
 167017  155752  178337     -15       0      15      67
 167018  155752  178726     -16       0      16       0
 167019  155752  178729     -17       4      17       1
 167020  155752  178729     -18       3      18       2
 167021  155752  178729     -19       2      19       3
 167022  155752  178729     -20       1      20       4
 167023  155752  178729     -21       0      21       5
 167024  155752  178729     -22      -1      22       6
 167025  155761  178732       1       0       1       0
 167026  155761  178732       0      -1       2       1
 167027  155761  178738      -1       0       3       0

 180312  168504  193971     128       2      76       5
 180313  168504  193971     127       1      77       6
 180314  168504  193971     126       0      78       7
 180315  168504  193971     125      -1      79       8
 180316  168504  193993     124       8      80       2
 180317  168504  193993     123       7      81       3
 180318  168504  193993     122       6      82       4

 193983  180314  208672     -12       4      12       6
 193984  180314  208672     -13       3      13       7
 193985  180314  208672     -14       2      14       8
 193986  180314  208673     -15       1      15       9
 193987  180314  208673     -16       0      16      10
 193988  180314  208673     -17      -1      17      11
 193989  180314  208673     -18      -2      18      12
 193990  180314  208673     -19      -3      19      13
 193991  180314  208675     -20       1      20       4
 193992  180314  208675     -21       0      21       5
 193993  180324  208675       0      -1       0       6
 193994  180324  208688      -1       1       1       2
 193995  180330  208688       0       0       0       3

 211062  195745  230122      -3       2       6      12
 211063  195747  230122       1       1       4      13
 211064  195747  230122       0       0       5      14
 211065  195747  230122      -1      -1       6      15
 211066  195754  230141       0       6       0       2
 211067  195754  230141      -1       5       1       3
 211068  195754  230141      -2       4       2       4

 230135  211064  250758     -13      -3      13       5
 230136  211064  250760     -14       2      14       4
 230137  211064  250760     -15       1      15       5
 230138  211064  250760     -16       0      16       6
 230139  211064  250760     -17      -1      17       7
 230140  211064  250760     -18      -2      18       8
 230141  211072  250760       0      -3       0       9
 230142  211072  250762      -1       1       1       4
 230143  211072  250762      -2       0       2       5

 238682  219208  261082     -12       4      12       2
 238683  219208  261082     -13       3      13       3
 238684  219208  261082     -14       2      14       4
 238685  219208  261082     -15       1      15       5
 238686  219208  261082     -16       0      16       6
 238687  219208  261082     -17      -1      17       7
 238688  219208  261082     -18      -2      18       8
 238689  219219  261085       0       0       0       0
 238690  219219  261085      -1      -1       1       1
 238691  219224  261089       0       1       0       2

 356680  319704  393443       9       2       6       5
 356681  319704  393443       8       1       7       6
 356682  319704  393443       7       0       8       7
 356683  319704  393443       6      -1       9       8
 356684  319704  393464       5      13      10       2
 356685  319704  393464       4      12      11       3
 356686  319704  393464       3      11      12       4

 393456  356682  399999     -13 2097152      13   30049
 393457  356682  399999     -14 2097152      14   30050
 393458  356682  399999     -15 2097152      15   30051
 393459  356682  399999     -16 2097152      16   30052
 393460  356682  399999     -17 2097152      17   30053
 393461  356682  399999     -18 2097152      18   30054
 393462  356682  399999     -19 2097152      19   30055
 393463  356682  399999     -20 2097152      20   30056
 393464  356684  399999       0 2097152      21   30057
 393465  356697  399999       6 2097152       1   30058
 393466  356697  399999       5 2097152       2   30059

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = v[ u[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = u[ v[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - v[ u[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - u[ v[i]-1 ] < 0.

Start execution of Test 720  at:               08:29:30.625 950621
  End execution of Test 720  at:               08:29:31.000 950621
      i       U       V       X       Y
      0       0      21  399999       0
  39999   37958   42001       0       0
  79998   77033   82913       0       0
 119997  116673  123601       0       0
 159996  153593  166848       0       0
 199995  190015  211159       0       0
 239994  226025  254682       0       0
 279993  264169  297643       0       0
 319992  301449  339979       0       0
 359991  339666  382512       0       0
 399990  376010  399999       0       0

Start Part 1 analysis of Test 7 at:            08:29:31.437 950621
Error 7.2. v[      3] =      75 <      76 and u[     76] =       2 <       3
Error 7.2. v[      4] =      75 <      76 and u[     76] =       2 <       4
Error 7.2. v[      7] =      77 <      78 and u[     78] =       6 <       7
Error 7.2. v[      8] =      77 <      78 and u[     78] =       6 <       8
Error 7.2. v[     10] =      80 <      81 and u[     81] =       9 <      10
Error 7.2. v[     11] =      80 <      81 and u[     81] =       9 <      11
  End Part 1 analysis of Test 7 at:            08:29:31.546 950621

Analysis of T7 data:

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

      i       U       V      d1      d2      d3      d4
      0       0      21      75       0 2097152       0
      1       0      75      74       1 2097152       1
      2       0      75      73       0 2097152       2
      3       0      75      72      -1 2097152       3
      4       0      75      71      -2 2097152       4
      5       0      77      70       1 2097152       3
      6       0      77      69       0 2097152       4
      7       0      77      68      -1 2097152       5
      8       0      77      67      -2 2097152       6
      9       0      80      66       0 2097152       0
     10       0      80      65      -1 2097152       1
     11       0      80      64      -2 2097152       2
     12       0      80      63      -3 2097152       3
     13       0      83      62       0 2097152       0
     14       0      83      61      -1 2097152       1

     73       0     156       2       0 2097152       0
     74       0     156       1      -1 2097152       1
     75       2     162       0       0       0       0
     76       2     162      -1      -1       1       1
     77       6     167       0       0       0       0
     78       6     167      -1      -1       1       1
     79       9     169       1       1       2       2
     80       9     169       0       0       3       3
     81       9     169      -1      -1       4       4
     82      13     174       1       0       2       0
     83      13     174       0      -1       3       1
     84      13     177      -1       1       4       2

Start Part 2 analysis of Test 7 at:            08:29:32.031 950621
 d = -20. 
Error 7.1. u[ 169245] =  162200 <  162201 and v[ 162201] =  169225 <  169245
 d = -19. 
Error 7.1. u[ 169244] =  162200 <  162201 and v[ 162201] =  169225 <  169244
Error 7.1. u[ 169492] =  162312 <  162313 and v[ 162313] =  169473 <  169492
Error 7.1. u[ 169549] =  162344 <  162345 and v[ 162345] =  169530 <  169549
Error 7.1. u[ 335252] =  316248 <  316249 and v[ 316249] =  335233 <  335252
 d = -18. 
Error 7.1. u[ 169491] =  162312 <  162313 and v[ 162313] =  169473 <  169491
Error 7.1. u[ 169243] =  162200 <  162201 and v[ 162201] =  169225 <  169243
Error 7.1. u[ 169548] =  162344 <  162345 and v[ 162345] =  169530 <  169548
Error 7.1. u[ 169356] =  162248 <  162249 and v[ 162249] =  169338 <  169356
Error 7.2. v[ 316235] =  335216 <  335217 and u[ 335217] =  316217 <  316235
Error 7.1. u[ 335251] =  316248 <  316249 and v[ 316249] =  335233 <  335251
Error 7.1. u[ 169420] =  162280 <  162281 and v[ 162281] =  169402 <  169420
 d = -17. 
Error 7.1. u[ 169355] =  162248 <  162249 and v[ 162249] =  169338 <  169355
Error 7.1. u[ 169490] =  162312 <  162313 and v[ 162313] =  169473 <  169490
Error 7.1. u[ 188242] =  179370 <  179371 and v[ 179371] =  188225 <  188242
Error 7.1. u[ 196290] =  186776 <  186777 and v[ 186777] =  196273 <  196290
Error 7.1. u[ 280258] =  264302 <  264303 and v[ 264303] =  280241 <  280258
Error 7.2. v[ 316234] =  335216 <  335217 and u[ 335217] =  316217 <  316234
Error 7.1. u[ 169242] =  162200 <  162201 and v[ 162201] =  169225 <  169242
Error 7.1. u[ 335250] =  316248 <  316249 and v[ 316249] =  335233 <  335250
Error 7.1. u[ 169419] =  162280 <  162281 and v[ 162281] =  169402 <  169419
Error 7.1. u[ 169547] =  162344 <  162345 and v[ 162345] =  169530 <  169547
Error 7.1. u[ 348162] =  328538 <  328539 and v[ 328539] =  348145 <  348162
Error 7.1. u[ 351538] =  331502 <  331503 and v[ 331503] =  351521 <  351538
Error 7.1. u[ 398418] =  374542 <  374543 and v[ 374543] =  398401 <  398418
 d = -16. 
Error 7.1. u[ 280257] =  264302 <  264303 and v[ 264303] =  280241 <  280257
Error 7.1. u[ 169418] =  162280 <  162281 and v[ 162281] =  169402 <  169418
Error 7.2. v[ 316233] =  335216 <  335217 and u[ 335217] =  316217 <  316233
Error 7.1. u[ 169546] =  162344 <  162345 and v[ 162345] =  169530 <  169546
Error 7.2. v[ 157881] =  164754 <  164755 and u[ 164755] =  157865 <  157881
Error 7.1. u[ 335249] =  316248 <  316249 and v[ 316249] =  335233 <  335249
Error 7.1. u[ 169354] =  162248 <  162249 and v[ 162249] =  169338 <  169354
Error 7.1. u[ 169489] =  162312 <  162313 and v[ 162313] =  169473 <  169489
Error 7.1. u[ 188241] =  179370 <  179371 and v[ 179371] =  188225 <  188241
Error 7.1. u[ 348161] =  328538 <  328539 and v[ 328539] =  348145 <  348161
Error 7.1. u[ 162840] =  156024 <  156025 and v[ 156025] =  162824 <  162840
Error 7.1. u[ 351537] =  331502 <  331503 and v[ 331503] =  351521 <  351537
Error 7.1. u[ 196289] =  186776 <  186777 and v[ 186777] =  196273 <  196289
Error 7.1. u[ 398417] =  374542 <  374543 and v[ 374543] =  398401 <  398417
Error 7.1. u[ 169241] =  162200 <  162201 and v[ 162201] =  169225 <  169241
 d = -15. 
Error 7.1. u[ 188240] =  179370 <  179371 and v[ 179371] =  188225 <  188240
Error 7.2. v[ 157880] =  164754 <  164755 and u[ 164755] =  157865 <  157880
Error 7.1. u[  22066] =   20520 <   20521 and v[  20521] =   22051 <   22066
Error 7.1. u[ 196264] =  186760 <  186761 and v[ 186761] =  196249 <  196264
Error 7.1. u[ 196288] =  186776 <  186777 and v[ 186777] =  196273 <  196288
Error 7.1. u[ 169488] =  162312 <  162313 and v[ 162313] =  169473 <  169488
Error 7.1. u[ 162762] =  155898 <  155899 and v[ 155899] =  162747 <  162762
Error 7.1. u[ 209216] =  198350 <  198351 and v[ 198351] =  209201 <  209216
Error 7.2. v[ 226112] =  240160 <  240161 and u[ 240161] =  226097 <  226112
Error 7.1. u[ 256978] =  241869 <  241870 and v[ 241870] =  256963 <  256978
  End Part 2 analysis of Test 7 at:            08:29:36.078 950621

Histograms of negative d values:
 i        d1        d2        d3        d4     i
 1     92091     92091         0         0     1
 2     33749     42953         0         0     2
 3     30066      9857         0         0     3
 4      7820      5488         0         0     4
 5      5574      5334         0         0     5
 6      5439      3295         0         0     6
 7      4063      1595         0         0     7
 8      3407       292         0         0     8
 9      3316       198         0         0     9
10      1186       125         0         0    10
11      1088        66         0         0    11
12      1047        36         0         0    12
13       242        23         0         0    13
14        83        16         0         0    14
15        49         5         0         0    15
16        13         2         0         0    16
17        12         1         0         0    17
18         6         1         0         0    18
19         4         0         0         0    19
20         1         0         0         0    20
21         0         0         0         0    21
22         0         0         0         0    22
23         0         0         0         0    23
24         0         0         0         0    24
25         0         0         0         0    25

Totals / t7max / over:  
      189256    161378         0         0
          20        18         0         0
           0         0         0         0

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

      i       U       V      d1      d2      d3      d4
 162198  155449  169225       1       2       9       2
 162199  155449  169225       0       1      10       3
 162200  155449  169225      -1       0      11       4
 162201  155456  169225       0      -1       1       5
 162202  155456  169248      -1       0       2       0
 162203  155456  169248      -2      -1       3       1
 162204  155456  169248      -3      -2       4       2

 162310  155545  169473       1       2       9       3
 162311  155545  169473       0       1      10       4
 162312  155545  169473      -1       0      11       5
 162313  155552  169473       0      -1       0       6
 162314  155552  169493      -1       3       1       2
 162315  155552  169493      -2       2       2       3
 162316  155552  169493      -3       1       3       4

 162342  155577  169528       4      -5       6       5
 162343  155577  169530       3       1       7       6
 162344  155577  169530       2       0       8       7
 162345  155577  169530       1      -1       9       8
 162346  155577  169552       0       0      10       0
 162347  155577  169552      -1      -1      11       1
 162348  155577  169552      -2      -2      12       2

 169238  162200  177330     -13      -3      13       3
 169239  162200  177330     -14      -4      14       4
 169240  162200  177330     -15      -5      15       5
 169241  162200  177330     -16      -6      16       6
 169242  162200  177336     -17       0      17       0
 169243  162200  177336     -18      -1      18       1
 169244  162200  177336     -19      -2      19       2
 169245  162200  177336     -20      -3      20       3
 169246  162202  177336       2      -4      21       4
 169247  162202  177338       1       1      22       5
 169248  162202  177338       0       0      23       6

 169351  162248  177464     -13       0      13       4
 169352  162248  177464     -14      -1      14       5
 169353  162248  177472     -15       0      15       0
 169354  162248  177472     -16      -1      16       1
 169355  162248  177472     -17      -2      17       2
 169356  162248  177472     -18      -3      18       3
 169357  162253  177472       0      -4       0       4
 169358  162253  177472      -1      -5       1       5
 169359  162253  177472      -2      -6       2       6

 169485  162312  177610     -12       0      12       4
 169486  162312  177610     -13      -1      13       5
 169487  162312  177610     -14      -2      14       6
 169488  162312  177612     -15       2      15       3
 169489  162312  177612     -16       1      16       4
 169490  162312  177612     -17       0      17       5
 169491  162312  177612     -18      -1      18       6
 169492  162312  177612     -19      -2      19       7
 169493  162317  177614       0       1       0       3
 169494  162317  177614      -1       0       1       4
 169495  162320  177614       9      -1       2       5

 169543  162344  177666     -13      -1      13       9
 169544  162344  177666     -14      -2      14      10
 169545  162344  177674     -15       0      15       0
 169546  162344  177674     -16      -1      16       1
 169547  162344  177679     -17       0      17       0
 169548  162344  177679     -18      -1      18       1
 169549  162344  177681     -19       5      19       2
 169550  162346  177681       2       4      20       3
 169551  162346  177681       1       3      21       4
 169552  162346  177681       0       2      22       5

 316246  297736  335233      54       2      61      10
 316247  297736  335233      53       1      62      11
 316248  297736  335233      52       0      63      12
 316249  297736  335233      51      -1      64      13
 316250  297736  335253      50       6      65       2
 316251  297736  335253      49       5      66       3
 316252  297736  335253      48       4      67       4

 335246  316248  355232     -13      -5      13       5
 335247  316248  355232     -14      -6      14       6
 335248  316248  355232     -15      -7      15       7
 335249  316248  355235     -16       0      16       0
 335250  316248  355235     -17      -1      17       1
 335251  316248  355240     -18       0      18       0
 335252  316248  355240     -19      -1      19       1
 335253  316256  355240       0      -2       0       2
 335254  316256  355242      -1       1       1       3
 335255  316256  355242      -2       0       2       4

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

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

Start execution of Test 800  at:               08:29:38.515 950621
  End execution of Test 800  at:               08:29:38.984 950621
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0       1       2       3
   39999  399990  399991  399992  399993
   79998  799980  799981  799982  799983
  119997 1199970 1199971 1199972 1199973
  159996 1599960 1599961 1599962 1599963
  199995 1999950 1999951 1999952 1999953
  239994 2399940 2399941 2399942 2399943
  279993 2799930 2799931 2799932 2799933
  319992 3199920 3199921 3199922 3199923
  359991 3599910 3599911 3599912 3599913
  399990 3999900 3999901 3999902 3999903
Start   analysis of Test 8 at:                 08:29:49.406 950621
  End   analysis of Test 8 at:                 08:29:56.125 950621
Analysis of T8 data: 
      i  w[][0]  w[][1]  w[][2]  w[][3]

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

Test T9.  Collect performance data on cache hits.

Test T9.1.  P2: inv -> excl & P3: inv -> excl.
Start execution of Test 9.1  at:               08:30:10.828 950621
  End execution of Test 9.1  at:               08:30:11.625 950621

Start   analysis of Test 9 at:                 08:30:11.640 950621
  End   analysis of Test 9 at:                 08:30:11.890 950621
 0  424618   25     202   50      17   75       0
 1      28   26     166   51      17   76       3
 2       4   27      83   52       9   77       5
 3       0   28      99   53       5   78       3
 4     119   29      76   54       6   79       2
 5       8   30     139   55       2   80       1
 6       6   31      92   56      12   81       1
 7      14   32      90   57       3   82       0
 8     207   33      71   58       2   83       2
 9   47220   34      85   59       8   84       4
10    3436   35      53   60       7   85       1
11     391   36      42   61       4   86       0
12      53   37      52   62       5   87       0
13     274   38      44   63       5   88       0
14     155   39      17   64       1   89       1
15   12546   40       6   65       5   90      27
16     912   41      33   66       3   91      25
17    1236   42      16   67       1   92      55
18     714   43      31   68       3   93      19
19     412   44      22   69       3   94       0
20     397   45      22   70       1   95       6
21     693   46      26   71       6   96      28
22    1638   47      25   72       3   97      20
23    1065   48      21   73       5   98      25
24    1553   49      10   74       2   99       9

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


Test T9.2.  P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2  at:               08:30:12.531 950621
  End execution of Test 9.2  at:               08:30:12.890 950621

Start   analysis of Test 9 at:                 08:30:12.906 950621
  End   analysis of Test 9 at:                 08:30:13.140 950621
 0  416543   25      65   50       6   75       0
 1      25   26     103   51       4   76       2
 2       6   27     157   52       6   77       0
 3       3   28      74   53       3   78       1
 4   10227   29      51   54       4   79       0
 5    1117   30      50   55       3   80       0
 6     408   31      39   56       2   81       1
 7      27   32      35   57       5   82       0
 8   19586   33      35   58       3   83       0
 9    6962   34      27   59       3   84       1
10    2679   35      20   60       3   85       2
11     439   36      14   61       0   86       1
12     118   37      15   62       0   87       1
13   28011   38      12   63       3   88       0
14    1192   39      16   64       2   89       0
15     198   40      11   65       0   90       1
16     710   41      16   66       2   91       1
17    1074   42      13   67       0   92       1
18    2748   43      10   68       0   93       0
19    1929   44       7   69       1   94       0
20    1400   45       6   70       1   95       0
21     909   46       9   71       0   96       0
22    2507   47       8   72       0   97       0
23      80   48       1   73       2   98       0
24      79   49       9   74       1   99       1

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


Test T9.4.  P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4  at:               08:30:13.781 950621
  End execution of Test 9.4  at:               08:30:14.125 950621

Start   analysis of Test 9 at:                 08:30:14.140 950621
 undr    0 999999   25 -999974
  End   analysis of Test 9 at:                 08:30:14.375 950621
 0  415052   25      71   50       2   75       0
 1      37   26      86   51       8   76       1
 2       4   27      55   52       6   77       1
 3       8   28      49   53       3   78       0
 4   23109   29      40   54       0   79       0
 5    2556   30      37   55       4   80       0
 6     943   31      19   56       0   81       0
 7     442   32      18   57       1   82       1
 8      95   33      14   58       2   83       1
 9     105   34      16   59       2   84       0
10    4449   35      10   60       0   85       2
11     683   36       4   61       0   86       0
12     218   37       9   62       3   87       1
13   25110   38       9   63       0   88       0
14   16361   39       6   64       1   89       0
15    3265   40      10   65       0   90       1
16      19   41      22   66       0   91       0
17    1746   42      11   67       0   92       0
18    1816   43       9   68       0   93       0
19     424   44       4   69       1   94       1
20      40   45       3   70       0   95       0
21     976   46       5   71       0   96       0
22     724   47       7   72       0   97       3
23    1020   48       3   73       1   98       1
24      20   49       7   74       0   99       0

Total = 499997, t9min = -999974, t9max = 5728, under = 1, over = 0.


Test T9.3.  P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3  at:               08:30:15.000 950621
  End execution of Test 9.3  at:               08:30:15.343 950621

Start   analysis of Test 9 at:                 08:30:15.359 950621
  End   analysis of Test 9 at:                 08:30:15.593 950621
 0  416302   25      72   50      12   75       2
 1      17   26      99   51      10   76       0
 2       3   27      37   52       7   77       1
 3       1   28      58   53       6   78       2
 4     458   29      40   54       2   79       1
 5      21   30      41   55       3   80       0
 6      11   31     110   56       0   81       1
 7      16   32      82   57       5   82       0
 8     190   33      39   58       4   83       0
 9   52443   34      21   59       5   84       0
10    6866   35      21   60       0   85       1
11     606   36      16   61       0   86       1
12      23   37      14   62       4   87       0
13     138   38       6   63       1   88       0
14      24   39       8   64       3   89       1
15   11333   40       8   65       0   90       0
16     592   41      12   66       1   91       1
17     465   42      15   67       1   92       1
18     699   43      12   68       2   93       0
19     126   44       9   69       1   94       0
20      67   45       6   70       3   95       0
21      65   46       6   71       0   96       1
22    3216   47      11   72       1   97       0
23    1956   48       5   73       0   98       1
24    3429   49       7   74       1   99       0

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

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


Failing tests:  400 420 700 720.

Run this job another time? [y]  n