ARCHTEST.  Version 5.0.  960122.  By W. W. Collier, mpdiag@acm.org

                                               14:35:36.965 960126

Default answers to the following questions are shown in brackets.

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

The following tests can be run:

  200  300  400  500  600  700  800  900 1000 1100 1200
       310            610            910 1010
  220  320  420  520  620  720           1020 1120 1220
  230       430            730           1030 1130 1230
Specify which tests to run [all]:  200

Accept run-time defaults? (y,n,?) [y]


Parameters for this run:
Type of run:           3. Generate relaxed test data.
Output file name:      a1260000.out.
Max. no. of threads:   4.
Length of the arrays:  60.
Fuzzfreq:              6.
Test(s) to run:        200

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

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

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

  Seek 2.0.  U[i] > U[i+1].  d = U[i+1] - U[i].
  Seek 2.0.  V[i] > V[i+1].  d = V[i+1] - V[i].
  Seek 2.1.  V[i] > U[i+1].  d = U[i+1] - V[i]
  Seek 2.2.  U[i] > V[i]+1.  d = V[i]+1 - U[i]

Start generating data for Test 2 at:           14:35:51.626 960126
  End generating data for Test 2 at:           14:35:51.626 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       1       0       0
      1       3       3       0       0
      2       3       3       0       0
      3       2       4       0       0
      4       5       5       0       0
      5       5       6       0       0
      6       7       6       0       0
      7       6       6       0       0
      8       7       6       0       0
      9       7       7       0       0
     10       7       8       0       0
     11      12      12       0       0
     12      13      13       0       0
     13      17      17       0       0
     14      17      18       0       0
     15      19      17       0       0
     16      19      20       0       0
     17      19      20       0       0
     18      20      22       0       0
     19      22      22       0       0
     20      23      24       0       0
     21      24      24       0       0
     22      24      24       0       0
     23      24      25       0       0
     24      26      27       0       0
     25      28      27       0       0
     26      27      27       0       0
     27      28      31       0       0
     28      31      31       0       0
     29      32      31       0       0
     30      32      32       0       0
     31      33      33       0       0
     32      34      35       0       0
     33      36      35       0       0
     34      36      36       0       0
     35      39      39       0       0
     36      42      42       0       0
     37      42      43       0       0
     38      45      45       0       0
     39      44      46       0       0
     40      46      45       0       0
     41      47      48       0       0
     42      47      48       0       0
     43      48      48       0       0
     44      48      48       0       0
     45      51      49       0       0
     46      50      50       0       0
     47      51      51       0       0
     48      51      51       0       0
     49      52      51       0       0
     50      52      52       0       0
     51      53      52       0       0
     52      54      53       0       0
     53      54      53       0       0
     54      55      54       0       0
     55      55      55       0       0
     56      57      56       0       0
     57      57      56       0       0
     58      57      58       0       0
     59      59      60       0       0

Start   analysis of Test 2 at:                 14:35:51.636 960126
Event 200.0: u[      2] =       3 > u[      3] =       2.  d =  -1.
Event 200.0: u[      6] =       7 > u[      7] =       6.  d =  -1.
Event 200.0: u[     25] =      28 > u[     26] =      27.  d =  -1.
Event 200.0: u[     38] =      45 > u[     39] =      44.  d =  -1.
Event 200.0: u[     45] =      51 > u[     46] =      50.  d =  -1.
Event 200.0: v[     14] =      18 > v[     15] =      17.  d =  -1.
Event 200.0: v[     39] =      46 > v[     40] =      45.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      0       0       1       0       0
      1       3       3       0       0
      2       3       3       0       0
      3       2       4       0       0
      4       5       5       0       0
      5       5       6       0       0
      6       7       6       0       0
      7       6       6       0       0
      8       7       6       0       0
      9       7       7       0       0
     10       7       8       0       0
     11      12      12       0       0
     12      13      13       0       0
     13      17      17       0       0
     14      17      18       0       0
     15      19      17       0       0
     16      19      20       0       0
     17      19      20       0       0
     18      20      22       0       0

     22      24      24       0       0
     23      24      25       0       0
     24      26      27       0       0
     25      28      27       0       0
     26      27      27       0       0
     27      28      31       0       0
     28      31      31       0       0
     29      32      31       0       0

     35      39      39       0       0
     36      42      42       0       0
     37      42      43       0       0
     38      45      45       0       0
     39      44      46       0       0
     40      46      45       0       0
     41      47      48       0       0
     42      47      48       0       0
     43      48      48       0       0
     44      48      48       0       0
     45      51      49       0       0
     46      50      50       0       0
     47      51      51       0       0
     48      51      51       0       0
     49      52      51       0       0

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

            ------ Relaxed ------    |         ------ Strong ------
    38 |                             o
    36 |                             oo
    34 |                             oo
    32 |                             oo
    30 |                             oo
    28 |                             oo
    26 |                             oo
    24 |                             oo
    22 |                             oo
    20 |                             oo
    18 |                             oo
    16 |                             oo
    14 |                             oo
    12 |                             ooo
    10 |                             oooo
     8 |                             oooo
     6 |                            ooooo
     4 |                            ooooo
     2 |                            oooooo
     0 |_________._________.________o.ooooo____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     200.         Total   =     114.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       7.
  Behav = Relaxed.         Maximum =       5.        0 thru  39 =     107.
  histend                  K       =      60.       40 thru Max =       0.

 d =   1.
  Event 200.1: v[      2] =       3 > u[      3]   =       3.
  Event 200.2: u[     15] =      19 > v[     15]+1 =      18.
  Event 200.1: v[     16] =      20 > u[     17]   =      19.
  Event 200.1: v[     38] =      45 > u[     39]   =      45.
  Event 200.1: v[     41] =      48 > u[     42]   =      47.
  Event 200.2: u[     45] =      51 > v[     45]+1 =      50.

  Total number of 200.1 events:    4.
  Total number of 200.2 events:    2.
  End   analysis of Test 2 at:                 14:35:51.756 960126

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      0       0       1       0       0
      1       3       3       0       0
      2       3       3       0       0
      3       2       4       0       0
      4       5       5       0       0
      5       5       6       0       0

     12      13      13       0       0
     13      17      17       0       0
     14      17      18       0       0
     15      19      17       0       0
     16      19      20       0       0
     17      19      20       0       0
     18      20      22       0       0
     19      22      22       0       0

     35      39      39       0       0
     36      42      42       0       0
     37      42      43       0       0
     38      45      45       0       0
     39      44      46       0       0
     40      46      45       0       0
     41      47      48       0       0
     42      47      48       0       0
     43      48      48       0       0
     44      48      48       0       0
     45      51      49       0       0
     46      50      50       0       0
     47      51      51       0       0
     48      51      51       0       0

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

            ------ Relaxed ------    |         ------ Strong ------
    57 |                             |
    54 |                             |
    51 |                             |o
    48 |                             |o
    45 |                             |o
    42 |                             |o
    39 |                             |o
    36 |                             |o
    33 |                             |o
    30 |                             |o
    27 |                             oo
    24 |                             oo
    21 |                             oo
    18 |                             ooo
    15 |                             ooo
    12 |                             ooo
     9 |                             ooo
     6 |                             ooo
     3 |                            ooooo
     0 |_________._________.________o.oooo_____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     200.         Total   =     118.      Min thru -81 =       0.
  Type  =   Order.         Minimum =      -1.      -80 thru  -1 =       6.
  Behav = Relaxed.         Maximum =       4.        0 thru  39 =     112.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    0
    1
    3
    3
    3
    3
    2
    4
    5
    5
    5
    6
    7
    6
    6
    6
    7
    6
    7
    7
    7
    8
   12
   12
   13
   13
   17
   17
   17
   18
   19
   17
   19
   20
   19
   20
   20
   22
   22
   22
   23
   24
   24
   24
   24
   24
   24
   25
   26
   27
   28
   27
   27
   27
   28
   31
   31
   31
   32
   31
   32
   32
   33
   33
   34
   35
   36
   35
   36
   36
   39
   39
   42
   42
   42
   43
   45
   45
   44
   46
   46
   45
   47
   48
   47
   48
   48
   48
   48
   48
   51
   49
   50
   50
   51
   51
   51
   51
   52
   51
   52
   52
   53
   52
   54
   53
   54
   53
   55
   54
   55
   55
   57
   56
   57
   56
   57
   58
   59
   60
================================================================================

  Test T300.  Seek a violation of A(CMP,RR,WW).

        T0       T1         T2         T3         T4        T5
      A = 0;  U[0] = A;  V[0] = B;  X[0] = A;  Y[0] = B;  B = 0;
      B = 1;  U[1] = A;  V[1] = B;  X[1] = A;  Y[1] = B;  A = 1;
      A = 2;  U[2] = A;  V[2] = B;  X[2] = A;  Y[2] = B;  B = 2;
      B = 3;  U[3] = A;  V[3] = B;  X[3] = A;  Y[3] = B;  A = 3;
      A = 4;  U[4] = A;  V[4] = B;  X[4] = A;  Y[4] = B;  B = 4;
      B = 5;  U[5] = A;  V[5] = B;  X[5] = A;  Y[5] = B;  A = 5;
      A = 6;  U[6] = A;  V[6] = B;  X[6] = A;  Y[6] = B;  B = 6;
      B = 7;  U[7] = A;  V[7] = B;  X[7] = A;  Y[7] = B;  A = 7; etc.

   Seek 3.0.  U[i] > U[j] and both have the same parity.
   Seek 3.0.  V[i] > V[j] and both have the same parity.
   Seek 3.0.  X[i] > X[j] and both have the same parity.
   Seek 3.0.  Y[i] > Y[j] and both have the same parity.

      Let i+ > i and j+ > j.

   Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i].  d = U[i] - V[j+].
                   is      is     is      is
                  odd     even   odd     even
   Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]   d = U[i] - V[j+].
                   is      is     is      is
                  even    odd    even    odd


Start generating data for Test 3 at:           14:35:51.896 960126
  End generating data for Test 3 at:           14:35:51.896 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       2       2       3       7
      1       1       1       3       7
      2       4       0      10       7
      3       4       3      12       9
      4       6       2      12       9
      5       3       7      11       9
      6      14       7      11       4
      7      12       7      16      11
      8      12       9      18      11
      9      12       9      20      13
     10      14       9      15      13
     11      12       9      15      13
     12      14      11      17      13
     13       7      11      19       6
     14      11      11      19      15
     15      11      11      26       8
     16      18      15      26      17
     17      20      13      26      19
     18      20      13      21      25
     19      13      15      21      23
     20      13      15      23      25
     21      15      15      23      27
     22      26      10      27      27
     23      28      17      27      25
     24      21      19      34      25
     25      21      19      34      22
     26      23      14      29      33
     27      25      16      31      26
     28      32      18      36      33
     29      34      23      38      35
     30      29      23      38      35
     31      36      25      35      37
     32      36      27      40      37
     33      33      22      40      34
     34      33      24      42      32
     35      38      31      42      34
     36      39      31      42      39
     37      42      26      42      39
     38      44      26      42      38
     39      42      33      42      40
     40      42      33      42      42
     41      44      33      42      44
     42      44      28      43      48
     43      45      33      43      48
     44      45      35      45      48
     45      48      37      45      50
     46      50      37      44      52
     47      50      36      47      51
     48      57      36      47      51
     49      57      38      47      51
     50      54      38      48      51
     51      56      40      48      56
     52      61      40      50      55
     53      59      40      53      66
     54      61      42      52      66
     55      65      40      57      66
     56      65      42      57      66
     57      65      45      57      66
     58      65      45      54      72
     59      64      44      61      72

