Commentary/Compiler/Backends/NCG/RegisterAllocator: checkSpills.report

File checkSpills.report, 49.1 KB (added by guest, 4 years ago)
Line 
1* imaginary/bernouilli
2Main                           (5,2,7,0,0,22)       ~ (7,7,22)        0.0       WIN  (5,5,22)        0.0       WIN  (5,5,22)        0.0 
3
4* imaginary/digits-of-e1
5Main                           (4,4,8,0,0,31)       ~ (8,8,31)        0.0       WIN  (3,3,30)        0.0       WIN  (3,3,30)        0.0 
6
7* imaginary/digits-of-e2
8Main                           (2,0,2,0,0,55)       ~ (2,2,55)        0.0      ----- (2,2,55)        0.0      ----- (2,2,55)        0.0 
9
10* imaginary/exp3_8
11Main                           (0,0,0,0,0,29)       ~ (0,0,29)        0.0      ----- (0,0,29)        0.0      ----- (0,0,29)        0.0 
12
13* imaginary/gen_regexps
14Main                           (11,0,11,0,0,26)     ~ (11,11,26)      0.0       WIN  (5,7,26)        0.0       WIN  (6,7,26)        0.0 
15
16* imaginary/integrate
17Main                           (0,0,0,0,0,12)       ~ (0,0,12)        0.0      ----- (0,0,12)        0.0      ----- (0,0,12)        0.0 
18
19* imaginary/paraffins
20Main                           (25,0,26,0,0,116)    ~ (25,26,116)     0.0       WIN  (15,23,116)     0.0       WIN  (15,20,116)     0.0 
21
22* imaginary/primes
23Main                           (1,0,1,0,0,3)        ~ (1,1,3)         0.0      ----- (1,1,3)         0.0      ----- (1,1,3)         0.0 
24
25* imaginary/queens
26Main                           (0,0,0,0,0,13)       ~ (0,0,13)        0.0      ----- (0,0,13)        0.0      ----- (0,0,13)        0.0 
27
28* imaginary/rfib
29Main                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
30
31* imaginary/tak
32Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
33
34* imaginary/wheel-sieve1
35Main                           (2,0,2,0,0,42)       ~ (2,2,42)        0.0      ----- (2,2,42)        0.0      ----- (2,2,42)        0.0 
36
37* imaginary/wheel-sieve2
38Main                           (1,0,1,0,0,31)       ~ (1,1,31)        0.0      ----- (1,1,31)        0.0      ----- (1,1,31)        0.0 
39
40* imaginary/x2n1
41Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
42
43* spectral/ansi
44Main                           (3,0,3,0,0,6)        ~ (3,3,6)         0.0      ----- (3,3,6)         0.0      ----- (3,3,6)         0.0 
45
46* spectral/atom
47Main                           (0,0,0,0,0,35)       ~ (0,0,35)        0.0      ----- (0,0,35)        0.0      ----- (0,0,35)        0.0 
48
49* spectral/awards
50QSort                          (0,0,0,0,0,10)       ~ (0,0,10)        0.0      ----- (0,0,10)        0.0      ----- (0,0,10)        0.0 
51Main                           (0,0,0,0,0,23)       ~ (0,0,23)        0.0      ----- (0,0,23)        0.0      ----- (0,0,23)        0.0 
52
53* spectral/banner
54Main                           (1,0,1,0,0,10)       ~ (1,1,10)        0.0      ----- (1,1,10)        0.0      ----- (1,1,10)        0.0 
55
56* spectral/boyer
57Main                           (0,0,0,0,0,64)       ~ (0,0,64)        0.0      ----- (0,0,64)        0.0      ----- (0,0,64)        0.0 
58
59* spectral/boyer2
60Lisplikefns                    (0,0,0,0,0,57)       ~ (0,0,57)        0.0      ----- (0,0,57)        0.0      ----- (0,0,57)        0.0 
61Checker                        (0,0,0,0,0,32)       ~ (0,0,32)        0.0      ----- (0,0,32)        0.0      ----- (0,0,32)        0.0 
62Rulebasetext                   (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
63Rewritefns                     (0,0,0,0,0,45)       ~ (0,0,45)        0.0      ----- (0,0,45)        0.0      ----- (0,0,45)        0.0 
64Main                           (0,0,0,0,0,10)       ~ (0,0,10)        0.0      ----- (0,0,10)        0.0      ----- (0,0,10)        0.0 
65
66* spectral/calendar
67Main                           (11,0,11,0,0,19)     ~ (11,11,19)      0.0       WIN  (6,8,19)        0.0       WIN  (6,7,19)        0.0 
68
69* spectral/cichelli
70Key                            (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
71Auxil                          (4,0,4,0,0,82)       ~ (4,4,82)        0.0      ----- (4,4,82)        0.0      ----- (4,4,82)        0.0 
72Interval                       (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
73Prog                           (1,0,1,0,0,36)       ~ (1,1,36)        0.0      ----- (1,1,36)        0.0      ----- (1,1,36)        0.0 
74Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
75
76* spectral/circsim
77Main                           (33,0,43,0,0,173)    ~ (33,43,173)     0.0       WIN  (27,39,173)     0.0       WIN  (27,39,173)     0.0 
78
79* spectral/clausify
80Main                           (1,0,1,0,0,141)      ~ (1,1,141)       0.0      LOSE  (1,2,142)       0.0      LOSE  (1,2,142)       0.0 
81
82* spectral/constraints
83Main                           (3,0,3,0,0,109)      ~ (3,3,109)       0.0       WIN  (2,2,109)       0.0       WIN  (2,2,109)       0.0 
84
85* spectral/cryptarithm1
86Main                           (1,0,1,0,0,26)       ~ (1,1,26)        0.0      ----- (1,1,26)        0.0      ----- (1,1,26)        0.0 
87
88* spectral/cryptarithm2
89MonadTrans                     (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
90MonadState                     (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
91Main                           (1,0,1,0,0,67)       ~ (1,1,67)        0.0      ----- (1,1,67)        0.0      ----- (1,1,67)        0.0 
92
93* spectral/cse
94StateMonad                     (1,0,1,0,0,5)        ~ (1,1,5)         0.0      ----- (1,1,5)         0.0      ----- (1,1,5)         0.0 
95Main                           (0,0,0,0,0,40)       ~ (0,0,40)        0.0      ----- (0,0,40)        0.0      ----- (0,0,40)        0.0 
96
97* spectral/eliza
98Main                           (0,0,0,0,0,56)       ~ (0,0,56)        0.0      ----- (0,0,56)        0.0      ----- (0,0,56)        0.0 
99
100* spectral/expert
101Result                         (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
102Table                          (0,0,0,0,0,186)      ~ (0,0,186)       0.0      ----- (0,0,186)       0.0      ----- (0,0,186)       0.0 
103Knowledge                      (0,0,0,0,0,63)       ~ (0,0,63)        0.0      ----- (0,0,63)        0.0      ----- (0,0,63)        0.0 
104Match                          (0,0,0,0,0,25)       ~ (0,0,25)        0.0      ----- (0,0,25)        0.0      ----- (0,0,25)        0.0 
105Search                         (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
106Main                           (0,0,0,0,0,37)       ~ (0,0,37)        0.0      ----- (0,0,37)        0.0      ----- (0,0,37)        0.0 
107
108* spectral/fft2
109Complex_Vectors                (2,0,2,0,0,7)        ~ (2,2,7)         0.0       WIN  (1,1,7)         0.0       WIN  (1,1,7)         0.0 
110Fourier                        (11,0,11,0,0,70)     ~ (11,11,70)      0.0       WIN  (6,6,70)        0.0       WIN  (6,8,70)        0.0 
111Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
112
113* spectral/fibheaps
114Main                           (18,0,18,0,0,61)     ~ (18,18,61)      0.0       WIN  (16,18,60)      0.0       WIN  (16,18,60)      0.0 
115
116* spectral/fish
117Main                           (30,0,30,0,0,35)     ~ (30,30,35)      0.0      ----- (30,30,35)      0.0      ----- (30,30,35)      0.0 
118
119* spectral/gcd
120Main                           (8,0,8,0,0,22)       ~ (8,8,22)        0.0      LOSE  (8,9,20)        0.0       WIN  (8,8,20)        0.0 
121
122* spectral/hartel/comp_lab_zift
123Main                           (56,0,56,0,0,262)    ~ (56,56,262)     0.0       WIN  (53,56,253)     0.0       WIN  (44,47,262)     0.0 
124
125* spectral/hartel/event
126Main                           (3,0,3,0,0,77)       ~ (3,3,77)        0.0      ----- (3,3,77)        0.0      ----- (3,3,77)        0.0 
127
128* spectral/hartel/fft
129Main                           (30,7,37,0,0,77)     ~ (37,37,77)      0.0       WIN  (30,33,74)      0.0       WIN  (28,32,75)      0.0 
130
131* spectral/hartel/genfft
132Main                           (39,5,47,0,0,46)     ~ (44,47,46)      0.0       WIN  (23,34,37)      0.0       WIN  (24,34,37)      0.0 
133
134* spectral/hartel/ida
135Main                           (58,2,60,0,0,86)     ~ (60,60,86)      0.0       WIN  (23,29,84)      0.0       WIN  (23,29,84)      0.0 
136
137* spectral/hartel/listcompr
138Main                           (0,0,0,0,0,20)       ~ (0,0,20)        0.0      ----- (0,0,20)        0.0      ----- (0,0,20)        0.0 
139
140* spectral/hartel/listcopy
141Main                           (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
142
143* spectral/hartel/nucleic2
144Types                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
145RU                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
146RG                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
147RC                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
148RA                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
149Main                           (0,0,0,0,0,177)      ~ (0,0,177)       0.0      ----- (0,0,177)       0.0      ----- (0,0,177)       0.0 
150
151* spectral/hartel/parstof
152Main                           (25,0,25,0,0,388)    ~ (25,25,388)     0.0       WIN  (19,22,388)     0.0       WIN  (18,22,387)     0.0 
153
154* spectral/hartel/sched
155Main                           (12,0,12,0,0,45)     ~ (12,12,45)      0.0       WIN  (9,12,45)       0.0       WIN  (9,12,45)       0.0 
156
157* spectral/hartel/solid
158Main                           (5,0,5,0,0,53)       ~ (5,5,53)        0.0       WIN  (4,4,53)        0.0       WIN  (4,4,53)        0.0 
159
160* spectral/hartel/transform
161Main                           (30,0,30,0,0,440)    ~ (30,30,440)     0.0      ----- (30,30,440)     0.0      ----- (30,30,440)     0.0 
162
163* spectral/hartel/typecheck
164Main                           (1,0,1,0,0,94)       ~ (1,1,94)        0.0      ----- (1,1,94)        0.0      ----- (1,1,94)        0.0 
165
166* spectral/hartel/wave4main
167Main                           (18,0,18,0,0,39)     ~ (18,18,39)      0.0       WIN  (16,16,40)      0.0       WIN  (16,18,39)      0.0 
168
169* spectral/integer
170Main                           (3,0,3,0,0,25)       ~ (3,3,25)        0.0       OK   (2,4,25)        0.0       OK   (2,4,25)        0.0 
171
172* spectral/knights
173Sort                           (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
174ChessSetArray                  (23,0,23,0,0,39)     ~ (23,23,39)      0.0       WIN  (15,19,39)      0.0       WIN  (15,19,39)      0.0 
175ChessSetList                   (7,0,7,0,0,32)       ~ (7,7,32)        0.0       WIN  (5,6,32)        0.0       WIN  (5,6,32)        0.0 
176KnightHeuristic                (22,0,22,0,0,47)     ~ (22,22,47)      0.0      ----- (22,22,47)      0.0      ----- (22,22,47)      0.0 
177Queue                          (0,0,0,0,0,9)        ~ (0,0,9)         0.0      ----- (0,0,9)         0.0      ----- (0,0,9)         0.0 
178Main                           (3,0,3,0,0,15)       ~ (3,3,15)        0.0      ----- (3,3,15)        0.0      ----- (3,3,15)        0.0 
179
180* spectral/lambda
181Main                           (0,0,0,0,0,67)       ~ (0,0,67)        0.0      ----- (0,0,67)        0.0      ----- (0,0,67)        0.0 
182
183* spectral/last-piece
184
185* spectral/lcss
186Main                           (6,0,6,0,0,26)       ~ (6,6,26)        0.0      ----- (6,6,26)        0.0      ----- (6,6,26)        0.0 
187
188* spectral/life
189Main                           (1,0,1,0,0,38)       ~ (1,1,38)        0.0      ----- (1,1,38)        0.0      ----- (1,1,38)        0.0 
190
191* spectral/mandel
192PortablePixmap                 (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
193Mandel                         (1,0,1,0,0,18)       ~ (1,1,18)        0.0      ----- (1,1,18)        0.0      ----- (1,1,18)        0.0 
194Main                           (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
195
196* spectral/mandel2
197Main                           (9,0,9,0,0,25)       ~ (9,9,25)        0.0      ----- (9,9,25)        0.0      ----- (9,9,25)        0.0 
198
199* spectral/minimax
200Wins                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
201Board                          (0,0,0,0,0,81)       ~ (0,0,81)        0.0      ----- (0,0,81)        0.0      ----- (0,0,81)        0.0 
202Tree                           (2,0,2,0,0,10)       ~ (2,2,10)        0.0       WIN  (1,2,10)        0.0       WIN  (1,2,10)        0.0 
203Game                           (0,0,0,0,0,42)       ~ (0,0,42)        0.0      ----- (0,0,42)        0.0      ----- (0,0,42)        0.0 
204Prog                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
205Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
206
207* spectral/multiplier
208Main                           (12,0,12,0,0,121)    ~ (12,12,121)     0.0       WIN  (11,12,121)     0.0       WIN  (11,12,121)     0.0 
209
210* spectral/para
211Main                           (23,0,23,0,0,333)    ~ (23,23,333)     0.0      ----- (23,23,333)     0.0      ----- (23,23,333)     0.0 
212
213* spectral/power
214Main                           (2,1,3,0,0,222)      ~ (3,3,222)       0.0       WIN  (2,2,222)       0.0       WIN  (2,2,222)       0.0 
215
216* spectral/pretty
217CharSeq                        (4,0,4,0,0,14)       ~ (4,4,14)        0.0       WIN  (3,4,14)        0.0       WIN  (3,4,14)        0.0 
218Pretty                         (10,0,10,0,0,36)     ~ (10,10,36)      0.0      ----- (10,10,36)      0.0      ----- (10,10,36)      0.0 
219Main                           (1,0,1,0,0,1)        ~ (1,1,1)         0.0      ----- (1,1,1)         0.0      ----- (1,1,1)         0.0 
220
221* spectral/primetest
222IntLib                         (6,8,14,0,0,60)      ~ (14,14,60)      0.0       WIN  (6,6,57)        0.0       WIN  (6,6,55)        0.0 
223MyRandom                       (32,0,32,0,0,15)     ~ (32,32,15)      0.0       WIN  (22,27,21)      0.0       WIN  (22,27,21)      0.0 
224Prime                          (8,0,8,0,0,153)      ~ (8,8,153)       0.0       WIN  (8,8,145)       0.0       WIN  (8,8,145)       0.0 
225Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
226
227* spectral/puzzle
228Main                           (9,0,9,0,0,120)      ~ (9,9,120)       0.0      ----- (9,9,120)       0.0      ----- (9,9,120)       0.0 
229
230* spectral/rewrite
231Main                           (5,0,5,0,0,280)      ~ (5,5,280)       0.0      ----- (5,5,280)       0.0      ----- (5,5,280)       0.0 
232
233* spectral/scc
234Digraph                        (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
235Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
236
237* spectral/secretary
238
239* spectral/simple
240Main                           (92,0,92,0,0,897)    ~ (92,92,897)     0.0      LOSE  (93,93,937)     0.0      LOSE  (93,97,928)     0.0 
241
242* spectral/sorting
243Sort                           (1,10,11,0,0,237)    ~ (11,11,237)     0.0      ----- (11,11,237)     0.0      ----- (11,11,237)     0.0 
244Main                           (0,0,0,0,0,8)        ~ (0,0,8)         0.0      ----- (0,0,8)         0.0      ----- (0,0,8)         0.0 
245
246* spectral/sphere
247Main                           (6,0,6,0,0,170)      ~ (6,6,170)       0.0       WIN  (1,1,170)       0.0       WIN  (1,1,170)       0.0 
248
249* spectral/treejoin
250Main                           (1,0,1,0,0,24)       ~ (1,1,24)        0.0      ----- (1,1,24)        0.0      ----- (1,1,24)        0.0 
251
252* real/anna
253Utils                          (23,0,23,0,0,305)    ~ (23,23,305)     0.0       WIN  (20,21,310)     0.0       WIN  (20,21,309)     0.0 
254BaseDefs                       (0,0,0,0,0,529)      ~ (0,0,529)       0.0      ----- (0,0,529)       0.0      ----- (0,0,529)       0.0 
255MyUtils                        (1,0,1,0,0,67)       ~ (1,1,67)        0.0      ----- (1,1,67)        0.0      ----- (1,1,67)        0.0 
256DomainExpr                     (2,0,2,0,0,36)       ~ (2,2,36)        0.0      ----- (2,2,36)        0.0      ----- (2,2,36)        0.0 
257AbstractVals2                  (0,0,0,0,0,200)      ~ (0,0,200)       0.0      ----- (0,0,200)       0.0      ----- (0,0,200)       0.0 
258SuccsAndPreds2                 (1,0,1,0,0,299)      ~ (1,1,299)       0.0      ----- (1,1,299)       0.0      ----- (1,1,299)       0.0 
259AbstractMisc                   (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
260AbsConc3                       (0,0,0,0,0,168)      ~ (0,0,168)       0.0      ----- (0,0,168)       0.0      ----- (0,0,168)       0.0 
261Apply                          (1,0,1,0,0,35)       ~ (1,1,35)        0.0      ----- (1,1,35)        0.0      ----- (1,1,35)        0.0 
262AbstractEval2                  (0,0,0,0,0,13)       ~ (0,0,13)        0.0      ----- (0,0,13)        0.0      ----- (0,0,13)        0.0 
263BarakiMeet                     (0,0,0,0,0,74)       ~ (0,0,74)        0.0      ----- (0,0,74)        0.0      ----- (0,0,74)        0.0 
264BarakiConc3                    (0,0,0,0,0,77)       ~ (0,0,77)        0.0      ----- (0,0,77)        0.0      ----- (0,0,77)        0.0 
265Inverse                        (0,0,0,0,0,99)       ~ (0,0,99)        0.0      ----- (0,0,99)        0.0      ----- (0,0,99)        0.0 
266Constructors                   (0,0,0,0,0,55)       ~ (0,0,55)        0.0      ----- (0,0,55)        0.0      ----- (0,0,55)        0.0 
267Dependancy                     (0,0,0,0,0,145)      ~ (0,0,145)       0.0      ----- (0,0,145)       0.0      ----- (0,0,145)       0.0 
268EtaAbstract                    (0,0,0,0,0,18)       ~ (0,0,18)        0.0      ----- (0,0,18)        0.0      ----- (0,0,18)        0.0 
269FrontierMisc2                  (0,0,0,0,0,41)       ~ (0,0,41)        0.0      ----- (0,0,41)        0.0      ----- (0,0,41)        0.0 
270FrontierDATAFN2                (0,0,0,0,0,34)       ~ (0,0,34)        0.0      ----- (0,0,34)        0.0      ----- (0,0,34)        0.0 
271FrontierGENERIC2               (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
272LambdaLift5                    (3,0,3,0,0,115)      ~ (3,3,115)       0.0      ----- (3,3,115)       0.0      ----- (3,3,115)       0.0 
273MakeDomains                    (0,0,0,0,0,33)       ~ (0,0,33)        0.0      ----- (0,0,33)        0.0      ----- (0,0,33)        0.0 
274Parser2                        (11,0,11,0,0,350)    ~ (11,11,350)     0.0      ----- (11,11,350)     0.0      ----- (11,11,350)     0.0 
275ReadTable                      (2,0,2,0,0,51)       ~ (2,2,51)        0.0      ----- (2,2,51)        0.0      ----- (2,2,51)        0.0 
276SmallerLattice                 (9,0,9,0,0,196)      ~ (9,9,196)       0.0      LOSE  (9,10,196)      0.0      LOSE  (9,10,196)      0.0 
277Simplify                       (0,0,0,0,0,39)       ~ (0,0,39)        0.0      ----- (0,0,39)        0.0      ----- (0,0,39)        0.0 
278TypeCheck5                     (8,0,8,0,0,359)      ~ (8,8,359)       0.0      ----- (8,8,359)       0.0      ----- (8,8,359)       0.0 
279TExpr2DExpr                    (3,0,3,0,0,58)       ~ (3,3,58)        0.0       WIN  (2,2,58)        0.0       WIN  (2,2,58)        0.0 
280PrintResults                   (10,0,10,0,0,89)     ~ (10,10,89)      0.0      ----- (10,10,89)      0.0      ----- (10,10,89)      0.0 
281StrictAn6                      (3,0,3,0,0,309)      ~ (3,3,309)       0.0      ----- (3,3,309)       0.0      ----- (3,3,309)       0.0 
282PrettyPrint                    (0,0,0,0,0,27)       ~ (0,0,27)        0.0      ----- (0,0,27)        0.0      ----- (0,0,27)        0.0 
283Main                           (0,0,0,0,0,51)       ~ (0,0,51)        0.0      ----- (0,0,51)        0.0      ----- (0,0,51)        0.0 
284Monster                        (9,0,9,0,0,12)       ~ (9,9,12)        0.0       WIN  (4,4,10)        0.0       WIN  (4,4,10)        0.0 
285
286* real/bspt
287Libfuns                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
288Stdlib                         (1,0,1,0,0,19)       ~ (1,1,19)        0.0      ----- (1,1,19)        0.0      ----- (1,1,19)        0.0 
289Rationals                      (18,0,18,0,0,47)     ~ (18,18,47)      0.0       WIN  (11,16,46)      0.0       WIN  (11,16,46)      0.0 
290Params                         (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
291GeomNum                        (5,0,5,0,0,17)       ~ (5,5,17)        0.0      ----- (5,5,17)        0.0      ----- (5,5,17)        0.0 
292MGRlib                         (1,0,1,0,0,8)        ~ (1,1,8)         0.0      ----- (1,1,8)         0.0      ----- (1,1,8)         0.0 
293Euclid                         (6,0,6,0,0,92)       ~ (6,6,92)        0.0      ----- (6,6,92)        0.0      ----- (6,6,92)        0.0 
294EuclidGMS                      (0,0,0,0,0,72)       ~ (0,0,72)        0.0      ----- (0,0,72)        0.0      ----- (0,0,72)        0.0 
295BSPT                           (0,0,0,0,0,97)       ~ (0,0,97)        0.0      ----- (0,0,97)        0.0      ----- (0,0,97)        0.0 
296Init                           (14,0,14,0,0,37)     ~ (14,14,37)      0.0      ----- (14,14,37)      0.0      ----- (14,14,37)      0.0 
297Interpret                      (0,0,0,0,0,51)       ~ (0,0,51)        0.0      ----- (0,0,51)        0.0      ----- (0,0,51)        0.0 
298Input                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
299Merge                          (0,0,0,0,0,45)       ~ (0,0,45)        0.0      ----- (0,0,45)        0.0      ----- (0,0,45)        0.0 
300Render                         (2,0,2,0,0,21)       ~ (2,2,21)        0.0      ----- (2,2,21)        0.0      ----- (2,2,21)        0.0 
301Interface                      (0,0,0,0,0,10)       ~ (0,0,10)        0.0      ----- (0,0,10)        0.0      ----- (0,0,10)        0.0 
302Prog                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
303Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
304
305* real/cacheprof
306Arch_x86                       (0,0,0,0,0,37)       ~ (0,0,37)        0.0      ----- (0,0,37)        0.0      ----- (0,0,37)        0.0 
307Generics                       (0,0,0,0,0,71)       ~ (0,0,71)        0.0      ----- (0,0,71)        0.0      ----- (0,0,71)        0.0 
308Main                           (7,0,7,0,0,877)      ~ (7,7,877)       0.0      LOSE  (7,7,878)       0.0      ----- (7,7,877)       0.0 
309
310* real/compress
311BinConv                        (6,0,6,0,0,15)       ~ (6,6,15)        0.0       WIN  (4,5,11)        0.0       WIN  (4,5,11)        0.0 
312BinTest                        (1,1,2,0,0,4)        ~ (2,2,4)         0.0       WIN  (1,1,4)         0.0       WIN  (1,1,4)         0.0 
313Defaults                       (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
314Decode                         (5,0,5,0,0,38)       ~ (5,5,38)        0.0       WIN  (4,5,38)        0.0       WIN  (4,5,38)        0.0 
315PTTrees                        (0,0,0,0,0,14)       ~ (0,0,14)        0.0      ----- (0,0,14)        0.0      ----- (0,0,14)        0.0 
316Encode                         (1,0,1,0,0,12)       ~ (1,1,12)        0.0      ----- (1,1,12)        0.0      ----- (1,1,12)        0.0 
317Main                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
318Uncompress                     (1,0,1,0,0,2)        ~ (1,1,2)         0.0      ----- (1,1,2)         0.0      ----- (1,1,2)         0.0 
319
320* real/compress2
321Encode                         (555,0,555,0,0,867)  ~ (555,555,867)   0.0       WIN  (503,523,867)   0.0       WIN  (503,523,867)   0.0 
322WriteRoutines                  (13,2,15,0,0,15)     ~ (15,15,15)      0.0       WIN  (12,12,13)      0.0       WIN  (12,12,13)      0.0 
323Main                           (1,0,1,0,0,0)        ~ (1,1,0)         0.0      ----- (1,1,0)         0.0      ----- (1,1,0)         0.0 
324
325* real/ebnf2ps
326
327* real/fem
328Database                       (7,0,7,0,0,13)       ~ (7,7,13)        0.0       WIN  (5,5,13)        0.0       WIN  (5,5,13)        0.0 
329DB_interface                   (10,0,10,0,0,49)     ~ (10,10,49)      0.0      ----- (10,10,49)      0.0      ----- (10,10,49)      0.0 
330Basics                         (1,0,1,0,0,5)        ~ (1,1,5)         0.0      ----- (1,1,5)         0.0      ----- (1,1,5)         0.0 
331Vector                         (25,0,25,0,0,20)     ~ (25,25,20)      0.0       WIN  (17,17,23)      0.0       WIN  (17,19,20)      0.0 
332Degrees                        (8,0,8,0,0,30)       ~ (8,8,30)        0.0      ----- (8,8,30)        0.0      ----- (8,8,30)        0.0 
333Assemble_loadvec               (0,0,0,0,0,3)        ~ (0,0,3)         0.0      ----- (0,0,3)         0.0      ----- (0,0,3)         0.0 
334Matrix                         (5,0,5,0,0,84)       ~ (5,5,84)        0.0      ----- (5,5,84)        0.0      ----- (5,5,84)        0.0 
335Elemstif                       (0,0,0,0,0,12)       ~ (0,0,12)        0.0      ----- (0,0,12)        0.0      ----- (0,0,12)        0.0 
336Pre_assemble                   (2,0,2,0,0,16)       ~ (2,2,16)        0.0      LOSE  (2,2,17)        0.0      LOSE  (2,3,16)        0.0 
337VBmatrix                       (2,0,2,0,0,52)       ~ (2,2,52)        0.0      ----- (2,2,52)        0.0      ----- (2,2,52)        0.0 
338Assemble_stiffness             (4,0,4,0,0,15)       ~ (4,4,15)        0.0       WIN  (3,3,15)        0.0       WIN  (3,3,15)        0.0 
339VBlldecomp                     (9,0,9,0,0,78)       ~ (9,9,78)        0.0      LOSE  (9,9,85)        0.0      LOSE  (9,17,78)       0.0 
340Displacement                   (7,0,7,0,0,17)       ~ (7,7,17)        0.0      ----- (7,7,17)        0.0      ----- (7,7,17)        0.0 
341Elemforce                      (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
342Printuvwforce                  (1,0,1,0,0,12)       ~ (1,1,12)        0.0      LOSE  (1,1,13)        0.0      LOSE  (1,2,12)        0.0 
343PrintSource                    (7,0,7,0,0,22)       ~ (7,7,22)        0.0       WIN  (4,7,26)        0.0      LOSE  (4,12,22)       0.0 
344Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
345
346* real/fluid
347Norm                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
348S_Array                        (9,0,9,0,0,152)      ~ (9,9,152)       0.0      ----- (9,9,152)       0.0      ----- (9,9,152)       0.0 
349Defs                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
350Asb_routs                      (1,0,1,0,0,19)       ~ (1,1,19)        0.0      ----- (1,1,19)        0.0      ----- (1,1,19)        0.0 
351C_matrix                       (0,0,0,0,0,52)       ~ (0,0,52)        0.0      ----- (0,0,52)        0.0      ----- (0,0,52)        0.0 
352Chl_decomp                     (4,0,4,0,0,124)      ~ (4,4,124)       0.0       WIN  (3,4,124)       0.0       OK   (3,5,124)       0.0 
353Chl_method                     (2,0,2,0,0,57)       ~ (2,2,57)        0.0       WIN  (1,1,57)        0.0       WIN  (1,1,57)        0.0 
354Min_degree                     (1,0,1,0,0,58)       ~ (1,1,58)        0.0      ----- (1,1,58)        0.0      ----- (1,1,58)        0.0 
355Chl_routs                      (17,0,17,0,0,222)    ~ (17,17,222)     0.0       WIN  (7,8,222)       0.0       WIN  (7,8,222)       0.0 
356Elefac                         (0,0,0,0,0,28)       ~ (0,0,28)        0.0      ----- (0,0,28)        0.0      ----- (0,0,28)        0.0 
357Input_proc                     (24,0,24,0,0,147)    ~ (24,24,147)     0.0       WIN  (12,12,147)     0.0       WIN  (12,12,147)     0.0 
358Tol_cal                        (0,0,0,0,0,11)       ~ (0,0,11)        0.0      ----- (0,0,11)        0.0      ----- (0,0,11)        0.0 
359Jcb_method                     (0,0,0,0,0,41)       ~ (0,0,41)        0.0      ----- (0,0,41)        0.0      ----- (0,0,41)        0.0 
360L_matrix                       (0,0,0,0,0,12)       ~ (0,0,12)        0.0      ----- (0,0,12)        0.0      ----- (0,0,12)        0.0 
361S_matrix                       (0,0,0,0,0,57)       ~ (0,0,57)        0.0      ----- (0,0,57)        0.0      ----- (0,0,57)        0.0 
362Rhs_Asb_routs                  (0,0,0,0,0,62)       ~ (0,0,62)        0.0      ----- (0,0,62)        0.0      ----- (0,0,62)        0.0 
363TG_iter                        (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
364Main                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
365
366* real/fulsom
367Interval                       (0,0,0,0,0,97)       ~ (0,0,97)        0.0      ----- (0,0,97)        0.0      ----- (0,0,97)        0.0 
368Types                          (0,0,0,0,0,24)       ~ (0,0,24)        0.0      ----- (0,0,24)        0.0      ----- (0,0,24)        0.0 
369Matrix                         (0,0,0,0,0,36)       ~ (0,0,36)        0.0      ----- (0,0,36)        0.0      ----- (0,0,36)        0.0 
370Csg                            (0,0,0,0,0,227)      ~ (0,0,227)       0.0      ----- (0,0,227)       0.0      ----- (0,0,227)       0.0 
371Kolor                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
372Patchlevel                     (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
373Vector                         (0,0,0,0,0,16)       ~ (0,0,16)        0.0      ----- (0,0,16)        0.0      ----- (0,0,16)        0.0 
374Oct                            (2,0,2,0,0,57)       ~ (2,2,57)        0.0       WIN  (1,2,57)        0.0       WIN  (1,2,57)        0.0 
375Quad                           (0,0,0,0,0,47)       ~ (0,0,47)        0.0      ----- (0,0,47)        0.0      ----- (0,0,47)        0.0 
376Raster                         (10,0,10,0,0,23)     ~ (10,10,23)      0.0      ----- (10,10,23)      0.0      ----- (10,10,23)      0.0 
377Shapes                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
378Main                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
379
380* real/gamteb
381Consts                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
382GamtebType                     (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
383InitTable                      (4,0,4,0,0,8)        ~ (4,4,8)         0.0      ----- (4,4,8)         0.0      ----- (4,4,8)         0.0 
384Utils                          (1,1,2,0,0,39)       ~ (2,2,39)        0.0       WIN  (1,1,40)        0.0       WIN  (1,2,39)        0.0 
385Compton                        (7,4,16,0,0,3)       ~ (11,16,3)       0.0       WIN  (4,14,3)        0.0       WIN  (4,16,3)        0.0 
386Distance                       (0,0,0,0,0,7)        ~ (0,0,7)         0.0      ----- (0,0,7)         0.0      ----- (0,0,7)         0.0 
387Output                         (16,0,16,0,0,17)     ~ (16,16,17)      0.0       WIN  (7,8,19)        0.0       WIN  (7,9,18)        0.0 
388Pair                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
389PhotoElec                      (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
390RoulSplit                      (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
391TransPort                      (0,0,0,0,0,8)        ~ (0,0,8)         0.0      ----- (0,0,8)         0.0      ----- (0,0,8)         0.0 
392GamtebMain                     (1,0,1,0,0,0)        ~ (1,1,0)         0.0      ----- (1,1,0)         0.0      ----- (1,1,0)         0.0 
393Main                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
394
395* real/gg
396StdLib                         (1,0,1,0,0,48)       ~ (1,1,48)        0.0      ----- (1,1,48)        0.0      ----- (1,1,48)        0.0 
397Parse                          (0,0,0,0,0,16)       ~ (0,0,16)        0.0      ----- (0,0,16)        0.0      ----- (0,0,16)        0.0 
398PSlib                          (4,0,4,0,0,39)       ~ (4,4,39)        0.0      ----- (4,4,39)        0.0      ----- (4,4,39)        0.0 
399GRIP                           (7,0,7,0,0,85)       ~ (7,7,85)        0.0      ----- (7,7,85)        0.0      ----- (7,7,85)        0.0 
400Graph                          (15,0,15,0,0,77)     ~ (15,15,77)      0.0      ----- (15,15,77)      0.0      ----- (15,15,77)      0.0 
401Activity                       (2,0,2,0,0,56)       ~ (2,2,56)        0.0      ----- (2,2,56)        0.0      ----- (2,2,56)        0.0 
402Spark                          (2,0,2,0,0,37)       ~ (2,2,37)        0.0      ----- (2,2,37)        0.0      ----- (2,2,37)        0.0 
403Pool                           (5,0,5,0,0,15)       ~ (5,5,15)        0.0      ----- (5,5,15)        0.0      ----- (5,5,15)        0.0 
404Main                           (0,0,0,0,0,41)       ~ (0,0,41)        0.0      ----- (0,0,41)        0.0      ----- (0,0,41)        0.0 
405
406* real/grep
407Parsers                        (0,0,0,0,0,44)       ~ (0,0,44)        0.0      ----- (0,0,44)        0.0      ----- (0,0,44)        0.0 
408Main                           (0,0,0,0,0,82)       ~ (0,0,82)        0.0      ----- (0,0,82)        0.0      ----- (0,0,82)        0.0 
409StringMatch                    (0,0,0,0,0,85)       ~ (0,0,85)        0.0      ----- (0,0,85)        0.0      ----- (0,0,85)        0.0 
410
411* real/hpg
412Config                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
413Types                          (2,0,2,0,0,138)      ~ (2,2,138)       0.0      ----- (2,2,138)       0.0      ----- (2,2,138)       0.0 
414Env                            (2,0,2,0,0,17)       ~ (2,2,17)        0.0      ----- (2,2,17)        0.0      ----- (2,2,17)        0.0 
415Utils                          (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
416GenVal                         (7,0,7,0,0,27)       ~ (7,7,27)        0.0      ----- (7,7,27)        0.0      ----- (7,7,27)        0.0 
417GenExp                         (25,0,25,0,0,27)     ~ (25,25,27)      0.0      ----- (25,25,27)      0.0      ----- (25,25,27)      0.0 
418GenType                        (6,0,6,0,0,11)       ~ (6,6,11)        0.0      ----- (6,6,11)        0.0      ----- (6,6,11)        0.0 
419Main                           (0,0,0,0,0,44)       ~ (0,0,44)        0.0      ----- (0,0,44)        0.0      ----- (0,0,44)        0.0 
420
421* real/infer
422FiniteMap                      (0,0,0,0,0,23)       ~ (0,0,23)        0.0      ----- (0,0,23)        0.0      ----- (0,0,23)        0.0 
423Shows                          (0,0,0,0,0,7)        ~ (0,0,7)         0.0      ----- (0,0,7)         0.0      ----- (0,0,7)         0.0 
424MyList                         (0,0,0,0,0,6)        ~ (0,0,6)         0.0      ----- (0,0,6)         0.0      ----- (0,0,6)         0.0 
425Parse                          (12,0,12,0,0,117)    ~ (12,12,117)     0.0       WIN  (6,6,117)       0.0       WIN  (6,6,117)       0.0 
426Type                           (0,0,0,0,0,59)       ~ (0,0,59)        0.0      ----- (0,0,59)        0.0      ----- (0,0,59)        0.0 
427Term                           (0,0,0,0,0,59)       ~ (0,0,59)        0.0      ----- (0,0,59)        0.0      ----- (0,0,59)        0.0 
428Environment                    (0,0,0,0,0,20)       ~ (0,0,20)        0.0      ----- (0,0,20)        0.0      ----- (0,0,20)        0.0 
429MaybeM                         (0,0,0,0,0,9)        ~ (0,0,9)         0.0      ----- (0,0,9)         0.0      ----- (0,0,9)         0.0 
430Substitution                   (0,0,0,0,0,23)       ~ (0,0,23)        0.0      ----- (0,0,23)        0.0      ----- (0,0,23)        0.0 
431StateX                         (0,0,0,0,0,3)        ~ (0,0,3)         0.0      ----- (0,0,3)         0.0      ----- (0,0,3)         0.0 
432InferMonad                     (2,0,2,0,0,11)       ~ (2,2,11)        0.0      ----- (2,2,11)        0.0      ----- (2,2,11)        0.0 
433Infer                          (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
434Main                           (0,0,0,0,0,8)        ~ (0,0,8)         0.0      ----- (0,0,8)         0.0      ----- (0,0,8)         0.0 
435State                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
436
437* real/lift
438Utilities                      (1,0,1,0,0,232)      ~ (1,1,232)       0.0      ----- (1,1,232)       0.0      ----- (1,1,232)       0.0 
439LambdaLift                     (3,0,3,0,0,76)       ~ (3,3,76)        0.0      ----- (3,3,76)        0.0      ----- (3,3,76)        0.0 
440Test                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
441Print                          (24,0,24,0,0,48)     ~ (24,24,48)      0.0       WIN  (17,17,48)      0.0       WIN  (17,17,48)      0.0 
442Main                           (0,0,0,0,0,17)       ~ (0,0,17)        0.0      ----- (0,0,17)        0.0      ----- (0,0,17)        0.0 
443
444* real/maillist
445Main                           (3,0,3,0,0,13)       ~ (3,3,13)        0.0      ----- (3,3,13)        0.0      ----- (3,3,13)        0.0 
446
447* real/mkhprog
448Main                           (3,0,3,0,0,120)      ~ (3,3,120)       0.0       WIN  (1,2,120)       0.0       WIN  (1,2,120)       0.0 
449
450* real/parser
451Main                           (65,1,67,0,0,901)    ~ (66,67,901)     0.0      LOSE  (66,68,902)     0.0      LOSE  (66,68,901)     0.0 
452
453* real/pic
454Utils                          (39,1,40,0,0,16)     ~ (40,40,16)      0.0       WIN  (30,32,24)      0.0       WIN  (30,32,17)      0.0 
455PicType                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
456Consts                         (1,0,1,0,0,0)        ~ (1,1,0)         0.0      ----- (1,1,0)         0.0      ----- (1,1,0)         0.0 
457ChargeDensity                  (9,0,9,0,0,11)       ~ (9,9,11)        0.0       WIN  (5,5,10)        0.0       WIN  (5,6,9)         0.0 
458ElecField                      (3,0,3,0,0,44)       ~ (3,3,44)        0.0      ----- (3,3,44)        0.0      ----- (3,3,44)        0.0 
459PushParticle                   (0,0,0,0,0,31)       ~ (0,0,31)        0.0      ----- (0,0,31)        0.0      ----- (0,0,31)        0.0 
460Potential                      (3,0,3,0,0,31)       ~ (3,3,31)        0.0      LOSE  (3,3,32)        0.0      ----- (3,3,31)        0.0 
461Pic                            (8,1,9,0,0,4)        ~ (9,9,4)         0.0       WIN  (5,5,2)         0.0       WIN  (5,5,2)         0.0 
462Main                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
463
464* real/prolog
465Parse                          (0,0,0,0,0,35)       ~ (0,0,35)        0.0      ----- (0,0,35)        0.0      ----- (0,0,35)        0.0 
466PrologData                     (1,0,1,0,0,93)       ~ (1,1,93)        0.0      ----- (1,1,93)        0.0      ----- (1,1,93)        0.0 
467Subst                          (0,0,0,0,0,61)       ~ (0,0,61)        0.0      ----- (0,0,61)        0.0      ----- (0,0,61)        0.0 
468Engine                         (4,0,4,0,0,28)       ~ (4,4,28)        0.0      ----- (4,4,28)        0.0      ----- (4,4,28)        0.0 
469Interact                       (1,0,1,0,0,7)        ~ (1,1,7)         0.0      ----- (1,1,7)         0.0      ----- (1,1,7)         0.0 
470Version                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
471Main                           (0,0,0,0,0,33)       ~ (0,0,33)        0.0      ----- (0,0,33)        0.0      ----- (0,0,33)        0.0 
472
473* real/reptile
474Rational                       (4,0,4,0,0,17)       ~ (4,4,17)        0.0      ----- (4,4,17)        0.0      ----- (4,4,17)        0.0 
475Diff                           (2,0,2,0,0,2)        ~ (2,2,2)         0.0      ----- (2,2,2)         0.0      ----- (2,2,2)         0.0 
476Mgrfuns                        (0,0,0,0,0,16)       ~ (0,0,16)        0.0      ----- (0,0,16)        0.0      ----- (0,0,16)        0.0 
477Drawfuns                       (9,0,9,0,0,25)       ~ (9,9,25)        0.0       WIN  (8,9,25)        0.0       WIN  (8,9,25)        0.0 
478Layout                         (14,0,14,0,0,60)     ~ (14,14,60)      0.0      ----- (14,14,60)      0.0      LOSE  (15,15,60)      0.0 
479Geomfuns                       (21,0,21,0,0,75)     ~ (21,21,75)      0.0       WIN  (17,18,75)      0.0       WIN  (17,18,75)      0.0 
480Auxprogfuns                    (19,0,19,0,0,82)     ~ (19,19,82)      0.0       WIN  (17,17,82)      0.0       WIN  (15,16,82)      0.0 
481Help                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
482Interstate                     (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
483Tilefuns                       (12,0,12,0,0,45)     ~ (12,12,45)      0.0      ----- (12,12,45)      0.0      ----- (12,12,45)      0.0 
484Psfuns                         (0,0,0,0,0,15)       ~ (0,0,15)        0.0      ----- (0,0,15)        0.0      ----- (0,0,15)        0.0 
485Progfuns                       (1,0,1,0,0,188)      ~ (1,1,188)       0.0      ----- (1,1,188)       0.0      LOSE  (1,2,188)       0.0 
486Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
487
488* real/rsa
489Rsa                            (18,6,24,0,0,81)     ~ (24,24,81)      0.0       WIN  (11,14,79)      0.0       WIN  (11,14,79)      0.0 
490Main                           (62,17,79,0,0,108)   ~ (79,79,108)     0.0       WIN  (54,80,66)      0.0       WIN  (30,42,108)     0.0 
491
492* real/symalg
493RealM                          (53,11,64,0,0,157)   ~ (64,64,157)     0.0       WIN  (49,54,142)     0.0       WIN  (41,43,151)     0.0 
494BasicNumber                    (3,0,3,0,0,104)      ~ (3,3,104)       0.0       OK   (2,4,104)       0.0       OK   (2,4,104)       0.0 
495Ast                            (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
496BasicNumberApprox              (6,1,7,0,0,62)       ~ (7,7,62)        0.0       WIN  (6,6,62)        0.0       WIN  (6,6,62)        0.0 
497Env                            (0,0,0,0,0,3)        ~ (0,0,3)         0.0      ----- (0,0,3)         0.0      ----- (0,0,3)         0.0 
498Eval                           (0,0,0,0,0,39)       ~ (0,0,39)        0.0      ----- (0,0,39)        0.0      ----- (0,0,39)        0.0 
499Lexer                          (0,0,0,0,0,15)       ~ (0,0,15)        0.0      ----- (0,0,15)        0.0      ----- (0,0,15)        0.0 
500Op                             (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
501Parser                         (1,0,1,0,0,93)       ~ (1,1,93)        0.0      ----- (1,1,93)        0.0      ----- (1,1,93)        0.0 
502Print                          (2,0,2,0,0,19)       ~ (2,2,19)        0.0      ----- (2,2,19)        0.0      ----- (2,2,19)        0.0 
503Main                           (0,0,0,0,0,7)        ~ (0,0,7)         0.0      ----- (0,0,7)         0.0      ----- (0,0,7)         0.0 
504
505* real/veritas
506Core_datatype                  (0,0,0,0,0,38)       ~ (0,0,38)        0.0      ----- (0,0,38)        0.0      ----- (0,0,38)        0.0 
507Attributes                     (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
508Vtslib                         (2,0,2,0,0,15)       ~ (2,2,15)        0.0      ----- (2,2,15)        0.0      ----- (2,2,15)        0.0 
509Sub_Core1                      (11,0,11,0,0,118)    ~ (11,11,118)     0.0       WIN  (8,9,118)       0.0       WIN  (8,9,118)       0.0 
510Sub_Core2                      (36,0,36,0,0,52)     ~ (36,36,52)      0.0       WIN  (30,30,52)      0.0       WIN  (30,30,52)      0.0 
511Sub_Core3                      (17,0,17,0,0,82)     ~ (17,17,82)      0.0      ----- (17,17,82)      0.0      ----- (17,17,82)      0.0 
512Sub_Core4                      (56,0,56,0,0,139)    ~ (56,56,139)     0.0      ----- (56,56,139)     0.0      ----- (56,56,139)     0.0 
513Dcore                          (6,0,6,0,0,12)       ~ (6,6,12)        0.0       WIN  (5,5,12)        0.0       WIN  (5,5,12)        0.0 
514Core_database                  (10,0,10,0,0,92)     ~ (10,10,92)      0.0      ----- (10,10,92)      0.0      ----- (10,10,92)      0.0 
515Kernel                         (27,0,27,0,0,349)    ~ (27,27,349)     0.0      ----- (27,27,349)     0.0      ----- (27,27,349)     0.0 
516Type_defs                      (0,0,0,0,0,13)       ~ (0,0,13)        0.0      ----- (0,0,13)        0.0      ----- (0,0,13)        0.0 
517Token                          (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
518Unparse                        (4,0,4,0,0,59)       ~ (4,4,59)        0.0      ----- (4,4,59)        0.0      ----- (4,4,59)        0.0 
519Build_itrm                     (2,0,2,0,0,108)      ~ (2,2,108)       0.0      ----- (2,2,108)       0.0      ----- (2,2,108)       0.0 
520Build_Tm                       (0,0,0,0,0,62)       ~ (0,0,62)        0.0      ----- (0,0,62)        0.0      ----- (0,0,62)        0.0 
521Parse                          (9,0,9,0,0,464)      ~ (9,9,464)       0.0      ----- (9,9,464)       0.0      ----- (9,9,464)       0.0 
522Tags                           (0,0,0,0,0,36)       ~ (0,0,36)        0.0      ----- (0,0,36)        0.0      ----- (0,0,36)        0.0 
523Globals                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
524Lookup                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
525Edlib                          (0,0,0,0,0,26)       ~ (0,0,26)        0.0      ----- (0,0,26)        0.0      ----- (0,0,26)        0.0 
526X_interface                    (11,0,11,0,0,69)     ~ (11,11,69)      0.0      ----- (11,11,69)      0.0      ----- (11,11,69)      0.0 
527Tree                           (1,0,1,0,0,27)       ~ (1,1,27)        0.0      ----- (1,1,27)        0.0      ----- (1,1,27)        0.0 
528Goals                          (11,0,11,0,0,51)     ~ (11,11,51)      0.0       WIN  (6,7,51)        0.0       WIN  (6,7,51)        0.0 
529Tactics                        (0,0,0,0,0,31)       ~ (0,0,31)        0.0      ----- (0,0,31)        0.0      ----- (0,0,31)        0.0 
530Auto                           (0,0,0,0,0,9)        ~ (0,0,9)         0.0      ----- (0,0,9)         0.0      ----- (0,0,9)         0.0 
531DerivedRules                   (4,0,4,0,0,32)       ~ (4,4,32)        0.0      ----- (4,4,32)        0.0      ----- (4,4,32)        0.0 
532Display                        (0,0,0,0,0,68)       ~ (0,0,68)        0.0      ----- (0,0,68)        0.0      ----- (0,0,68)        0.0 
533Editor                         (0,0,0,0,0,11)       ~ (0,0,11)        0.0      ----- (0,0,11)        0.0      ----- (0,0,11)        0.0 
534Getops                         (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
535Tacticals                      (2,0,2,0,0,12)       ~ (2,2,12)        0.0       WIN  (1,1,12)        0.0       WIN  (1,1,12)        0.0 
536ThmTactics                     (21,0,21,0,0,217)    ~ (21,21,217)     0.0      ----- (21,21,217)     0.0      ----- (21,21,217)     0.0 
537Main                           (0,0,0,0,0,16)       ~ (0,0,16)        0.0      ----- (0,0,16)        0.0      ----- (0,0,16)        0.0 
538
539
540
541TOTAL                          (2373,85,2478,0,0,22325) ~ (2458,2478,22325) 0.0       WIN  (2056,2219,22299) 0.0       WIN  (2013,2187,22317) 0.0