From:   IN%"nmanjiki@eecg.toronto.edu"  "Naraig Manjikian"  4-MAY-1996 14:10:02.02
To:     IN%"mpdiag@ACM.ORG"

Date: Sat, 04 May 1996 14:09:24 -0400
From: Naraig Manjikian 
Subject: KSR tests
To: mpdiag@ACM.ORG

Here are the remaining tests on the KSR. Sorry about the delay.
Two reasons: (a) too busy, and (b) when not busy, all KSR processors in use.

--Naraig--

-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----

ARCHTEST.  Version 5.2.  960320.  By W. W. Collier, mpdiag@acm.org

                                               12:56:15.237 960504
Continuation of all archtest tests.

    Test made by Naraig Manjikian, nmanjiki@eecg.toronto.edu, and the
High Performance Research Computing Dept. at the University of Toronto.

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]: 1
Enter the number of threads (from 2 to 8) [2]:   8
Define logical length of arrays (max=500000) [200000]:   200000

The following tests can be run:

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

Parameters for this run:
Type of run:           1. Perform a real multiprocessor test..
Output file name:      atestb00.out.
Number of threads:     8.
Length of the arrays:  200000.
Test(s) to run:        900 920 1000 1010 1020 1030 1100 1110 1120 1200 1210 1220

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

  Choose an action to perform:
    1.  Execute tests.
    2.  Display tests to run.
    3.  Add     tests to run.
    4.  Delete  tests to run.
    5.  Generate extraneous cache traffic.
    6.  Stop     extraneous cache traffic.
    7.  Info on  extraneous cache traffic.
    8.  Set operation count for Test T1xx.
    9.  Set parameters for Test T10xx.
   10.  Display tests to dump.
   11.  Add     tests to dump.
   12.  Delete  tests to dump.
   13.  Set run time flags.
   14.  Note research questions.
   15.  Write out description of all tests in output file.
  Selection:  1   1
  Executing tests . . . .
================================================================================

  Test T900.  Seek a relaxation of WW and CC3.
       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.

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

Start execution of Test T900  at               12:57:28.637 960504
 entr  sync0   0                 1 1 1 1 1 1 0 0
 entr  sync0     1               0 1 1 1 1 1 0 0
 entr  sync0             5       0 0 1 1 1 1 0 0
 entr  sync0       2             0 0 1 1 1 0 0 0
 entr  sync0         3           0 0 0 1 1 0 0 0
 entr  sync0           4         0 0 0 0 1 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0             5       0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0           4         0 0 0 0 0 0 0 0
 entr   sync1            5       1 1 1 1 1 1 0 0
 entr   sync1      2             1 1 1 1 1 0 0 0
 entr   sync1        3           1 1 0 1 1 0 0 0
 entr   sync1          4         1 1 0 0 1 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 0 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1            5       0 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1          4         0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T900  at               12:57:31.497 960504
  Duration                                            2.860
Start  analysis of Test T900  at               12:57:31.497 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    3873       0       0  131689
   9999   50481   27783   35803  180823
  19998   97329   59577   72807  199999
  29997  199998   91865  109923  199999
  39996  199998  124321  148019  199999
  49995  199998  157427  184977  199999
  59994  199998  189649  199999  199999
  69993  199998  199999  199999  199999
  79992  199998  199999  199999  199999
  89991  199998  199999  199999  199999
  99990  199998  199999  199999  199999
 109989  199998  199999  199999  199999
 119988  199998  199999  199999  199999
 129987  199998  199999  199999  199999
 139986  199998  199999  199999  199999
 149985  199998  199999  199999  199999
 159984  199998  199999  199999  199999
 169983  199998  199999  199999  199999
 179982  199998  199999  199999  199999
 189981  199998  199999  199999  199999
 199980  199998  199999  199999  199999

Start 2d  analysis.                            12:57:40.457 960504
Start 3d  analysis.                            12:57:41.457 960504
Start 4th analysis.                            12:57:42.497 960504
Start 5th analysis.                            12:57:43.377 960504
Start 6th analysis.                            12:57:44.237 960504

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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             o
680000 |                             o
640000 |                             o
600000 |                             o
560000 |                             o
520000 |                             o
480000 |                             o
440000 |                             o
400000 |                             o
360000 |                             o
320000 |                             o
280000 |                             o
240000 |                             o
200000 |                             o
160000 |                             o
120000 |                             o
 80000 |                             o
 40000 |                             o         o
     0 |_________._________._________._o_o_o_o_._o_o_o_o_o_o_o_o_o_o_o_o_o_o_
     -30       -20       -10         0        10        20        30        40

  Test  =     900.         Total   =  799993.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     532.        0 thru  39 =  799954.
  histend                  K       =  200000.       40 thru Max =      39.

  End  analysis of Test T900  at               12:57:45.197 960504
================================================================================

  Test T920.  Seek a relaxation of WW and CC3.
       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.

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

