From:   IN%"nmanjiki@eecg.toronto.edu"  "Naraig Manjikian" 11-APR-1996 22:03:00.14
To:     IN%"mpdiag@ACM.ORG"

Date: Thu, 11 Apr 1996 22:02:09 -0400
From: Naraig Manjikian 
Subject: success
To: mpdiag@ACM.ORG

I tried out ARCHTEST on the KSR. Took me about only about 20 minutes
to modify the code and compile it. Worked fine.

Here is the output from my test.
It was terminated prematurely at the end by 'signal 24', which is
caused by exceeding the CPU time limit, which is hard-limited to 10 minutes.
So don't worry; it's not a problem with ARCHTEST.

It was quite easy to get it working; the 'partest' code was useful.

--Naraig--

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

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

                                               20:33:08.002 960411

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

Parameters for this run:
Type of run:           1. Perform a real multiprocessor test..
Output file name:      atest_00.out.
Number of threads:     8.
Length of the arrays:  200000.
Test(s) to run:        all.

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

Time to perform 1000000 of the following integer operations:
  NOPs:                                               0.620
  Additions:                                          0.880
  Subtractions:                                       0.660
  Multiplications:                                    0.680
  Divisions:                                          3.140
  Test T100.  Seek a relaxation of RR and WW.

          T0            T1
     L11: A = 1;   L11: U[1] = A;
     L12: A = 2;   L12: U[2] = A;
     L21: A = 3;   L21: U[3] = A;
     L22: A = 4;   L22: U[4] = A;
     L31: A = 5;   L31: U[5] = A;
     L32: A = 6;   L32: U[6] = A;
     L41: A = 7;   L41: U[7] = A;
     L42: A = 8;   L42: U[8] = A; etc.

  Seek 1.0.  U[i] > U[i+1].  d = U[i+1] - U[i].

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T100  at               20:34:38.122 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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 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
  End execution of Test T100  at               20:34:39.082 960411
  Duration                                            0.960
Start  analysis of Test T100  at               20:34:39.102 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    1233       0       0       0
   9999   30024       0       0       0
  19998   58228       0       0       0
  29997   86305       0       0       0
  39996  114482       0       0       0
  49995  142866       0       0       0
  59994  171140       0       0       0
  69993  199375       0       0       0
  79992  199999       0       0       0
  89991  199999       0       0       0
  99990  199999       0       0       0
 109989  199999       0       0       0
 119988  199999       0       0       0
 129987  199999       0       0       0
 139986  199999       0       0       0
 149985  199999       0       0       0
 159984  199999       0       0       0
 169983  199999       0       0       0
 179982  199999       0       0       0
 189981  199999       0       0       0
 199980  199999       0       0       0

  End  analysis of Test T100  at               20:34:40.462 960411
================================================================================

Time to perform 1000000 of the following floating operations:
  Additions:                                          0.980
  Subtractions:                                       0.980
  Multiplications:                                    0.960
  Divisions:                                          6.260
  Test T120.  Seek a relaxation of RR and WW.

          T0            T1
     L11: A = 1;   L11: U[1] = A;
     L12: A = 2;   L12: U[2] = A;
     L21: A = 3;   L21: U[3] = A;
     L22: A = 4;   L22: U[4] = A;
     L31: A = 5;   L31: U[5] = A;
     L32: A = 6;   L32: U[6] = A;
     L41: A = 7;   L41: U[7] = A;
     L42: A = 8;   L42: U[8] = A; etc.

  Seek 1.0.  U[i] > U[i+1].  d = U[i+1] - U[i].

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T120  at               20:34:53.682 960411
 entr  sync0     1               1 1 0 0 0 0 0 0
 entr  sync0   0                 1 0 0 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
 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
  End execution of Test T120  at               20:34:54.742 960411
  Duration                                            1.060
Start  analysis of Test T120  at               20:34:55.382 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   19825       0       0       0
  19998   41667       0       0       0
  29997   63541       0       0       0
  39996   84156       0       0       0
  49995  106021       0       0       0
  59994  126526       0       0       0
  69993  149437       0       0       0
  79992  175113       0       0       0
  89991  199253       0       0       0
  99990  199999       0       0       0
 109989  199999       0       0       0
 119988  199999       0       0       0
 129987  199999       0       0       0
 139986  199999       0       0       0
 149985  199999       0       0       0
 159984  199999       0       0       0
 169983  199999       0       0       0
 179982  199999       0       0       0
 189981  199999       0       0       0
 199980  199999       0       0       0

  End  analysis of Test T120  at               20:34:56.702 960411
================================================================================

  Test T200.  Seek a relaxation of RR and WW.

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T200  at               20:35:00.802 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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 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
  End execution of Test T200  at               20:35:02.122 960411
  Duration                                            1.320
Start  analysis of Test T200  at               20:35:02.122 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0     897     913       0       0
   9999   81274   81275       0       0
  19998  164791  164795       0       0
  29997  199999  199999       0       0
  39996  199999  199999       0       0
  49995  199999  199999       0       0
  59994  199999  199999       0       0
  69993  199999  199999       0       0
  79992  199999  199999       0       0
  89991  199999  199999       0       0
  99990  199999  199999       0       0
 109989  199999  199999       0       0
 119988  199999  199999       0       0
 129987  199999  199999       0       0
 139986  199999  199999       0       0
 149985  199999  199999       0       0
 159984  199999  199999       0       0
 169983  199999  199999       0       0
 179982  199999  199999       0       0
 189981  199999  199999       0       0
 199980  199999  199999       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             |
560000 |                             |
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 |                             oo
     0 |_________._________._________.ooooooooooooooooooooooooooooooo_ooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     200.         Total   =  799992.      Min thru -81 =       0.
  Type  =   RR,WW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      94.        0 thru  39 =  799907.
  histend                  K       =  200000.       40 thru Max =      85.

  End  analysis of Test T200  at               20:35:07.562 960411
================================================================================

  Test T210.  Seek a relaxation of RR and WW.

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T210  at               20:35:11.622 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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 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
  End execution of Test T210  at               20:35:13.162 960411
  Duration                                            1.540
Start  analysis of Test T210  at               20:35:13.642 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0     974     987       0       0
   9999   63854   63854       0       0
  19998  126036  126039       0       0
  29997  188053  188054       0       0
  39996  199999  199999       0       0
  49995  199999  199999       0       0
  59994  199999  199999       0       0
  69993  199999  199999       0       0
  79992  199999  199999       0       0
  89991  199999  199999       0       0
  99990  199999  199999       0       0
 109989  199999  199999       0       0
 119988  199999  199999       0       0
 129987  199999  199999       0       0
 139986  199999  199999       0       0
 149985  199999  199999       0       0
 159984  199999  199999       0       0
 169983  199999  199999       0       0
 179982  199999  199999       0       0
 189981  199999  199999       0       0
 199980  199999  199999       0       0


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

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

  Test  =     210.         Total   =  799992.      Min thru -81 =       0.
  Type  =   RR,WW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     491.        0 thru  39 =  799897.
  histend                  K       =  200000.       40 thru Max =      95.

  End  analysis of Test T210  at               20:35:19.022 960411
================================================================================

  Test T220.  Seek a relaxation of RR and WW.

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

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

  Suffix for packed simulation output:  T1: 0.

Start execution of Test T220  at               20:35:23.122 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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 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
  End execution of Test T220  at               20:35:24.722 960411
  Duration                                            1.600
Start  analysis of Test T220  at               20:35:25.462 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0     669     679       0       0
   9999   62966   62967       0       0
  19998  125741  125744       0       0
  29997  187952  187953       0       0
  39996  199999  199999       0       0
  49995  199999  199999       0       0
  59994  199999  199999       0       0
  69993  199999  199999       0       0
  79992  199999  199999       0       0
  89991  199999  199999       0       0
  99990  199999  199999       0       0
 109989  199999  199999       0       0
 119988  199999  199999       0       0
 129987  199999  199999       0       0
 139986  199999  199999       0       0
 149985  199999  199999       0       0
 159984  199999  199999       0       0
 169983  199999  199999       0       0
 179982  199999  199999       0       0
 189981  199999  199999       0       0
 199980  199999  199999       0       0


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

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

  Test  =     220.         Total   =  799992.      Min thru -81 =       0.
  Type  =   RR,WW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     103.        0 thru  39 =  799911.
  histend                  K       =  200000.       40 thru Max =      81.

  End  analysis of Test T220  at               20:35:30.762 960411
================================================================================

  Test T300.  Seek a relaxation of RR and WW.

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

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

      Let i+ > i and j+ > j.

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


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

