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

                                               09:05:43.203 950223
TD4 intergraph

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]:   20000

The following tests can be run:

  2    3    4    5    6    7    8    9   10   11   12   13   14   
       310            610        
  220  320  420  520  620  720  

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

     Note added July 1996.

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

     The numbers for the following tests have not changed.

     200 300 400 500 600 700 800 900

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

     The names of these tests have been changed

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

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

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

Specify which tests to run [all]:   all
Synchronize the start of test processes?  [n]:  n

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      atd4__00.out.
Number of processors:  2.
Length of the arrays:  20000.
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:06:22.390 950223
  End execution of Test 200  at:               09:06:22.421 950223
      i       U       V       X       Y
      0    3560       0       0       0
   1999    5564       0       0       0
   3998    7565       0       0       0
   5997    9566       0       0       0
   7996   11566       0       0       0
   9995   13567       0       0       0
  11994   15568       0       0       0
  13993   17569       0       0       0
  15992   19570       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Start   analysis of Test 2 at:                 09:06:22.703 950223
  End   analysis of Test 2 at:                 09:06:22.734 950223
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:06:22.984 950223
  End execution of Test 220  at:               09:06:23.015 950223
      i       U       V       X       Y
      0    3063       0       0       0
   1999    5069       0       0       0
   3998    7072       0       0       0
   5997    9075       0       0       0
   7996   11077       0       0       0
   9995   12955       0       0       0
  11994   14958       0       0       0
  13993   16961       0       0       0
  15992   18964       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Start   analysis of Test 2 at:                 09:06:23.296 950223
  End   analysis of Test 2 at:                 09:06:23.328 950223
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:06:23.703 950223
  End execution of Test 400  at:               09:06:23.750 950223
      i       U       V       X       Y
      0       0    3255       0       0
   1999       0    5256       0       0
   3998     740    6904       0       0
   5997    2739    8638       0       0
   7996    5089   10637       0       0
   9995    7353   12636       0       0
  11994    9352   14706       0       0
  13993   11351   16705       0       0
  15992   13279   18704       0       0
  17991   15278   19999       0       0
  19990   17277   19999       0       0

Start   analysis of Test 4/7 at:               09:06:24.265 950223
Error 4.2. v[   1138] =    4395 <    4396 and u[   4396] =    1137 <    1138
Error 4.2. v[   1143] =    4400 <    4401 and u[   4401] =    1142 <    1143
Error 4.2. v[   1145] =    4402 <    4403 and u[   4403] =    1144 <    1145
Error 4.2. v[   1147] =    4404 <    4405 and u[   4405] =    1146 <    1147
Error 4.2. v[   1149] =    4406 <    4407 and u[   4407] =    1148 <    1149
Error 4.2. v[   1151] =    4408 <    4409 and u[   4409] =    1150 <    1151
  End   analysis of Test 4/7 at:               09:06:24.406 950223
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
   1135       0    4392    2123       0 2097152       2
   1136       0    4393    2122       0 2097152       2
   1137       0    4395    2121       0 2097152       1
   1138       0    4395    2120      -1 2097152       2
   1139       0    4397    2119       1 2097152       2
   1140       0    4397    2118       0 2097152       3
   1141       0    4398    2117       0 2097152       2
   1142       0    4400    2116       0 2097152       1
   1143       0    4400    2115      -1 2097152       2
   1144       0    4402    2114       0 2097152       2
   1145       0    4402    2113      -1 2097152       3
   1146       0    4404    2112       0 2097152       2
   1147       0    4404    2111      -1 2097152       3
   1148       0    4406    2110       0 2097152       2
   1149       0    4406    2109      -1 2097152       3
   1150       0    4408    2108       0 2097152       2
   1151       0    4408    2107      -1 2097152       3
   1152       0    4410    2106       0 2097152       2
   1153       0    4410    2105      -1 2097152       3
   1154       0    4412    2104       0 2097152       2

   4393    1135    7298       0       0       2       2
   4394    1136    7299       1       0       2       2
   4395    1137    7300       0       0       2       2
   4396    1137    7301      -1       0       3       2
   4397    1139    7302       0       0       2       2
   4398    1140    7303       0       0       1       2
   4399    1141    7304       1       0       2       2
   4400    1142    7305       0       0       2       2
   4401    1142    7306      -1       0       3       2
   4402    1144    7307       0       0       2       2
   4403    1144    7308      -1       0       3       2
   4404    1146    7309       0       0       2       2
   4405    1146    7310      -1       0       3       2
   4406    1148    7311       0       0       2       2
   4407    1148    7312      -1       0       3       2
   4408    1150    7313       0       0       2       2
   4409    1150    7314      -1       0       3       2
   4410    1152    7315       0       0       2       2
   4411    1152    7316      -1       0       3       2
   4412    1154    7317       0       0       2       2

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

  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:06:25.609 950223
  End execution of Test 420  at:               09:06:25.656 950223
      i       U       V       X       Y
      0       0    3225       0       0
   1999       0    5245       0       0
   3998     751    7244       0       0
   5997    2750    9250       0       0
   7996    4745   11253       0       0
   9995    6737   13252       0       0
  11994    8737   15188       0       0
  13993   10736   17187       0       0
  15992   12798   19186       0       0
  17991   14796   19999       0       0
  19990   16795   19999       0       0

Start   analysis of Test 4/7 at:               09:06:25.953 950223
  End   analysis of Test 4/7 at:               09:06:25.984 950223
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
================================================================================
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:06:26.546 950223
  End execution of Test 700  at:               09:06:26.593 950223
      i       U       V       X       Y
      0       0    3044   19999   19999
   1999       0    5045       0       0
   3998     953    7045       0       0
   5997    2950    9044       0       0
   7996    4948   11043       0       0
   9995    6947   13043       0       0
  11994    8947   15042       0       0
  13993   10945   17043       0       0
  15992   12944   19041       0       0
  17991   14941   19999       0       0
  19990   16942   19999       0       0

Start   analysis of Test 4/7 at:               09:06:26.875 950223
  End   analysis of Test 4/7 at:               09:06:26.906 950223
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:06:27.250 950223
  End execution of Test 720  at:               09:06:27.296 950223
      i       U       V       X       Y
      0       0    3464   19999       0
   1999       0    5489       0       0
   3998     512    7488       0       0
   5997    2507    9492       0       0
   7996    4504   11493       0       0
   9995    6498   13492       0       0
  11994    8498   15493       0       0
  13993   10495   17440       0       0
  15992   12493   19439       0       0
  17991   14544   19999       0       0
  19990   16542   19999       0       0

Start   analysis of Test 4/7 at:               09:06:27.593 950223
  End   analysis of Test 4/7 at:               09:06:27.625 950223
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:06:27.906 950223
  End execution of Test 800  at:               09:06:27.953 950223
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0   57180       2       3
    1999   19990   19991   19992   19993
    3998   39980   39981   39982   39983
    5997   59970   59971   59972   59973
    7996   79960   79961   79962   79963
    9995   99950   99951   99952   99953
   11994  119940  119941  119942  119943
   13993  139930  139931  139932  139933
   15992  159920  159921  159922  159923
   17991  179910  179911  179912  179913
   19990  199900  199901  199902  199903
Start   analysis of Test 8 at:                 09:06:28.281 950223
  End   analysis of Test 8 at:                 09:06:28.640 950223
Analysis of T8 data: 
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [n] 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:06:33.437 950223
  End execution of Test 1000 at:               09:06:33.468 950223
================================================================================


Failing tests:  400.

Run this job another time? [y]  n