Start execution of Test T920  at               12:57:50.557 960504
 entr  sync0   0                 1 1 1 1 1 1 0 0
 entr  sync0     1               0 1 1 1 1 1 0 0
 entr  sync0       2             0 0 1 1 1 1 0 0
 entr  sync0             5       0 0 0 1 1 1 0 0
 entr  sync0         3           0 0 0 1 1 0 0 0
 entr  sync0           4         0 0 0 0 1 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0             5       0 0 0 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0           4         0 0 0 0 0 0 0 0
 entr   sync1            5       1 1 1 1 1 1 0 0
 entr   sync1      2             1 1 1 1 1 0 0 0
 entr   sync1        3           1 1 0 1 1 0 0 0
 entr   sync1          4         1 1 0 0 1 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 0 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1            5       0 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1          4         0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T920  at               12:57:53.397 960504
  Duration                                            2.840
Start  analysis of Test T920  at               12:57:57.657 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   41789   45337   39435  172065
  19998   80003   91915   76649  199999
  29997  117739  139005  113439  199999
  39996  199998  186049  151435  199999
  49995  199998  199999  188679  199999
  59994  199998  199999  199999  199999
  69993  199998  199999  199999  199999
  79992  199998  199999  199999  199999
  89991  199998  199999  199999  199999
  99990  199998  199999  199999  199999
 109989  199998  199999  199999  199999
 119988  199998  199999  199999  199999
 129987  199998  199999  199999  199999
 139986  199998  199999  199999  199999
 149985  199998  199999  199999  199999
 159984  199998  199999  199999  199999
 169983  199998  199999  199999  199999
 179982  199998  199999  199999  199999
 189981  199998  199999  199999  199999
 199980  199998  199999  199999  199999

Start 2d  analysis.                            12:58:06.357 960504
Start 3d  analysis.                            12:58:07.177 960504
Start 4th analysis.                            12:58:08.057 960504
Start 5th analysis.                            12:58:08.977 960504
Start 6th analysis.                            12:58:09.837 960504

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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             o
680000 |                             o
640000 |                             o
600000 |                             o
560000 |                             o
520000 |                             o
480000 |                             o
440000 |                             o
400000 |                             o
360000 |                             o
320000 |                             o
280000 |                             o
240000 |                             o
200000 |                             o
160000 |                             o
120000 |                             o
 80000 |                             o
 40000 |                             o
     0 |_________._________._________._o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_
     -30       -20       -10         0        10        20        30        40

  Test  =     920.         Total   =  799992.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =  199998.        0 thru  39 =  799937.
  histend                  K       =  200000.       40 thru Max =      55.

  End  analysis of Test T920  at               12:58:11.217 960504
================================================================================

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

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

       T0       T1          T2
     A = 0;   U[0] = A;   B = 1;
     A = 1;   B    = 1;   B = 1;
     A = 2;   U[1] = A;   B = 1;
     A = 3;   B    = 2;   B = 1;
     A = 4;   U[2] = A;   B = 1;
     A = 5;   B    = 3;   B = 1;
     A = 6;   U[3] = A;   B = 1;
     A = 7;   B    = 4;   B = 1;
     A = 8;   U[4] = A;   B = 1;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1000 at               12:58:16.497 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 0 0 0 0 0
 entr   sync1    1               0 1 1 0 0 0 0 0
 entr   sync1      2             0 0 1 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T1000 at               12:58:16.797 960504
  Duration                                            0.300
  Test T1000.  T1: inv -> excl, and T2: inv -> excl.

       T0       T1          T2
     A = 0;   U[0] = A;   B = 1;
     A = 1;   B    = 1;   B = 1;
     A = 2;   U[1] = A;   B = 1;
     A = 3;   B    = 2;   B = 1;
     A = 4;   U[2] = A;   B = 1;
     A = 5;   B    = 3;   B = 1;
     A = 6;   U[3] = A;   B = 1;
     A = 7;   B    = 4;   B = 1;
     A = 8;   U[4] = A;   B = 1;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1000 at               12:58:22.137 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1    1               1 1 1 0 0 0 0 0
 entr   sync1      2             1 0 1 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
 entr   sync1  0                 1 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T1000 at               12:58:24.497 960504
  Duration                                            2.360
  t10t0cnt = 100000.
  t10t1cnt =  10000.
  t10t2cnt = 100000.
Start  analysis of Test T1000 at               12:58:24.617 960504

Every 499th entry of the arrays, from 0 thru 9999.
      i       U       V       X       Y
      0       0       0       0       0
    499       0       0       0       0
    998       0       0       0       0
   1497       0       0       0       0
   1996       0       0       0       0
   2495       0       0       0       0
   2994       0       0       0       0
   3493       0       0       0       0
   3992       0       0       0       0
   4491       0       0       0       0
   4990       0       0       0       0
   5489       0       0       0       0
   5988       0       0       0       0
   6487       0       0       0       0
   6986       0       0       0       0
   7485       0       0       0       0
   7984       0       0       0       0
   8483       0       0       0       0
   8982       0       0       0       0
   9481       0       0       0       0
   9980       0       0       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1000.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1000.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

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

  Test  =    1000.         Total   =       0.      Min thru -81 =       0.
  Type  =     CC3.         Minimum = 2147483647.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =       0.
  histend                  K       =   10000.       40 thru Max =       0.

  End  analysis of Test T1000 at               12:58:26.857 960504
