From:   IN%"toussi@kilimanjaro.ee.umn.edu" 28-DEC-1994 14:09:14.46
To:     IN%"MPDIAG@delphi.com"

Date: Wed, 28 Dec 1994 12:45:51 -1000
From: toussi@kilimanjaro.ee.umn.edu (Faranz)
To: MPDIAG@delphi.com

Test results for the SGI Onyx.
-------------------------------------

by W. W. Collier, mpdiag@acm.org.


Specify how to generate the data to be analyzed.
1.  Execute real multiprocessing code to generate data.
2.  Execute the real mp code, but with only one processor.
3.  Generate data randomly with errors.
4.  Generate data randomly, but without errors.
5.  Use static data with errors.
6.  Use static data without errors.
(Choices 2-6 are for debugging.)  Choice [1]: 1
Enter the number of processors (from 2 to 8) [3]:   4
Define logical length of arrays (max=500000) [20000]:   20000

The following tests can be run:  2    3    4    5    6    7    8    9
                                      310            610
                                 220  320  420  520  620  720

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

     Note added July 1996.

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

     The numbers for the following tests have not changed.

     200 300 400 500 600 700 800 900

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

     The names of these tests have been changed

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

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

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

Specify which tests to run [all]:   all

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      archout.002.
Number of processors:  4.
Length of the arrays:  20000.
Test(s) to run:        2 3 4 5 6 7 8 9 310 610 220 320 420 520 620 720

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

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

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[2i]   > U[2i+1] + 1
Start execution of Test 200 at:                12:53:32.969249 941228
  End execution of Test 200 at:                12:53:32.983691 941228
      i       U       V       X       Y
      0     165       0       0       0
   1999   19999       0       0       0
   3998   19999       0       0       0
   5997   19999       0       0       0
   7996   19999       0       0       0
   9995   19999       0       0       0
  11994   19999       0       0       0
  13993   19999       0       0       0
  15992   19999       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Analysis of T2 data:
      i       U       V       X       Y

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

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

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[2i]   > U[2i+1] + 1
Start execution of Test 220 at:                12:53:33.028632 941228
  End execution of Test 220 at:                12:53:33.042067 941228
      i       U       V       X       Y
      0     106       0       0       0
   1999   19824       0       0       0
   3998   19999       0       0       0
   5997   19999       0       0       0
   7996   19999       0       0       0
   9995   19999       0       0       0
  11994   19999       0       0       0
  13993   19999       0       0       0
  15992   19999       0       0       0
  17991   19999       0       0       0
  19990   19999       0       0       0

Analysis of T2 data:
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is
                even    odd    even    odd
Start execution of Test 300 at:                12:53:33.089791 941228
  End execution of Test 300 at:                12:53:33.131584 941228
      i       U       V       X       Y
      0     329     322       0       0
   1999    1257    1491       0       0
   3998    3292    3269       0       0
   5997    4596    4555       0       0
   7996    3995    5827       0       0
   9995    4839    4742       0       0
  11994    8390    5664       0       0
  13993    9372    6628       0       0
  15992    8049   10177       0       0
  17991    8981    8848       0       0
  19990    9935    9844       0       0

Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is
                even    odd    even    odd
Start execution of Test 310 at:                12:53:33.268281 941228
  End execution of Test 310 at:                12:53:33.582819 941228
      i       U       V       X       Y
      0       2      54       0       0
   1999    3256    1692       0       0
   3998    6422    5157       0       0
   5997    6615    7641       0       0
   7996    8753   10185       0       0
   9995   15206    8272       0       0
  11994   12239   13969       0       0
  13993   14463   11352       0       0
  15992   17565   12406       0       0
  17991   19161   19287       0       0
  19990   19999   15964       0       0

Analysis of T3 data.
      i       U       V       X       Y

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

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

Seek 3.1.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is
                odd     even   odd     even
Seek 3.2.  0 < U[i+] < V[j] < V[j+] < U[i]
                 is      is     is      is
                even    odd    even    odd
Start execution of Test 320 at:                12:53:33.713265 941228
  End execution of Test 320 at:                12:53:33.757242 941228
      i       U       V       X       Y
      0      10      67       0   19999
   1999    1269     625       0       0
   3998    2068    1026       0       0
   5997    3042    1574       0       0
   7996    4141    1989       0       0
   9995    5185    2466       0       0
  11994    6149    2978       0       0
  13993    7097    3456       0       0
  15992    8097    3943       0       0
  17991    9323    4393       0       0
  19990   10072    4974       0       0

