From: IN%"toussi@mountains.ee.umn.edu" "Farnaz Mounes-Toussi" 23-FEB-1995 17:38:43.34
To: IN%"MPDIAG@delphi.com"
Date: Thu, 23 Feb 1995 16:38:21 -0600
From: Farnaz Mounes-Toussi
To: MPDIAG@delphi.com
Hi Bill,
Enclosed is the test results on the 4 processor Power Challenger.
Farnaz
--------------------------------------
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) [2]: 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.000.
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: 17:21:06.661701 950223
End execution of Test 200 at: 17:21:06.746984 950223
i U V X Y
0 0 0 0 0
1999 10411 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: 17:21:06.781862 950223
End execution of Test 220 at: 17:21:06.799671 950223
i U V X Y
0 0 0 0 0
1999 6240 0 0 0
3998 11804 0 0 0
5997 17980 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: 17:21:06.841245 950223
End execution of Test 300 at: 17:21:06.879223 950223
i U V X Y
0 46 0 0 0
1999 889 900 0 0
3998 1914 1856 0 0
5997 2731 2791 0 0
7996 3752 3663 0 0
9995 4591 4543 0 0
11994 5527 5421 0 0
13993 6525 6277 0 0
15992 7415 7131 0 0
17991 8434 8025 0 0
19990 9454 8927 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: 17:21:07.009898 950223
End execution of Test 310 at: 17:21:07.339744 950223
i U V X Y
0 1 1 0 0
1999 2048 1841 0 0
3998 4108 3657 0 0
5997 6199 5457 0 0
7996 8255 7210 0 0
9995 10317 9028 0 0
11994 12339 10765 0 0
13993 14346 12602 0 0
15992 16402 14412 0 0
17991 18434 16240 0 0
19990 19999 18003 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: 17:21:07.493831 950223
End execution of Test 320 at: 17:21:07.535077 950223
i U V X Y
0 26 65 0 0
1999 1223 640 0 0
3998 2473 1211 0 0
5997 3653 1779 0 0
7996 4923 2351 0 0
9995 6115 3080 0 0
11994 6914 3533 0 0
13993 8351 4266 0 0
15992 9810 4655 0 0
17991 11021 5552 0 0
19990 12175 6138 0 0
Analysis of T3 data.
i U V X Y
================================================================================
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: 17:21:07.692323 950223
End execution of Test 400 at: 17:21:07.721732 950223
i U V X Y
0 0 0 0 0
1999 1712 2337 0 0
3998 3370 4791 0 0
5997 5015 7114 0 0
7996 6757 9455 0 0
9995 8475 11818 0 0
11994 10139 14247 0 0
13993 11806 16478 0 0
15992 13522 18283 0 0
17991 15250 19999 0 0
19990 16880 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: 17:21:07.788033 950223
End execution of Test 420 at: 17:21:07.808951 950223
i U V X Y
0 26 0 0 0
1999 851 4753 0 0
3998 1688 9536 0 0
5997 2514 13882 0 0
7996 3378 18927 0 0
9995 4193 19999 0 0
11994 5181 19999 0 0
13993 6039 19999 0 0
15992 6749 19999 0 0
17991 7611 19999 0 0
19990 8439 19999 0 0
Analysis of T4 data:
Error 4.1. u[ 2] = 32 < 33 and v[ 33] = 1 < 2
Error 4.1. u[ 3] = 32 < 33 and v[ 33] = 1 < 3
Error 4.1. u[ 4] = 32 < 33 and v[ 33] = 1 < 4
Error 4.1. u[ 5] = 32 < 33 and v[ 33] = 1 < 5
Error 4.1. u[ 6] = 32 < 33 and v[ 33] = 1 < 6
Error 4.1. u[ 8] = 34 < 35 and v[ 35] = 7 < 8
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
0 26 0 0 32 0 2097152
1 32 0 0 31 1 2097152
2 32 0 -1 30 2 2097152
3 32 0 -2 29 3 2097152
4 32 0 -3 28 4 2097152
5 32 0 -4 27 5 2097152
6 32 0 -5 26 6 2097152
7 34 0 0 25 6 2097152
8 34 0 -1 24 7 2097152
9 34 0 -2 23 8 2097152
10 34 0 -3 22 9 2097152
11 34 0 -4 21 10 2097152
30 42 0 -1 2 7 2097152
31 42 0 -2 1 8 2097152
32 42 1 -3 0 9 6
33 42 1 -4 -1 10 7
34 44 7 0 0 5 2
35 44 7 -1 -1 6 3
36 44 12 -2 0 7 2
37 44 12 -3 -1 8 3
38 44 18 -4 0 9 2
================================================================================
Test T500. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 500 at: 17:21:07.893088 950223
End execution of Test 500 at: 17:21:07.912909 950223
i U V X Y
0 0 0 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: 17:21:07.949469 950223
End execution of Test 520 at: 17:21:07.969483 950223
i U V X Y
0 0 86 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: 17:21:08.014394 950223
End execution of Test 600 at: 17:21:08.027316 950223
i U V X Y
0 64 82 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....:....
F3
33
33
33
33
33
33
33
33
33
33
13
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
3
33
33
33
33
33
33
33
33
33
33
33
333
33
33
33
3
3
3
3
3
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: 17:21:17.263189 950223
End execution of Test 610 at: 17:21:17.520883 950223
i U V X Y
0 5 13 0 0
1999 2831 2634 0 0
3998 5628 5263 0 0
5997 8319 7771 0 0
7996 11196 10447 0 0
9995 13897 13030 0 0
11994 16753 15749 0 0
13993 19515 18305 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....:....
F
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
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
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: 17:21:30.090016 950223
End execution of Test 620 at: 17:21:30.111998 950223
i U V X Y
0 126 46 0 0
1999 6008 6003 0 0
3998 19999 19999 0 0
5997 10940 10893 0 0
7996 19999 19999 0 0
9995 15764 15679 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....:....
F
3
3
33
3
3
3
33
3
3
33
3
3
33
3
3
33
3
3
33
3
3
3
33
3
3
33
3
3
3
3
3
3
33
3
3
3
33
3
3
33
3
3
3
3
3
3
33
3
3
33
3
3
31
3
3
33
3
3
32
3
3
33
3
3
3
3
33
3
3
33
3
3
3
33
3
3
3
133333333333333333333333333333333333333333333333333333333
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: 17:21:39.937324 950223
End execution of Test 700 at: 17:21:39.969620 950223
i U V X Y
0 0 2 19999 19999
1999 1988 2011 0 0
3998 3729 4319 0 0
5997 5408 6882 0 0
7996 7180 8959 0 0
9995 8881 11226 0 0
11994 10672 13718 0 0
13993 12242 15483 0 0
15992 14438 17755 0 0
17991 16175 19991 0 0
19990 17989 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: 17:21:40.021808 950223
End execution of Test 720 at: 17:21:40.053020 950223
i U V X Y
0 11 0 19999 0
1999 856 4755 0 0
3998 1681 9740 0 0
5997 2486 14540 0 0
7996 3287 19506 0 0
9995 4105 19999 0 0
11994 4942 19999 0 0
13993 5773 19999 0 0
15992 6547 19999 0 0
17991 7375 19999 0 0
19990 8195 19999 0 0
Analysis of T7 data:
Error 7.2. v[ 3748] = 9126 < 9127 and u[ 9127] = 3747 < 3748
Error 7.2. v[ 3751] = 9137 < 9138 and u[ 9138] = 3750 < 3751
Error 7.2. v[ 7846] = 19143 < 19144 and u[ 19144] = 7845 < 7846
Error 7.2. v[ 7849] = 19154 < 19155 and u[ 19155] = 7848 < 7849
Error 7.1. u[ 9127] = 3747 < 3748 and v[ 3748] = 9126 < 9127
Error 7.1. u[ 9128] = 3747 < 3748 and v[ 3748] = 9126 < 9128
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
3745 1575 9120 3 1 1 1
3746 1575 9121 2 0 2 1
3747 1575 9126 1 0 3 1
3748 1576 9126 1 -1 3 2
3749 1577 9129 3 0 1 2
3750 1577 9137 2 0 2 1
3751 1577 9137 1 -1 3 2
3752 1578 9140 2 0 3 2
3753 1578 9148 1 2 4 1
3754 1579 9148 1 1 2 2
7843 3221 19141 2 1 3 1
7844 3221 19141 1 0 4 2
7845 3222 19143 1 0 2 1
7846 3223 19143 3 -1 1 2
7847 3223 19146 2 0 2 2
7848 3223 19154 1 0 3 1
7849 3224 19154 2 -1 3 2
7850 3224 19157 1 0 4 2
7851 3225 19164 1 1 2 1
7852 3226 19165 4 0 1 1
9124 3746 19999 2 2097152 4 924
9125 3746 19999 1 2097152 5 925
9126 3747 19999 0 2097152 5 926
9127 3747 19999 -1 2097152 6 927
9128 3747 19999 -2 2097152 7 928
9129 3749 19999 8 2097152 3 929
9130 3749 19999 7 2097152 4 930
9131 3749 19999 6 2097152 5 931
9135 3749 19999 2 2097152 9 935
9136 3749 19999 1 2097152 10 936
9137 3750 19999 0 2097152 8 937
9138 3750 19999 -1 2097152 9 938
9139 3750 19999 -2 2097152 10 939
9140 3752 19999 8 2097152 3 940
9141 3752 19999 7 2097152 4 941
19141 7843 19999 0 2097152 6 10941
19142 7844 19999 1 2097152 1 10942
19143 7845 19999 0 2097152 2 10943
19144 7845 19999 -1 2097152 3 10944
19145 7845 19999 -2 2097152 4 10945
19146 7847 19999 8 2097152 3 10946
19147 7847 19999 7 2097152 4 10947
19152 7847 19999 2 2097152 9 10952
19153 7847 19999 1 2097152 10 10953
19154 7848 19999 0 2097152 8 10954
19155 7848 19999 -1 2097152 9 10955
19156 7848 19999 -2 2097152 10 10956
19157 7850 19999 7 2097152 3 10957
19158 7850 19999 6 2097152 4 10958
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 17:21:40.143176 950223
End execution of Test 800 at: 17:21:40.238125 950223
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 1 2 3
1999 19990 19991 19992 19993
3998 39980 39981 39982 39983
5997 59970 59971 59972 59973
7996 79960 79961 79962 79963
9995 99950 99951 99952 99953
11994 119940 119941 119942 119943
13993 139930 139931 139932 139933
15992 159920 159921 159922 159923
17991 179910 179911 179912 180321
19990 199900 199901 199711 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: 17:21:45.970215 950223
End execution of Test 9.1 at: 17:21:46.286424 950223
0 465383 25 6 50 0 75 0
1 1 26 8 51 2 76 0
2 0 27 1048 52 5 77 0
3 0 28 24432 53 0 78 0
4 0 29 4435 54 1 79 0
5 0 30 490 55 2 80 0
6 1 31 1227 56 0 81 0
7 283 32 1241 57 1 82 0
8 63 33 51 58 1 83 0
9 12 34 7 59 0 84 0
10 5 35 9 60 0 85 0
11 2 36 478 61 0 86 0
12 9 37 145 62 0 87 0
13 3 38 39 63 0 88 0
14 0 39 72 64 0 89 0
15 5 40 142 65 0 90 0
16 3 41 24 66 0 91 0
17 1 42 58 67 0 92 0
18 1 43 97 68 0 93 0
19 7 44 63 69 0 94 0
20 1 45 90 70 0 95 0
21 3 46 1 71 0 96 0
22 7 47 1 72 0 97 0
23 7 48 1 73 0 98 0
24 8 49 1 74 0 99 0
Total = 499999, t9min = 0, t9max = 1256, under = 0, over = 0.
Test T9.2. P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at: 17:21:46.694461 950223
End execution of Test 9.2 at: 17:21:47.026392 950223
0 430609 25 378 50 0 75 0
1 5 26 521 51 0 76 0
2 1 27 186 52 0 77 0
3 1 28 74 53 0 78 0
4 9 29 16 54 0 79 0
5 33 30 9 55 0 80 0
6 55 31 3 56 0 81 0
7 808 32 5 57 0 82 0
8 231 33 1 58 0 83 0
9 32 34 2 59 0 84 0
10 20 35 1 60 0 85 0
11 70 36 1 61 0 86 0
12 11778 37 0 62 0 87 0
13 1567 38 0 63 0 88 0
14 37305 39 0 64 0 89 0
15 13528 40 0 65 0 90 0
16 1218 41 1 66 0 91 0
17 399 42 0 67 0 92 0
18 84 43 0 68 0 93 0
19 21 44 0 69 0 94 0
20 30 45 0 70 0 95 0
21 88 46 0 71 0 96 0
22 465 47 0 72 0 97 0
23 96 48 0 73 0 98 0
24 282 49 0 74 0 99 0
Total = 499999, t9min = 0, t9max = 1324, under = 0, over = 0.
Test T9.4. P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at: 17:21:47.432135 950223
End execution of Test 9.4 at: 17:21:47.693903 950223
0 439537 25 2426 50 0 75 0
1 5 26 2774 51 0 76 0
2 1 27 1211 52 0 77 1
3 2 28 737 53 0 78 0
4 1 29 38 54 0 79 0
5 10 30 8 55 0 80 0
6 9 31 7 56 0 81 0
7 12448 32 72 57 0 82 0
8 15655 33 88 58 0 83 0
9 319 34 5 59 0 84 0
10 188 35 158 60 0 85 0
11 0 36 438 61 0 86 0
12 0 37 45 62 0 87 0
13 3 38 91 63 0 88 0
14 2 39 46 64 0 89 0
15 284 40 13 65 0 90 0
16 39 41 7 66 0 91 0
17 8 42 2 67 0 92 0
18 83 43 0 68 0 93 0
19 479 44 2 69 0 94 0
20 32 45 0 70 0 95 0
21 20 46 0 71 0 96 0
22 195 47 2 72 0 97 0
23 12382 48 0 73 0 98 0
24 10109 49 0 74 0 99 0
Total = 499999, t9min = 0, t9max = 1177, under = 0, over = 0.
Test T9.3. P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at: 17:21:48.121742 950223
End execution of Test 9.3 at: 17:21:48.440372 950223
0 465574 25 4 50 146 75 0
1 1 26 23 51 14 76 0
2 1 27 2101 52 1 77 0
3 0 28 23135 53 1 78 0
4 0 29 4115 54 2 79 0
5 1 30 721 55 4 80 0
6 1 31 1124 56 2 81 0
7 141 32 1480 57 1 82 0
8 181 33 64 58 0 83 0
9 5 34 6 59 1 84 0
10 2 35 9 60 1 85 1
11 1 36 438 61 0 86 0
12 0 37 57 62 0 87 0
13 0 38 32 63 0 88 0
14 0 39 105 64 0 89 0
15 6 40 177 65 0 90 0
16 0 41 51 66 0 91 0
17 0 42 53 67 1 92 0
18 2 43 134 68 0 93 0
19 3 44 18 69 0 94 0
20 0 45 20 70 0 95 0
21 2 46 0 71 0 96 0
22 3 47 3 72 0 97 0
23 10 48 0 73 0 98 0
24 3 49 3 74 0 99 0
Total = 499999, t9min = 0, t9max = 4853, under = 0, over = 0.