================================================================================

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

  Test T1010.  T1: inv -> excl, and T2: inv -> ro.

       T0       T1          T2
     A = 0;   U[0] = A;   - = B;
     A = 1;   B    = 1;   - = B;
     A = 2;   U[1] = A;   - = B;
     A = 3;   B    = 2;   - = B;
     A = 4;   U[2] = A;   - = B;
     A = 5;   B    = 3;   - = B;
     A = 6;   U[3] = A;   - = B;
     A = 7;   B    = 4;   - = B;
     A = 8;   U[4] = A;   - = B;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1010 at               12:58:31.597 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1      2             1 1 1 0 0 0 0 0
 entr   sync1    1               1 1 0 0 0 0 0 0
 entr   sync1  0                 1 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  End execution of Test T1010 at               12:58:31.877 960504
  Duration                                            0.280
  Test T1010.  T1: inv -> excl, and T2: inv -> ro.

       T0       T1          T2
     A = 0;   U[0] = A;   - = B;
     A = 1;   B    = 1;   - = B;
     A = 2;   U[1] = A;   - = B;
     A = 3;   B    = 2;   - = B;
     A = 4;   U[2] = A;   - = B;
     A = 5;   B    = 3;   - = B;
     A = 6;   U[3] = A;   - = B;
     A = 7;   B    = 4;   - = B;
     A = 8;   U[4] = A;   - = B;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1010 at               12:58:37.317 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1      2             1 1 1 0 0 0 0 0
 entr   sync1  0                 1 1 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T1010 at               12:58:39.797 960504
  Duration                                            2.480
  t10t0cnt = 100000.
  t10t1cnt =  10000.
  t10t2cnt = 100000.
Start  analysis of Test T1010 at               12:58:39.797 960504

Every 499th entry of the arrays, from 0 thru 9999.
      i       U       V       X       Y
      0       0   99999       0       0
    499       0   99999       0       0
    998       0   99999       0       0
   1497       0   99999       0       0
   1996       0   99999       0       0
   2495       0   99999       0       0
   2994       0   99999       0       0
   3493       0   99999       0       0
   3992       0   99999       0       0
   4491       0   99999       0       0
   4990       0   99999       0       0
   5489       0   99999       0       0
   5988       0   99999       0       0
   6487       0   99999       0       0
   6986       0   99999       0       0
   7485       0   99999       0       0
   7984       0   99999       0       0
   8483       0   99999       0       0
   8982       0   99999       0       0
   9481       0   99999       0       0
   9980       0   99999       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1010.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1010.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

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

  Test  =    1010.         Total   =       0.      Min thru -81 =       0.
  Type  =     CC3.         Minimum = 2147483647.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =       0.
  histend                  K       =   10000.       40 thru Max =       0.

  End  analysis of Test T1010 at               12:58:42.937 960504
================================================================================

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

  Test T1020.  T1: inv -> ro, and T2: inv -> excl.

       T0       T1          T2
     A = 0;   U[0] = A;   B = 1;
     A = 1;   -    = B;   B = 1;
     A = 2;   U[1] = A;   B = 1;
     A = 3;   -    = B;   B = 1;
     A = 4;   U[2] = A;   B = 1;
     A = 5;   -    = B;   B = 1;
     A = 6;   U[3] = A;   B = 1;
     A = 7;   -    = B;   B = 1;
     A = 8;   U[4] = A;   B = 1;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1020 at               12:58:48.097 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 0 0 0 0 0
 entr   sync1      2             0 1 1 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  End execution of Test T1020 at               12:58:48.337 960504
  Duration                                            0.240
  Test T1020.  T1: inv -> ro, and T2: inv -> excl.

       T0       T1          T2
     A = 0;   U[0] = A;   B = 1;
     A = 1;   -    = B;   B = 1;
     A = 2;   U[1] = A;   B = 1;
     A = 3;   -    = B;   B = 1;
     A = 4;   U[2] = A;   B = 1;
     A = 5;   -    = B;   B = 1;
     A = 6;   U[3] = A;   B = 1;
     A = 7;   -    = B;   B = 1;
     A = 8;   U[4] = A;   B = 1;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1020 at               12:58:53.257 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1      2             1 1 1 0 0 0 0 0
 entr   sync1  0                 1 1 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T1020 at               12:58:55.717 960504
  Duration                                            2.460
  t10t0cnt = 100000.
  t10t1cnt =  10000.
  t10t2cnt = 100000.
Start  analysis of Test T1020 at               12:58:55.737 960504