Analysis of T3 data.
Error 3.2: u[      5] =      16 < v[      0] =      67
         < v[      1] =      74 < u[      4] =     141.
Error 3.2: u[      9] =      18 < v[      0] =      67
         < v[      1] =      74 < u[      8] =     143.
Error 3.2: u[     13] =      20 < v[      0] =      67
         < v[      1] =      74 < u[     12] =     145.
Error 3.2: u[     19] =      22 < v[      0] =      67
         < v[      1] =      74 < u[     18] =     147.
Error 3.2: u[     25] =      24 < v[      0] =      67
         < v[      1] =      74 < u[     24] =     149.
Error 3.2: u[     29] =      26 < v[      0] =      67
         < v[      1] =      74 < u[     28] =     151.
Error 3.2: u[     33] =      28 < v[      0] =      67
         < v[      1] =      74 < u[     32] =     153.
Error 3.2: u[     37] =      30 < v[      0] =      67
         < v[      1] =      74 < u[     36] =     155.
Error 3.2: u[     41] =      32 < v[      0] =      67
         < v[      1] =      74 < u[     40] =     157.
Error 3.2: u[     45] =      34 < v[      0] =      67
         < v[      1] =      74 < u[     44] =     159.
Error 3.2: u[     49] =      36 < v[      0] =      67
         < v[      1] =      74 < u[     48] =     161.
      i       U       V       X       Y

      0      10      67       0   19999
      1      14      74       0       0
      2      14      74       0       0
      3     141      11       0       0
      4     141      11       0       0
      5      16      75       0       0
      6      16      75       0       0
      7     143      75       0       0
      8     143      75       0       0
      9      18      75       0       0
     10      18      75       0       0
     11     145      75       0       0
     12     145      12       0       0
     13      20      12       0       0
     14      20      76       0       0
     15      20      76       0       0
     16      20      13       0       0
     17     147      13       0       0
     18     147      13       0       0
     19      22      77       0       0
     20      22      77       0       0
     21      22      14       0       0
     22      22      14       0       0
     23     149      15       0       0
     24     149      15       0       0
     25      24      79       0       0
     26      24      79       0       0
     27     151      16       0       0
     28     151      16       0       0
     29      26      80       0       0
     30      26      80       0       0
     31     153      17       0       0
     32     153      17       0       0
     33      28      81       0       0
     34      28      81       0       0
     35     155      81       0       0
     36     155      81       0       0
     37      30      81       0       0
     38      30      81       0       0
     39     157      18       0       0
     40     157      18       0       0
     41      32      82       0       0
     42      32      82       0       0
     43     159      19       0       0
     44     159      19       0       0
     45      34      83       0       0
     46      34      83       0       0
     47     161      20       0       0
     48     161      20       0       0
     49      36      84       0       0
     50      36      84       0       0
     51     163      21       0       0

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

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 400 at:                12:53:33.851094 941228
  End execution of Test 400 at:                12:53:33.877865 941228
      i       U       V       X       Y
      0       0      89       0       0
   1999    1558    2448       0       0
   3998    3924    4065       0       0
   5997    5910    6111       0       0
   7996    7798    8214       0       0
   9995    9740   10262       0       0
  11994   11446   12566       0       0
  13993   13608   14406       0       0
  15992   15545   16448       0       0
  17991   17413   18559       0       0
  19990   18903   19999       0       0

Analysis of T4 data:

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

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

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

Seek 4.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 4.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 420 at:                12:53:34.037568 941228
  End execution of Test 420 at:                12:53:34.064571 941228
      i       U       V       X       Y
      0       0       0       0       0
   1999    1807    2210       0       0
   3998    3335    4823       0       0
   5997    4958    7254       0       0
   7996    6582    9752       0       0
   9995    8311   12119       0       0
  11994    9893   14659       0       0
  13993   11456   16954       0       0
  15992   13190   19186       0       0
  17991   14838   19999       0       0
  19990   16867   19999       0       0

Analysis of T4 data:

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

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

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

Seek 5.  U[i] > V[i].
Start execution of Test 500 at:                12:53:34.123604 941228
  End execution of Test 500 at:                12:53:34.142171 941228
      i       U       V       X       Y
      0       0     260       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T5 data:
      i       U       V       X       Y

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

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

Seek 5.  U[i] > V[i].
Start execution of Test 520 at:                12:53:34.183311 941228
  End execution of Test 520 at:                12:53:34.204123 941228
      i       U       V       X       Y
      0       0     588       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T5 data:
      i       U       V       X       Y

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

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of
the same parity.
Start execution of Test 600 at:                12:53:34.255626 941228
  End execution of Test 600 at:                12:53:34.270050 941228
      i       U       V       X       Y
      0     144     130       0       0
   1999   19999   19999       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T6 data:
      i       U       V       X       Y

