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

                                               09:14:00.571 950411

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

The following tests can be run:

  2    3    4    5    6    7    8    9   10   11   12   13   14   

       310            610        
  220  320  420  520  620  720   
Specify which tests to run [all]:   all
Synchronize the start of test processes?  [n]:  n

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

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

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


Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[21]   > U[2i+1] + 1
Start execution of Test 200  at:               09:14:34.118 950411
  End execution of Test 200  at:               09:14:34.368 950411
      i       U       V       X       Y
      0    2596       0       0       0
  24999  107943       0       0       0
  49998  190297       0       0       0
  74997  244457       0       0       0
  99996  249999       0       0       0
 124995  249999       0       0       0
 149994  249999       0       0       0
 174993  249999       0       0       0
 199992  249999       0       0       0
 224991  249999       0       0       0
 249990  249999       0       0       0

Start   analysis of Test 2 at:                 09:14:34.649 950411
  End   analysis of Test 2 at:                 09:14:34.758 950411
Analysis of T2 data:
      i       U       V       X       Y

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

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

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[21]   > U[2i+1] + 1
Start execution of Test 220  at:               09:14:35.790 950411
  End execution of Test 220  at:               09:14:35.946 950411
      i       U       V       X       Y
      0    2477       0       0       0
  24999   20350       0       0       0
  49998   33190       0       0       0
  74997   47356       0       0       0
  99996   66664       0       0       0
 124995   86929       0       0       0
 149994  106877       0       0       0
 174993  128352       0       0       0
 199992  150462       0       0       0
 224991  171737       0       0       0
 249990  196112       0       0       0

Start   analysis of Test 2 at:                 09:14:36.321 950411
  End   analysis of Test 2 at:                 09:14:36.415 950411
Analysis of T2 data:
      i       U       V       X       Y

================================================================================
The number of processors (2) is too few to run Test T300.
================================================================================
The number of processors (2) is too few to run Test T310.
================================================================================
The number of processors (2) is too few to run Test T320.
================================================================================

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 400  at:               09:14:37.196 950411
  End execution of Test 400  at:               09:14:37.383 950411

      i       U       V       X       Y
      0       0    2856       0       0
  24999   24178   25280       0       0
  49998   52828   47166       0       0
  74997   81683   68680       0       0
  99996  111822   92740       0       0
 124995  139282  112545       0       0
 149994  166656  134500       0       0
 174993  195254  158072       0       0
 199992  222808  179313       0       0
 224991  249999  202043       0       0
 249990  249999  224624       0       0

Start   analysis of Test 4/7 at:               09:14:37.711 950411
Error 4.2. v[    860] =    3428 <    3429 and u[   3429] =     859 <     860
Error 4.1. u[   3429] =     859 <     860 and v[    860] =    3428 <    3429
  End   analysis of Test 4/7 at:               09:14:37.993 950411
Analysis of T4 data:

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

      i       U       V      d1      d2      d3      d4
    857       0    3427    2002       2 2097152     289
    858       0    3427    2001       1 2097152     290
    859       0    3428    2000       0 2097152     291
    860       0    3428    1999      -1 2097152     292
    861       0    3429    1998       0 2097152       2
    862       0    3430    1997       0 2097152       3
    863       0    3431    1996       0 2097152       2

   3426     568    5602       1     129       2     131
   3427     568    5602       0     128       3     132
   3428     859    5602       0     127       1     133
   3429     859    5602      -1     126       2     134
   3430     861    5602       0     125       2     135
   3431     862    5602       0     124       2     136
   3432     863    5602       0     123       2     137

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

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 420  at:               09:14:38.930 950411
  End execution of Test 420  at:               09:14:39.118 950411
      i       U       V       X       Y
      0       0    4000       0       0
  24999   20909   29130       0       0
  49998   52906   47426       0       0
  74997   81504   70115       0       0
  99996  110290   92281       0       0
 124995  138349  113151       0       0
 149994  166839  134468       0       0
 174993  194011  157225       0       0
 199992  222718  179298       0       0
 224991  249999  202025       0       0
 249990  249999  224125       0       0

Start   analysis of Test 4/7 at:               09:14:39.555 950411
Error 4.1. u[  45071] =   47226 <   47227 and v[  47227] =   45070 <   45071
Error 4.1. u[  45073] =   47228 <   47229 and v[  47229] =   45072 <   45073
Error 4.1. u[  45075] =   47230 <   47231 and v[  47231] =   45074 <   45075
Error 4.1. u[  45077] =   47232 <   47233 and v[  47233] =   45076 <   45077
Error 4.1. u[  45079] =   47234 <   47235 and v[  47235] =   45078 <   45079
Error 4.1. u[  45081] =   47236 <   47237 and v[  47237] =   45080 <   45081
  End   analysis of Test 4/7 at:               09:14:39.727 950411