Every 499th entry of the arrays, from 0 thru 9999.
      i       U       V       X       Y
      0       0   99999       0       0
    499       0   99999       0       0
    998       0   99999       0       0
   1497       0   99999       0       0
   1996       0   99999       0       0
   2495       0   99999       0       0
   2994       0   99999       0       0
   3493       0   99999       0       0
   3992       0   99999       0       0
   4491       0   99999       0       0
   4990       0   99999       0       0
   5489       0   99999       0       0
   5988       0   99999       0       0
   6487       0   99999       0       0
   6986       0   99999       0       0
   7485       0   99999       0       0
   7984       0   99999       0       0
   8483       0   99999       0       0
   8982       0   99999       0       0
   9481       0   99999       0       0
   9980       0   99999       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1020.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1020.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

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

  Test  =    1020.         Total   =       0.      Min thru -81 =       0.
  Type  =     CC3.         Minimum = 2147483647.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =       0.
  histend                  K       =   10000.       40 thru Max =       0.

  End  analysis of Test T1020 at               12:59:00.597 960504
================================================================================

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

  Test T1030.  T1: ro -> ro, and T2: ro -> ro.

       T0       T1          T2
     A = 0;   U[0] = A;   - = B;
     A = 1;   -    = B;   - = B;
     A = 2;   U[1] = A;   - = B;
     A = 3;   -    = B;   - = B;
     A = 4;   U[2] = A;   - = B;
     A = 5;   -    = B;   - = B;
     A = 6;   U[3] = A;   - = B;
     A = 7;   -    = B;   - = B;
     A = 8;   U[4] = A;   - = B;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1030 at               12:59:05.237 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1    1               1 1 1 0 0 0 0 0
 entr   sync1      2             1 0 1 0 0 0 0 0
 entr   sync1  0                 1 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T1030 at               12:59:05.437 960504
  Duration                                            0.200
  Test T1030.  T1: ro -> ro, and T2: ro -> ro.

       T0       T1          T2
     A = 0;   U[0] = A;   - = B;
     A = 1;   -    = B;   - = B;
     A = 2;   U[1] = A;   - = B;
     A = 3;   -    = B;   - = B;
     A = 4;   U[2] = A;   - = B;
     A = 5;   -    = B;   - = B;
     A = 6;   U[3] = A;   - = B;
     A = 7;   -    = B;   - = B;
     A = 8;   U[4] = A;   - = B;

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T1030 at               12:59:10.177 960504
 entr  sync0   0                 1 1 1 0 0 0 0 0
 entr  sync0     1               0 1 1 0 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1      2             1 1 1 0 0 0 0 0
 entr   sync1  0                 1 1 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T1030 at               12:59:11.917 960504
  Duration                                            1.740
  t10t0cnt = 100000.
  t10t1cnt =  10000.
  t10t2cnt = 100000.
Start  analysis of Test T1030 at               12:59:11.937 960504

Every 499th entry of the arrays, from 0 thru 9999.
      i       U       V       X       Y
      0       0   99999       0       0
    499       0   99999       0       0
    998       0   99999       0       0
   1497       0   99999       0       0
   1996       0   99999       0       0
   2495       0   99999       0       0
   2994       0   99999       0       0
   3493       0   99999       0       0
   3992       0   99999       0       0
   4491       0   99999       0       0
   4990       0   99999       0       0
   5489       0   99999       0       0
   5988       0   99999       0       0
   6487       0   99999       0       0
   6986       0   99999       0       0
   7485       0   99999       0       0
   7984       0   99999       0       0
   8483       0   99999       0       0
   8982       0   99999       0       0
   9481       0   99999       0       0
   9980       0   99999       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1030.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

            ------ Relaxed ------    |         ------ Strong ------
  9500 |                             o
  9000 |                             o
  8500 |                             o
  8000 |                             o
  7500 |                             o
  7000 |                             o
  6500 |                             o
  6000 |                             o
  5500 |                             o
  5000 |                             o
  4500 |                             o
  4000 |                             o
  3500 |                             o
  3000 |                             o
  2500 |                             o
  2000 |                             o
  1500 |                             o
  1000 |                             o
   500 |                             o
     0 |_________._________._________._________._________._________._________
     -30       -20       -10         0        10        20        30        40

  Test  =    1030.         Total   =    9999.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =    9999.
  histend                  K       =   10000.       40 thru Max =       0.


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

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

  Test  =    1030.         Total   =       0.      Min thru -81 =       0.
  Type  =     CC3.         Minimum = 2147483647.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =       0.        0 thru  39 =       0.
  histend                  K       =   10000.       40 thru Max =       0.

  End  analysis of Test T1030 at               12:59:13.757 960504
================================================================================

  Test T1100.  Seek a relaxation of RR, WW, and either RW or WR.

         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.

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

Start execution of Test T1100 at               12:59:18.697 960504
 entr  sync0   0                 1 1 1 1 0 0 0 0
 entr  sync0     1               0 1 1 1 0 0 0 0
 entr  sync0       2             0 0 1 1 0 0 0 0
 entr  sync0         3           0 0 0 1 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
 entr   sync1    1               1 1 1 1 0 0 0 0
 entr   sync1      2             1 0 1 1 0 0 0 0
 entr   sync1  0                 1 0 0 1 0 0 0 0
 entr   sync1        3           0 0 0 1 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  End execution of Test T1100 at               12:59:21.917 960504
  Duration                                            3.220