Start execution of Test T300  at               20:35:34.962 960411
 entr  sync0   0                 1 1 1 1 1 1 0 0
 entr  sync0     1               0 1 1 1 1 1 0 0
 entr  sync0         3           0 0 1 1 1 1 0 0
 entr  sync0           4         0 0 1 0 1 1 0 0
 entr  sync0             5       0 0 1 0 0 1 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         3           0 0 0 0 0 0 0 0
  exit sync0           4         0 0 0 0 0 0 0 0
  exit sync0             5       0 0 0 0 0 0 0 0
 entr   sync1        3           1 1 1 1 1 1 0 0
 entr   sync1      2             1 1 1 0 1 1 0 0
 entr   sync1            5       1 1 0 0 1 1 0 0
  exit sync0     1               0 0 0 0 0 0 0 0
 entr   sync1          4         1 1 0 0 1 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          4         0 0 0 0 0 0 0 0
  exit  sync1            5       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
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T300  at               20:35:37.822 960411
  Duration                                            2.860
Start  analysis of Test T300  at               20:35:37.842 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    1632    3517    4220    4451
   9999    7868    7715    8590    8487
  19998   11456   11055   12674   12315
  29997   15136   14437   16902   16289
  39996   18872   17851   21002   20239
  49995   22380   21257   24992   23929
  59994   26132   24591   29280   28015
  69993   29722   28139   33406   31821
  79992   33424   31471   37536   35757
  89991   37090   34841   41618   39597
  99990   40720   38203   45636   43355
 109989   44320   41615   49816   47193
 119988   47924   44897   53894   51055
 129987   51732   48261   58002   54977
 139986   55328   51783   62108   58947
 149985   58974   55035   66140   62695
 159984   62520   58461   70294   66609
 169983   66152   61829   75030   70505
 179982   69822   65055   81046   74899
 189981   73768   68651   87318   80517
 199980   78524   71919  130360   87417


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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
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 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  =     300.         Total   =  799996.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =    1204.        0 thru  39 =  799876.
  histend                  K       =  200000.       40 thru Max =     120.

  End  analysis of Test T300  at               20:35:48.842 960411
================================================================================

  Test T310.  Seek a relaxation of RR and WW.

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

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

      Let i+ > i and j+ > j.

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


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

Start execution of Test T310  at               20:35:53.042 960411
 entr  sync0     1               1 1 1 1 1 1 0 0
 entr  sync0   0                 1 0 1 1 1 1 0 0
 entr  sync0         3           0 0 1 1 1 1 0 0
 entr  sync0       2             0 0 1 0 1 1 0 0
 entr  sync0           4         0 0 0 0 1 1 0 0
 entr  sync0             5       0 0 0 0 0 1 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           4         0 0 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             5       0 0 0 0 0 0 0 0

 entr   sync1      2             1 1 1 1 1 1 0 0
 entr   sync1          4         1 1 0 1 1 1 0 0
 entr   sync1            5       1 1 0 1 0 1 0 0
 entr   sync1  0                 1 1 0 1 0 0 0 0
 entr   sync1    1               0 1 0 1 0 0 0 0
 entr   sync1        3           0 0 0 1 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      2             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
  End execution of Test T310  at               20:35:58.062 960411
  Duration                                            5.020
Start  analysis of Test T310  at               20:35:58.942 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    2020     440     137   15443
   9999    5812    4108    4221   16318
  19998    9410    7728   10482   23469
  29997   10361   14047   11933   27375
  39996   16992  127793   16143   31259
  49995   20632  121332   20161   31234
  59994   24216  144389   27738   39163
  69993   27800  152707   28043   43043
  79992   31280  142952   31945   42104
  89991   30865  169689   40196   45362
  99990   34259  178293   39763   54411
 109989   41984  164450   43443   51916
 119988   45420  171684   47019   61995
 129987   48948  199998   50601   58746
 139986   52474  199998   54283   62064
 149985   56070  199998   64886   73325
 159984   53127  199998   69068   68952
 169983   56287  199998   65323   72744
 179982   66618  199998   68747   77154
 189981   70272  199998   80866   95185
 199980   73666  199998   75801  103643


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

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

  Test  =     310.         Total   =  952361.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =  106283.        0 thru  39 =  902125.
  histend                  K       =  200000.       40 thru Max =   50236.

  End  analysis of Test T310  at               20:36:14.882 960411
================================================================================

  Test T320.  Seek a relaxation of RR and WW.

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

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

      Let i+ > i and j+ > j.

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


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

Start execution of Test T320  at               20:36:19.122 960411
 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         3           0 0 0 1 1 1 0 0
 entr  sync0           4         0 0 0 0 1 1 0 0
 entr  sync0             5       0 0 0 0 0 1 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           4         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         3           0 0 0 0 0 0 0 0
 entr   sync1        3           1 1 1 1 1 1 0 0
 entr   sync1      2             1 1 1 0 1 1 0 0
 entr   sync1            5       1 1 0 0 1 1 0 0
 entr   sync1          4         1 1 0 0 1 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          4         0 0 0 0 0 0 0 0
  exit  sync1            5       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
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1      2             0 0 0 0 0 0 0 0
  End execution of Test T320  at               20:36:22.202 960411
  Duration                                            3.080
Start  analysis of Test T320  at               20:36:26.002 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    1288    3855    2418    3133
   9999    3029    3308    7446    3532
  19998    6289    6376    7557   10979
  29997    9765    9590   15440   10800
  39996   13145   16637   15549   14550
  49995   20396   15970   23168   18390
  59994   23638   19428   23539   25575
  69993   23493   26095   27589   25828
  79992   26921   29279   34784   29700
  89991   33484   29222   35583   36567
  99990   36908   35617   39645   37222
 109989   37209   35776   43709   40992
 119988   40705   39102   47705   44816
 129987   44159   45187   51869   48670
 139986   50132   48277   57814   54595
 149985   53316   49062   59793   56232
 159984   54621   52360   63841   60072
 169983   59950   55660   69750   65509
 179982   61545   60831   74268   67394
 189981   64953   63981   76545   73249
 199980   70226   65544   83523   77457


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

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

  Test  =     320.         Total   =  986191.      Min thru -81 =       0.
  Type  =   RR/WW.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     922.        0 thru  39 =  985797.
  histend                  K       =  200000.       40 thru Max =     394.

  End  analysis of Test T320  at               20:36:43.302 960411
================================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].
  Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
  Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
  Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
  Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.

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

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T400  at               20:36:47.622 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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    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  0                 0 0 0 0 0 0 0 0
  End execution of Test T400  at               20:36:51.342 960411
  Duration                                            3.720
Start  analysis of Test T400  at               20:36:51.362 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     289       0       0
   9999   10799    9274       0       0
  19998   21984   18261       0       0
  29997   33039   27200       0       0
  39996   44050   36297       0       0
  49995   55019   45485       0       0
  59994   66144   54452       0       0
  69993   76983   63488       0       0
  79992   88064   72775       0       0
  89991   99080   81750       0       0
  99990  109947   90784       0       0
 109989  121000  100032       0       0
 119988  131990  109056       0       0
 129987  142972  118180       0       0
 139986  153683  127248       0       0
 149985  164629  136528       0       0
 159984  175704  145807       0       0
 169983  186624  154783       0       0
 179982  197680  163948       0       0
 189981  199999  173010       0       0
 199980  199999  182105       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       115789          0
   1       242006      73193
   2        25046       5182
   3         4656       6007
   4         2638       4385
   5         2939       3377
   6         3554       3992
   7         2736       2495
   8          206       2732
   9           49       2334
  10           34       1917
  11           30       1918
  12           14       1357
  13            8       1164
  14           14        986
  15           17        770
  16           28        696
  17           28        473
  18           33        370
  19           23        314
