contification paper: benchmarks

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 13:03:58 -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-342241519-984420238=:23339
Content-Type: TEXT/PLAIN; charset=US-ASCII


> Hold off for a couple minutes and I'll send the updated MLton stats and
> fix the reference for the ML-kit.

{experiments,rtable,ctime,rtime}.tex



---559023410-342241519-984420238=:23339
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010312130358.23339H@hoho.cs.cornell.edu>
Content-Description: 

H4sIAC4OrToAA+1aa4/bRrL1Z/6KBm6izAAzMt+UbFzAE29y411714i9d7/Mh6WolsSYIrV8zHgy
1n/fU9VNsUk97OB6E1xATGANm83q6upTp6q6aTvXabLYPJUfN7JM1zKvq3EtPz75mpft2Hbo+09s
XFEY9H5t23WCKHxiR27guXYYhg76+14QPRH2V9XiyNVUdVwK8WSRNbI+0e9zz/+fXreVTB5/6BZ/
+2ggYWtZN5WYyyop05mcizQX1L+Ui8c0r8ti3iR1WuTbK5E3a1kWTSWSYr1JM1laxaZO1+mvMXWo
RFxKIfN4lkHK7EFgjKJK86WoV1KQqHhTFomcN2WcQQTJzq4XWXFvFQsRCzxclvEavTHGcsVvUa90
kSY8gICEvFoU5Zpvx0K8qkVaWegIZQsMnhe1qJpyU6Z63LiG4L6QTVxV4qKC2hkgURc0jpXEWSbi
PHuo0upS3McVj75Iy6oW5hxFPJ9jcuotcbvO6iJ/3IqXb9+JV68xR+ud3NRyPZOlcKbTCVR8vzcL
ViCtRNlAXE3TlVJssjiRFdme1BkK1irI8krcp/WKjCnLO5nTJHvqkWxZqWEraZn91CO8mmTNnHWC
T+Q1mX0TL/n1K6Agnl8nxVxaMoPUXDeneZaSkCtRxmklr+vi+pdmvRksyJXIimLTx8QVrDoX1apM
8w+ilBpLpKFlvS8w3pr0KONaskU3ZYwOWI20fuA3ZzKXi7SuBCBCHfojUhcrzmOsmxxAuF7BxJt4
wzaTYhXfAYPrTSYJ8+gSi1zeW4dWJu+vbYt1qAw3qZrlUla1AnjRlNamhKHzemcocb9KkxUNWclN
vJtYf6CdyqT/0IgMZwJILJoc7xDe+rNmPRncWqysrFlcoSPLhhdoh5zDx+/QvCiLNR48iCpeSD16
SovwD2UZy7SMjKG/Nvdh27b00D7djoX1rXjF3pGqSdyTx2NhGy1U2UBZktynlElRqmawCvlLsYCM
RZMrgLQzIzJhLiGlWsVJB24gQ4wtC7NYyxiOrwfCbAAjmkPf7Phf6yAAUWV+ckOCtqVaYGTYvZTd
sgI3VUzmIXmAY7Jax+WHSjliBaesRLOhKUXBXyy4CbvfDWCteK9740rckmc9ZvLjUhKdqtt19hAn
yZYdxVJNd1l6v2U2JRedxzDUbZLW8vFms5HZ1N0+1+/O4hLjXa+aenul361lXhWlEqd7gTdyJQ5k
ixnly+tNAWpgGskrmmE3dlI0eX0NIt6sqi2hcF1UdQbkPKxnRZYm49tFUdSAmHzsDUikaQlxX6Y1
WmjJ/tzEufhzUUnxP3GZpLH4Od0UoNkL9d494PwiLsv4A5AIDF1e4XVTYWJhQ9yf4rt0Lt4kL7MY
PCtaMfN1klDLi/hXivG5rMdYY0gzDNCfUytXkhQI/knm5YN4KX+BZVqpK2p7QYLLOyVvq2WV8QO8
MZFsG+Lq+5Txg8BXQ4xmj/erFIt2k+cNQt2rlz++FW9VdFsT1F4ClSCRPVN2sknHokyXYOAMxjfM
8F4iRL59/TJrZp0RVnW9efb06f39/TiBNZuNzPMxyPbpbV3XaYYe26pZp+lTzgK3l88Vo2Rgpzmk
MD387buX8TojIL9785pGelfLDewAjpAfqudwTSImwGG+c6iKl7lYkSF/lpvNw7i10pvXIM/WRJ3j
g8hltmjR+yGtd1Z88/r6L2ktLv5XlhW5qnepIf++WNTyh/omm052sF9BUbl7V/wUv3kta4vU5oAH
38W/nXEN693k8xJMIX4uqgqks+xMWOqWFxvYL0+vq9l4LrHsOoSbjk/0rKc0Z8+RH2XS1C39iolt
izc//QpCrGUm3gIYabMWr169UpzhBqF48z2xyRrRr3xQMZ2yGGRMCfIHtiwe90zZoZnMdrULM6Yu
RW7Fwj8yuho8cNze4MRV8EljeuAJK76LkR0R9TI0blErAEiPhK8KQS9BcrBcsaM9VeqBhL9XKZgm
zjbtw12TqfCNF4WRdnKMWMcfwMX3BWVuCGLxrGjqlsJVQGpTvR8pF7uihImZfz9wX1lm5CO2A8tK
CsBzxeqc4amABXkX7ylBwP+5ROJVxfDdurDIlFhJkciyBqkQ/9ZphYxEx1uoPGdlKUQUZS0oVl8h
K6DopJC8C2f7wUxlDWsyE6RRPDKC8SVWop9YY2JzQvKagope8It0QYH80oiFiD+VkryXaFh7GTPP
GsEy1xOqYbFsGBXJdnCTmkI19CRogoOKJqN8TECDAplyT3smLG28udjPui2O1EL8VNzLO52S3adY
kUrKXibTZvo7RcjWsVWly5yfUsIqAUAAY8kR+cAEAMZ3SC/y+dVnawiyHr2b0ePOiAukD5ayDwlo
ylJSuNSY1MmEypB0hj4voC/rmqGgEWuAPkVvlWAiCigcgFxhwLlEYKFcBUUI+sW5RE0Fg8aU8q2b
umHOR4bUlBScrUrWzzmbQnJ+xTjWaUKcbXtRLgcnKuGdF1hINyihphCeFBs5HxNXc73TTfCEhayD
mV/vjWf9N7ZQ/V9NCs9n4dCecrvOGb65fRQgN5L2IxrF7fNPt2D2m4vFpfhvgcltvxkYyuobSlMy
FSitu+vF6LNGf4ksxtsMwFgTSxVgN9I3gWNJXS6QqjQzeH61W8LOjcfWDr4QE8PrhLm8fdMDqjSF
nIsFFAZcqaIerlKi1ZpKnwX8+sB6iz5mAEkSwqVeTukGVKUwU1A4JmIsiFY5Q73iqi6ds99C8YKw
yLWfLq0XZbwk8zyzbmcSycUjJjPDOOstrQ9W5YKXQJtBfBAXH6lhPB7T4uN26aDLJXKdOb/At7rD
0qW/8Zd64hpPnPbJLV40xvwec+gA2JqRED0vuPgk2m4rEMU/oBFQATB0c9FGpaWzxUiW2eJSi/jw
DW0RKL9hLLQwbYNTaw5i/lMGQZbARqFfXEPbmM2HLWJ2OGgYPDUNTPdk44G97o36lxAFFH1tvdFd
Nw+v09ofuPZM8CUz5NrXWEcVobng1sg3lh3L+/ccxqgbYEVmD1fsxlbrLmmlN4QWYCq1zJrqHphF
4e7MHAcol50zbbcqei6GRUg409jJMjRShZSpfj5wRaLqHfDGR5dvptevW749jzSaM716nYeaD93u
oattD7UQxmekW05vywxkho6W+Fq+/RqLoDPAmAhpxl6OvCrnIl1HngMcrtnaiPhYmblEsGtkL6XU
maax3YPgtNt9oIRShXDmd0o+F42Z6QIXqC+QUPGGGC2NM9ltYMRmSmx1+R4GI4RetnkDp92cWJNm
Q9ZKq3Y3hwJxcUe7go6N/LwLhjQARBi7HVcqu4omZBCV9K0b2HImLe0IRJDcxwm6PhqTM9klm4AI
sBjPvieIVdZttQbKUeaT0UqqQxHN60zmy3r1SP2SAijYbB/tcWDcthBFS4Pwtn38lHz6VL54fLrN
zH8PkcB/vNsnaLeiPRdLl9diJG45cEP5Zp0/htvH5NP28a+InNsjz17CKHhmjHiwFydXhyX8qVij
7r1tVWl/0hzZ8GNCKelWeUdrQl6VH/J5BbGEIRX33u1qDYhV2LpWL1uviPbimcq8jCeM9CVvUXWF
yjJmzHEannTyx7RNpquW3rab4E0r+oMqaCqVuMLa4f/5YJdOdd8lvO2GcrxBlvExXTMTUw1sd4Jn
MdUIWTorqc7i/WV2zd0mK3x5kX6UnCGrnT21niDfH1S5Rwan0Q/aQVSr4r4y2EHt/VGPdLgPp6rt
WMzTxUJyXq+yj6MlgtqeXj7sdJGgEUVWVs1FsrJqJW7legNX+q+Dld9T0XsAztJz3FptUdvucfOJ
wH6Fqzcs1Shc91jiQN0kLm6/PVAWXVKRzscCOwYlqzEXX/Gy005fq4O5bamLoizG47JoEB+GO6sG
zQETvb3bbsZUyyZ1u6HLpy4FCqtqg0qNVsnYln5PBWecVUWn4nDAGZ0PPFgd0a64fDILxXYbWIVg
ZZFD1XnKFa4BuZusXvERFOfYon/IxYcYcuATnbALOV6OuxMT2oc0QNAm4qxsrSy+irPF0Z0DOhnL
BW6HItRxBO2nJFxgkID9+NMdEKhth04wb0DIVE1QrTnP1jL2SN7zCUCBsEGHftqzKAXb23wWKnE7
osRDKrN5ZRzxccScdtpgOfW+DxWm1mdejMwX+Zykc3rSoLU9QnVTMik+R5/2HdQO9Oc3aonM8J10
W0TIIhOuN3RM3et7KNS3ReFOO6tbtdQcN6E9SGokH0x/JW97gBPoc1KtPLEA0J/Nx0YUPxTED4Tn
RP/3ufDonAiPzheFR+dEeHS+IDyWJ8Lj48/qaEa8J1Yzw6M+szkQHntPuvBoNhuxss3tQb6Do8CW
9FmEjpoG8bYChQo/nPXz0wvzAdCDIJJhhfnIWPVgY/O+8l97p9VXREK/nZz722w7h0kyGZei2kiw
1QZj/S3vXByMk7dbElDAPC3fWSFVZjiB97a8irP7+KGCTvVuv7BvSpZxgGnM3dh/rChMdburfChJ
B5ZwFP6QgI54NAGTNTjdn6cVPGkDY6hlqpqK2FCFCzU7KBMDYgt9HMh77HdA54EdPPOMnTNq1Bwy
ox0ziKCoR0TcnskcOtLvf1Iw3EZTy0p25i31Pb5Rh7Ec88p2e05BlTe0UCggadJVk8x5P2N4DPvs
Bqu042JdA3XF1iFm/uc/F/FdUVbffTc8oW7TonYbiqqXwcKC07q9MeNLh24jR49SrWK1GwhanaXx
gO67fm1O2X7ZwVBQSFbOQN80tHmb+lwCmKO13eF0P2Lr1Ok5iWj3nmkivwAqTSl3aIG/6Q1uc5eO
vxtgwS080EOhM6ETbHacgstLKIOKkthGReVYbxpaf/TXP/Rtlvr+i9n2q3/51Y5x6vsv28V/7fdf
gR2gn+M5dnj+/uv3uLpUbRSOnUAFomo78seuvbsJxtPQeDKdtjeI3aPRhT0OJ5f0M434Z+JcdkHd
PGEfOfRwJykaTya7m8k4tI0nkTMcI/KUcJt/InMMdepL0qeuKbAbajr2urmhnxvsiZ8q8aGaiW+I
/5DWI3tsd9K+7EZJdsY2aWz+dJLVBx8jZzKOOgM7HuzZ3fljJ+ru3HE0OWKZSKmOtegG4Cr6P6S8
+jxl5IRjzzYMbVgduk9c41GwZ/VAWX3qXOq7Tnz7yQMtZGgIccxVdUzxjrenfXDZ/+nEq49TRv50
PJkauHNNeDomIn1/qLzjX5o/pnT6TocWy48MCZ5jQrAn3NsTri0zOWAZ+ghm5MJDTcVt37zxjJvA
Hcp2lWz945mu9Efz0fn6fa82/id/XPwPoqD7/jvyQo7/rnuO/7/HZcR/e+Q4E/w7DfGP743CiBtC
cCQaolHo6/vApb5ocrkhGPk+vUbscmgTHGFlF7LEMwEiBp9/e7k90rnjRersUh5yorPT7+x7Jzrb
YV8Nd0Kdj6QqNEOa54T+8TFthxuike+wpUahyw2TkW8rc4RTbghHnvdbzIEZnjLHsHN0yhx7nYNT
nYO+OaKobw6dVWFu4WTKP25AEwM0vImvWh38upE3wrRhIy/SnR0PzZOIYEMWCTzdTCazCSwBspgj
9nGN/FLNIoyOzsI10o3PIsAdT6Ivto87DvyB5KBvH04LR5E3IUBEzpSA4tkTGCOKQtUOSPiBG8E8
Tjh1Rm4Q6RcCf+SD6kYwzNTGaz5Bix/gZgp04UEwCY7ZCImVPwDz9DiI0Nu2f0tv1+3P3HaP9/bG
rj+Q7fftpJNcGykL4cd1GUzAkuM63EZgIVB4IBx7yk0wmEc0FMDrvF2TTU1IlY56ljfgjsA/gX+v
BzOPkt8TnQcwm5zyWXfohgOi0Vn5aDp1CTsT32PDeHAR37Uj1e5j3n445Yk78CAvDEL1JADfBq5P
7uX4aPQjMLR+B3TkBCETkn+UgrDE0WCJ3eM+hiXu8knV25mego8/6O2fAJtH7Nfr7blDY3GZATNx
dIoigo8Pg/jOlNum8JhwBKCQ24SqH2g6CKgNMQqOpts8X0Uu7ziCJgOnt08hKIwGDHoq+vzfOg+4
eVccEeUQhsA57FUO+xK1ISI53AgcOU60a5uQq/khm4baiJbJpLD7Uav4A/qYnApCfvTF0ELn3xIL
vQHnTZy+VXRNh0kqF+B5BfCNCbc4FHc4lZn63DClqM7BnAJ324Wid3jcFs4A3e6pdXQmfY7xTyYz
Ub+zdwp7w87OgHW5AsVsGB0+kwVRBrEvtbm4DTnbc/G3anPANZMJGwR/IURxY6h5e3LCa4KBD7vH
+QHYDgbh/VSSEg4kn0TenuRp3yZcONsqn+U0DkHI8+mewi3dg0DolqKOuo30LRPHiZTO7SPTObV0
e2x6MqXrBR77M/nfQA1vAIo/uto4X+frfJ2v83W+ztf5Ol/n63ydr/N1vs7X+Tpf5+t8/Z7XvwEu
MuWFAFAAAA==

---559023410-342241519-984420238=:23339--