Start  analysis of Test T1100 at               12:59:21.977 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999       0    2974    2146    7249
  19998    6412       0    3861   12852
  29997   48719    7249       0   17173
  39996       0       0       0       0
  49995   37815   14368   10532    7249
  59994   49999    6992    7249   23622
  69993   49999    7249    7819   27203
  79992       0       0       0       0
  89991   37815   23584   21328    7249
  99990   49999   16274    7249   34484
 109989   49999    7249   17773   37289
 119988       0       0       0       0
 129987   37815   32900   32059    7249
 139986   49999   25486    7249   45357
 149985   49999    7249   27695   47477
 159984       0       0       0       0
 169983   37815   42291   42708   49999
 179982   49999   34640    7249   49999
 189981   49999    7249   37517   49999
 199980       0       0       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       596833          0
   1       141563     450278
   2        40289      89966
   3        17409      56587
   4         3454          2
   5          251          0
   6           43          0
   7           13          0
   8            6          0
   9            9          0
  10           11          0
  11            6          0
  12            5          0
  13            6          0
  14            4          0
  15            4          0
  16            3          0
  17            4          0
  18            4          0
  19            4          0
over           57          0

  Total number of 1100.1 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             o
560000 |                             o
520000 |                             o
480000 |                             o
440000 |                             o
400000 |                             o
360000 |                             o
320000 |                             o
280000 |                             o
240000 |                             o
200000 |                             oo
160000 |                             oo
120000 |                             oo
 80000 |                             oo
 40000 |                             ooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1100.         Total   = 1017819.      Min thru -81 =       0.
  Type  =      WR.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   42750.        0 thru  39 =  947262.
  histend                  K       =  200000.       40 thru Max =   70557.


  Total number of 1100.2 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
 76000 |                             |
 72000 |                             |
 68000 |                             |o
 64000 |                             |o
 60000 |                             |o
 56000 |                             |o
 52000 |                             |o
 48000 |                             |o
 44000 |                             |o
 40000 |                             |o
 36000 |                             |oo
 32000 |                             |oo
 28000 |                             |oo
 24000 |                             |oo
 20000 |                             |oo
 16000 |                             |ooo
 12000 |                             |ooo
  8000 |                             oooo
  4000 |                             ooooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1100.         Total   =  275695.      Min thru -81 =       0.
  Type  =      RW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   42749.        0 thru  39 =  147227.
  histend                  K       =  200000.       40 thru Max =  128468.

  End  analysis of Test T1100 at               12:59:36.217 960504
================================================================================

  Test T1110.  Seek a relaxation of RR, WW, and either RW or WR.

         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.

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

Start execution of Test T1110 at               12:59:42.017 960504
 entr  sync0   0                 1 1 1 1 0 0 0 0
 entr  sync0       2             0 1 1 1 0 0 0 0
 entr  sync0         3           0 1 0 1 0 0 0 0
 entr  sync0     1               0 1 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1        3           1 1 1 1 0 0 0 0
 entr   sync1      2             1 1 1 0 0 0 0 0
 entr   sync1    1               1 1 0 0 0 0 0 0
 entr   sync1  0                 1 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T1110 at               12:59:45.257 960504
  Duration                                            3.240
Start  analysis of Test T1110 at               12:59:46.857 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    2394    9920       0    2613
  19998    5015   12135    4986       0
  29997   49999    7204    7148    7832
  39996       0       0       0       0
  49995   49999   19741    5106    7204
  59994   49999   22332    7204    7790
  69993   49999    7204   17472   17524
  79992       0       0       0       0
  89991   49999   29570   15312    7204
  99990   49999   32365    7204   17647
 109989   49999    7204   27809   27190
 119988       0       0       0       0
 129987   49999   39424   25528    7204
 139986   49999   42506    7204   27531
 149985   49999    7204   38040   36973
 159984       0       0       0       0
 169983   49999   49400   35552    7204
 179982   49999   49999    7204   37432
 189981   49999    7204   48207   46794
 199980       0       0       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       600253          0
   1       129031     449154
   2        50449     102473
   3        15474      48626
   4         4116          0
   5          342          0
   6           99          0
   7           48          0
   8           40          0
   9           17          0
  10           11          0
  11           14          0
  12           10          0
  13           12          0
  14            7          0
  15            4          0
  16            8          0
  17            7          0
  18            4          0
  19            4          0
over           23          0

  Total number of 1110.1 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             o