over          132       2127

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20   158557   0      166  20
      0 -79        0 -59        0 -39        0 -19   486072   1      152  21
      0 -78        0 -58        0 -38        0 -18    66658   2      126  22
      0 -77        0 -57        0 -37        0 -17    21408   3      114  23
      0 -76        0 -56        0 -36        0 -16    13603   4      103  24
      0 -75        0 -55        0 -35        0 -15    12258   5       94  25
      0 -74        0 -54        0 -34        0 -14    10634   6       99  26
      0 -73        0 -53        0 -33        0 -13     6025   7       92  27
      0 -72        0 -52        0 -32        0 -12      811   8       88  28
      0 -71        0 -51        0 -31        0 -11      473   9       84  29
      0 -70        0 -50        0 -30        0 -10      417  10       78  30
      0 -69        0 -49        0 -29        0  -9      383  11       79  31
      0 -68        0 -48        0 -28        0  -8      340  12       75  32
      0 -67        0 -47        0 -27        0  -7      319  13       76  33
      0 -66        0 -46        0 -26        0  -6      319  14       72  34
      0 -65        0 -45        0 -25        0  -5      304  15       70  35
      0 -64        0 -44        0 -24        0  -4      292  16       63  36
      0 -63        0 -43        0 -23        0  -3      269  17       54  37
      0 -62        0 -42        0 -22        0  -2      243  18       54  38
      0 -61        0 -41        0 -21        0  -1      200  19       46  39

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

  Test  =     400.         Total   =  782116.      Min thru -81 =       0.
  Type  =     WR .         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     302.        0 thru  39 =  781370.
  histend                  K       =  200000.       40 thru Max =     746.

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20      455   0      180  20
      0 -79        0 -59        0 -39        0 -19   244067   1      162  21
      0 -78        0 -58        0 -38        0 -18    62695   2      135  22
      0 -77        0 -57        0 -37        0 -17    23414   3      116  23
      0 -76        0 -56        0 -36        0 -16    14218   4      107  24
      0 -75        0 -55        0 -35        0 -15    12324   5       97  25
      0 -74        0 -54        0 -34        0 -14    10905   6       97  26
      0 -73        0 -53        0 -33        0 -13     6473   7       93  27
      0 -72        0 -52        0 -32        0 -12     1172   8       89  28
      0 -71        0 -51        0 -31        0 -11      575   9       87  29
      0 -70        0 -50        0 -30        0 -10      455  10       81  30
      0 -69        0 -49        0 -29        0  -9      400  11       78  31
      0 -68        0 -48        0 -28        0  -8      346  12       76  32
      0 -67        0 -47        0 -27        0  -7      329  13       74  33
      0 -66        0 -46        0 -26        0  -6      322  14       73  34
      0 -65        0 -45        0 -25        0  -5      311  15       69  35
      0 -64        0 -44        0 -24        0  -4      301  16       65  36
      0 -63        0 -43        0 -23        0  -3      269  17       57  37
      0 -62        0 -42        0 -22        0  -2      254  18       58  38
      0 -61        0 -41        0 -21        0  -1      215  19       49  39

            ------ Relaxed ------    |         ------ Strong ------
380000 |                             |
360000 |                             |
340000 |                             |
320000 |                             |
300000 |                             |
280000 |                             |
260000 |                             |
240000 |                             |o
220000 |                             |o
200000 |                             |o
180000 |                             |o
160000 |                             |o
140000 |                             |o
120000 |                             |o
100000 |                             |o
 80000 |                             |o
 60000 |                             |oo
 40000 |                             |oo
 20000 |                             |ooo
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     400.         Total   =  399698.      Min thru -81 =       0.
  Type  =     RW .         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   17878.        0 thru  39 =  381343.
  histend                  K       =  200000.       40 thru Max =   18355.

  End  analysis of Test T400  at               20:37:02.122 960411
================================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].
  Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
  Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
  Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
  Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.

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

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T410  at               20:37:06.182 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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    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  0                 0 0 0 0 0 0 0 0
  End execution of Test T410  at               20:37:09.882 960411
  Duration                                            3.700
Start  analysis of Test T410  at               20:37:10.302 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     515       0       0
   9999   10372    9642       0       0
  19998   21721   18573       0       0
  29997   32919   27328       0       0
  39996   44207   36332       0       0
  49995   55655   45060       0       0
  59994   66869   53877       0       0
  69993   78212   62802       0       0
  79992   89599   71509       0       0
  89991  100921   80344       0       0
  99990  112038   89209       0       0
 109989  123195   98163       0       0
 119988  134619  107120       0       0
 129987  145799  115986       0       0
 139986  157184  124807       0       0
 149985  168608  133648       0       0
 159984  179915  142416       0       0
 169983  191264  151151       0       0
 179982  199999  160036       0       0
 189981  199999  168876       0       0
 199980  199999  177770       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       125520          0
   1       235469      85981
   2        19932       4252
   3         1837       4611
   4         5311       3422
   5         3067       3410
   6         7206       3183
   7         1024       2718
   8           71       3309
   9           96       2742
  10           37       1665
  11           22       1662
  12           17       1942
  13           17       1106
  14           32       1151
  15           56        953
  16           86        852
  17           48        450
  18           46        275
  19           40        256
over           58       1580

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

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

  Test  =     410.         Total   =  777779.      Min thru -81 =       0.
  Type  =     WR .         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     529.        0 thru  39 =  777139.
  histend                  K       =  200000.       40 thru Max =     640.

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
380000 |                             |
360000 |                             |
340000 |                             |
320000 |                             |
300000 |                             |
280000 |                             |
260000 |                             |
240000 |                             |
220000 |                             |o
200000 |                             |o
180000 |                             |o
160000 |                             |o
140000 |                             |o
120000 |                             |o
100000 |                             |o
 80000 |                             |o
 60000 |                             |o
 40000 |                             |oo
 20000 |                             |ooo
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     410.         Total   =  399471.      Min thru -81 =       0.
  Type  =     RW .         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   22215.        0 thru  39 =  377128.
  histend                  K       =  200000.       40 thru Max =   22343.

  End  analysis of Test T410  at               20:37:20.942 960411
================================================================================

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

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

  Seek 4.0. U[i] > U[i+1].          d  = U[i+1] - U[i].
  Seek 4.0. V[i] > V[i+1].          d  = V[i+1] - V[i].
  Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
  Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
  Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
  Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.

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

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T420  at               20:37:24.982 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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 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
  End execution of Test T420  at               20:37:28.522 960411
  Duration                                            3.540
Start  analysis of Test T420  at               20:37:29.282 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     215       0       0
   9999    7824   12694       0       0
  19998   16179   24212       0       0
  29997   25125   36042       0       0
  39996   33104   48043       0       0
  49995   41808   58927       0       0
  59994   50915   69865       0       0
  69993   60120   80758       0       0
  79992   69294   91702       0       0
  89991   78376  103020       0       0
  99990   87408  114160       0       0
 109989   96170  125160       0       0
 119988  105316  136168       0       0
 129987  114265  147216       0       0
 139986  123460  158320       0       0
 149985  132432  169337       0       0
 159984  141466  180233       0       0
 169983  150569  191120       0       0
 179982  159759  199999       0       0
 189981  168930  199999       0       0
 199980  178064  199999       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       144777          0
   1       204378      93591
   2        24874       8758
   3         4908       9465
   4         9762       5578
   5         4782       5330
   6         4705       4355
   7         1025       3332
   8          148       3234
   9          101       2251
  10           27       2077
  11           31       1769
  12           51       1647
  13           68       1010
  14           85        612
  15           81        482
  16           99        220
  17           17        148
  18           10        122
  19           10        124
over           50        672

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

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

  Test  =     420.         Total   =  778075.      Min thru -81 =       0.
  Type  =     WR .         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     226.        0 thru  39 =  777722.
  histend                  K       =  200000.       40 thru Max =     353.

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
380000 |                             |
360000 |                             |
340000 |                             |
320000 |                             |
300000 |                             |
280000 |                             |
260000 |                             |
240000 |                             |
220000 |                             |
200000 |                             |o
180000 |                             |o
160000 |                             |o
140000 |                             |o
120000 |                             |o
100000 |                             |o
 80000 |                             |o
 60000 |                             |oo
 40000 |                             |oo
 20000 |                             |oooo
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     420.         Total   =  399774.      Min thru -81 =       0.
  Type  =     RW .         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =   21919.        0 thru  39 =  377712.
  histend                  K       =  200000.       40 thru Max =   22062.

  End  analysis of Test T420  at               20:37:39.922 960411
================================================================================

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

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

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

  Suffix for packed simulation output:  T2: 0.

Start execution of Test T500  at               20:37:44.102 960411
 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    1               0 1 1 0 0 0 0 0
 entr   sync1      2             0 0 1 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 T500  at               20:37:45.542 960411
  Duration                                            1.440
Start  analysis of Test T500  at               20:37:45.542 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    2307    2693       0       0
   9999   65159   65170       0       0
  19998  127949  127956       0       0
  29997  190552  190569       0       0
  39996  199999  199999       0       0
  49995  199999  199999       0       0
  59994  199999  199999       0       0
  69993  199999  199999       0       0
  79992  199999  199999       0       0
  89991  199999  199999       0       0
  99990  199999  199999       0       0
 109989  199999  199999       0       0
 119988  199999  199999       0       0
 129987  199999  199999       0       0
 139986  199999  199999       0       0
 149985  199999  199999       0       0
 159984  199999  199999       0       0
 169983  199999  199999       0       0
 179982  199999  199999       0       0
 189981  199999  199999       0       0
 199980  199999  199999       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             |
560000 |                             |
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 |_________._________._________.ooooooooooooooooooooooooooooooooooooo_o
     -30       -20       -10         0        10        20        30        40

  Test  =     500.         Total   =  599994.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     391.        0 thru  39 =  599890.
  histend                  K       =  200000.       40 thru Max =     104.

  End  analysis of Test T500  at               20:37:49.782 960411
================================================================================

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

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

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

  Suffix for packed simulation output:  T2: 0.

Start execution of Test T510  at               20:37:54.242 960411
 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
  exit sync0   0                 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      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  End execution of Test T510  at               20:37:55.802 960411
  Duration                                            1.560