Start   analysis of Test 3 at:                 14:35:51.906 960126
Event 300.0: u[      6] =      14 > u[      7] =      12.  d =  -2.
Event 300.0: u[     10] =      14 > u[     11] =      12.  d =  -2.
Event 300.0: u[     38] =      44 > u[     39] =      42.  d =  -2.
Event 300.0: u[     52] =      61 > u[     53] =      59.  d =  -2.
Event 300.0: v[      0] =       2 > v[      2] =       0.  d =  -2.
Event 300.0: v[     16] =      15 > v[     17] =      13.  d =  -2.
Event 300.0: v[     54] =      42 > v[     55] =      40.  d =  -2.
Event 300.0: y[     18] =      25 > y[     19] =      23.  d =  -2.
Event 300.0: y[     22] =      27 > y[     23] =      25.  d =  -2.
Event 300.0: y[     33] =      34 > y[     34] =      32.  d =  -2.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      0       2       2       3       7
      1       1       1       3       7
      2       4       0      10       7
      3       4       3      12       9
      4       6       2      12       9
      5       3       7      11       9
      6      14       7      11       4
      7      12       7      16      11
      8      12       9      18      11
      9      12       9      20      13
     10      14       9      15      13
     11      12       9      15      13
     12      14      11      17      13
     13       7      11      19       6
     14      11      11      19      15
     15      11      11      26       8
     16      18      15      26      17
     17      20      13      26      19
     18      20      13      21      25
     19      13      15      21      23
     20      13      15      23      25
     21      15      15      23      27
     22      26      10      27      27
     23      28      17      27      25
     24      21      19      34      25
     25      21      19      34      22
     26      23      14      29      33

     30      29      23      38      35
     31      36      25      35      37
     32      36      27      40      37
     33      33      22      40      34
     34      33      24      42      32
     35      38      31      42      34
     36      39      31      42      39
     37      42      26      42      39
     38      44      26      42      38
     39      42      33      42      40
     40      42      33      42      42
     41      44      33      42      44
     42      44      28      43      48

     49      57      38      47      51
     50      54      38      48      51
     51      56      40      48      56
     52      61      40      50      55
     53      59      40      53      66
     54      61      42      52      66
     55      65      40      57      66
     56      65      42      57      66
     57      65      45      57      66
     58      65      45      54      72

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

            ------ Relaxed ------    |         ------ Strong ------
    95 |                             |
    90 |                             o
    85 |                             o
    80 |                             o
    75 |                             o o
    70 |                             o o
    65 |                             o o
    60 |                             o o
    55 |                             o o
    50 |                             o o
    45 |                             o o
    40 |                             o o
    35 |                             o o
    30 |                             o o
    25 |                             o o o
    20 |                             o o o
    15 |                             o o o
    10 |                             o o o
     5 |                           o o o o o o
     0 |_________._________._______o_._o_o_o_o_o_o_o_____._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     300.         Total   =     232.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -2.      -80 thru  -1 =      10.
  Behav = Relaxed.         Maximum =      14.        0 thru  39 =     222.
  histend                  K       =      60.       40 thru Max =       0.

  End   analysis of Test 3 at:                 14:35:52.036 960126

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

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

  Test  =     300.         Total   =      44.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =       1.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      13.        0 thru  39 =      44.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    2    2    3    7
    1    1    3    7
    4    0   10    7
    4    3   12    9
    6    2   12    9
    3    7   11    9
   14    7   11    4
   12    7   16   11
   12    9   18   11
   12    9   20   13
   14    9   15   13
   12    9   15   13
   14   11   17   13
    7   11   19    6
   11   11   19   15
   11   11   26    8
   18   15   26   17
   20   13   26   19
   20   13   21   25
   13   15   21   23
   13   15   23   25
   15   15   23   27
   26   10   27   27
   28   17   27   25
   21   19   34   25
   21   19   34   22
   23   14   29   33
   25   16   31   26
   32   18   36   33
   34   23   38   35
   29   23   38   35
   36   25   35   37
   36   27   40   37
   33   22   40   34
   33   24   42   32
   38   31   42   34
   39   31   42   39
   42   26   42   39
   44   26   42   38
   42   33   42   40
   42   33   42   42
   44   33   42   44
   44   28   43   48
   45   33   43   48
   45   35   45   48
   48   37   45   50
   50   37   44   52
   50   36   47   51
   57   36   47   51
   57   38   47   51
   54   38   48   51
   56   40   48   56
   61   40   50   55
   59   40   53   66
   61   42   52   66
   65   40   57   66
   65   42   57   66
   65   45   57   66
   65   45   54   72
   64   44   61   72
================================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].
  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.

  d1<0, d2<0 => the machine performed a read operation before
                a logically preceding write operation.
  d3<0, d4<0 => the machine performed a write operation before
                a logically preceding read operation.

Start generating data for Test 4/7 at:         14:35:52.197 960126
  End generating data for Test 4/7 at:         14:35:52.207 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       0       0       0
      1       1       1       0       0
      2       2       4       0       0
      3       2       5       0       0
      4       3       4       0       0
      5       3       6       0       0
      6       6       6       0       0
      7       6       8       0       0
      8       7       8       0       0
      9       8      13       0       0
     10       9      12       0       0
     11       9      13       0       0
     12      10      13       0       0
     13      10      16       0       0
     14      11      19       0       0
     15      13      19       0       0
     16      13      21       0       0
     17      13      21       0       0
     18      13      21       0       0
     19      15      22       0       0
     20      16      22       0       0
     21      17      22       0       0
     22      19      24       0       0
     23      21      25       0       0
     24      21      26       0       0
     25      24      26       0       0
     26      24      30       0       0
     27      25      31       0       0
     28      24      30       0       0
     29      26      31       0       0
     30      27      31       0       0
     31      29      32       0       0
     32      33      32       0       0
     33      33      33       0       0
     34      34      35       0       0
     35      36      36       0       0
     36      36      36       0       0
     37      38      37       0       0
     38      40      37       0       0
     39      41      37       0       0
     40      43      38       0       0
     41      44      40       0       0
     42      45      39       0       0
     43      47      40       0       0
     44      50      40       0       0
     45      51      42       0       0
     46      52      42       0       0
     47      52      43       0       0
     48      52      43       0       0
     49      52      44       0       0
     50      53      44       0       0
     51      55      45       0       0
     52      56      46       0       0
     53      56      51       0       0
     54      58      51       0       0
     55      57      51       0       0
     56      58      54       0       0
     57      59      55       0       0
     58      59      56       0       0
     59      59      56       0       0


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

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

Start   analysis of Test 4 at:                 14:35:52.217 960126
Event 400.0: u[     27] =      25 > u[     28] =      24.  d =  -1.
Event 400.0: u[     54] =      58 > u[     55] =      57.  d =  -1.
Event 400.0: v[      3] =       5 > v[      4] =       4.  d =  -1.
Event 400.0: v[      9] =      13 > v[     10] =      12.  d =  -1.
Event 400.0: v[     27] =      31 > v[     28] =      30.  d =  -1.
Event 400.0: v[     41] =      40 > v[     42] =      39.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      0       0       0       0       0
      1       1       1       0       0
      2       2       4       0       0
      3       2       5       0       0
      4       3       4       0       0
      5       3       6       0       0
      6       6       6       0       0
      7       6       8       0       0
      8       7       8       0       0
      9       8      13       0       0
     10       9      12       0       0
     11       9      13       0       0
     12      10      13       0       0
     13      10      16       0       0

     24      21      26       0       0
     25      24      26       0       0
     26      24      30       0       0
     27      25      31       0       0
     28      24      30       0       0
     29      26      31       0       0
     30      27      31       0       0
     31      29      32       0       0

     38      40      37       0       0
     39      41      37       0       0
     40      43      38       0       0
     41      44      40       0       0
     42      45      39       0       0
     43      47      40       0       0
     44      50      40       0       0
     45      51      42       0       0

     51      55      45       0       0
     52      56      46       0       0
     53      56      51       0       0
     54      58      51       0       0
     55      57      51       0       0
     56      58      54       0       0
     57      59      55       0       0
     58      59      56       0       0

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

            ------ Relaxed ------    |         ------ Strong ------
    57 |                             |
    54 |                             |
    51 |                             |
    48 |                             |
    45 |                             |
    42 |                             |
    39 |                             |o
    36 |                             |o
    33 |                             oo
    30 |                             oo
    27 |                             oo
    24 |                             oo
    21 |                             oo
    18 |                             ooo
    15 |                             ooo
    12 |                             ooo
     9 |                             ooo
     6 |                             oooo
     3 |                            ooooo
     0 |_________._________.________o.ooooo____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     400.         Total   =     114.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       6.
  Behav = Relaxed.         Maximum =       5.        0 thru  39 =     108.
  histend                  K       =      60.       40 thru Max =       0.

 d =  -2.
Event 4.1. u[     28] =      24 <      25 and v[     25] =      26 <      28
 d =  -1.
Event 4.2. v[      4] =       4 <       5 and u[      5] =       3 <       4
Event 4.1. u[      5] =       3 <       4 and v[      4] =       4 <       5
Event 4.4. v[      9] =      13 >      12 and u[     12] =      10 >       9
Event 4.2. v[     12] =      13 <      14 and u[     14] =      11 <      12
Event 4.3. u[     12] =      10 >       9 and v[      9] =      13 >      12
Event 4.1. u[     14] =      11 <      12 and v[     12] =      13 <      14
Event 4.3. u[     35] =      36 >      35 and v[     35] =      36 >      35
Event 4.4. v[     35] =      36 >      35 and u[     35] =      36 >      35
Event 4.3. u[     54] =      58 >      57 and v[     57] =      55 >      54
Event 4.4. v[     57] =      55 >      54 and u[     54] =      58 >      57
  End   analysis of Test 4 at:                 14:35:52.347 960126

  Portions of the arrays containing events:
      i       U       V      d1      d2      d3      d4
      1       1       1       3       1       1       1
      2       2       4       3       1       1       0
      3       2       5       2       3       2       0
      4       3       4       0      -1       0       2
      5       3       6      -1       1       1       2
      6       6       6       2       0       0       3
      7       6       8       1       1       1       1
      8       7       8       0       0       2       2
      9       8      13       4       2       1      -1
     10       9      12       2       0       2       1
     11       9      13       1       0       3       1
     12      10      13       1      -1      -1       2
     13      10      16       0       0       0       0
     14      11      19      -1       2       2       1
     15      13      19       4       1       2       2
     16      13      21       3       3       3       0
     17      13      21       2       2       4       1

     22      19      24       0       2       1       1
     23      21      25       1       1       1       2
     24      21      26       0       1       2       0
     25      24      26       1       0       0       1
     26      24      30       0       3       1       0
     27      25      31       3       6       1       0
     28      24      30      -2       1       3       2
     29      26      31       2       4       3       2
     30      27      31       0       3       0       3
     31      29      32       0       2       1       2
     32      33      32       3       1       0       3
     33      33      33       2       1       1       0
     34      34      35       2       2       1       0
     35      36      36       2       3      -1      -1
     36      36      36       1       2       0       0
     37      38      37       0       3       0       1
     38      40      37       2       2       1       2

     51      55      45       3       1       0       1
     52      56      46       3       0       1       1
     53      56      51       2       3       2       0
     54      58      51       2       2      -1       1
     55      57      51       1       1       1       2
     56      58      54       0       1       1       0
     57      59      55 2097152       1       1      -1
     58      59      56 2097152       1       2       1
     59      59      56 2097152       0       3       2

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