Analysis of T4 data:

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

      i       U       V      d1      d2      d3      d4
  45068   47026   43303       0       0       2       2
  45069   47027   43304       0       0       2       2
  45070   47226   43305       0       0       1       2
  45071   47226   43306      -1       0       2       2
  45072   47228   43307       0       0       2       2
  45073   47228   43308      -1       0       3       2
  45074   47230   43309       0       0       2       2
  45075   47230   43310      -1       0       3       2
  45076   47232   43311       0       0       2       2
  45077   47232   43312      -1       0       3       2
  45078   47234   43313       0       0       2       2
  45079   47234   43314      -1       0       3       2
  45080   47236   43315       0       0       2       2
  45081   47236   43316      -1       0       3       2
  45082   47238   43317       0       0       2       2
  45083   47238   43318      -1       0       3       2
  45084   47240   43319       0       0       2       2

  47224   49598   45069       0       2       2     198
  47225   49599   45069       0       1       2     199
  47226   49600   45069       0       0       2     200
  47227   49601   45070       0      -1       2     200
  47228   49602   45072       0       0       2       2
  47229   49603   45072       0      -1       2       3
  47230   49604   45074       0       0       2       2
  47231   49605   45074       0      -1       2       3
  47232   49606   45076       0       0       2       2
  47233   49607   45076       0      -1       2       3
  47234   49608   45078       0       0       2       2
  47235   49609   45078       0      -1       2       3
  47236   49610   45080       0       0       2       2
  47237   49611   45080       0      -1       2       3
  47238   49612   45082       0       0       2       2
  47239   49613   45082       0      -1       2       3
  47240   49614   45084       0       0       2       2

================================================================================
The number of processors (2) is too few to run Test T500.
================================================================================
The number of processors (2) is too few to run Test T520.
================================================================================
The number of processors (2) is too few to run Test T600.
================================================================================
The number of processors (2) is too few to run Test T610.
================================================================================
The number of processors (2) is too few to run Test T620.
================================================================================

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 700  at:               09:14:41.430 950411
  End execution of Test 700  at:               09:14:41.665 950411
      i       U       V       X       Y
      0       0    4603  249999  249999
  24999   17759   33143       0       0
  49998   39754   61830       0       0
  74997   62139   91829       0       0
  99996   80906  121845       0       0
 124995  102775  150802       0       0
 149994  124186  177825       0       0
 174993  147734  206605       0       0
 199992  168521  231048       0       0
 224991  195031  249999       0       0
 249990  217000  249999       0       0

Start   analysis of Test 4/7 at:               09:14:41.915 950411
  End   analysis of Test 4/7 at:               09:14:42.196 950411
Analysis of T7 data:

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

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 720  at:               09:14:42.836 950411
  End execution of Test 720  at:               09:14:43.086 950411
      i       U       V       X       Y
      0       0    5067  249999       0
  24999   18111   34136       0       0
  49998   38593   63948       0       0
  74997   58951   93302       0       0
  99996   80486  123198       0       0
 124995  101464  153415       0       0
 149994  122347  183494       0       0
 174993  143494  213300       0       0
 199992  163922  241896       0       0
 224991  184489  249999       0       0
 249990  207768  249999       0       0

Start   analysis of Test 4/7 at:               09:14:43.586 950411
  End   analysis of Test 4/7 at:               09:14:43.915 950411
Analysis of T7 data:

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

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

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

Start execution of Test 800  at:               09:14:44.477 950411
  End execution of Test 800  at:               09:14:45.524 950411
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0   27200       2       3
   24999  249990  249991  249992  249993
   49998  499980  499981  499982  499983
   74997  749970  749971  749972  749973
   99996  999960  999961  999962  999963
  124995 1249950 1249951 1249952 1249953
  149994 1499940 1499941 1499942 1499943
  174993 1749930 1749931 1749932 1749933
  199992 1999920 1999921 1999922 1999923
  224991 2249910 2249911 2249912 2249913
  249990 2499900 2499901 2499902 2499903
Start   analysis of Test 8 at:                 09:14:48.461 950411
  End   analysis of Test 8 at:                 09:14:54.336 950411
Analysis of T8 data: 
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [n] 
================================================================================
The number of processors (2) is too few to run Test T900.
================================================================================

  Test T1000.  Seek a critsec failure.

Seek 10.  Operand A != 0. 
Start execution of Test 1000 at:               09:15:19.477 950411
  End execution of Test 1000 at:               09:15:19.821 950411
================================================================================


Failing tests:  400 420.

Run this job another time? [y]  n