comments

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 14 Mar 2001 20:57:43 -0500 (EST)


  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-127493298-984621463=:1886
Content-Type: TEXT/PLAIN; charset=US-ASCII


> I'm not sure, but probably just the range.  I'd like to see the table.  Is their
> any correlation with runtime?  

I don't see any obvious correlation.

Here is a new processBench.sml that produces ctimeSize.tex.  Here's the
fig that I added:

\tabBegin
%\small
\centering
\begin{tabular}{|l||r|r|r|r|}
\hline
Program & \none{} & \Acall{} & \Acont{} & \Adom{} \\
\hline
\hline
\input{ctimeSize}
\end{tabular}
\tabEnd{Executable sizes (bytes)}{executable-size}

grep in the processBenchCTimeSize.sml for "switch to print ratios" to
switch over to printing sizes normalized to none.



---559023410-127493298-984621463=:1886
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010314205743.1886V@hoho.cs.cornell.edu>
Content-Description: 

H4sIACEgsDoAA+0a/W/byq2/2n/FwQ/z5ER1JdmyYncpHpa9PhToa4Hk/TAgyQJVlmutsmRIcl+a
wP/7SN6ddPrwR9phXTcdWknHI3kkj+TxLjbM54G3WL9YJ7Hnp+lf/chbXsRRFiy+XPwerPyr4MEf
pqvw2Tc0wzSMyXj8zIDmTOzS2zCssW1azwzHsseG6Tg2fJuOPTKfMeNbJj22bdLMTRh7tgg3frYH
79D4D9q62Ze1z7x4E2UpO2daEGXsRL6OfA5KHc4x2UTA7nERJGk2E/z1bodBS30vjuYVYLYMkirM
4354l4EfzljiuyFMgS/JKFitw30IXrxaB6G/c/y3t1kc7aZWRvIZHwAAWop+oqBsu9147Ufsd/8+
e/O++xnYLd6gEThgiIPQ7wXRepMNM/dD6Kc9jvZ+k5XxENDzMhl/mX/f63bD2HPDLmMLMK0I19eb
CLDiKGXaoIsCnbPQz7od5IrLSXO9DSIfReHg695CEs16OotuAe0qS4Lo4zCLP/nA6mLpJsMgvVq7
ns9SToV6wPv9gmlvomy4SOIVJ2IRn5jBXN1OJL79aN4tS3rBPex4Me900Da8Qx+4m8crXekfJ3KJ
fKf4JaxBhfIw1eAoJYT8YpYniH9QckXog5qWldwvshAXXk8SeK+wiqB7hRR4+3Q5Ro3ER6PfHSc8
IO+cDMYOTnZ3/FQHmBzFqIg4rRwlkJZyQN6RAxUkCcO3AJOqu0L4nZ9m/vzS/6fvwfspGSciSko3
9KUznj5ZLxHccEx+H5mRiNPutETDA7m6QubdS8wR1FymSVmrg8IyyLiU3IQ5FhGYhp2/4nbpEN4C
4E0pWwx7xXCRJ8WYFunJoBivLwK3JJe5w7SFzjywM4hdDNXX8nUQBenyKasYHrUqd7MZ/Psotk78
5h9InfifWcjREFgsxiXsnupq4KhYOcFpN65AKC0cAvTKgGICdz6X6muEa0pkc6ATwJIAazCYabi5
n+BDmooTnZYwzdOcpLbzURWjWJxVTS4KHVPxEmV9VBTrMMqoGaWwj6q/nFlvAFq65DjYnRSuRA1W
d6gGGaqGoersKyipbvsKOjzQPCFv4ZrTmupUAm5SXu7hh55+SXkHPm4pnR0THpLFbn+WGHLHEdPs
JpAYg1Jk5ROd5giKByjdhkqtbKWK6cq4lzssShFRJ87HrD1jo/pYJbZN0Ipz4e/RgL1go6GhqITv
qqM+NEl617z2u1wCKvFMn7uZq39IU33ue/rSv9cX4MaRu/KPdwSg3F3c+J5cfZT5HAGKCRC4V9NL
+HwkGRnuCOwDnulXbvKJuSl7RDl1FoJaqY6ntHS7FTYJFiyM40/u0nfn4uhy9f63X5j2U+95DyTK
lnC6IcOJbWWH/XJJBZp6tUBiaCQEEJIsICNKSRLhypBkAojyAextkGZD3D5I3tkMlZO7G9qg44ep
f7RofFQ9XKrbbzVZl4hKJ86CqikJlucqzqHqXLX8pxIVh9OCpJb4VAI6azdWEqoGdPg+hEWn8Sak
slpVhfJYLpnsoWSphxpGUmFzWWZT96TcwTE20M+75CyKo5+zuot1GjysIxzsUdqO3mKsk9uKf0iw
NA69JbDiTmo3Z1dxnlK/4FNyFbUrUUqOUXRyDjltZfYHPulDDsoNzz8gsEQ+UCKLvpZuNA99DChZ
1XaUGFsnePmDVYPnZlDt83oZMtmM9eRUTF0I6PVuot7tQDDC3AWZZ02lEQcdk48Qk3JSJcgRTglB
Kw28lHPwaalcxqkE9KXo1rIVehiNgT0Y7n9gjB1YudyA+n4B6dx3V1wmkjNPY5zlVySthm1JGYXd
KUW763wvOrQPHc+XIuZJDGWsNe9wNPqE+N4d2ZVtQ24Y17clLw6i8nmtWLYZ20RBxp6/EmxnLCUR
JWN+2cfZzuhSM4RF3NJTlvH5ga/G/fq2S/UV7fhcn/pmOCiNk48s4nCeMLHJU9NwEr53c00pUqkS
GcjDdHHk5AdHHHxLKL/SaZKEJf5rN8kCPIQSX9Wgf9aHw+EWWVGP/YXeAxkE/IxJvbfsZ3ZdWovy
UoiVIDlvAZfkAGowCF95MA6+iDNZINqs7gSVRmJCUfUxW7KY/UTgmC3nAwV/5d6rBgu7jeZCfXRA
pRVCP4RvDf7rwpcpL5KSJJbR7UiZMC3592sMdzzbU2CrRCl7dY5CiHkpxOXVDMW2INZS9g/WY5Cy
uv6956/J8L8kSZxwPdYJ8EbJspiz51NTWpU7b35nK85kgT/XxWXNOYs3GYSuhtfIOs/C170+T73I
vKDoaicI62k9HQfwhgzEgs4Jz4kqVT4jpOmqPO9iyBKKTJVLKPUGCjckeQelXEAJML9kzEGokS5c
VV4Vqbcv56oQyvyGbtSFvMD7yP8iIUvTn+a9UzkzffBFrWqCN6Y/giY5CKdp0uRv8epoRUQoN6uj
DJaVEgOqat+mmdSHPnAW0qsIXH4eX8EC8eC9+JwNX7/5O3SxVrEGqmNiYfurqJKrl1Q7wxhmIVyM
WvjW5JXYC37WP2GmYQyNgd67ufnTAIqql8qEV5kL+j2WilM4BGoezPCRDFQrQqsVp1JtIuUq01dA
SbsEbYhcdm2H8KKeQ7k9cBCgFBCZgzQBB3WA9ynwrmukmvBdzHUaVAwGk6Hm2knZ2iBxBMlKLzkK
Fxn3yqJgeUxyHZHgTlz1ML4dEqwZm5ykgo2wHdjoSVVsgDVjg6xVZAB1RdXESfYlfzK8qo6ASldS
hsD+xWxg+kHOosxNVbfCTRk6mptijiq3YuhYboq5KsyKkTqvW34nlBdqd7KocNfrbicvkIrasuJQ
nkd/I6N6E0qMUiRQXfFS1rcHvDLHK/n1Dbaot3N0ieUWIsjx/LKWiTJqEYSZn3Q7TNFFVnmE4N/D
M6VhXvWJ8k/WhMVxfWe77q3C0L+X5z0G3S+u5xX9z2HwR9H74CaQlZ8vN1kBoz/9P/+YuOtlWkAz
OGjESdF/8JOo6CXulyyB00cBoXRVdD8FygxLdwVBT+dOxq+QTqrZWawMHoRpdfgHrBB9wCrN8pT3
/5w/bm781Xr5mG4P5oYdmA1x34zZENM5Yi1091XSePP09atLBb9cW7pD2bWyEpOMUcKsrmqOicYo
Y1ZWVGKiMUqIT1pNuZb5FVCp3i/krQ/lAtaGpESNK/GU0ujShQrsf3Z9OF4uHP0xVAUoSLlcEikH
qEhSpBxJAhQkKY3Ekf0neYxWCP2ikHdQ9wStEPwQYi78AcRcARVP9bT9+3XlSujAtt20vUp73Nx4
8dx/7NF+rve2VGVrJyz9I8i8JcticQeacCc+GZR2fCXz1HZ8OJArmGoQVFEVrj9kfQDVwUc/+v4F
wip8SoGQe5gXxqn/JqK70RIMf6qHtu5+719yfl0zxO9/Sz82/LfPse/3vzA6MZTf/wLcHDkjp/39
73+i8cxWhNu2P3EmY7M/GZn2CJ6GMYWnPbZvbro8l3Q5iRqNQDQxTKtvTywbnuOpg09gVCXiAbbt
myY4wMTsm4Y9sqwpvC1z7Dj96XTsGGaVCmJ027cda2qM7L59Zo3pPbEdx3D6tn02BtoqDU83MJNj
2M5Z37TBvSbwGtkj6I3tyfSsSkKZASayxpZp2v3xFNwQJhg7U9s6G8HbPLOtUZ0K89gWhi3bHPfH
gDu2+uMxfMBr5ExHtYlkUtr2rZFt2Gd9y5iCcn3LPDMmIOR00kDE89y279hj8wzs7YyM/sQe4dM5
M2vomE6Bv3MGode3zmxnCtNMpuOJBUDHdMZVAsyboIU9ckB1Y2Q5+LSnfTCuqSz+9/bXtrWtbW1r
W9va1ra2ta1tbWtb29rWtra1rW1ta1vb2ta2trWtbW1rW9vaVm//AsErw8YAUAAA

---559023410-127493298-984621463=:1886--