Totals / Min / Under -25:
            3         2         3         3
            2         1         1         1
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
    76 |                             |
    72 |                             |o
    68 |                             |o
    64 |                             |o
    60 |                             |o
    56 |                             |o
    52 |                             |oo
    48 |                             ooo
    44 |                             ooo
    40 |                             ooo
    36 |                             ooo
    32 |                             ooo
    28 |                             oooo
    24 |                             oooo
    20 |                             oooo
    16 |                             oooo
    12 |                             oooo
     8 |                            ooooo
     4 |                            oooooo
     0 |_________._________._______oo.oooooo___._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     400.         Total   =     235.      Min thru -81 =       0.
  Type  =   Order.         Minimum =      -2.      -80 thru  -1 =      11.
  Behav = Relaxed.         Maximum =       6.        0 thru  39 =     224.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    0    0
    1    1
    2    4
    2    5
    3    4
    3    6
    6    6
    6    8
    7    8
    8   13
    9   12
    9   13
   10   13
   10   16
   11   19
   13   19
   13   21
   13   21
   13   21
   15   22
   16   22
   17   22
   19   24
   21   25
   21   26
   24   26
   24   30
   25   31
   24   30
   26   31
   27   31
   29   32
   33   32
   33   33
   34   35
   36   36
   36   36
   38   37
   40   37
   41   37
   43   38
   44   40
   45   39
   47   40
   50   40
   51   42
   52   42
   52   43
   52   43
   52   44
   53   44
   55   45
   56   46
   56   51
   58   51
   57   51
   58   54
   59   55
   59   56
   59   56
================================================================================

  Test T500.  Seek a violation of A(CMP,RR,WW,WA).

         T0             T1              T2
     L0: A = 0;     L0: B = A;     L00: U[0] = B;
     L1: A = 1;     L1: B = A;     L01: V[0] = A;
     L2: A = 2;     L2: B = A;     L10: U[1] = B;
     L3: A = 3;     L3: B = A;     L11: V[1] = A;
     L4: A = 4;     L4: B = A;     L20: U[2] = B;
     L5: A = 5;     L5: B = A;     L21: V[2] = A;
     L6: A = 6;     L6: B = A;     L30: U[3] = B;
     L7: A = 7;     L7: B = A;     L31: V[3] = A; etc.

  Seek 5.0  U[i] > U[i+1].  d = U[i+1] - U[i].
  Seek 5.0  V[i] > V[i+1].  d = V[i+1] - V[i].
  Seek 5.1  U[i] > V[i].    d = V[i]   - U[i].

Start generating data for Test 5 at:           14:35:52.477 960126
  End generating data for Test 5 at:           14:35:52.487 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       1       2       0       0
      1       1       4       0       0
      2       6       7       0       0
      3       8       9       0       0
      4       8      10       0       0
      5       9      10       0       0
      6      13      13       0       0
      7      13      13       0       0
      8      14      14       0       0
      9      14      16       0       0
     10      14      18       0       0
     11      18      21       0       0
     12      21      22       0       0
     13      21      22       0       0
     14      22      23       0       0
     15      24      30       0       0
     16      30      32       0       0
     17      31      41       0       0
     18      38      43       0       0
     19      43      46       0       0
     20      47      48       0       0
     21      48      49       0       0
     22      49      52       0       0
     23      51      57       0       0
     24      57      61       0       0
     25      61      61       0       0
     26      61      61       0       0
     27      62      62       0       0
     28      64      64       0       0
     29      65      66       0       0
     30      70      70       0       0
     31      73      76       0       0
     32      76      76       0       0
     33      76      76       0       0
     34      76      77       0       0
     35      77      77       0       0
     36      77      81       0       0
     37      77      81       0       0
     38      81      82       0       0
     39      90      90       0       0
     40      91      94       0       0
     41      94      95       0       0
     42      96      96       0       0
     43      96      99       0       0
     44     101     103       0       0
     45     100     105       0       0
     46     104     105       0       0
     47     106     107       0       0
     48     106     106       0       0
     49     111     113       0       0
     50     113     113       0       0
     51     113     116       0       0
     52     117     119       0       0
     53     119     121       0       0
     54     121     124       0       0
     55     122     127       0       0
     56     128     129       0       0
     57     129     130       0       0
     58     130     131       0       0
     59     131     131       0       0

Start   analysis of Test 5 at:                 14:35:52.497 960126
Event 500.0: u[     44] =     101 > u[     45] =     100.  d =  -1.
Event 500.0: v[     47] =     107 > v[     48] =     106.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

     41      94      95       0       0
     42      96      96       0       0
     43      96      99       0       0
     44     101     103       0       0
     45     100     105       0       0
     46     104     105       0       0
     47     106     107       0       0
     48     106     106       0       0
     49     111     113       0       0
     50     113     113       0       0
     51     113     116       0       0

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

            ------ Relaxed ------    |         ------ Strong ------
    38 |                             |
    36 |                             |
    34 |                             |
    32 |                             |
    30 |                             |
    28 |                             |
    26 |                             |
    24 |                             o
    22 |                             oo
    20 |                             ooo
    18 |                             ooo
    16 |                             ooo
    14 |                             ooo
    12 |                             oooo
    10 |                             ooooo
     8 |                             ooooo
     6 |                             ooooo
     4 |                             oooooo
     2 |                             oooooooo
     0 |_________._________.________o.ooooooooo._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     500.         Total   =     114.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       2.
  Behav = Relaxed.         Maximum =       9.        0 thru  39 =     112.
  histend                  K       =      60.       40 thru Max =       0.

  End   analysis of Test 5 at:                 14:35:52.627 960126

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

            ------ Relaxed ------    |         ------ Strong ------
    19 |                             |
    18 |                             |
    17 |                             |o
    16 |                             |o
    15 |                             oo
    14 |                             oo
    13 |                             oo
    12 |                             oo
    11 |                             oo
    10 |                             oo
     9 |                             oo
     8 |                             oo o
     7 |                             oo o
     6 |                             oooo
     5 |                             oooo
     4 |                             oooo
     3 |                             ooooo
     2 |                             oooooo
     1 |                             ooooooo
     0 |_________._________._________.oooooo___o_________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     500.         Total   =      60.      Min thru -81 =       0.
  Type  =    Atom.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      10.        0 thru  39 =      60.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    1
    2
    1
    4
    6
    7
    8
    9
    8
   10
    9
   10
   13
   13
   13
   13
   14
   14
   14
   16
   14
   18
   18
   21
   21
   22
   21
   22
   22
   23
   24
   30
   30
   32
   31
   41
   38
   43
   43
   46
   47
   48
   48
   49
   49
   52
   51
   57
   57
   61
   61
   61
   61
   61
   62
   62
   64
   64
   65
   66
   70
   70
   73
   76
   76
   76
   76
   76
   76
   77
   77
   77
   77
   81
   77
   81
   81
   82
   90
   90
   91
   94
   94
   95
   96
   96
   96
   99
  101
  103
  100
  105
  104
  105
  106
  107
  106
  106
  111
  113
  113
  113
  113
  116
  117
  119
  119
  121
  121
  124
  122
  127
  128
  129
  129
  130
  130
  131
  131
  131
================================================================================

  Test T600.  Seek a violation of A(CMP,RR,WW,WA).

       T0       T1         T2         T3         T4        T5
     A = 0;  U[0] = A;  V[0] = A;  X[0] = A;  Y[0] = A;  B = 0;
     A = 1;  U[1] = B;  V[1] = B;  X[1] = B;  Y[1] = B;  B = 1;
     A = 2;  U[2] = A;  V[2] = A;  X[2] = A;  Y[2] = A;  B = 2;
     A = 3;  U[3] = B;  V[3] = B;  X[3] = B;  Y[3] = B;  B = 3;
     A = 4;  U[4] = A;  V[4] = A;  X[4] = A;  Y[4] = A;  B = 4;
     A = 5;  U[5] = B;  V[5] = B;  X[5] = B;  Y[5] = B;  B = 5;
     A = 6;  U[6] = A;  V[6] = A;  X[6] = A;  Y[6] = A;  B = 6;
     A = 7;  U[7] = B;  V[7] = B;  X[7] = B;  Y[7] = B;  B = 7; etc.

  Seek 6.0.  U[i] > U[i+2].  d = U[i+2] - U[i].
  Seek 6.0.  V[i] > V[i+2].  d = V[i+2] - V[i].
  Seek 6.0.  X[i] > X[i+2].  d = X[i+2] - X[i].
  Seek 6.0.  Y[i] > Y[i+2].  d = Y[i+2] - Y[i].
  Seek       U[i] < V[j] and V[j+1] < U[i-1].  d = V[j+1] - U[i-1].
       6.1.  i and j are even.
       6.2.  i and j are odd.

Start generating data for Test 6 at:           14:35:52.757 960126
  End generating data for Test 6 at:           14:35:52.767 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       0       1       0
      1       0       2       2       2
      2       1       1       2       1
      3       1       2       2       2
      4       1       4       6       9
      5       2       2       2       3
      6       2       7       9      17
      7       2       2       2       8
      8       9       9      11      18
      9       3       3       4      10
     10      11       8      11      21
     11       6       8       6      13
     12      14      18      14      23
     13       6      10       6      13
     14      15      19      17      24
     15       8      13      10      14
     16      16      23      21      24
     17       9      14      14      14
     18      18      24      24      24
     19      11      14      15      18
     20      25      28      24      27
     21      16      23      16      21
     22      26      32      26      30
     23      17      26      18      23
     24      27      33      27      33
     25      20      28      17      29
     26      34      35      27      35
     27      27      28      19      32
     28      35      35      28      38
     29      28      30      21      34
     30      35      37      29      39
     31      30      34      26      37
     32      38      39      33      40
     33      30      37      27      39
     34      37      40      33      47
     35      34      38      27      42
     36      38      43      36      53
     37      37      39      30      48
     38      40      53      40      60
     39      39      45      36      54
     40      43      53      38      64
     41      39      53      39      56
     42      44      63      42      66
     43      40      55      42      57
     44      48      64      48      66
     45      43      57      41      58
     46      52      65      49      65
     47      43      59      42      57
     48      53      70      53      68
     49      46      63      49      60
     50      53      71      56      69
     51      47      67      49      63
     52      58      71      59      70
     53      53      70      54      63
     54      61      73      63      71
     55      53      71      54      67
     56      63      74      64      71
     57      54      75      57      71
     58      64      75      66      71
     59      56      78      58      72