Start  analysis of Test T510  at               20:37:56.242 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   62740   62762       0       0
  19998  126730  126744       0       0
  29997  191138  191146       0       0
  39996  199999  199999       0       0
  49995  199999  199999       0       0
  59994  199999  199999       0       0
  69993  199999  199999       0       0
  79992  199999  199999       0       0
  89991  199999  199999       0       0
  99990  199999  199999       0       0
 109989  199999  199999       0       0
 119988  199999  199999       0       0
 129987  199999  199999       0       0
 139986  199999  199999       0       0
 149985  199999  199999       0       0
 159984  199999  199999       0       0
 169983  199999  199999       0       0
 179982  199999  199999       0       0
 189981  199999  199999       0       0
 199980  199999  199999       0       0


  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20   533177   0      704  20
      0 -79        0 -59        0 -39        0 -19        1   1      450  21
      0 -78        0 -58        0 -38        0 -18       28   2      175  22
      0 -77        0 -57        0 -37        0 -17      182   3      153  23
      0 -76        0 -56        0 -36        0 -16      106   4       93  24
      0 -75        0 -55        0 -35        0 -15      325   5      118  25
      0 -74        0 -54        0 -34        0 -14      760   6       84  26
      0 -73        0 -53        0 -33        0 -13     6371   7       30  27
      0 -72        0 -52        0 -32        0 -12    17498   8       11  28
      0 -71        0 -51        0 -31        0 -11    12180   9       15  29
      0 -70        0 -50        0 -30        0 -10     3892  10       13  30
      0 -69        0 -49        0 -29        0  -9     1554  11       11  31
      0 -68        0 -48        0 -28        0  -8      833  12        6  32
      0 -67        0 -47        0 -27        0  -7      804  13        3  33
      0 -66        0 -46        0 -26        0  -6     1028  14       12  34
      0 -65        0 -45        0 -25        0  -5     3155  15        7  35
      0 -64        0 -44        0 -24        0  -4     7313  16        5  36
      0 -63        0 -43        0 -23        0  -3     4580  17        1  37
      0 -62        0 -42        0 -22        0  -2     2973  18        4  38
      0 -61        0 -41        0 -21        0  -1     1276  19        2  39

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             |
560000 |                             |
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 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     510.         Total   =  599994.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      83.        0 thru  39 =  599933.
  histend                  K       =  200000.       40 thru Max =      61.

  End  analysis of Test T510  at               20:38:00.482 960411
================================================================================

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

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

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

  Suffix for packed simulation output:  T2: 0.

Start execution of Test T520  at               20:38:04.582 960411
 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    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 T520  at               20:38:06.122 960411
  Duration                                            1.540
Start  analysis of Test T520  at               20:38:06.842 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0     801     818       0       0
   9999   64427   64435       0       0
  19998  128404  128419       0       0
  29997  192450  192464       0       0
  39996  199999  199999       0       0
  49995  199999  199999       0       0
  59994  199999  199999       0       0
  69993  199999  199999       0       0
  79992  199999  199999       0       0
  89991  199999  199999       0       0
  99990  199999  199999       0       0
 109989  199999  199999       0       0
 119988  199999  199999       0       0
 129987  199999  199999       0       0
 139986  199999  199999       0       0
 149985  199999  199999       0       0
 159984  199999  199999       0       0
 169983  199999  199999       0       0
 179982  199999  199999       0       0
 189981  199999  199999       0       0
 199980  199999  199999       0       0


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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             |
560000 |                             |
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 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     520.         Total   =  599994.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      49.        0 thru  39 =  599982.
  histend                  K       =  200000.       40 thru Max =      12.

  End  analysis of Test T520  at               20:38:11.022 960411
================================================================================

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

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

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

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

Start execution of Test T600  at               20:38:15.162 960411
 entr  sync0   0                 1 1 1 1 1 1 0 0
 entr  sync0     1               0 1 1 1 1 1 0 0
 entr  sync0         3           0 0 1 1 1 1 0 0
 entr  sync0           4         0 0 1 0 1 1 0 0
 entr  sync0       2             0 0 1 0 0 1 0 0
 entr  sync0             5       0 0 0 0 0 1 0 0
  exit sync0           4         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
  exit sync0     1               0 0 0 0 0 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
 entr   sync1    1               1 1 1 1 1 1 0 0
 entr   sync1  0                 1 0 1 1 1 1 0 0
 entr   sync1      2             0 0 1 1 1 1 0 0
 entr   sync1        3           0 0 0 1 1 1 0 0
 entr   sync1            5       0 0 0 0 1 1 0 0
 entr   sync1          4         0 0 0 0 1 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    1               0 0 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          4         0 0 0 0 0 0 0 0
  End execution of Test T600  at               20:38:16.182 960411
  Duration                                            1.020
Start  analysis of Test T600  at               20:38:16.202 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    1761     857       0    2485
   9999   39097   41015   35606   44602
  19998   67244   72213   73665   76406
  29997  115319  124687  132838  131280
  39996  137027  151497  166884  159453
  49995  191794  199999  199999  199999
  59994  192180  195553  199999  199546
  69993  199999  199999  199999  199999
  79992  199999  199999  199999  199999
  89991  199999  199999  199999  199999
  99990  199999  199999  199999  199999
 109989  199999  199999  199999  199999
 119988  199999  199999  199999  199999
 129987  199999  199999  199999  199999
 139986  199999  199999  199999  199999
 149985  199999  199999  199999  199999
 159984  199999  199999  199999  199999
 169983  199999  199999  199999  199999
 179982  199999  199999  199999  199999
 189981  199999  199999  199999  199999
 199980  199999  199999  199999  199999

Start 2d  analysis.                            20:38:22.722 960411
Start 3d  analysis.                            20:38:23.782 960411
Start 4th analysis.                            20:38:24.862 960411
Start 5th analysis.                            20:38:25.922 960411
Start 6th analysis.                            20:38:26.982 960411

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20   659526   0    12452  20
      0 -79        0 -59        0 -39        0 -19      580   1     9703  21
      0 -78        0 -58        0 -38        0 -18     2777   2     7800  22
      0 -77        0 -57        0 -37        0 -17     3442   3     5729  23
      0 -76        0 -56        0 -36        0 -16     8308   4     4369  24
      0 -75        0 -55        0 -35        0 -15    19739   5     3357  25
      0 -74        0 -54        0 -34        0 -14    23948   6     2375  26
      0 -73        0 -53        0 -33        0 -13    30112   7     1538  27
      0 -72        0 -52        0 -32        0 -12    34061   8     1207  28
      0 -71        0 -51        0 -31        0 -11    37378   9      767  29
      0 -70        0 -50        0 -30        0 -10    37815  10      613  30
      0 -69        0 -49        0 -29        0  -9    36009  11      410  31
      0 -68        0 -48        0 -28        0  -8    33301  12      228  32
      0 -67        0 -47        0 -27        0  -7    29387  13      202  33
      0 -66        0 -46        0 -26        0  -6    27771  14      117  34
      0 -65        0 -45        0 -25        0  -5    25402  15       60  35
      0 -64        0 -44        0 -24        0  -4    22728  16       48  36
      0 -63        0 -43        0 -23        0  -3    20636  17       43  37
      0 -62        0 -42        0 -22        0  -2    18323  18       44  38
      0 -61        0 -41        0 -21        0  -1    14870  19       45  39

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
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 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     600.         Total   = 1142732.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =    2822.        0 thru  39 = 1137220.
  histend                  K       =  200000.       40 thru Max =    5512.

Plot of T6 data.

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

FF
 FF
  FF
   F
   FF
    FF
     FF
      FF
       FF
        FF
         F
         FF
          FF
           FF
            FF
             FF
              FF
               F
               FF
                FF
                 FF
                  FF
                   FF
                    FF
                     F
                     FF
                      FF
                       FF
                        FF
                         FF
                          FF
                           F
                           5F
                            FF
                             FF
                              FF
                               FF
                                FF
                                 F
                                 FF
                                  FF
                                   FF
                                    FF
                                     FF
                                      FF
                                       F
                                       FF
                                        FF
                                         FF
                                          FF
                                           FF
                                            FF
                                             FF
                                              FF
                                               FF
                                                FF
                                                 FF
                                                  FF
                                                   FF
                                                    FF
                                                     FF
                                                      FF
                                                       FF
                                                        FF
                                                         FF
                                                          FF
                                                           FF
                                                            FF
                                                             FF
                                                              FF
                                                               FF
                                                                FF
                                                                  F
                                                                  FF
                                                                   FF
                                                                    FF
                                                                     FF
                                                                      FFF
                                                                        FF
                                                                         FFFFFFF
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End  analysis of Test T600  at               20:38:31.562 960411
================================================================================

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

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

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

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