560000 |                             o
520000 |                             o
480000 |                             o
440000 |                             o
400000 |                             o
360000 |                             o
320000 |                             o
280000 |                             o
240000 |                             o
200000 |                             o
160000 |                             oo
120000 |                             oo
 80000 |                             oo
 40000 |                             ooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1110.         Total   =  956257.      Min thru -81 =       0.
  Type  =      WR.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   49999.        0 thru  39 =  948880.
  histend                  K       =  200000.       40 thru Max =    7377.


  Total number of 1110.2 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
 76000 |                             |
 72000 |                             |o
 68000 |                             |o
 64000 |                             |o
 60000 |                             |o
 56000 |                             |o
 52000 |                             |o
 48000 |                             |o
 44000 |                             |o
 40000 |                             |oo
 36000 |                             |oo
 32000 |                             |oo
 28000 |                             |oo
 24000 |                             |oo
 20000 |                             |oo
 16000 |                             |ooo
 12000 |                             |ooo
  8000 |                             oooo
  4000 |                             ooooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1110.         Total   =  292543.      Min thru -81 =       0.
  Type  =      RW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   42794.        0 thru  39 =  149078.
  histend                  K       =  200000.       40 thru Max =  143465.

  End  analysis of Test T1110 at               13:00:00.217 960504
================================================================================

  Test T1120.  Seek a relaxation of RR, WW, and either RW or WR.

         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.

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

Start execution of Test T1120 at               13:00:06.397 960504
 entr  sync0   0                 1 1 1 1 0 0 0 0
 entr  sync0     1               0 1 1 1 0 0 0 0
 entr  sync0         3           0 0 1 1 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 1 0 0 0 0
 entr   sync1        3           0 1 1 1 0 0 0 0
 entr   sync1      2             0 1 1 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T1120 at               13:00:09.377 960504
  Duration                                            2.980
Start  analysis of Test T1120 at               13:00:13.797 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    3042       0    6448    1997
  19998       0    5853   12763    4216
  29997    6448   49999   15173       0
  39996       0       0       0       0
  49995   12512   49999    6448   12487
  59994    6876   49999   24790    6448
  69993    6448   49999   25120    9865
  79992       0       0       0       0
  89991   20762   49999    6448   24615
  99990   15171   49999   36772    6448
 109989    6448   49999   35022   19885
 119988       0       0       0       0
 129987   29015   49999    6448   36696
 139986   23498   49999   48828    6448
 149985    6448   49999   44964   29994
 159984       0       0       0       0
 169983   37298   49999    6448   48873
 179982   31875   49999   49999    6448
 189981    6448   49999   49999   39965
 199980       0       0       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       599944          0
   1       136182     451579
   2        48671      96696
   3        12836      51668
   4         1978          1
   5          130          0
   6           34          0
   7           30          0
   8           66          0
   9           12          0
  10            5          0
  11            8          0
  12           10          0
  13            5          0
  14            6          0
  15            3          0
  16            5          0
  17            7          0
  18            1          0
  19            4          0
over           39          0

  Total number of 1120.1 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             o
560000 |                             o
520000 |                             o
480000 |                             o
440000 |                             o
400000 |                             o
360000 |                             o
320000 |                             o
280000 |                             o
240000 |                             o
200000 |                             oo
160000 |                             oo
120000 |                             oo
 80000 |                             ooo
 40000 |                             ooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1120.         Total   = 1005287.      Min thru -81 =       0.
  Type  =      WR.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   49999.        0 thru  39 =  948666.
  histend                  K       =  200000.       40 thru Max =   56621.


  Total number of 1120.2 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
 76000 |                             |
 72000 |                             |o
 68000 |                             |o
 64000 |                             |o
 60000 |                             |o
 56000 |                             |o
 52000 |                             |o
 48000 |                             |o
 44000 |                             |o
 40000 |                             |oo
 36000 |                             |oo
 32000 |                             |oo
 28000 |                             |oo
 24000 |                             |oo
 20000 |                             |oo
 16000 |                             |ooo
 12000 |                             |ooo
  8000 |                             oooo
  4000 |                             oooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1120.         Total   =  286599.      Min thru -81 =       0.
  Type  =      RW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   43550.        0 thru  39 =  148705.
  histend                  K       =  200000.       40 thru Max =  137894.

  End  analysis of Test T1120 at               13:00:26.637 960504
================================================================================

  Test T1200.  Seek a relaxation of RR, WW, and CC1.

         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].

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

Start execution of Test T1200 at               13:00:33.017 960504
 entr  sync0   0                 1 1 1 1 0 0 0 0
 entr  sync0     1               0 1 1 1 0 0 0 0
 entr  sync0         3           0 0 1 1 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 1 0 0 0 0
 entr   sync1        3           0 1 1 1 0 0 0 0
 entr   sync1      2             0 1 1 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T1200 at               13:00:35.877 960504
  Duration                                            2.860
Start  analysis of Test T1200 at               13:00:35.877 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    2996       0    6718    2016
  19998       0    5867   13763    4150
  29997    6718   47657   14562       0
  39996    9999    9999    9999    9999
  49995   11468   30337    6718   13983
  59994    5932   43672   26892    6718
  69993    6718   49999   23552   10804
  79992   19998   19998   19998   19998
  89991   18310   49999    6718   28659
  99990   13531   49999   39860    6718
 109989    6718   49999   32634   21875
 119988   29997   29997   29997   29997
 129987   25204   49999   16636   42925
 139986   21265   49999   49999    6718
 149985    6718   49999   49999   30337
 159984   39996   39996   39996   39996
 169983   32167   49999   16636   49999
 179982   28908   49999   49999   16302
 189981    7344   49999   49999   32360
 199980   49995   49995   49995   49995


 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       405007          0
   1       334627     185191
   2        41968     118747
   3        15925      26988
   4         2151      74079
   5           99          0
   6           26          0
   7           25          1
   8           28          1
   9           14          0
  10            5          0
  11            6          0
  12            4          0
  13           10          0
  14            8          0
  15            3          0
  16            3          0
  17            3          0
  18            5          0
  19            4          0