Start   analysis of Test 6 at:                 14:35:52.777 960126
Event 600.0: u[     32] =      38 > u[     34] =      37.  d =  -1.
Event 600.0: v[      8] =       9 > v[     10] =       8.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      5       2       2       2       3
      6       2       7       9      17
      7       2       2       2       8
      8       9       9      11      18
      9       3       3       4      10
     10      11       8      11      21
     11       6       8       6      13
     12      14      18      14      23
     13       6      10       6      13

     29      28      30      21      34
     30      35      37      29      39
     31      30      34      26      37
     32      38      39      33      40
     33      30      37      27      39
     34      37      40      33      47
     35      34      38      27      42
     36      38      43      36      53
     37      37      39      30      48

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

            ------ Relaxed ------    |         ------ Strong ------
    38 |                             |
    36 |                             |
    34 |                             |
    32 |                             |
    30 |                             |o
    28 |                             |o
    26 |                             |o
    24 |                             |o
    22 |                             |o
    20 |                             |o
    18 |                             |oo
    16 |                             ooo
    14 |                             oooo
    12 |                             oooo
    10 |                             oooo
     8 |                             ooooo
     6 |                             ooooo
     4 |                             ooooo
     2 |                             oooooo o  o
     0 |_________._________.________o.ooooooooo._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     600.         Total   =     110.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       2.
  Behav = Relaxed.         Maximum =      10.        0 thru  39 =     108.
  histend                  K       =      60.       40 thru Max =       0.

  End   analysis of Test 6 at:                 14:35:52.898 960126

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

            ------ Relaxed ------    |         ------ Strong ------
    19 |                             |
    18 |                             |
    17 |                             |
    16 |                             |
    15 |                             |
    14 |                             |
    13 |                             |
    12 |                             |
    11 |                             |
    10 |                             |
     9 |                             |
     8 |                             |
     7 |                             |      o
     6 |                             |   o oo
     5 |                             | o o oo
     4 |                             | oooooo
     3 |                             |ooooooo
     2 |                             |oooooooooo
     1 |                             |oooooooooo o
     0 |_________._________._________oooooooooo._oo______._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     600.         Total   =      55.      Min thru -81 =       0.
  Type  =    Atom.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      13.        0 thru  39 =      55.
  histend                  K       =      60.       40 thru Max =       0.

Plot of T6 data.

xmin xmax xintv ymin ymax yintv 0 0 1 0 0 1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
 1
AF5 2 42 4
         B
           4

           5  5

        2      1 8
                1
                 4A
                  1

                   2 8 8
                     4 2A
                        4
                        41
                          14
                        8 4
                           4
                           1
                           84

                            2 8


                             4  2
                                 41
                                 2 3
                                 8
                                   34 1

                                   8

                                     38

                                        4
                                      1A
                                        2
                                      4 9  3
                                            1
                                                4
                                          4    8 4
                                                1   1

                                                     2
                                                     1
                                                     1
                                                     8
                                                     4  4



                                                     2    1  1
                                                           48  5
                                                               2
                                                                9
                                                                688
                                                                  C
                                                                 2
                                                                    8


                                                                     8A



                                                                       A


                                                                       2
                                                                       8 2
                                                                       8


                                                                          2


                                                                           2

0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  Output to SIMIN:
    0    0
    0    2
    1    1
    1    2
    1    4
    2    2
    2    7
    2    2
    9    9
    3    3
   11    8
    6    8
   14   18
    6   10
   15   19
    8   13
   16   23
    9   14
   18   24
   11   14
   25   28
   16   23
   26   32
   17   26
   27   33
   20   28
   34   35
   27   28
   35   35
   28   30
   35   37
   30   34
   38   39
   30   37
   37   40
   34   38
   38   43
   37   39
   40   53
   39   45
   43   53
   39   53
   44   63
   40   55
   48   64
   43   57
   52   65
   43   59
   53   70
   46   63
   53   71
   47   67
   58   71
   53   70
   61   73
   53   71
   63   74
   54   75
   64   75
   56   78
================================================================================

  Test T700.  Seek a violation of A(CMP,UPO,RR,WW,WA).

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

  Seek 7.0. U[i] > U[i+1].          d  = U[i+1] - U[i].
  Seek 7.0. V[i] > V[i+1].          d  = V[i+1] - V[i].
  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 generating data for Test 4/7 at:         14:35:53.208 960126
  End generating data for Test 4/7 at:         14:35:53.208 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       0       0       0
      1       2       1       0       0
      2       3       1       0       0
      3       6       2       0       0
      4       6       2       0       0
      5       6       2       0       0
      6       7       3       0       0
      7       8       5       0       0
      8       9       6       0       0
      9      11       7       0       0
     10      10      10       0       0
     11      13      10       0       0
     12      16      10       0       0
     13      18      11       0       0
     14      18      12       0       0
     15      19      12       0       0
     16      21      14       0       0
     17      22      14       0       0
     18      22      13       0       0
     19      22      14       0       0
     20      22      15       0       0
     21      22      16       0       0
     22      22      16       0       0
     23      22      24       0       0
     24      23      27       0       0
     25      24      28       0       0
     26      24      29       0       0
     27      24      31       0       0
     28      25      31       0       0
     29      26      32       0       0
     30      26      33       0       0
     31      28      33       0       0
     32      30      32       0       0
     33      32      33       0       0
     34      34      34       0       0
     35      38      34       0       0
     36      38      34       0       0
     37      39      35       0       0
     38      39      35       0       0
     39      39      37       0       0
     40      41      40       0       0
     41      41      40       0       0
     42      42      42       0       0
     43      43      45       0       0
     44      43      47       0       0
     45      43      50       0       0
     46      44      51       0       0
     47      44      51       0       0
     48      45      53       0       0
     49      44      52       0       0
     50      45      52       0       0
     51      46      54       0       0
     52      50      54       0       0
     53      51      55       0       0
     54      51      56       0       0
     55      52      57       0       0
     56      54      56       0       0
     57      53      59       0       0
     58      56      59       0       0
     59      57      59       0       0


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

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

  19            0          0
over            0          0

Start   analysis of Test 7 at:                 14:35:53.218 960126
Event 700.0: u[      9] =      11 > u[     10] =      10.  d =  -1.
Event 700.0: u[     48] =      45 > u[     49] =      44.  d =  -1.
Event 700.0: u[     56] =      54 > u[     57] =      53.  d =  -1.
Event 700.0: v[     17] =      14 > v[     18] =      13.  d =  -1.
Event 700.0: v[     31] =      33 > v[     32] =      32.  d =  -1.
Event 700.0: v[     48] =      53 > v[     49] =      52.  d =  -1.
Event 700.0: v[     55] =      57 > v[     56] =      56.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      6       7       3       0       0
      7       8       5       0       0
      8       9       6       0       0
      9      11       7       0       0
     10      10      10       0       0
     11      13      10       0       0
     12      16      10       0       0
     13      18      11       0       0
     14      18      12       0       0
     15      19      12       0       0
     16      21      14       0       0
     17      22      14       0       0
     18      22      13       0       0
     19      22      14       0       0
     20      22      15       0       0
     21      22      16       0       0

     28      25      31       0       0
     29      26      32       0       0
     30      26      33       0       0
     31      28      33       0       0
     32      30      32       0       0
     33      32      33       0       0
     34      34      34       0       0
     35      38      34       0       0

     45      43      50       0       0
     46      44      51       0       0
     47      44      51       0       0
     48      45      53       0       0
     49      44      52       0       0
     50      45      52       0       0
     51      46      54       0       0
     52      50      54       0       0
     53      51      55       0       0
     54      51      56       0       0
     55      52      57       0       0
     56      54      56       0       0
     57      53      59       0       0
     58      56      59       0       0

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

            ------ Relaxed ------    |         ------ Strong ------
    38 |                             |o
    36 |                             oo
    34 |                             oo
    32 |                             oo
    30 |                             oo
    28 |                             oo
    26 |                             oo
    24 |                             oo
    22 |                             oo
    20 |                             oo
    18 |                             oo
    16 |                             ooo
    14 |                             ooo
    12 |                             ooo
    10 |                             ooo
     8 |                             oooo
     6 |                            ooooo
     4 |                            ooooo
     2 |                            ooooo
     0 |_________._________.________o.oooo___o_._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     700.         Total   =     114.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       7.
  Behav = Relaxed.         Maximum =       8.        0 thru  39 =     107.
  histend                  K       =      60.       40 thru Max =       0.

 d =  -3.
Event 7.2. v[     56] =      56 <      57 and u[     57] =      53 <      56
 d =  -2.
Event 7.4. v[     16] =      14 >      13 and u[     13] =      18 >      16
Event 7.4. v[     48] =      53 >      52 and u[     52] =      50 >      48
 d =  -1.
Event 7.3. u[      9] =      11 >      10 and v[     10] =      10 >       9
Event 7.4. v[     10] =      10 >       9 and u[      9] =      11 >      10
Event 7.3. u[     13] =      18 >      17 and v[     17] =      14 >      13
Event 7.4. v[     17] =      14 >      13 and u[     13] =      18 >      17
Event 7.2. v[     54] =      56 <      57 and u[     57] =      53 <      54
Event 7.1. u[     57] =      53 <      54 and v[     54] =      56 <      57
  End   analysis of Test 7 at:                 14:35:53.358 960126

  Portions of the arrays containing events:
      i       U       V      d1      d2      d3      d4
      6       7       3       0       0       3       3
      7       8       5       0       0       2       1
      8       9       6       2       0       2       2
      9      11       7       1       0      -1       2
     10      10      10       0       3       3      -1
     11      13      10       1       2       1       0
     12      16      10       2       1       0       1
     13      18      11       1       3      -1       3
     14      18      12       0       4       0       1
     15      19      12       0       3       2       2
     16      21      14       0       3       1      -2
     17      22      14       7       2       1      -1
     18      22      13       6       0       2       2
     19      22      14       5       0       3       1
     20      22      15       4       1       4       2

     45      43      50       2       1       3       1
     46      44      51       4       4       1       1
     47      44      51       3       3       2       2
     48      45      53       3       3       1      -2
     49      44      52       1       2       4       3
     50      45      52       1       1       3       4
     51      46      54       0       1       1       0
     52      50      54       2       0       0       1
     53      51      55       1       1       1       2
     54      51      56       0      -1       2       2
     55      52      57       0       1       1       1
     56      54      56       1      -3       1       4
     57      53      59      -1 2097152       3       1
     58      56      59       1 2097152       1       2
     59      57      59       0 2097152       3       3

  Histograms of d1, d2, d3, and d4 values:
  i        d1        d2        d3        d4      i
 -1         1         1         2         5     -1
 -2         0         0         0         2     -2
 -3         0         1         0         0     -3
 -4         0         0         0         0     -4

Totals / Min / Under -25:
            1         2         2         4
            1         3         1         2
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
    76 |                             |o
    72 |                             |o
    68 |                             |o
    64 |                             |o
    60 |                             |o
    56 |                             |o
    52 |                             |o
    48 |                             |o
    44 |                             |oo
    40 |                             ooo
    36 |                             oooo
    32 |                             oooo
    28 |                             oooo
    24 |                             oooo
    20 |                             oooo
    16 |                             oooo
    12 |                             ooooo
     8 |                             ooooo
     4 |                            oooooo
     0 |_________._________.______ooo.oooooooo_._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     700.         Total   =     235.      Min thru -81 =       0.
  Type  =    Atom.         Minimum =      -3.      -80 thru  -1 =       9.
  Behav = Relaxed.         Maximum =       8.        0 thru  39 =     226.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    0    0
    2    1
    3    1
    6    2
    6    2
    6    2
    7    3
    8    5
    9    6
   11    7
   10   10
   13   10
   16   10
   18   11
   18   12
   19   12
   21   14
   22   14
   22   13
   22   14
   22   15
   22   16
   22   16
   22   24
   23   27
   24   28
   24   29
   24   31
   25   31
   26   32
   26   33
   28   33
   30   32
   32   33
   34   34
   38   34
   38   34
   39   35
   39   35
   39   37
   41   40
   41   40
   42   42
   43   45
   43   47
   43   50
   44   51
   44   51
   45   53
   44   52
   45   52
   46   54
   50   54
   51   55
   51   56
   52   57
   54   56
   53   59
   56   59
   57   59