Start execution of Test T610  at               20:38:36.062 960411
 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         3           0 0 0 1 1 1 0 0
 entr  sync0           4         0 0 0 0 1 1 0 0
 entr  sync0             5       0 0 0 0 0 1 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         3           0 0 0 0 0 0 0 0
  exit sync0           4         0 0 0 0 0 0 0 0
  exit sync0             5       0 0 0 0 0 0 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 1 1 1 0 0
 entr   sync1    1               0 1 1 1 1 1 0 0
 entr   sync1      2             0 0 1 1 1 1 0 0
 entr   sync1        3           0 0 0 1 1 1 0 0
 entr   sync1          4         0 0 0 0 1 1 0 0
 entr   sync1            5       0 0 0 0 0 1 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          4         0 0 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
  End execution of Test T610  at               20:38:37.182 960411
  Duration                                            1.120
Start  analysis of Test T610  at               20:38:39.322 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   34975   40558   48856   54621
  19998   73507   84667  101998  112561
  29997  110654  125087  148291  161456
  39996  157573  180100  199999  199999
  49995  185121  192382  199999  199999
  59994  199999  199999  199999  199999
  69993  199999  199999  199999  199999
  79992  199999  199999  199999  199999
  89991  199999  199999  199999  199999
  99990  199999  199999  199999  199999
 109989  199999  199999  199999  199999
 119988  199999  199999  199999  199999
 129987  199999  199999  199999  199999
 139986  199999  199999  199999  199999
 149985  199999  199999  199999  199999
 159984  199999  199999  199999  199999
 169983  199999  199999  199999  199999
 179982  199999  199999  199999  199999
 189981  199999  199999  199999  199999
 199980  199999  199999  199999  199999

Start 2d  analysis.                            20:38:45.622 960411
Start 3d  analysis.                            20:38:46.702 960411
Start 4th analysis.                            20:38:47.762 960411
Start 5th analysis.                            20:38:48.782 960411
Start 6th analysis.                            20:38:49.782 960411

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20   669917   0    12824  20
      0 -79        0 -59        0 -39        0 -19      526   1    11364  21
      0 -78        0 -58        0 -38        0 -18     2666   2     9753  22
      0 -77        0 -57        0 -37        0 -17     3486   3     8263  23
      0 -76        0 -56        0 -36        0 -16     6127   4     6851  24
      0 -75        0 -55        0 -35        0 -15    12452   5     5371  25
      0 -74        0 -54        0 -34        0 -14    13318   6     4346  26
      0 -73        0 -53        0 -33        0 -13    18888   7     3332  27
      0 -72        0 -52        0 -32        0 -12    23327   8     2521  28
      0 -71        0 -51        0 -31        0 -11    28468   9     1870  29
      0 -70        0 -50        0 -30        0 -10    31795  10     1300  30
      0 -69        0 -49        0 -29        0  -9    33001  11      976  31
      0 -68        0 -48        0 -28        0  -8    33101  12      655  32
      0 -67        0 -47        0 -27        0  -7    32081  13      423  33
      0 -66        0 -46        0 -26        0  -6    28601  14      360  34
      0 -65        0 -45        0 -25        0  -5    25611  15      170  35
      0 -64        0 -44        0 -24        0  -4    22536  16      166  36
      0 -63        0 -43        0 -23        0  -3    18840  17      138  37
      0 -62        0 -42        0 -22        0  -2    16598  18      118  38
      0 -61        0 -41        0 -21        0  -1    14501  19       77  39

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
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 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     610.         Total   = 1111471.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =    2109.        0 thru  39 = 1106718.
  histend                  K       =  200000.       40 thru Max =    4753.