Plot of T6 data.

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C3
 33
  33
   33
    33
     33
      33
       33
        33
         33
          33
           33
            33
             33
              33
               33
                33
                 33
                  33
                   33
                    33
                     33
                      33
                       33
                        33
                         33
                          33
                           33
                            33
                             33
                              33
                               33
                                33
                                 33
                                  33
                                   33
                                    33
                                     33
                                      33
                                       33
                                        33
                                         33
                                          33
                                           33
                                            33
                                             33
                                              33
                                               33
                                                33
                                                 33
                                                  33
                                                   33
                                                    33
                                                     33
                                                      33
                                                       33
                                                        33
                                                         33
                                                          33
                                                           33
                                                            33
                                                             33
                                                               31
                                                                32
                                                                 3
                                                                  31
                                                                   3
                                                                    3
                                                                     3
                                                                      3
                                                                       31
                                                                        31
                                                                         3
                                                                          3
                                                                           3
                                                                            3
                                                                             3
                                                                              3
                                                                              3

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

Save output from Test 6? [n] n
================================================================================

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of
the same parity.
Start execution of Test 610 at:                12:53:40.947388 941228
  End execution of Test 610 at:                12:53:41.262985 941228
      i       U       V       X       Y
      0       0       0       0       0
   1999    4955    3868       0       0
   3998    4244    3472       0       0
   5997   14748   11006       0       0
   7996    8593    5943       0       0
   9995   19999   17845       0       0
  11994   15746    8866       0       0
  13993   19999   19999       0       0
  15992   19999   12369       0       0
  17991   19999   19999       0       0
  19990   19999   15772       0       0

Analysis of T6 data:
      i       U       V       X       Y

Plot of T6 data.

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F3
 333
   333
     33
      333
        33
         233
           3333
              3333
                 333
                   3333
                      333
                        3333
                           3333
                              3333
                                 3333
                                    3333
                                       333
                                         3333
                                            333
                                              3333
                                                 3333
                                                    3333
                                                       333
                                                         3333
                                                            333
                                                              3333
                                                                 3333
                                                                    332
                                                                      333
                                                                        3333
                                                                           3333
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              2
                                                                              2
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              3
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1
                                                                              1

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

Save output from Test 6? [n] n
================================================================================

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

Seek 6.  U[i] < V[j] and V[j+1] < U[i-1] for i and j of
the same parity.
Start execution of Test 620 at:                12:53:46.887639 941228
  End execution of Test 620 at:                12:53:46.932240 941228
      i       U       V       X       Y
      0     197      39       0       0
   1999   16758   16583       0       0
   3998   19999   19999       0       0
   5997   19999   19999       0       0
   7996   19999   19999       0       0
   9995   19999   19999       0       0
  11994   19999   19999       0       0
  13993   19999   19999       0       0
  15992   19999   19999       0       0
  17991   19999   19999       0       0
  19990   19999   19999       0       0

Analysis of T6 data:
      i       U       V       X       Y

Plot of T6 data.

xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C3

  3
  33
   33
    3
    33
     33
      3
       3
       33
        33
         3
         33
          33
           3
           33
            33
             3
             33
              33
               32  1
                2
                22
                 22
                  2
                   3
                   33
                    3
                     3
                     33
                      33
                       3
                       33
                        33
                         3
                         33
                          33
                           33
                            3
                            33
                             33
                              3
                              33
                               33
                                3
                                13
                                 33
                                  33
                                   3
                                   33
                                    33
                                     3
                                     33
                                      33
                                       33
                                        3
                                        33
                                         33
                                          3
                                          33
                                           33
                                            3
                                            23
                                             33
                                              3
                                               3
                                               33
                                                33
                                                 3
                                                 33
                                                  33
                                                   3  1
                                                    2
                                                    22
                                                     22
                                                      3
                                                      33
                                                       333333333333333333333223

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

Save output from Test 6? [n] n
================================================================================

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 700 at:                12:53:51.508116 941228
  End execution of Test 700 at:                12:53:51.579177 941228
      i       U       V       X       Y
      0       0     161   19999   19999
   1999     950    3927       0       0
   3998    2082    6094       0       0
   5997    3911    9263       0       0
   7996    5007   11943       0       0
   9995    6747   17827       0       0
  11994    8054   19999       0       0
  13993    8746   19999       0       0
  15992    9233   19999       0       0
  17991   10134   19999       0       0
  19990   11206   19999       0       0