================================================================================

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

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

    WW event (two write operations occurred out of order):
    W[i,j] >= W[i+,j] and W[i,j] = W[i+,j] (modulo 4)
  where i+ is greater than i.

    Consistency event (two changes in the value of one operand
  became visible in different orders to two different threads):
    W[-,i] > W[-,j] > ... > W[-,i]
  where each element of {1,2,3,4} occurs at most once
  as one of the subscripts i, j, ....

Start generating data for Test 8 at:           14:35:53.488 960126
  End generating data for Test 8 at:           14:35:53.498 960126

Every 1th entry of the arrays, from 0 to 60:
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       2       3       2       3
       1      23      11      40      21
       2      20      23      22      22
       3      40      40      32      33
       4      32      42      42      60
       5      52      51      60      53
       6      53      83      62      82
       7      82      61      53      73
       8      61      91      82      92
       9      90     130      93      91
      10     100     162     110     100
      11     110     111     112     113
      12     132     162     120     120
      13     101     183     132     133
      14     121     141     101     132
      15     172     151     162     162
      16     183     203     150     150
      17     223     192     183     131
      18     212     233     203     183
      19     190     212     181     161
      20     211     201     212     203
      21     283     293     212     213
      22     220     313     201     181
      23     252     240     210     212
      24     323     280     303     243
      25     343     292     252     211
      26     241     261     323     263
      27     292     280     272     263
      28     312     290     280     220
      29     332     342     292     242
      30     301     301     280     221
      31     310     340     290     240
      32     320     390     301     272
      33     373     331     332     280
      34     362     341     320     280
      35     383     392     373     332
      36     393     420     403     310
      37     413     430     341     362
      38     372     381     372     321
      39     390     391     392     393
      40     423     401     402     403
      41     410     432     433     341
      42     361     421     411     410
      43     430     452     432     450
      44     433     473     441     381
      45     381     451     451     450
      46     463     490     490     441
      47     441     472     503     473
      48     473     481     511     483
      49     472     503     520     493
      50     523     511     593     503
      51     511     482     512     523
      52     520     521     522     523
      53     551     502     570     533
      54     573     541     542     520
      55     550     550     562     541
      56     522     560     590     551
      57     570     590     572     573
      58     562     581     582     583
      59     590     591     592     593

Start   analysis of Test 8 at:                14:35:53.508 960126
Event 8.0. w[     10][1] =     162 >= w[     12][1]=     162.  d =  -1
Event 8.0. w[     24][1] =     280 >= w[     27][1]=     280.  d =  -1
Event 8.0. w[     20][2] =     212 >= w[     21][2]=     212.  d =  -1
Event 8.0. w[     28][2] =     280 >= w[     30][2]=     280.  d =  -1
Event 8.0. w[     26][3] =     263 >= w[     27][3]=     263.  d =  -1
Event 8.0. w[     33][3] =     280 >= w[     34][3]=     280.  d =  -1
Event 8.0. w[     43][3] =     450 >= w[     45][3]=     450.  d =  -1
Event 8.0. w[     51][3] =     523 >= w[     52][3]=     523.  d =  -1

  Portions of the arrays containing errors:
      i  w[][0]  w[][1]  w[][2]  w[][3]

      7      82      61      53      73
      8      61      91      82      92
      9      90     130      93      91
     10     100     162     110     100
     11     110     111     112     113
     12     132     162     120     120
     13     101     183     132     133
     14     121     141     101     132
     15     172     151     162     162
     16     183     203     150     150
     17     223     192     183     131
     18     212     233     203     183
     19     190     212     181     161
     20     211     201     212     203
     21     283     293     212     213
     22     220     313     201     181
     23     252     240     210     212
     24     323     280     303     243
     25     343     292     252     211
     26     241     261     323     263
     27     292     280     272     263
     28     312     290     280     220
     29     332     342     292     242
     30     301     301     280     221
     31     310     340     290     240
     32     320     390     301     272
     33     373     331     332     280
     34     362     341     320     280
     35     383     392     373     332
     36     393     420     403     310
     37     413     430     341     362
     38     372     381     372     321
     39     390     391     392     393
     40     423     401     402     403
     41     410     432     433     341
     42     361     421     411     410
     43     430     452     432     450
     44     433     473     441     381
     45     381     451     451     450
     46     463     490     490     441
     47     441     472     503     473
     48     473     481     511     483
     49     472     503     520     493
     50     523     511     593     503
     51     511     482     512     523
     52     520     521     522     523
     53     551     502     570     533
     54     573     541     542     520
     55     550     550     562     541

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

            ------ Relaxed ------    |         ------ Strong ------
    57 |                             |
    54 |                             |
    51 |                             |
    48 |                             |
    45 |                             |
    42 |                             |                  o
    39 |                             |                  o
    36 |                             |        o         o         o
    33 |                             |        o         o         o
    30 |                             |        o         o         o
    27 |                             |        o         o         o         o
    24 |                             |        o         o         o         o
    21 |                             |        o         o         o         o
    18 |                             |        o         o         o         o
    15 |                             |        o         o         o         o
    12 |                             |        o         o         o         o
     9 |                             |        o         o         o         o
     6 |                            o|        o         o         o         o
     3 |                            o|        o         o         o         o
     0 |_________._________.________o.______o_o.______oooo________o._____oooo
     -30       -20       -10         0        10        20        30        40

  Test  =     800.         Total   =     232.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       8.
  Behav = Relaxed.         Maximum =     169.        0 thru  39 =     158.
  histend                  K       =      60.       40 thru Max =      66.

 d =   3.
 Event 8.1. w[     25][0] =      34.3 >      33.3.
            w[     33][3] =      28.0 >      25.0.
 d =   2.
 Event 8.1. w[     32][2] =      30.1 >      29.1.
            w[     29][1] =      34.2 >      32.2.
 d =   1.
 Event 8.1. w[      3][0] =       4.0 >       3.0.
 Event 8.2. w[      7][1] =       6.1 <       7.1.
 Event 8.1. w[      8][1] =       9.1 >       8.1.
 Event 8.1. w[     15][2] =      16.2 >      15.2.
 Event 8.1. w[     20][2] =      21.2 >      20.2.
 Event 8.1. w[     27][0] =      29.2 >      28.2.
            w[     28][2] =      28.0 >      27.0.
 Event 8.2. w[     27][3] =      26.3 <      27.3.
 Event 8.1. w[     28][2] =      28.0 >      27.0.
            w[     27][0] =      29.2 >      28.2.
 Event 8.1. w[     29][1] =      34.2 >      33.2.
            w[     33][2] =      33.2 >      32.2.
            w[     32][2] =      30.1 >      29.1.
 Event 8.2. w[     38][2] =      37.2 <      38.2.
 Event 8.1. w[     43][1] =      45.2 >      44.2.
            w[     44][2] =      44.1 >      43.1.
 Event 8.1. w[     44][2] =      44.1 >      43.1.
            w[     43][1] =      45.2 >      44.2.
 Event 8.1. w[     55][2] =      56.2 >      55.2.
  End   analysis of Test 8 at:                 14:35:53.649 960126

  Portions of the arrays containing errors:
      i  w[][0]  w[][1]  w[][2]  w[][3]

      0       2       3       2       3
      1      23      11      40      21
      2      20      23      22      22
      3      40      40      32      33
      4      32      42      42      60
      5      52      51      60      53
      6      53      83      62      82
      7      82      61      53      73
      8      61      91      82      92
      9      90     130      93      91
     10     100     162     110     100
     11     110     111     112     113
     12     132     162     120     120
     13     101     183     132     133
     14     121     141     101     132
     15     172     151     162     162
     16     183     203     150     150
     17     223     192     183     131
     18     212     233     203     183
     19     190     212     181     161
     20     211     201     212     203
     21     283     293     212     213
     22     220     313     201     181
     23     252     240     210     212
     24     323     280     303     243
     25     343     292     252     211
     26     241     261     323     263
     27     292     280     272     263
     28     312     290     280     220
     29     332     342     292     242
     30     301     301     280     221
     31     310     340     290     240
     32     320     390     301     272
     33     373     331     332     280
     34     362     341     320     280
     35     383     392     373     332
     36     393     420     403     310
     37     413     430     341     362
     38     372     381     372     321
     39     390     391     392     393
     40     423     401     402     403
     41     410     432     433     341
     42     361     421     411     410
     43     430     452     432     450
     44     433     473     441     381
     45     381     451     451     450
     46     463     490     490     441
     47     441     472     503     473

     52     520     521     522     523
     53     551     502     570     533
     54     573     541     542     520
     55     550     550     562     541
     56     522     560     590     551
     57     570     590     572     573
     58     562     581     582     583

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

            ------ Relaxed ------    |         ------ Strong ------
   190 |                             |
   180 |                             o
   170 |                             o
   160 |                             o
   150 |                             o
   140 |                             o
   130 |                             o
   120 |                             o
   110 |                             o
   100 |                             o
    90 |                             o
    80 |                             o
    70 |                             o
    60 |                             o
    50 |                             o
    40 |                             oo
    30 |                             oooo
    20 |                             oooo
    10 |                            oooooo
     0 |_________._________.______ooo.oooooooooo_________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =     800.         Total   =     356.      Min thru -81 =       0.
  Type  =     CON.         Minimum =      -3.      -80 thru  -1 =      17.
  Behav = Relaxed.         Maximum =      10.        0 thru  39 =     339.
  histend                  K       =      60.       40 thru Max =       0.


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

      0      6      3
      1     24      2
      2     31      3
      3     67      4
      4     79      3

A convoy of length 3 starts at line 6:
      6       40       40       40        0
      7        0        0       22       22
      8       32        0       32        0

A convoy of length 2 starts at line 24:
     24      100        0        0      100
     25      110        0      110        0

A convoy of length 3 starts at line 31:
     31      132        0      132      132
     32      101        0      101        0
     33        0      162      162      162

A convoy of length 4 starts at line 67:
     67        0      240        0      240
     68      323        0      323        0
     69        0        0      272      272
     70        0      280      280      280

A convoy of length 3 starts at line 79:
     79      332        0        0      332
     80      301      301      301        0
     81      310        0        0      310
  Output to SIMIN:
    2    3    2    3
   23   11   40   21
   20   23   22   22
   40   40   32   33
   32   42   42   60
   52   51   60   53
   53   83   62   82
   82   61   53   73
   61   91   82   92
   90  130   93   91
  100  162  110  100
  110  111  112  113
  132  162  120  120
  101  183  132  133
  121  141  101  132
  172  151  162  162
  183  203  150  150
  223  192  183  131
  212  233  203  183
  190  212  181  161
  211  201  212  203
  283  293  212  213
  220  313  201  181
  252  240  210  212
  323  280  303  243
  343  292  252  211
  241  261  323  263
  292  280  272  263
  312  290  280  220
  332  342  292  242
  301  301  280  221
  310  340  290  240
  320  390  301  272
  373  331  332  280
  362  341  320  280
  383  392  373  332
  393  420  403  310
  413  430  341  362
  372  381  372  321
  390  391  392  393
  423  401  402  403
  410  432  433  341
  361  421  411  410
  430  452  432  450
  433  473  441  381
  381  451  451  450
  463  490  490  441
  441  472  503  473
  473  481  511  483
  472  503  520  493
  523  511  593  503
  511  482  512  523
  520  521  522  523
  551  502  570  533
  573  541  542  520
  550  550  562  541
  522  560  590  551
  570  590  572  573
  562  581  582  583
  590  591  592  593