Plot of T6 data.

 T6 plot bounds exceeded; tmp = 6479; i = 42048.
 tmp = 80*( 199040 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42050.
 tmp = 80*( 199047 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42052.
 tmp = 80*( 199047 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42054.
 tmp = 80*( 199050 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42056.
 tmp = 80*( 199055 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42058.
 tmp = 80*( 199055 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42060.
 tmp = 80*( 199060 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42062.
 tmp = 80*( 199065 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42064.
 tmp = 80*( 199065 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42066.
 tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42068.
 tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42070.
 tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42072.
 tmp = 80*( 199079 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42074.
 tmp = 80*( 199083 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42076.
 tmp = 80*( 199083 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42078.
 tmp = 80*( 199088 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42080.
 tmp = 80*( 199098 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42082.
 tmp = 80*( 199104 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42084.
 tmp = 80*( 199104 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42086.
 tmp = 80*( 199109 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42088.
 tmp = 80*( 199109 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42090.
 tmp = 80*( 199114 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42092.
 tmp = 80*( 199114 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42094.
 tmp = 80*( 199119 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42096.
 tmp = 80*( 199119 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42098.
 tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42100.
 tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42102.
 tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42104.
 tmp = 80*( 199132 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42106.
 tmp = 80*( 199132 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42108.
 tmp = 80*( 199138 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42110.
 tmp = 80*( 199138 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42112.
 tmp = 80*( 199145 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42114.
 tmp = 80*( 199151 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42116.
 tmp = 80*( 199151 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42118.
 tmp = 80*( 199156 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42120.
 tmp = 80*( 199156 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42122.
 tmp = 80*( 199163 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42124.
 tmp = 80*( 199163 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42126.
 tmp = 80*( 199166 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42128.
 tmp = 80*( 199170 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42130.
 tmp = 80*( 199177 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42132.
 tmp = 80*( 199177 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42134.
 tmp = 80*( 199181 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42136.
 tmp = 80*( 199181 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42138.
 tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42140.
 tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42142.
 tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42144.
 tmp = 80*( 199192 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42146.
 tmp = 80*( 199197 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42148.
 tmp = 80*( 199197 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42150.
 tmp = 80*( 199202 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42152.
 tmp = 80*( 199208 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42154.
 tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42156.
 tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42158.
 tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42160.
 tmp = 80*( 199217 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42162.
 tmp = 80*( 199227 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42164.
 tmp = 80*( 199230 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42166.
 tmp = 80*( 199230 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42168.
 tmp = 80*( 199235 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42170.
 tmp = 80*( 199235 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42172.
 tmp = 80*( 199240 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42174.
 tmp = 80*( 199240 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42176.
 tmp = 80*( 199245 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42178.
 tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42180.
 tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42182.
 tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42184.
 tmp = 80*( 199259 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42186.
 tmp = 80*( 199259 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42188.
 tmp = 80*( 199264 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42190.
 tmp = 80*( 199264 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42192.
 tmp = 80*( 199269 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42194.
 tmp = 80*( 199274 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42196.
 tmp = 80*( 199279 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42198.
 tmp = 80*( 199279 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42200.
 tmp = 80*( 199283 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42202.
 tmp = 80*( 199287 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42204.
 tmp = 80*( 199287 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42206.
 tmp = 80*( 199291 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42208.
 tmp = 80*( 199298 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42210.
 tmp = 80*( 199306 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42212.
 tmp = 80*( 199306 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42214.
 tmp = 80*( 199310 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42216.
 tmp = 80*( 199310 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42218.
 tmp = 80*( 199318 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42220.
 tmp = 80*( 199318 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42222.
 tmp = 80*( 199323 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42224.
 tmp = 80*( 199323 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42226.
 tmp = 80*( 199329 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42228.
 tmp = 80*( 199334 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42230.
 tmp = 80*( 199334 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42232.
 tmp = 80*( 199339 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42234.
 tmp = 80*( 199344 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42236.
 tmp = 80*( 199344 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42238.
 tmp = 80*( 199349 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42240.
 tmp = 80*( 199357 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42242.
 tmp = 80*( 199373 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42244.
 tmp = 80*( 199373 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42246.
 tmp = 80*( 199376 / 2488 ) + ( 199999 / 2488 ).
 T6 plot bounds exceeded; tmp = 6479; i = 42248.
 tmp = 80*( 199380 / 2488 ) + ( 199999 / 2488 ).
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

7
F
FF
 FF
  FF
   FF
    FF
     FF
      FF
       FF
        FF
         FF
          FF
           FF
            FF
             FF
              FF
               FF
                FFF
                  FF
                   FF
                    FF
                     FF
                      FF
                       FF
                        FF
                         FF
                          FF
                           FFF
                             FF
                              FF
                               FF
                                FF
                                 FF
                                  FF
                                   FF
                                    FF
                                     FFF
                                       FF
                                        FF
                                         FF
                                          FF
                                           FF
                                            FF
                                             FFF
                                               FF
                                                FF
                                                 FF
                                                  FF
                                                   FF
                                                    FF
                                                     FF
                                                      FFF
                                                        FF
                                                         FF
                                                          FF
                                                           FF
                                                            FF
                                                             FF
                                                              FF
                                                               FF
                                                                FF
                                                                 FFF
                                                                   FF
                                                                    FF
                                                                     FF
                                                                      FF
                                                                       FF
                                                                        FF
                                                                         FF
                                                                          FFF
                                                                            FF
                                                                             FF
                                                                              FF
                                                                               F
                                                                               F
                                                                               F
                                                                               F
                                                                               F
                                                                               F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End  analysis of Test T610  at               20:38:55.262 960411
================================================================================

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

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

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

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

Start execution of Test T620  at               20:38:59.522 960411
 entr  sync0   0                 1 1 1 1 1 1 0 0
 entr  sync0     1               0 1 1 1 1 1 0 0
 entr  sync0         3           0 0 1 1 1 1 0 0
 entr  sync0           4         0 0 1 0 1 1 0 0
 entr  sync0             5       0 0 1 0 0 1 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           4         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   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 1 1 1 0 0
 entr   sync1    1               0 1 1 1 1 1 0 0
 entr   sync1          4         0 0 1 1 1 1 0 0
 entr   sync1            5       0 0 1 1 0 1 0 0
 entr   sync1      2             0 0 1 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    1               0 0 0 0 0 0 0 0
  exit  sync1          4         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  0                 0 0 0 0 0 0 0 0
  End execution of Test T620  at               20:39:00.562 960411
  Duration                                            1.040
Start  analysis of Test T620  at               20:39:04.382 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0       0       0       0
   9999   56902   50708   34820   41560
  19998  110924  101183   71672   83843
  29997  160104  148314  107748  124516
  39996  199999  199999  148121  170995
  49995  199999  199999  180550  197052
  59994  199999  199999  199999  199999
  69993  199999  199999  199999  199999
  79992  199999  199999  199999  199999
  89991  199999  199999  199999  199999
  99990  199999  199999  199999  199999
 109989  199999  199999  199999  199999
 119988  199999  199999  199999  199999
 129987  199999  199999  199999  199999
 139986  199999  199999  199999  199999
 149985  199999  199999  199999  199999
 159984  199999  199999  199999  199999
 169983  199999  199999  199999  199999
 179982  199999  199999  199999  199999
 189981  199999  199999  199999  199999
 199980  199999  199999  199999  199999

Start 2d  analysis.                            20:39:10.582 960411
Start 3d  analysis.                            20:39:11.522 960411
Start 4th analysis.                            20:39:12.442 960411
Start 5th analysis.                            20:39:13.402 960411
Start 6th analysis.                            20:39:14.362 960411

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20   645771   0    14909  20
      0 -79        0 -59        0 -39        0 -19      490   1    12024  21
      0 -78        0 -58        0 -38        0 -18     1944   2     9905  22
      0 -77        0 -57        0 -37        0 -17     3242   3     7527  23
      0 -76        0 -56        0 -36        0 -16     4863   4     5510  24
      0 -75        0 -55        0 -35        0 -15     9926   5     3863  25
      0 -74        0 -54        0 -34        0 -14    14533   6     2783  26
      0 -73        0 -53        0 -33        0 -13    20096   7     1972  27
      0 -72        0 -52        0 -32        0 -12    24662   8     1156  28
      0 -71        0 -51        0 -31        0 -11    28537   9      814  29
      0 -70        0 -50        0 -30        0 -10    29601  10      574  30
      0 -69        0 -49        0 -29        0  -9    28906  11      332  31
      0 -68        0 -48        0 -28        0  -8    26896  12      298  32
      0 -67        0 -47        0 -27        0  -7    25405  13      180  33
      0 -66        0 -46        0 -26        0  -6    23802  14      145  34
      0 -65        0 -45        0 -25        0  -5    22816  15       76  35
      0 -64        0 -44        0 -24        0  -4    22226  16       95  36
      0 -63        0 -43        0 -23        0  -3    20949  17      139  37
      0 -62        0 -42        0 -22        0  -2    19670  18       47  38
      0 -61        0 -41        0 -21        0  -1    17355  19       46  39

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
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 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     620.         Total   = 1056026.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =    1868.        0 thru  39 = 1054085.
  histend                  K       =  200000.       40 thru Max =    1941.

Plot of T6 data.

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

E
F
FF
 FF
  FF
   FF
    FF
     FFF
       FF
        FF
         FF
          FF
           FF
            FF
             FF
              FF
               FF
                FF
                 FF
                  FF
                   FF
                    FF
                     FF
                      FF
                       FF
                        FF
                         FF
                          FF
                           FF
                            3FF
                              FF
                               FF
                                FF
                                 FF
                                  FF
                                   FF
                                    FF
                                     FF
                                      FF
                                       FF
                                        FF
                                         FF
                                          FF
                                           FF
                                            FF
                                             FF
                                              FF
                                               FF
                                                FF
                                                 FF
                                                  FF
                                                   FFF
                                                     FF
                                                      FF
                                                       FF
                                                        FF
                                                         FF
                                                          FF
                                                           FF
                                                            FF
                                                             FF
                                                              FF
                                                               FF
                                                                FF
                                                                 FF
                                                                  FF
                                                                   FF
                                                                    FF
                                                                     FF
                                                                      FF
                                                                       FF
                                                                        FF
                                                                         FF
                                                                          FF
                                                                           FFF
                                                                             FF
                                                                              FF
                                                                               F
                                                                               F
                                                                               F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....

  End  analysis of Test T620  at               20:39:19.862 960411
================================================================================

  Test T700.  Seek a relaxation of UPO, RR, WW, and CC1.

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

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

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T700  at               20:39:24.322 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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    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  0                 0 0 0 0 0 0 0 0
  End execution of Test T700  at               20:39:28.482 960411
  Duration                                            4.160
Start  analysis of Test T700  at               20:39:28.482 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     219  199999  199999
   9999   10191    9818       0       0
  19998   20489   19505       0       0
  29997   30783   29197       0       0
  39996   41244   38817       0       0
  49995   51675   48337       0       0
  59994   61921   58169       0       0
  69993   72407   67725       0       0
  79992   82638   77445       0       0
  89991   92905   87134       0       0
  99990  103259   96864       0       0
 109989  113632  106481       0       0
 119988  123948  116177       0       0
 129987  134398  125733       0       0
 139986  144656  135406       0       0
 149985  155040  145175       0       0
 159984  165362  154751       0       0
 169983  175762  164397       0       0
 179982  186219  174034       0       0
 189981  196607  183644       0       0
 199980  199999  193297       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        82201          0
   1       282648      47082
   2        22467       3226
   3         1370       4134
   4         3351       2472
   5         3349       2526
   6         4146       1913
   7           66       2123
   8           58       2202
   9           29       1603
  10           16       1672
  11           22       1386
  12           13       1432
  13           23       1256
  14           34       1182
  15           39       1193
  16           38       1121
  17           44        729
  18           22        459
  19           12        415
over           45       4075

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
760000 |                             |
720000 |                             |
680000 |                             |
640000 |                             |
600000 |                             |
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 |                             oo
 40000 |                             ooo
     0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     700.         Total   =  793307.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     227.        0 thru  39 =  793096.
  histend                  K       =  200000.       40 thru Max =     211.

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
380000 |                             |
360000 |                             |
340000 |                             |
320000 |                             |
300000 |                             |
280000 |                             |o
260000 |                             |o
240000 |                             |o
220000 |                             |o
200000 |                             |o
180000 |                             |o
160000 |                             |o
140000 |                             |o
120000 |                             |o
100000 |                             |o
 80000 |                             |o
 60000 |                             |o
 40000 |                             |oo
 20000 |                             |oo
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     700.         Total   =  399773.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =    6687.        0 thru  39 =  393092.
  histend                  K       =  200000.       40 thru Max =    6681.

  End  analysis of Test T700  at               20:39:39.262 960411
================================================================================

  Test T710.  Seek a relaxation of UPO, RR, WW, and CC1.

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

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

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T710  at               20:39:43.342 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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    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  0                 0 0 0 0 0 0 0 0
  End execution of Test T710  at               20:39:47.382 960411
  Duration                                            4.040
Start  analysis of Test T710  at               20:39:47.802 960411


Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     644  199999       0
   9999    8856   11232       0       0
  19998   18240   21853       0       0
  29997   28127   31904       0       0
  39996   38245   41697       0       0
  49995   48520   51545       0       0
  59994   58240   61582       0       0
  69993   68783   71127       0       0
  79992   78466   81631       0       0
  89991   88092   91993       0       0
  99990   97536  102692       0       0
 109989  106875  113243       0       0
 119988  116528  123312       0       0
 129987  126658  133575       0       0
 139986  136723  143135       0       0
 149985  147324  152544       0       0
 159984  157799  161947       0       0
 169983  168500  171365       0       0
 179982  179253  180713       0       0
 189981  189815  190144       0       0
 199980  199999  199577       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        99863          0
   1       256055      55748
   2        23376       4977
   3         3452       6474
   4         7504       3738
   5         7225       3983
   6         1899       2953
   7           96       3009
   8           48       3047
   9           32       2365
  10           29       1873
  11           25       1798
  12           62       1972
  13           47       1710
  14           99       1475
  15           82       1269
  16           38        984
  17            5        373
  18            8        279
  19            3        203
over           44       1633

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

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

  Test  =     710.         Total   =  799587.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     658.        0 thru  39 =  798873.
  histend                  K       =  200000.       40 thru Max =     714.

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

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

            ------ Relaxed ------    |         ------ Strong ------
380000 |                             |
360000 |                             |
340000 |                             |
320000 |                             |
300000 |                             |
280000 |                             |
260000 |                             |
240000 |                             |o
220000 |                             |o
200000 |                             |o
180000 |                             |o
160000 |                             |o
140000 |                             |o
120000 |                             |o
100000 |                             |o
 80000 |                             |o
 60000 |                             |oo
 40000 |                             |oo
 20000 |                             |oooo
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     710.         Total   =  399342.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     407.        0 thru  39 =  398880.
  histend                  K       =  200000.       40 thru Max =     462.

  End  analysis of Test T710  at               20:39:58.562 960411
================================================================================

  Test T720.  Seek a relaxation of UPO, RR, WW, and CC1.

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

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

  Suffixes for packed simulation output:  T0: 0; T1: 1.

Start execution of Test T720  at               20:40:02.642 960411
 entr  sync0   0                 1 1 0 0 0 0 0 0
 entr  sync0     1               0 1 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    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  0                 0 0 0 0 0 0 0 0
  End execution of Test T720  at               20:40:06.682 960411
  Duration                                            4.040
Start  analysis of Test T720  at               20:40:07.422 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     798       0       0
   9999    9234   10704       0       0
  19998   19632   20376       0       0
  29997   29875   30127       0       0
  39996   40051   39937       0       0
  49995   50302   49696       0       0
  59994   60441   59544       0       0
  69993   70548   69424       0       0
  79992   80720   79256       0       0
  89991   90848   89135       0       0
  99990  101079   98912       0       0
 109989  111288  108757       0       0
 119988  121317  118624       0       0
 129987  131444  128516       0       0
 139986  141608  138401       0       0
 149985  151891  148176       0       0
 159984  162028  157973       0       0
 169983  172174  167801       0       0
 179982  182357  177632       0       0
 189981  192561  187458       0       0
 199980  199999  197197       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       101282          0
   1       253314      55962
   2        24833       3479
   3         5853       6931
   4         5167       3760
   5         8103       5387
   6          693       3974
   7          107       3461
   8           73       3774
   9           25       2528
  10           24       1514
  11           34       1755
  12          104       2230
  13          158       2117
  14           60        950
  15           37        784
  16           11        505
  17            6        217
  18            8        196
  19            6        197
over           95       1561

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20   148026   0      108  20
      0 -79        0 -59        0 -39        0 -19   510489   1      105  21
      0 -78        0 -58        0 -38        0 -18    68434   2      104  22
      0 -77        0 -57        0 -37        0 -17    24172   3      103  23
      0 -76        0 -56        0 -36        0 -16    18387   4       91  24
      0 -75        0 -55        0 -35        0 -15    17883   5       87  25
      0 -74        0 -54        0 -34        0 -14     2067   6       82  26
      0 -73        0 -53        0 -33        0 -13      859   7       82  27
      0 -72        0 -52        0 -32        0 -12      721   8       74  28
      0 -71        0 -51        0 -31        0 -11      612   9       68  29
      0 -70        0 -50        0 -30        0 -10      579  10       67  30
      0 -69        0 -49        0 -29        0  -9      558  11       57  31
      0 -68        0 -48        0 -28        0  -8      568  12       47  32
      0 -67        0 -47        0 -27        0  -7      522  13       42  33
      0 -66        0 -46        0 -26        0  -6      272  14       41  34
      0 -65        0 -45        0 -25        0  -5      199  15       35  35
      0 -64        0 -44        0 -24        0  -4      144  16       29  36
      0 -63        0 -43        0 -23        0  -3      133  17       28  37
      0 -62        0 -42        0 -22        0  -2      130  18       26  38
      0 -61        0 -41        0 -21        0  -1      118  19       25  39

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

  Test  =     720.         Total   =  797209.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =     813.        0 thru  39 =  796174.
  histend                  K       =  200000.       40 thru Max =    1035.

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

Totals / Min / Under -25:
            0         0         0         0
            0         0         0         0
            0         0         0         0

  Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
      0 -80        0 -60        0 -40        0 -20      423   0      115  20
      0 -79        0 -59        0 -39        0 -19   257176   1      106  21
      0 -78        0 -58        0 -38        0 -18    66799   2      107  22
      0 -77        0 -57        0 -37        0 -17    24543   3       93  23
      0 -76        0 -56        0 -36        0 -16    18776   4       92  24
      0 -75        0 -55        0 -35        0 -15    18536   5       88  25
      0 -74        0 -54        0 -34        0 -14     2793   6       86  26
      0 -73        0 -53        0 -33        0 -13      961   7       80  27
      0 -72        0 -52        0 -32        0 -12      762   8       77  28
      0 -71        0 -51        0 -31        0 -11      643   9       69  29
      0 -70        0 -50        0 -30        0 -10      596  10       66  30
      0 -69        0 -49        0 -29        0  -9      575  11       64  31
      0 -68        0 -48        0 -28        0  -8      585  12       54  32
      0 -67        0 -47        0 -27        0  -7      559  13       48  33
      0 -66        0 -46        0 -26        0  -6      316  14       46  34
      0 -65        0 -45        0 -25        0  -5      231  15       36  35
      0 -64        0 -44        0 -24        0  -4      172  16       33  36
      0 -63        0 -43        0 -23        0  -3      142  17       27  37
      0 -62        0 -42        0 -22        0  -2      130  18       25  38
      0 -61        0 -41        0 -21        0  -1      122  19       26  39

            ------ Relaxed ------    |         ------ Strong ------
380000 |                             |
360000 |                             |
340000 |                             |
320000 |                             |
300000 |                             |
280000 |                             |
260000 |                             |
240000 |                             |o
220000 |                             |o
200000 |                             |o
180000 |                             |o
160000 |                             |o
140000 |                             |o
120000 |                             |o
100000 |                             |o
 80000 |                             |o
 60000 |                             |oo
 40000 |                             |oo
 20000 |                             |ooo
     0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
     -30       -20       -10         0        10        20        30        40

  Test  =     720.         Total   =  399187.      Min thru -81 =       0.
  Type  =  RR,CC1.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =    2785.        0 thru  39 =  396178.
  histend                  K       =  200000.       40 thru Max =    3009.

  End  analysis of Test T720  at               20:40:18.122 960411
================================================================================

  Test T800.  Seek a relaxation of WW and CC3.

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

    WW event (two write operations occurred out of order):
    U[i] >= U[i+] and U[i] = U[i+] (modulo 4)
  where i+ is greater than i.
    Similarly for V, X, and Y.

    Consistency event (two changes in the value of one operand
  became visible in different orders to two different threads):
    Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
  such that a > b > c > d > e, and
    1.  a,b,c,d come from different arrays.
    2.  e occurs in the same array as a, but earlier.

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

Start execution of Test T800  at               20:40:22.242 960411
 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   0                 0 0 0 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     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    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        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 T800  at               20:40:26.622 960411
  Duration                                            4.380
Start  analysis of Test T800  at               20:40:29.262 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0       0     922    1353    7880
   9999   99990   99991   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  300851
  39996  399960  399961  399962  399963
  49995  499950  499951  499952  499953
  59994  599940  599941  599942  599943
  69993  699930  699931  699932  699933
  79992  799920  799921  799922  799923
  89991  899910  899911  899912  899913
  99990  999900  999901  999902  999903
 109989 1099890 1099891 1099892 1099893
 119988 1199880 1199881 1199882 1199883
 129987 1299870 1299871 1299872 1299873
 139986 1399860 1399861 1399862 1399863
 149985 1499850 1499851 1499852 1499853
 159984 1599840 1599841 1599842 1599843
 169983 1699830 1699831 1699832 1699833
 179982 1799820 1799821 1799822 1799823
 189981 1899810 1899811 1899812 1899813
 199980 1999800 1999801 1999802 1999803


Every 9999th entry of the arrays, from 0 to 200000:
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0     922    1353    7880
    9999   99990   99991   99992   99993
   19998  199980  199981  199982  199983
   29997  299970  299971  299972  300851
   39996  399960  399961  399962  399963
   49995  499950  499951  499952  499953
   59994  599940  599941  599942  599943
   69993  699930  699931  699932  699933
   79992  799920  799921  799922  799923
   89991  899910  899911  899912  899913
   99990  999900  999901  999902  999903
  109989 1099890 1099891 1099892 1099893
  119988 1199880 1199881 1199882 1199883
  129987 1299870 1299871 1299872 1299873
  139986 1399860 1399861 1399862 1399863
  149985 1499850 1499851 1499852 1499853
  159984 1599840 1599841 1599842 1599843
  169983 1699830 1699831 1699832 1699833
  179982 1799820 1799821 1799822 1799823
  189981 1899810 1899811 1899812 1899813
  199980 1999800 1999801 1999802 1999803

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

            ------ Relaxed ------    |         ------ Strong ------
1900000 |                             |
1800000 |                             |
1700000 |                             |
1600000 |                             |
1500000 |                             o
1400000 |                             o
1300000 |                             o
1200000 |                             o
1100000 |                             o
1000000 |                             o
900000 |                             o
800000 |                             o
700000 |                             o
600000 |                             o
500000 |                             o
400000 |                             o
300000 |                             o
200000 |                             o
100000 |                             o
     0 |_________._________._________.ooooooooooo_o_oo__o._oo_ooo__.__o______
     -30       -20       -10         0        10        20        30        40

  Test  =     800.         Total   = 1563897.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      58.        0 thru  39 = 1563896.
  histend                  K       =  200000.       40 thru Max =       1.


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

      0 117824      3
      1 149957      3
      2 158808      3
      3 201526      3
      4 229082      3

A convoy of length 3 starts at line 117824:
 117824   310570        0        0   310570
 117825        0        0   298023   298023
 117826        0   297912   297912        0

A convoy of length 3 starts at line 149957:
 149957   393030        0        0   393030
 149958        0        0   380003   380003
 149959        0   379402   379402        0

A convoy of length 3 starts at line 158808:
 158808   415780        0        0   415780
 158809        0        0   403383   403383
 158810        0   401782   401782        0

A convoy of length 3 starts at line 201526:
 201526   525300        0        0   525300
 201527        0        0   512143   512143
 201528        0   511322   511322        0

A convoy of length 3 starts at line 229082:
 229082   595290        0        0   595290
 229083        0        0   583343   583343
 229084        0   581752   581752        0
  End  analysis of Test T800  at               20:42:45.062 960411
================================================================================

  Test T820.  Seek a relaxation of WW and CC3.

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

    WW event (two write operations occurred out of order):
    U[i] >= U[i+] and U[i] = U[i+] (modulo 4)
  where i+ is greater than i.
    Similarly for V, X, and Y.

    Consistency event (two changes in the value of one operand
  became visible in different orders to two different threads):
    Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
  such that a > b > c > d > e, and
    1.  a,b,c,d come from different arrays.
    2.  e occurs in the same array as a, but earlier.

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

Start execution of Test T820  at               20:42:49.502 960411
 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         3           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        3           1 1 1 1 0 0 0 0
 entr   sync1    1               1 1 1 0 0 0 0 0
 entr   sync1  0                 1 0 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      2             0 0 0 0 0 0 0 0
  exit  sync1    1               0 0 0 0 0 0 0 0
  exit  sync1        3           0 0 0 0 0 0 0 0
  End execution of Test T820  at               20:42:54.062 960411
  Duration                                            4.560
Start  analysis of Test T820  at               20:43:00.282 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    8461       1     800       3
   9999   99990   93853   99992   99993
  19998  199980  199981  199982  199983
  29997  299970  299971  299972  299973
  39996  399960  399961  399962  399963
  49995  499950  499951  499952  499953
  59994  599940  599941  599942  599943
  69993  706851  699931  699932  699933
  79992  806623  799921  800030  799923
  89991  899910  899911  899912  899913
  99990  999900  999901 1005941  999903
 109989 1099890 1099891 1099892 1099893
 119988 1206891 1199881 1199882 1199883
 129987 1306601 1299871 1299872 1299873
 139986 1399860 1399861 1399862 1399863
 149985 1499850 1499851 1499852 1499853
 159984 1599840 1599841 1599842 1599843
 169983 1704541 1699831 1699832 1692492
 179982 1799820 1799821 1799822 1792192
 189981 1899810 1899811 1899812 1899813
 199980 1999800 1996850 1999802 1999803


Every 9999th entry of the arrays, from 0 to 200000:
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0    8461       1     800       3
    9999   99990   93853   99992   99993
   19998  199980  199981  199982  199983
   29997  299970  299971  299972  299973
   39996  399960  399961  399962  399963
   49995  499950  499951  499952  499953
   59994  599940  599941  599942  599943
   69993  706851  699931  699932  699933
   79992  806623  799921  800030  799923
   89991  899910  899911  899912  899913
   99990  999900  999901 1005941  999903
  109989 1099890 1099891 1099892 1099893
  119988 1206891 1199881 1199882 1199883
  129987 1306601 1299871 1299872 1299873
  139986 1399860 1399861 1399862 1399863
  149985 1499850 1499851 1499852 1499853
  159984 1599840 1599841 1599842 1599843
  169983 1704541 1699831 1699832 1692492
  179982 1799820 1799821 1799822 1792192
  189981 1899810 1899811 1899812 1899813
  199980 1999800 1996850 1999802 1999803

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

            ------ Relaxed ------    |         ------ Strong ------
1900000 |                             |
1800000 |                             |
1700000 |                             |
1600000 |                             |
1500000 |                             o
1400000 |                             o
1300000 |                             o
1200000 |                             o
1100000 |                             o
1000000 |                             o
900000 |                             o
800000 |                             o
700000 |                             o
600000 |                             o
500000 |                             o
400000 |                             o
300000 |                             o
200000 |                             o
100000 |                             o
     0 |_________._________._________.oooooooooooooo_oo_oo_ooo____oo_o_______
     -30       -20       -10         0        10        20        30        40

  Test  =     820.         Total   = 1503162.      Min thru -81 =       0.
  Type  =     CC3.         Minimum =       0.      -80 thru  -1 =       0.
  Behav =  Strong.         Maximum =      57.        0 thru  39 = 1503160.
  histend                  K       =  200000.       40 thru Max =       2.


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

      0  48837      3
      1 111504      3
      2 131594      3
      3 144408      3
      4 158613      3

A convoy of length 3 starts at line 48837:
  48837        0   129653        0   129653
  48838   129663        0        0   129663
  48839   127650        0   127650        0

A convoy of length 3 starts at line 111504:
 111504   301491   301491        0        0
 111505   293740        0   293740        0
 111506        0        0   292042   292042

A convoy of length 3 starts at line 131594:
 131594   354491   354491        0        0
 131595   347020        0   347020        0
 131596        0        0   346132   346132

A convoy of length 3 starts at line 144408:
 144408        0   386063        0   386063
 144409   386073        0        0   386073
 144410   381040        0   381040        0

A convoy of length 3 starts at line 158613:
 158613   425741   425741        0        0
 158614   419390        0   419390        0
 158615        0        0   418052   418052
  End  analysis of Test T820  at               20:45:18.422 960411
================================================================================

  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               20:45:22.722 960411
 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         3           0 0 0 1 1 1 0 0
 entr  sync0           4         0 0 0 0 1 1 0 0
 entr  sync0             5       0 0 0 0 0 1 0 0
  exit sync0   0                 0 0 0 0 0 0 0 0
  exit sync0           4         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
  exit sync0         3           0 0 0 0 0 0 0 0
  exit sync0             5       0 0 0 0 0 0 0 0
 entr   sync1  0                 1 1 1 1 1 1 0 0
 entr   sync1            5       0 1 1 1 1 1 0 0
 entr   sync1    1               0 1 1 1 1 0 0 0
 entr   sync1      2             0 0 1 1 1 0 0 0
 entr   sync1          4         0 0 0 1 1 0 0 0
 entr   sync1        3           0 0 0 1 0 0 0 0
  exit  sync1          4         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
  exit  sync1        3           0 0 0 0 0 0 0 0
  exit  sync1            5       0 0 0 0 0 0 0 0
  exit  sync1  0                 0 0 0 0 0 0 0 0
  End execution of Test T900  at               20:45:23.722 960411
  Duration                                            1.000
Start  analysis of Test T900  at               20:45:23.722 960411

Every 9999th entry of the arrays, from 0 thru 199999.
      i       U       V       X       Y
      0    6302    4910    7266    3356
   9999   24861   36404   47106   31620
  19998   59034   60951   87108   58242
  29997   85486   98942  126790   80119
  39996  112110  129354  166350  112154
  49995  138306  155931  199999  138708
  59994  164248  190064  199999  165016
  69993  190198  199999  199999  191362
  79992  199999  199999  199999  199999
  89991  199999  199999  199999  199999
  99990  199999  199999  199999  199999
 109989  199999  199999  199999  199999
 119988  199999  199999  199999  199999
 129987  199999  199999  199999  199999
 139986  199999  199999  199999  199999
 149985  199999  199999  199999  199999
 159984  199999  199999  199999  199999
 169983  199999  199999  199999  199999
 179982  199999  199999  199999  199999
 189981  199999  199999  199999  199999
 199980  199999  199999  199999  199999
child terminated due to signal 24