over           56          0

  Total number of 1200.1 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
475000 |                             |
450000 |                             |
425000 |                             o
400000 |                             oo
375000 |                             oo
350000 |                             oo
325000 |                             oo
300000 |                             oo
275000 |                             oo
250000 |                             oo
225000 |                             oo
200000 |                             oo
175000 |                             oo
150000 |                             oo
125000 |                             oo
100000 |                             oo
 75000 |                             ooo
 50000 |                             ooo
 25000 |                             oooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1200.         Total   = 1018081.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   39791.        0 thru  39 =  951262.
  histend                  K       =  200000.       40 thru Max =   66819.


  Total number of 1200.2 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
 76000 |                             |
 72000 |                             |
 68000 |                             |
 64000 |                             |o
 60000 |                             |o
 56000 |                             |o
 52000 |                             |o
 48000 |                             |o
 44000 |                             |o
 40000 |                             |o
 36000 |                             |oo
 32000 |                             |oo
 28000 |                             |oo
 24000 |                             |ooo
 20000 |                             |ooo
 16000 |                             |ooo
 12000 |                             |ooo
  8000 |                             oooo
  4000 |                             ooooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1200.         Total   =  285864.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   39791.        0 thru  39 =  151312.
  histend                  K       =  200000.       40 thru Max =  134552.

  End  analysis of Test T1200 at               13:00:49.257 960504
================================================================================

  Test T1210.  Seek a relaxation of RR, WW, and CC1.

         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].

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

Start execution of Test T1210 at               13:00:54.677 960504
 entr  sync0   0                 1 1 1 1 0 0 0 0
 entr  sync0     1               0 1 1 1 0 0 0 0
 entr  sync0         3           0 0 1 1 0 0 0 0
 entr  sync0       2             0 0 1 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 1 0 0 0 0
 entr   sync1        3           0 1 1 1 0 0 0 0
 entr   sync1      2             0 1 1 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T1210 at               13:00:57.957 960504
  Duration                                            3.280
Start  analysis of Test T1210 at               13:00:59.677 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999    2635   35442       0    2344
  19998    4866   40128    5136       0
  29997       0   49999    7500    7498
  39996    9999    9999    9999    9999
  49995   11862   44449       0   13164
  59994   14355   49999   15712       0
  69993       0   49999   17187   17820
  79992   19998   19998   19998   19998
  89991   21107   44449       0   24007
  99990   23812   49999   26264       0
 109989       0   49999   26999   28024
 119988   29997   29997   29997   29997
 129987   30360   44449       0   34813
 139986   33340   49999   36776       0
 149985       0   49999   44433   35442
 159984   39996   39996   39996   39996
 169983   40239   49999    7168   44680
 179982   35840   49999   49999    7168
 189981    7168   49999   49999   40608
 199980   49995   49995   49995   49995


 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       399382          0
   1       328231     183696
   2        55388     103167
   3        14400      40130
   4         2156      72387
   5          180          0
   6           79          2
   7           41          0
   8           15          0
   9            9          0
  10           14          0
  11            4          0
  12            9          0
  13            8          0
  14            8          0
  15            7          0
  16            8          0
  17            6          0
  18            4          0
  19            2          0
over           21          0

  Total number of 1210.1 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
475000 |                             |
450000 |                             |
425000 |                             o
400000 |                             o
375000 |                             oo
350000 |                             oo
325000 |                             oo
300000 |                             oo
275000 |                             oo
250000 |                             oo
225000 |                             oo
200000 |                             oo
175000 |                             oo
150000 |                             oo
125000 |                             oo
100000 |                             oo
 75000 |                             ooo
 50000 |                             ooo
 25000 |                             oooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1210.         Total   = 1038429.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   37541.        0 thru  39 =  950053.
  histend                  K       =  200000.       40 thru Max =   88376.


  Total number of 1210.2 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
 76000 |                             |
 72000 |                             |o
 68000 |                             |o
 64000 |                             |o
 60000 |                             |o
 56000 |                             |o
 52000 |                             |o
 48000 |                             |o
 44000 |                             |o
 40000 |                             |oo
 36000 |                             |oo
 32000 |                             |oo
 28000 |                             |oo
 24000 |                             |oo
 20000 |                             |oo
 16000 |                             |ooo
 12000 |                             oooo
  8000 |                             oooo
  4000 |                             oooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1210.         Total   =  262453.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   42830.        0 thru  39 =  150178.
  histend                  K       =  200000.       40 thru Max =  112275.

  End  analysis of Test T1210 at               13:01:13.357 960504