================================================================================

  Test T900.  Seek a violation of A(CMP,RR,WW,CON).
       T0       T1         T2         T3         T4        T5
     A = 0;  U[0] = A;  V[0] = A;  X[0] = A;  Y[0] = A;  A = 1;
     A = 2;  U[1] = A;  V[1] = A;  X[1] = A;  Y[1] = A;  A = 3;
     A = 4;  U[2] = A;  V[2] = A;  X[2] = A;  Y[2] = A;  A = 5;
     A = 6;  U[3] = A;  V[3] = A;  X[3] = A;  Y[3] = A;  A = 7;
     A = 8;  U[4] = A;  V[4] = A;  X[4] = A;  Y[4] = A;  A = 9;
     A =10;  U[5] = A;  V[5] = A;  X[5] = A;  Y[5] = A;  A =11;
     A =12;  U[6] = A;  V[6] = A;  X[6] = A;  Y[6] = A;  A =13;
     A =14;  U[7] = A;  V[7] = A;  X[7] = A;  Y[7] = A;  A =15; etc.

  Seek 9.0.  U[i] > U[j], i V[j], i X[j], i Y[j], ij.  d = V[j+] - U[i-1].

       9.1.  U[i] and V[j] are odd,  and V[j+] and U[i-1] are even.
       9.2.  U[i] and V[j] are even, and V[j+] and U[i-1] are odd.

Start generating data for Test 9 at:           14:35:53.869 960126
  End generating data for Test 9 at:           14:35:53.879 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       0       0       1
      1       0       0       0       3
      2       0       0       0       7
      3       0       0       1       8
      4       3       8       3      13
      5       3      12       3      20
      6       3      16       5      29
      7       5      11      23      31
      8      12      25      25      34
      9      16      23      30      34
     10      20      27      32      37
     11      23      27      34      39
     12      25      30      33      39
     13      34      32      39      39
     14      34      39      35      39
     15      34      35      39      39
     16      41      39      39      36
     17      39      36      44      44
     18      38      44      44      44
     19      44      44      50      44
     20      44      44      50      47
     21      47      49      49      49
     22      50      49      47      57
     23      50      51      57      52
     24      51      57      58      54
     25      57      56      60      57
     26      61      61      56      66
     27      71      61      63      66
     28      77      63      66      63
     29      75      62      66      72
     30      75      66      65      72
     31      77      67      68      76
     32      79      72      68      85
     33      81      72      68      85
     34      85      69      72      87
     35      78      73      72      95
     36      78      73      69      95
     37      87      73      77     101
     38      93      75      75     101
     39      93      75      79     105
     40      95      77      79      98
     41      84      79      85     100
     42      86      83      78     108
     43      90      87      87     108
     44      94      87      82     119
     45     103      91      84     119
     46     107      93      86     121
     47      98      90     101     112
     48      98      98      97     112
     49     119      98      97     123
     50     121     117     109     123
     51     112     108     100     125
     52     123     108     108     125
     53     125     121     108     116
     54     129     121     112     129
     55     116     112     112     128
     56     137     116     123     128
     57     124     129     116     132
     58     126     133     130     134
     59     128     137     130     142

Start   analysis of Test 9 at:                 14:35:53.889 960126
Event 900.0: u[     16] =      41 > u[     17] =      39.  d =  -2.
Event 900.0: u[     28] =      77 > u[     29] =      75.  d =  -2.
Event 900.0: v[      8] =      25 > v[      9] =      23.  d =  -2.
Event 900.0: v[     14] =      39 > v[     15] =      35.  d =  -4.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      5       3      12       3      20
      6       3      16       5      29
      7       5      11      23      31
      8      12      25      25      34
      9      16      23      30      34
     10      20      27      32      37
     11      23      27      34      39
     12      25      30      33      39
     13      34      32      39      39
     14      34      39      35      39
     15      34      35      39      39
     16      41      39      39      36
     17      39      36      44      44
     18      38      44      44      44
     19      44      44      50      44
     20      44      44      50      47

     25      57      56      60      57
     26      61      61      56      66
     27      71      61      63      66
     28      77      63      66      63
     29      75      62      66      72
     30      75      66      65      72
     31      77      67      68      76
     32      79      72      68      85

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20       29   0        0  20
      0 -79        0 -59        0 -39        0 -19        0   1        0  21
      0 -78        0 -58        0 -38        0 -18       21   2        0  22
      0 -77        0 -57        0 -37        0 -17        0   3        0  23
      0 -76        0 -56        0 -36        0 -16       29   4        1  24
      0 -75        0 -55        0 -35        0 -15        0   5        0  25
      0 -74        0 -54        0 -34        0 -14        9   6        0  26

      0 -73        0 -53        0 -33        0 -13        0   7        0  27
      0 -72        0 -52        0 -32        0 -12        8   8        1  28
      0 -71        0 -51        0 -31        0 -11        0   9        0  29
      0 -70        0 -50        0 -30        0 -10        3  10        0  30
      0 -69        0 -49        0 -29        0  -9        0  11        0  31
      0 -68        0 -48        0 -28        0  -8        4  12        0  32
      0 -67        0 -47        0 -27        0  -7        0  13        0  33
      0 -66        0 -46        0 -26        0  -6        4  14        0  34
      0 -65        0 -45        0 -25        0  -5        0  15        0  35
      0 -64        0 -44        0 -24        1  -4        1  16        0  36
      0 -63        0 -43        0 -23        0  -3        0  17        0  37
      0 -62        0 -42        0 -22        3  -2        2  18        0  38
      0 -61        0 -41        0 -21        0  -1        0  19        0  39

            ------ Relaxed ------    |         ------ Strong ------
    38 |                             |
    36 |                             |
    34 |                             |
    32 |                             |
    30 |                             |
    28 |                             o   o
    26 |                             o   o
    24 |                             o   o
    22 |                             o   o
    20 |                             o o o
    18 |                             o o o
    16 |                             o o o
    14 |                             o o o
    12 |                             o o o
    10 |                             o o o
     8 |                             o o o o
     6 |                             o o o o o
     4 |                             o o o o o
     2 |                           o o o o o o o o o
     0 |_________._________._____o_o_._o_o_o_o_._o_o_o_o_.___o___o_._________
     -30       -20       -10         0        10        20        30        40

  Test  =     900.         Total   =     116.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -4.      -80 thru  -1 =       4.
  Behav = Relaxed.         Maximum =      28.        0 thru  39 =     112.
  histend                  K       =      60.       40 thru Max =       0.

  End   analysis of Test 9 at:                 14:35:54.009 960126

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

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

  Test  =     900.         Total   =      16.      Min thru -81 =       0.
  Type  =     CON.         Minimum =       6.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      32.        0 thru  39 =      16.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    0    0    0    1
    0    0    0    3
    0    0    0    7
    0    0    1    8
    3    8    3   13
    3   12    3   20
    3   16    5   29
    5   11   23   31
   12   25   25   34
   16   23   30   34
   20   27   32   37
   23   27   34   39
   25   30   33   39
   34   32   39   39
   34   39   35   39
   34   35   39   39
   41   39   39   36
   39   36   44   44
   38   44   44   44
   44   44   50   44
   44   44   50   47
   47   49   49   49
   50   49   47   57
   50   51   57   52
   51   57   58   54
   57   56   60   57
   61   61   56   66
   71   61   63   66
   77   63   66   63
   75   62   66   72
   75   66   65   72
   77   67   68   76
   79   72   68   85
   81   72   68   85
   85   69   72   87
   78   73   72   95
   78   73   69   95
   87   73   77  101
   93   75   75  101
   93   75   79  105
   95   77   79   98
   84   79   85  100
   86   83   78  108
   90   87   87  108
   94   87   82  119
  103   91   84  119
  107   93   86  121
   98   90  101  112
   98   98   97  112
  119   98   97  123
  121  117  109  123
  112  108  100  125
  123  108  108  125
  125  121  108  116
  129  121  112  129
  116  112  112  128
  137  116  123  128
  124  129  116  132
  126  133  130  134
  128  137  130  142
================================================================================

  Test T1000.  t1: inv -> excl, and T2: inv -> excl.

       T0       T1        T2
     A = 0;   U[0] = A;   B = 1;
     A = 1;   B    = 1;   nop; -\
     A = 2;   U[1] = A;   ...    NOPCNT times.
     A = 3;   B    = 2;   nop; -/
     A = 4;   U[2] = A;   B = 2;
     A = 5;   B    = 3;   nop; -\
     A = 6;   U[3] = A;   ...    NOPCNT times.
     A = 7;   B    = 4;   nop; -/
     A = 8;   U[4] = A;   B = 3; etc.

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

  Test T1000.  t1: inv -> excl, and T2: inv -> excl.

       T0       T1        T2
     A = 0;   U[0] = A;   B = 1;
     A = 1;   B    = 1;   nop; -\
     A = 2;   U[1] = A;   ...    NOPCNT times.
     A = 3;   B    = 2;   nop; -/
     A = 4;   U[2] = A;   B = 2;
     A = 5;   B    = 3;   nop; -\
     A = 6;   U[3] = A;   ...    NOPCNT times.
     A = 7;   B    = 4;   nop; -/
     A = 8;   U[4] = A;   B = 3; etc.

  Test T10.  Collect performance data on cache hits.
Start generating data for Test 10 at:          14:35:54.159 960126
  End generating data for Test 10 at:          14:35:55.601 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       5       0       0       0
      1      10       0       0       0
      2      11       0       0       0
      3      11       0       0       0
      4      13       0       0       0
      5      14       0       0       0
      6      20       0       0       0
      7      20       0       0       0
      8      22       0       0       0
      9      22       0       0       0
     10      23       0       0       0
     11      23       0       0       0
     12      23       0       0       0
     13      26       0       0       0
     14      26       0       0       0
     15      27       0       0       0
     16      27       0       0       0
     17      28       0       0       0
     18      28       0       0       0
     19      30       0       0       0
     20      31       0       0       0
     21      33       0       0       0
     22      37       0       0       0
     23      37       0       0       0
     24      39       0       0       0
     25      40       0       0       0
     26      44       0       0       0
     27      47       0       0       0
     28      49       0       0       0
     29      50       0       0       0
     30      50       0       0       0
     31      52       0       0       0
     32      52       0       0       0
     33      54       0       0       0
     34      58       0       0       0
     35      59       0       0       0
     36      59       0       0       0
     37      64       0       0       0
     38      65       0       0       0
     39      65       0       0       0
     40      66       0       0       0
     41      67       0       0       0
     42      68       0       0       0
     43      69       0       0       0
     44      69       0       0       0
     45      72       0       0       0
     46      74       0       0       0
     47      74       0       0       0
     48      74       0       0       0
     49      74       0       0       0
     50      74       0       0       0
     51      74       0       0       0
     52      75       0       0       0
     53      77       0       0       0
     54      80       0       0       0
     55      84       0       0       0
     56      84       0       0       0
     57      84       0       0       0
     58      88       0       0       0
     59      91       0       0       0