Analysis of T7 data:

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

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

Seek 7.1. U[i] < j and V[j] < i.  d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i.  d2 = U[ V[i]+1 ] - i < 0.
Seek 7.3. U[i] > j and V[j] > i.  d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i.  d4 = i - U[ V[i]-1 ] < 0.
Start execution of Test 720 at:                12:53:51.653204 941228
  End execution of Test 720 at:                12:53:51.684404 941228
      i       U       V       X       Y
      0       0       0   19999       0
   1999    1726    2158       0       0
   3998    3491    4585       0       0
   5997    5245    6885       0       0
   7996    6963    9311       0       0
   9995    8698   11805       0       0
  11994   10134   14149       0       0
  13993   11870   16438       0       0
  15992   13604   18897       0       0
  17991   15621   19999       0       0
  19990   16919   19999       0       0

Analysis of T7 data:

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

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

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

Start execution of Test 800 at:                12:53:51.746429 941228
  End execution of Test 800 at:                12:53:51.875439 941228
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0    1843      80       3
    1999   19990   19991   19992   19993
    3998   59273   39981   39982   39983
    5997   59970   59971   59972   59973
    7996  114512   79961   79962   79963
    9995   99950   99951   99952   99953
   11994  172882  119941  119942  119943
   13993  139930  139931  139932  139933
   15992  159920  159921  159922  159923
   17991  179910  179911  179912  179913
   19990  199900  199901  199902  199903
Analysis of T8 data:
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [n] n
================================================================================

Test T9.  Collect performance data on cache hits.

Test T9.1.  P2: inv -> excl & P3: inv -> excl.
Start execution of Test 9.1 at:                12:53:54.127832 941228
  End execution of Test 9.1 at:                12:53:54.485349 941228

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

Total = 499999, t9min = 0, t9max = 909, under = 0, over = 0.


Test T9.2.  P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at:                12:53:54.941793 941228
  End execution of Test 9.2 at:                12:53:55.246950 941228

 0  460104   25    1732   50       0   75       0
 1       4   26     667   51       0   76       0
 2       1   27     165   52       0   77       0
 3       0   28      71   53       0   78       0
 4       0   29      45   54       0   79       0
 5       0   30      35   55       0   80       0
 6       0   31      45   56       0   81       0
 7       0   32     176   57       0   82       0
 8       0   33     218   58       0   83       0
 9       0   34     214   59       0   84       0
10       2   35     200   60       0   85       0
11       2   36     138   61       0   86       0
12      14   37      70   62       0   87       0
13      77   38      60   63       0   88       0
14     281   39      40   64       0   89       0
15     177   40      30   65       0   90       0
16      53   41      20   66       0   91       0
17      20   42      16   67       0   92       0
18      62   43      10   68       0   93       0
19     608   44       7   69       0   94       0
20    5162   45       5   70       0   95       0
21    9913   46       1   71       0   96       0
22    7229   47       1   72       0   97       0
23    6924   48       0   73       0   98       0
24    5295   49       2   74       0   99       0

Total = 499999, t9min = 0, t9max = 7094, under = 0, over = 0.


Test T9.4.  P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at:                12:53:55.692157 941228
  End execution of Test 9.4 at:                12:53:55.931101 941228

 0  464128   25     289   50      70   75       0
 1       6   26     427   51      30   76       0
 2       0   27     103   52      16   77       0
 3       0   28      51   53       8   78       0
 4       1   29      32   54       8   79       0
 5       1   30      48   55       6   80       0
 6       1   31      59   56       1   81       0
 7       0   32      34   57       0   82       0
 8       0   33      37   58       1   83       0
 9       1   34      55   59       2   84       0
10       2   35     582   60      14   85       0
11       2   36    5876   61       8   86       0
12     104   37    8052   62       7   87       0
13    1094   38    3630   63       1   88       0
14    7020   39     858   64       1   89       0
15    5326   40     253   65       0   90       0
16     897   41      47   66       0   91       0
17     150   42      30   67       0   92       0
18      29   43      12   68       0   93       0
19      20   44       6   69       0   94       0
20      24   45       2   70       0   95       0
21       1   46      14   71       0   96       0
22       3   47      81   72       0   97       1
23       1   48     254   73       0   98       0
24      28   49     140   74       0   99       0

Total = 499999, t9min = 0, t9max = 943, under = 0, over = 0.


Test T9.3.  P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at:                12:53:56.362455 941228
  End execution of Test 9.3 at:                12:53:56.709371 941228

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

Total = 499999, t9min = 0, t9max = 1012, under = 0, over = 0.