================================================================================

  Test T1220.  Seek a relaxation of RR, WW, and CC1.

         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].

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

Start execution of Test T1220 at               13:01:18.837 960504
 entr  sync0   0                 1 1 1 1 0 0 0 0
 entr  sync0       2             0 1 1 1 0 0 0 0
 entr  sync0         3           0 1 0 1 0 0 0 0
 entr  sync0     1               0 1 0 0 0 0 0 0
  exit sync0       2             0 0 0 0 0 0 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
 entr   sync1      2             1 1 1 1 0 0 0 0
 entr   sync1        3           1 1 0 1 0 0 0 0
 entr   sync1  0                 1 1 0 0 0 0 0 0
 entr   sync1    1               0 1 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T1220 at               13:01:22.577 960504
  Duration                                            3.740
Start  analysis of Test T1220 at               13:01:26.977 960504

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   39542    2609    2382       0
  19998   43282    4462       0    5580
  29997   41024       0    6962    8049
  39996    9999    9999    9999    9999
  49995   47537   11928   13125       0
  59994   49999   13554       0   16540
  69993   41024       0   16720   18330
  79992   19998   19998   19998   19998
  89991   49999   21322   23751       0
  99990   49999   22692       0   27593
 109989   41024       0   26352   28687
 119988   29997   29997   29997   29997
 129987   49999   30657   34263       0
 139986   49999   31969       0   38366
 149985   41024       0   36184   38859
 159984   39996   39996   39996   39996
 169983   49999   49999   41024    6172
 179982   49999   49999    6967   41024
 189981   41024   49999   45424   49791
 199980   49995   49995   49995   49995


 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       355191          0
   1       393187     146973
   2        44600      75625
   3         6291      28620
   4          452     103972
   5           59          0
   6           30          1
   7           15          0
   8            9          0
   9           16          0
  10           12          0
  11           10          0
  12           15          0
  13            8          0
  14           11          0
  15            6          0
  16            9          0
  17            9          0
  18            6          0
  19            8          0
over           32          0

  Total number of 1220.1 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
475000 |                             |o
450000 |                             |o
425000 |                             |o
400000 |                             |o
375000 |                             oo
350000 |                             oo
325000 |                             oo
300000 |                             oo
275000 |                             oo
250000 |                             oo
225000 |                             oo
200000 |                             oo
175000 |                             oo
150000 |                             oo
125000 |                             oo
100000 |                             oo
 75000 |                             oo
 50000 |                             ooo
 25000 |                             ooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1220.         Total   = 1009663.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   49999.        0 thru  39 =  959339.
  histend                  K       =  200000.       40 thru Max =   50324.


  Total number of 1220.2 errors:    0.

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

            ------ Relaxed ------    |         ------ Strong ------
 95000 |                             |o
 90000 |                             |o
 85000 |                             |o
 80000 |                             |o
 75000 |                             |o
 70000 |                             |o
 65000 |                             |o
 60000 |                             |o
 55000 |                             |o
 50000 |                             |o
 45000 |                             |o
 40000 |                             |oo
 35000 |                             |oo
 30000 |                             |oo
 25000 |                             |oo
 20000 |                             |oo
 15000 |                             |oo
 10000 |                             |oo
  5000 |                             oooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =    1220.         Total   =  299556.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   49998.        0 thru  39 =  159461.
  histend                  K       =  200000.       40 thru Max =  140095.

  End  analysis of Test T1220 at               13:01:40.697 960504
================================================================================


Summary of run parameters:
  Number of threads:         8.
  Length of the arrays:      200000.
  Line count:                0.
  Action count:              0.
  Interference count:        0.
  T10 thread 0 count:        100000.
  T10 thread 1 count:        10000.
  T10 thread 2 count:        100000.

  A memory model is defined by the set of rules it obeys.
Each test in ARCHTEST seeks to observe a relaxation of
behavior defined by one or another subset of the following
seven rules:  UPO, RR, WW, RW, WR, CC1, and CC3.

  The tests that were performed above are listed below.
Shown with each test is the set of rules whose relaxation the test sought
to observe.  Also shown are the duration of the test and the number
of integer operands and the number of floating operands used in the test.

Test                     Rules                   Duration  int flt
T900      UPO        WW                   CC3       2.860   1   0
T920      UPO        WW                   CC3       2.840   0   1
T1100           RR   WW   RW                        3.220   4   0
T1100           RR   WW        WR                           4   0
T1110           RR   WW   RW                        3.240   2   2
T1110           RR   WW        WR                           2   2
T1120           RR   WW   RW                        2.980   0   4
T1120           RR   WW        WR                           0   4
T1200     UPO   RR   WW             CC1             2.860   4   0
T1210     UPO   RR   WW             CC1             3.280   2   2
T1220     UPO   RR   WW             CC1             3.740   0   4

  Descriptions of the relaxations detected by the tests:
    None.

  Tests which saw relaxed behavior, and the relaxations seen:
    None                 None
================================================================================