Start   analysis of Test 10 at:                14:35:55.611 960126
  End   analysis of Test 10 at:                14:35:55.862 960126

  Show histogram of d values, d = u[i+1]-u[i] for 0<=i<=t10K-2.
There should be a large, early peek representing intervals when
t1 was not interrupted, and a smaller, later peak for when it was.

 211679  0         0 25         0 50         0 75
 105927  1         0 26         0 51         0 76
  52779  2         0 27         0 52         0 77
  64683  3         0 28         0 53         0 78
  32018  4         0 29         0 54         0 79
  16518  5         0 30         0 55         0 80
   8203  6         0 31         0 56         0 81
   4150  7         0 32         0 57         0 82
   2039  8         0 33         0 58         0 83
   1078  9         0 34         0 59         0 84
    462 10         0 35         0 60         0 85
    256 11         0 36         0 61         0 86
     86 12         0 37         0 62         0 87
     69 13         0 38         0 63         0 88
     17 14         0 39         0 64         0 89
     31 15         0 40         0 65         0 90
      0 16         0 41         0 66         0 91
      2 17         0 42         0 67         0 92
      1 18         0 43         0 68         0 93
      0 19         0 44         0 69         0 94
      0 20         0 45         0 70         0 95
      0 21         0 46         0 71         0 96
      0 22         0 47         0 72         0 97
      0 23         0 48         0 73         0 98
      0 24         0 49         0 74         0 99

Total = 499998, min = 0, max = 18, under0 = 0, over99 = 0, overK = 0.

  Output to SIMIN:
    5
   10
   11
   11
   13
   14
   20
   20
   22
   22
   23
   23
   23
   26
   26
   27
   27
   28
   28
   30
   31
   33
   37
   37
   39
   40
   44
   47
   49
   50
   50
   52
   52
   54
   58
   59
   59
   64
   65
   65
   66
   67
   68
   69
   69
   72
   74
   74
   74
   74
   74
   74
   75
   77
   80
   84
   84
   84
   88
   91

  You have chosen to run one or more of tests T1000,
T1010, T1020, and T1030 under RUN_MODE 3 where data is
manufactured by ARCHTEST, rather than being developed
through multiprocessor interactions on shared data.
Since there is no essential difference in the manufactured
data for the several tests, only one of the tests is being run.
================================================================================

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

         T0           T1           T2           T3
     A     = 0;   B     = 0;   C     = 0;   D     = 0;
     U[ 1] = B;   V[ 1] = A;   X[ 1] = D;   Y[ 1] = C;
     U[ 2] = C;   V[ 2] = D;   X[ 2] = A;   Y[ 2] = B;
     U[ 3] = D;   V[ 3] = C;   X[ 3] = B;   Y[ 3] = A;
     A     = 1;   B     = 1;   C     = 1;   D     = 1;
     U[ 5] = B;   V[ 5] = A;   X[ 5] = D;   Y[ 5] = C;
     U[ 6] = C;   V[ 6] = D;   X[ 6] = A;   Y[ 6] = B;
     U[ 7] = D;   V[ 7] = C;   X[ 7] = B;   Y[ 7] = A;
     A     = 2;   B     = 2;   C     = 2;   D     = 2;
     U[ 9] = B;   V[ 9] = A;   X[ 9] = D;   Y[ 9] = C;
     U[10] = C;   V[10] = D;   X[10] = A;   Y[10] = B;
     U[11] = D;   V[11] = C;   X[11] = B;   Y[11] = A; etc.

  Seek 1100.0.  u[i] > u[i+4].                 d = u[i+4] - u[i].
  Seek 1100.0.  v[i] > v[i+4].                 d = v[i+4] - v[i].
  Seek 1100.0.  x[i] > x[i+4].                 d = x[i+4] - x[i].
  Seek 1100.0.  y[i] > y[i+4].                 d = y[i+4] - y[i].

  Seek 1100.1.  u[4i+1] < j and v[4j+1] < i.   d = v[4j+1] - i.
  Seek 1100.2.  u[4i+1] > j and v[4j+1] > i.   d = i - v[4j+1].

  Seek 1100.1.  u[4i+2] < j and x[4j+2] < i.   d = v[4j+i] - i.
  Seek 1100.2.  u[4i+2] > j and x[4j+2] > i.   d = i - v[4j+i].

  Seek 1100.1.  u[4i+3] < j and y[4j+3] < i.   d = v[4j+i] - i.
  Seek 1100.2.  u[4i+3] > j and y[4j+3] > i.   d = i - v[4j+i].

  Seek 1100.1.  v[4j+3] < j and x[4j+3] < i.   d = v[4j+i] - i.
  Seek 1100.2.  v[4j+3] > j and x[4j+3] > i.   d = i - v[4j+i].

  Seek 1100.1.  v[4j+2] < j and y[4j+2] < i.   d = v[4j+i] - i.
  Seek 1100.2.  v[4j+2] > j and y[4j+2] > i.   d = i - v[4j+i].

  Seek 1100.1.  x[4j+1] < j and y[4j+1] < i.   d = v[4j+i] - i.
  Seek 1100.2.  x[4j+1] > j and y[4j+1] > i.   d = i - v[4j+i].
  Event 1100.1 => the machine performed a read operation before
                  a logically preceding write operation.
  Event 1100.2 => the machine performed a write operation before
                  a logically preceding read operation.

Start generating data for Test 1100/1200 at:   14:35:55.982 960126
  End generating data for Test 1100/1200 at:   14:35:55.982 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       0       0       0
      1       0       0       2       0
      2       0       1       1       0
      3       2       1       1       0
      4       0       0       0       0
      5       2       1       4       0
      6       2       3       1       0
      7       4       1       2       0
      8       0       0       0       0
      9       4       1       4       1
     10       3       4       2       1
     11       4       2       3       1
     12       0       0       0       0
     13       5       1       4       1
     14       3       4       3       2
     15       5       2       3       1
     16       0       0       0       0
     17       7       2       5       2
     18       6       5       3       3
     19       6       3       6       1
     20       0       0       0       0
     21       8       3       5       5
     22       7       5       2       6
     23       6       4       6       4
     24       0       0       0       0
     25       8       3       7       6
     26       7       5       5       8
     27       6       5       8       4
     28       0       0       0       0
     29       9       4       6       7
     30       7       5       5       9
     31       7       6       7       6
     32       0       0       0       0
     33      11       5       7       8
     34       8       7       7      11
     35       8       8      11       8
     36       0       0       0       0
     37      12       6       8       9
     38       8       6       8      11
     39      10       8      12       9
     40       0       0       0       0
     41      12       7       9      10
     42      10       7      10      12
     43      10       7      13      10
     44       0       0       0       0
     45      14       7      11      10
     46      11       8      12      14
     47      11       8      17      11
     48       0       0       0       0
     49      16       9      15      11
     50      11      10      13      15
     51      12      11      18      12
     52       0       0       0       0
     53      17      10      15      11
     54      11      10      14      17
     55      13      10      19      13
     56       0       0       0       0
     57      18      10      15      11
     58      13      12      15      18
     59      15      11      19      15


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

   i       deltas    strings
   0          102          0
   1           72         51
   2           30         26
   3            7         12
   4            3         19
   5            0          0
   6            0          0
   7            0          0
   8            0          0
   9            0          0
  10            0          0
  11            0          0
  12            0          0
  13            0          0
  14            0          0
  15            0          0
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            0          0
Start   analysis of Test 1100 at:              14:35:55.992 960126
Event 1100.0: v[     34] =       7 > v[     38] =       6.  d =  -1.
Event 1100.0: v[     39] =       8 > v[     43] =       7.  d =  -1.
Event 1100.0: x[     18] =       3 > x[     22] =       2.  d =  -1.
Event 1100.0: x[     25] =       7 > x[     29] =       6.  d =  -1.
Event 1100.0: x[     27] =       8 > x[     31] =       7.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

     15       5       2       3       1
     16       0       0       0       0
     17       7       2       5       2
     18       6       5       3       3
     19       6       3       6       1
     20       0       0       0       0
     21       8       3       5       5
     22       7       5       2       6
     23       6       4       6       4
     24       0       0       0       0
     25       8       3       7       6
     26       7       5       5       8
     27       6       5       8       4
     28       0       0       0       0
     29       9       4       6       7
     30       7       5       5       9
     31       7       6       7       6
     32       0       0       0       0
     33      11       5       7       8
     34       8       7       7      11
     35       8       8      11       8
     36       0       0       0       0
     37      12       6       8       9
     38       8       6       8      11
     39      10       8      12       9
     40       0       0       0       0
     41      12       7       9      10
     42      10       7      10      12
     43      10       7      13      10
     44       0       0       0       0
     45      14       7      11      10
     46      11       8      12      14

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

            ------ Relaxed ------    |         ------ Strong ------
    95 |                             |
    90 |                             o
    85 |                             o
    80 |                             o
    75 |                             o
    70 |                             o
    65 |                             oo
    60 |                             oo
    55 |                             oo
    50 |                             oo
    45 |                             oo
    40 |                             oo
    35 |                             oo
    30 |                             oo
    25 |                             ooo
    20 |                             ooo
    15 |                             ooo
    10 |                             ooo
     5 |                             oooo
     0 |_________._________.________o.oooo_____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1100.         Total   =     204.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       5.
  Behav = Relaxed.         Maximum =       4.        0 thru  39 =     199.
  histend                  K       =      60.       40 thru Max =       0.

 d =   1.
Event 11.1. u[4*      9+2] = u[     38] =       8 <       9
        and x[4*      9+2] = x[     38] =       8 <       9.
Event 11.2. v[4*      0+3] = v[      3] =       1 >       0
        and x[4*      0+3] = x[      3] =       1 >       0.
Event 11.2. v[4*     12+3] = v[     51] =      11 >      10
        and x[4*     10+3] = x[     43] =      13 >      12.

  Total number of 1100.1 errors:    1.
  Total number of 1100.2 errors:    2.
  End   analysis of Test 1100 at:              14:35:56.122 960126

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      0       0       0       0       0
      1       0       0       2       0
      2       0       1       1       0
      3       2       1       1       0
      4       0       0       0       0
      5       2       1       4       0
      6       2       3       1       0
      7       4       1       2       0
      8       0       0       0       0
      9       4       1       4       1

     32       0       0       0       0
     33      11       5       7       8
     34       8       7       7      11
     35       8       8      11       8
     36       0       0       0       0
     37      12       6       8       9
     38       8       6       8      11
     39      10       8      12       9
     40       0       0       0       0
     41      12       7       9      10
     42      10       7      10      12
     43      10       7      13      10
     44       0       0       0       0
     45      14       7      11      10
     46      11       8      12      14
     47      11       8      17      11
     48       0       0       0       0
     49      16       9      15      11
     50      11      10      13      15
     51      12      11      18      12
     52       0       0       0       0
     53      17      10      15      11
     54      11      10      14      17
     55      13      10      19      13
     56       0       0       0       0
     57      18      10      15      11

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

            ------ Relaxed ------    |         ------ Strong ------
    57 |                             |
    54 |                             |
    51 |                             |o
    48 |                             |o
    45 |                             |o
    42 |                             |o
    39 |                             |o
    36 |                             ooo
    33 |                             ooo
    30 |                             ooo
    27 |                             ooo
    24 |                             ooo
    21 |                             ooo
    18 |                             ooo
    15 |                             ooo
    12 |                             oooo
     9 |                             oooo
     6 |                             ooooo
     3 |                             ooooo
     0 |_________._________.________o.oooo_o___._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1100.         Total   =     156.      Min thru -81 =       0.
  Type  =   Order.         Minimum =      -1.      -80 thru  -1 =       3.
  Behav = Relaxed.         Maximum =       6.        0 thru  39 =     153.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    0    0    2    0
    0    1    1    0
    2    1    1    0
    2    1    4    0
    2    3    1    0
    4    1    2    0
    4    1    4    1
    3    4    2    1
    4    2    3    1
    5    1    4    1
    3    4    3    2
    5    2    3    1
    7    2    5    2
    6    5    3    3
    6    3    6    1
    8    3    5    5
    7    5    2    6
    6    4    6    4
    8    3    7    6
    7    5    5    8
    6    5    8    4
    9    4    6    7
    7    5    5    9
    7    6    7    6
   11    5    7    8
    8    7    7   11
    8    8   11    8
   12    6    8    9
    8    6    8   11
   10    8   12    9
   12    7    9   10
   10    7   10   12
   10    7   13   10
   14    7   11   10
   11    8   12   14
   11    8   17   11
   16    9   15   11
   11   10   13   15
   12   11   18   12
   17   10   15   11
   11   10   14   17
   13   10   19   13
   18   10   15   11
   13   12   15   18
   15   11   19   15
================================================================================

  Test T1200.  Seek a violation of A(CMP,UPO,RR,WW,WA).

         T0           T1           T2           T3
     A     = 0;   B     = 0;   C     = 0;   D     = 0;
     U[ 0] = A;   V[ 0] = B;   X[ 0] = C;   Y[ 0] = D;
     U[ 1] = B;   V[ 1] = A;   X[ 1] = D;   Y[ 1] = C;
     U[ 2] = C;   V[ 2] = D;   X[ 2] = A;   Y[ 2] = B;
     U[ 3] = D;   V[ 3] = C;   X[ 3] = B;   Y[ 3] = A;
     A     = 1;   B     = 1;   C     = 1;   D     = 1;
     U[ 4] = A;   V[ 4] = B;   X[ 4] = C;   Y[ 4] = D;
     U[ 5] = B;   V[ 5] = A;   X[ 5] = D;   Y[ 5] = C;
     U[ 6] = C;   V[ 6] = D;   X[ 6] = A;   Y[ 6] = B;
     U[ 7] = D;   V[ 7] = C;   X[ 7] = B;   Y[ 7] = A;
     A     = 2;   B     = 2;   C     = 2;   D     = 2;
     U[ 8] = A;   V[ 8] = B;   X[ 8] = C;   Y[ 8] = D;
     U[ 9] = B;   V[ 9] = A;   X[ 9] = D;   Y[ 9] = C;
     U[10] = C;   V[10] = D;   X[10] = A;   Y[10] = B;
     U[11] = D;   V[11] = C;   X[11] = B;   Y[11] = A; etc.

  Seek 1200.0.  u[i] > u[i+4].                 d = u[i+4] - u[i].
  Seek 1200.0.  v[i] > v[i+4].                 d = v[i+4] - v[i].
  Seek 1200.0.  x[i] > x[i+4].                 d = x[i+4] - x[i].
  Seek 1200.0.  y[i] > y[i+4].                 d = y[i+4] - y[i].

  Seek 1200.1.  u[4i+1] < j and v[4j+1] < i.   d = v[4j+1] - i.
  Seek 1200.2.  u[4i+1] > j and v[4j+1] > i.   d = i - v[4j+1].

  Seek 1200.1.  u[4i+2] < j and x[4j+2] < i.   d = v[4j+i] - i.
  Seek 1200.2.  u[4i+2] > j and x[4j+2] > i.   d = i - v[4j+i].

  Seek 1200.1.  u[4i+3] < j and y[4j+3] < i.   d = v[4j+i] - i.
  Seek 1200.2.  u[4i+3] > j and y[4j+3] > i.   d = i - v[4j+i].

  Seek 1200.1.  v[4j+3] < j and x[4j+3] < i.   d = v[4j+i] - i.
  Seek 1200.2.  v[4j+3] > j and x[4j+3] > i.   d = i - v[4j+i].

  Seek 1200.1.  v[4j+2] < j and y[4j+2] < i.   d = v[4j+i] - i.
  Seek 1200.2.  v[4j+2] > j and y[4j+2] > i.   d = i - v[4j+i].

  Seek 1200.1.  x[4j+1] < j and y[4j+1] < i.   d = v[4j+i] - i.
  Seek 1200.2.  x[4j+1] > j and y[4j+1] > i.   d = i - v[4j+i].

Start generating data for Test 1100/1200 at:   14:35:56.262 960126
  End generating data for Test 1100/1200 at:   14:35:56.262 960126

Every 1th entry of the arrays, from 0 thru 59.
      i       U       V       X       Y
      0       0       0       0       0
      1       0       0       0       1
      2       1       0       0       0
      3       0       1       0       0
      4       1       1       1       1
      5       2       0       0       2
      6       2       0       0       3
      7       1       2       0       3
      8       2       2       1       2
      9       3       1       1       5
     10       5       1       0       2
     11       2       2       1       4
     12       3       3       4       4
     13       3       2       1       6
     14       5       2       1       4
     15       2       5       3       4
     16       4       4       4       4
     17       4       4       1       7
     18       7       3       1       5
     19       4       6       3       5
     20       5       5       5       5
     21       5       5       2       9
     22       9       4       3       6
     23       5       7       3       6
     24       6       6       6       6
     25       7       5       3       9
     26      10       5       4       7
     27       6       9       4       6
     28       7       7       7       7
     29       8       6       4      10
     30      10       5       5       9
     31       7       9       5       8
     32       8       8       9       8
     33      10       6       4      11
     34      11       6       5      10
     35       7      10       6       9
     36      10       9       9       9
     37      10       7       6      12
     38      11       7       6      12
     39       8      10       8      11
     40      10      10      10      10
     41      10       7       6      13
     42      11       8       7      12
     43       9      11       9      13
     44      11      10      11      11
     45      11      12       9      13
     46      12       9      10      13
     47       9      13      10      14
     48      12      12      12      12
     49      11      13       9      15
     50      13       9      11      15
     51      10      13      11      16
     52      13      13      13      13
     53      14      13      10      15
     54      14      11      13      15
     55      10      13      13      18
     56      14      14      14      14
     57      13      14      11      17
     58      12      12      14      16
     59      11      16      14      18


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

   i       deltas    strings
   0           51          0
   1          124         18
   2           32         13
   3            9          4
   4            0          1
   5            1          6
   6            0          3
   7            0          1
   8            0          2
   9            0          1
  10            0          2
  11            0          0
  12            0          0
  13            0          0
  14            0          1
  15            0          2
  16            0          0
  17            0          0
  18            0          0
  19            0          0
over            0          0
Start   analysis of Test 1200 at:              14:35:56.272 960126
Event 1200.0: y[      6] =       3 > y[     10] =       2.  d =  -1.

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

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

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

            ------ Relaxed ------    |         ------ Strong ------
   190 |                             |
   180 |                             |
   170 |                             |
   160 |                             |
   150 |                             |
   140 |                             |
   130 |                             |
   120 |                             |
   110 |                             |o
   100 |                             |o
    90 |                             |o
    80 |                             |o
    70 |                             |o
    60 |                             |o
    50 |                             |o
    40 |                             oo
    30 |                             oo
    20 |                             ooo
    10 |                             ooo
     0 |_________._________.________o.ooo_o____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1200.         Total   =     204.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =      -1.      -80 thru  -1 =       1.
  Behav = Relaxed.         Maximum =       5.        0 thru  39 =     203.
  histend                  K       =      60.       40 thru Max =       0.

 d =   1.
Event 12.2. u[4*      2+3] = u[     11] =       2 >       1
        and y[4*      1+3] = y[      7] =       3 >       2.

  Total number of 1200.1 errors:    0.
  Total number of 1200.2 errors:    1.
  End   analysis of Test 1200 at:              14:35:56.403 960126

  Portions of the arrays containing relaxed events:
      i       U       V       X       Y

      1       0       0       0       1
      2       1       0       0       0
      3       0       1       0       0
      4       1       1       1       1
      5       2       0       0       2
      6       2       0       0       3
      7       1       2       0       3
      8       2       2       1       2
      9       3       1       1       5
     10       5       1       0       2
     11       2       2       1       4
     12       3       3       4       4
     13       3       2       1       6
     14       5       2       1       4
     15       2       5       3       4
     16       4       4       4       4
     17       4       4       1       7

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

            ------ Relaxed ------    |         ------ Strong ------
    76 |                             |
    72 |                             |
    68 |                             |
    64 |                             |o
    60 |                             |o
    56 |                             |o
    52 |                             |o
    48 |                             |o
    44 |                             |o
    40 |                             |oo
    36 |                             |oo
    32 |                             |oo
    28 |                             ooo
    24 |                             ooo
    20 |                             ooo
    16 |                             ooo
    12 |                             oooo
     8 |                             oooo
     4 |                             oooo
     0 |_________._________.________o.ooooo____._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1200.         Total   =     156.      Min thru -81 =       0.
  Type  =    Atom.         Minimum =      -1.      -80 thru  -1 =       1.
  Behav = Relaxed.         Maximum =       5.        0 thru  39 =     155.
  histend                  K       =      60.       40 thru Max =       0.

  Output to SIMIN:
    0    0    0    0
    0    0    0    1
    1    0    0    0
    0    1    0    0
    1    1    1    1
    2    0    0    2
    2    0    0    3
    1    2    0    3
    2    2    1    2
    3    1    1    5
    5    1    0    2
    2    2    1    4
    3    3    4    4
    3    2    1    6
    5    2    1    4
    2    5    3    4
    4    4    4    4
    4    4    1    7
    7    3    1    5
    4    6    3    5
    5    5    5    5
    5    5    2    9
    9    4    3    6
    5    7    3    6
    6    6    6    6
    7    5    3    9
   10    5    4    7
    6    9    4    6
    7    7    7    7
    8    6    4   10
   10    5    5    9
    7    9    5    8
    8    8    9    8
   10    6    4   11
   11    6    5   10
    7   10    6    9
   10    9    9    9
   10    7    6   12
   11    7    6   12
    8   10    8   11
   10   10   10   10
   10    7    6   13
   11    8    7   12
    9   11    9   13
   11   10   11   11
   11   12    9   13
   12    9   10   13
    9   13   10   14
   12   12   12   12
   11   13    9   15
   13    9   11   15
   10   13   11   16
   13   13   13   13
   14   13   10   15
   14   11   13   15
   10   13   13   18
   14   14   14   14
   13   14   11   17
   12   12   14   16
   11   16   14   18
Relaxed RR/WW behavior:   200 300 400 500 600 700 800 900 1100 1200.

Other relaxed behavior:   200 400 700 800 1100 1200.

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

Run this job another time? [y]

Last updated April 20, 2000.