contification paper: benchmarks

Matthew Fluet fluet@CS.Cornell.EDU
Sun, 11 Mar 2001 22:58:59 -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-33463914-984369539=:22055
Content-Type: TEXT/PLAIN; charset=US-ASCII


> O.k.  I'm going to finish up a first draft of the benchmarks section
> tonight.  I'll try to make an editting pass over sections 1 - 4 during the
> east coast A.M. tomorrow.

Here are the changes for the experiments section.  




---559023410-33463914-984369539=:22055
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010311225859.22055L@hoho.cs.cornell.edu>
Content-Description: 

H4sIABhIrDoAA+1bbZPbxLLms37FVAFm95bXsWT5LalbxSbAJYcEqGS55wNLccbS2BbRi49e1lkc
399+n+4ZWS+WnVA3F4qqFbCyZlo9PT3dT3fPiKF9FXjLzaNIemmSDZZhofJBrt5+8hGvoT0cTlz3
kyGu6WTcuONyx+7wk+HUGY+GrjMdot123eHoEzH8mEKcuoosl6kQn/DMz9C9r/9vet3GauslUSRj
f3ebJ36y/9n+ZYef6m2+WIrdzz9/av/yy36/tywizdcqSVW0M/f97sb8aPSGCgz3P5vHX3Yv+LlB
4iVpEoYyva+RPTu06cF8tdzhvyAO8iCJ97uvqt+a4CB4pnKW+1bFWQFeMl/rKWTe7lP7IP2B/ivl
7ZvE9NeT4e4rIm7QPk2SEMR+Eskg/l5GasctLapXSnrrEzxfHQtAvJrUy1/RukjeQu4gvhe32VJE
+yNhvk/iXAbhMxm2ZDIdbfqbTuKbDsqSAStz930XI9N30+77MU1WqYyaY5SN7Zn/FL+Jk21r8nqt
lruysz3CTzH0GCr/1Fum93hR8iKNm3KZtrZY17EM77MgaxIfWluMZdl+ZHTlmmuraw6xr17cXR/1
JrFqEPzK00ujXQenfJt00zrH5lsnfHo0b/jXa7lUr1qalVn+q91mZWhfdtA6J2i/76AdnaC96aB1
jxcqT4O75uR35exvqOvY2X4ocpU2meumfQddW2Ju/PX2hH9xb1tw80qXlz2P47YouqmLri0KN54U
hXvbophXukS59jQudCmSIeNYkdcehj71CnUdv/IqSfJur+WeYxTyVQlB9LPV/bW/Krv5Z0d32zp9
uTq2ZCL8roPwyIyJsO0bRHhkw0TYVj4Rul2E7YUlwvERqspUxS3dbXRbeyVjT2V5kmZNYnlobtMD
4U6s4ldJ1LGIuVw8VasgpgEW9GOHllD9R5txSdck66D6OvaBnQ6w05MbCuiEl9QRysXuU2ePafin
x8DbH/Zyx7ug0aCNHyrUZI8/PTIQtKdqyZQ3RPI/t3isU1uUQyBXUTdQ3Ot7RO4Qb+V5EJIB/3Bj
73e2M9lbf3V+975raPJ/9Xaj0iCCdWUfO/1/T/7v2FPXKfP/0Wg8ofx/NHYe8v8/4wKWeruvq8Xf
72qWADO/zoSvMi8NFsoXQSxeK49cLtMOkemnx0Gcp4lf8MNewIOsRjeFjWAZeJKfoiQP7vjnvi/i
IlJpUmQCrrcJQpVaCXw6Cn5ngkzAw4SKye98sbgXEC7JgnglUDQIGlVu0sRTfpHKUNAwqCCulmGy
tZKlkGKjk1BQY4zVmt9qCCPAIc6WSRrx40CI57kIMguEmADKEhEnuQCkbtLAjCtzMG4y2cgsExcZ
xAYiiDyhcSwKr1AFQ+yl2MqMR18GaZaL+hyF9H1MTr8lbqMwB6LtxbMfX4vnLzBH67Xa5CpaqFTY
8/kMIt4czYIFCDKRFmCX03SVEptQIgDQopE4bcZGBJX2xTbI16RMld6pmCbZEI94q0wPmymrTqe7
8KoXFj7LBGeKc1L7Rq749T7MR/pXHoK5pUJwjU1zEIcBMemLVAaZusqTq9+KaNNakL4Ik2TTtIk+
GZjI1mkQvxGpMmZHElrWTYLxIpIjlblijW5SCQKsRpDf85sLFaOQzDMBEyGC5ohsvTo0qpbt52uo
eCM3rDMl1vIONhhtUO3CWUAiBUKI1bUycXNtS1uHyPCvrFitEKi1gSdFam1SKBo5XqkosV0H3pqG
zBQygHJizYEOIpP8bSWyOZOBSFHEeIfsrTlrlpON27BVmbWQGQiZN7zAOKQPcLhD8zJNInTciwyp
uyhzCczon1ozVl0zVByX6u7WLeEQQUbZux8I63PxnL0j0JPYksdjYQvDVOtAa5LcJ1VekupmoAr5
S7IEj2URawMpZ0ZgwlhCQpWCkwzcQIoYWBZmESlJuZTmiNnAjGgOTbXjXyODgIlq9ZMbkmlbugVK
ht5TVS0r7CaTpB7iB3P01pFM32TaETM4ZSaKDU1pOv7Ogpuw+13DrDXuVW/0xS151i5Ub1eK4FQ/
RuG99Lx9XyMxN92FwXbPaEou6kso6tYLcpS4m40K587+iXl3IVOMd7Uu8n3fvJsjqUxSzc5QATdi
zQ5gixnFq6tNAmhgGIkzmmE1tpcUcX4FIN6ssz1ZYZRkeQjL4bQp8Aa3S9QCMDG1awxIoGkJsU2D
HC20ZP8oZCz+kWRK/JdMvUCKV8EmAcxe6Pe2MOcvZZrKN7BE2NBlH6/XBSYUrrH7St4FvnjpPQtR
8IPUsPEjz6OWL+XvlBzEKh9gjcGtpoDmnEq+iriA8bcqTu/FM/UbNFNyXVPbl8Q4vdP89oZXKu/h
jZ5i3RBWbwO2HwS+HGwMetysAyzadRwXCHXPn33zozBbLBGZGpVfAJEjVVa8ScYkDZCWIzDd19Vw
oxAif3zxLCwWlRLWeb55/OjRdrsdeNBmsVFxPADYPiqz3N0+K6IgeMTp4/7yiUaUEOjkgwvDww9f
PJNRSIb8+uULGul1rjbQAzBCvcmewDUJmGAO/sGhMl7mZE2KfKU2m/tBqaWXL3JKLrSKKscHkKtw
WVrvmyA/aPHli6vvglxc/LdKM3LV0aUx+Ztkmav5tK/vs4PpryGsOrwvvpUvX6jcItE56MF/8bdS
cE2D17GfAi3EqyTLADyrSo2paflyAx3GwVW2GKBAuNybMF53foJoMy2fvUe9VV6RlxAsZsOhePnt
7wDFXIXiRxhHUETi+fPnGjec8US8fEqIEiECpvc6rlMmg6zJUxutXXQ31FlZNKmufwg1dVmS2JLC
PTG6HnxsO43BCa/gl7XpASsseSeRIRH8snlw0ZnnO7KxDIHPQ4KwWrOzPdLiAYif6jTMgGeZ+uGp
CHUIx4uilrNynIjkG+DxNqHsDYFMLpIiL2FcB6Uy3fuG8rE+JU2M/sfBu2/Vox8hHpBWURD2NbJz
lqeDFvhd3FCSgH9jheQrk/DfPLFIlVhJ4ak0B7AQBudBhqzExFyI7LOwFCaSNBcUr/vIDChCaWs+
hLTjgKYzh4jUBG4Uk2oB+RIr0UyuMTGfLDmiwGIW/CJYUjC/rMVDxKBMcz5KNqyjrJlnjYAZmwnl
0FjYjoykO7hJTuEacpJpAoeSIqScTECCBNlyQ3oGLaM8Xxxn3hZHayG+TbbqzqRl2wArkinVyGbK
bP8gCOlaWlmwirmXklYFA4RhrDgqd0wAxojqJ4n9/nvrCNIevRtSd6XEJVIIS+uHGBQp7eYcbNIk
FDpLMlm6n0BeljVEUSMiGH0Aap1kIhJoOwDAQoG+3pBAahwQnYwV6iooVFLaFxV5wbiPLKlIKUBb
mcqfcEaFBL3PdmxSBRnuG5EuBiZq5pUXWEg5KKmmMO4lG+UPCK+55qkmeEZDVmf21ywUm2/sIfq/
iwCez8whPeV3lTN8drsTADfi9g0axe2Td7dA9uuL5aX4T4HJ7T9rKcpqKspAMhUppbubxWiiRnOJ
LLa3BQwjIpRKgG4krwfHUqZkIFE93rQFy3IJKzceWAfzBRsJrxP15W2qHqZKU4i5YEBxwNUqauIs
IFjNqfxZwq871ls0bQYmSUy43Isp5YCoFGYSCskEjAnBKmepfa7sAp/9FoInZItc/5nyepnKFann
sWX2/TCZBcaJ9rQ+WJULXgKjBvFGXLylhsFgQIuPx5UNkkvkOz6/wI+GYOXQb/zSPU6txy57eMev
GvMp5lAZYKlGsmg/4QKUYLusQjT+AEYABbCh64syKq3sPUay6i0OtYg3n9E2gfYbtoXSTMvgVKqD
kP+cQpAlsFLojqutm3pzt0bqBJ2KQW9dwfRMOm7pa1urgcmiYEUfW26Qm+b2dV76jutIBR8yQ65/
a+uoIzQX3cbya8uO5f0phjLyAraiwvs+u7FVukuQmU2hJZBKL7OBuntGUbg7I0cH5Fan2VnbxbAI
HmcaB141iXQxVRc/brkiQfXB8AYnl29h1q9aviOPrDWHZvUqD613OlWnY3QPsRDGFyRbTG+rEGAG
Qkt8LN9+gUUwGaAkQFqwlyOvirlQN5GnA8MNWtciPlbGVwh2hWqklCbTrG35mG1MXiNKKHUIZ3yn
5HNZ1DNd2AVqDCRUvClGS2PPDpsYsp4SW1W+h8HIQi/LvIHTbk6sSbI2agVZuaNDgTiBcsTEQXpe
xULiDw61DY++Tq7Gc9KHzvmiAqpcKMv4AeEj0zjjisaY5EJVueZA8HciO0wwSSE8XATLSxltZtJ6
s81FhySHkyPrNovgDNYteQxydZSsdIwXqnjFZ4Jy4SUwls1+NxyMa49WdZJUIArud++8d+/SL3eP
9mH9bxdW/L+TvYN0a9qesUwlLnqYPMV3CF9E8W6y33nv9vRtBurv7j4+aRW92oidVJyDdXOgIztx
e1uKUt6CGEnzzqPMdW+VR2KsQqs8gQNbMjUdHl8fShKw1SZ4pV+2nhM68oFYs4cdYsW7WVU9s5Js
mpytexX/Ae2omeKmsUMneH+LflChTRUVF2IHN3nS2tDT5Ie8uNx7lhskI2+DiAGbSuVhxXghqZQI
g0VK5RhvRbMHH/Zj4fLL4K3iRFpvAur1BEZ/ratCUjiN3qkHka2TbVYDEb1NSBRBe8tOF+VS+MFy
qTj910nKyUpC72Sv7g+yKKCNxjSLzyONVjNxq6INXOnTzgLxkWh0ANrMHPdWWfuW2+F8eHBcCJu9
TT0Kl0eW6CivxMXt5x3V0yXV8nyCcABa0hpDdp+XnTYFSxnqO5ymdgolutOkQBhpb8LW0BA20djm
rWZMJa+Xl3u/fECToP7KNijoaJVqO9g3VJfKMEsqEdsDLugo4d6q8HjNVVa9nix3jHWk1hrpKuID
LoRrJncd5ms+reJUXDTPw/i8Q7V8omJ2oQarQXW4QluWNSMo83UWNtcaX8tweXKDgQ7RYoHHNgt9
ckHbLh7XIcTgOExVZwl6d6JizPsUKtAT1GvOs7VqWyk3fFiQIGzQ+aDxLMrUjvaphc7vTghxH6jQ
z2qngRxY55U0WE6zPUT1q/WeF6f1F/lIpXJ6kqDUPSJ6kTIoPgFN+Q5KDPr5mV6iepT3qp0kJJse
lyUm9h7RdmUEZe14kM6qVi2oj+vRViU1kg8Gv5O33cMJzJGqEZ5QANYf+oNaFO8K4h3h2TP/vC88
2mfCo/1B4dE+Ex7tDwiP6ZnwuHulT3HEDaFaPTya452O8NjoqcJjvbkWK8sSAODbOjUsQZ9ZmKhZ
A96SodDhh4sD7r2od8B6EERCrDCfLmsKVjZvP3/fONjuEwj9cXBu7sYdHMYLlUxFtlFAqw3G+iGu
XByIE5c7FxCgfrB+0EKg1XDG3ssqTIZbeZ9BpvywrdhUJfPoQJr6pu0/1xSmqk1YPr+ks004Cn9z
QKdBBoBJG1wV+EEGT9pAGXqZsiIjNNThQs8OwkiY2NKcHPJW/B2ss2Ojr34cz5k3ShMV0sYaWFDU
IyAuj2+6Tv+bXx+0d9v0spKeOUU/wht9bssxLy138bSp8r4XCgokTaa4UjFve7RPbB/zZ2UlFptS
qarJupD5X/9ayrskzb74on2YXaZF5W4VFTmthQWmVVtotY8iqv0eM0q2lnrTELC6CGQL7iu6Mqcs
PwJhU9CWrJ2BPn8o8zb9ZQVsjtb2YKfHEdukTk+IRblFTRP5DaZSpOpgLfA3sw9e38zjTwyYcWke
oNDW6dFhNztOwlUohEHhSWijo7I0e4vv+QKt/P6LC4WP/uVXOcbZ//9jPBrah///YzKagn5kDx++
//pTriqN6g17tj3D3/kEf9xRbzLlhknPnaNh2pu45nnsEC2aHG4Y91yXXkOQ7XUVqMPBcKaDT7YX
j8WFPZhMbj+/3J8gtod1YmfgDM8R201id3SGeDhpiuHMiLjKDepn+jxDmueM/riYts0N055rs6Z6
E4cbZj13qNUxmXPDpDca/RF1YIbn1NEmnp5TxxHx+BzxuKmO6bSpDn0cTnObzOZ8c8Y0MZjGaObq
Vht3ZzrqYdrQ0WhqiO0RmmdTMhvSyHhkmkllQzKW8XR2Sj/OYD5vzmIyPTkLdH64BTiD2fSD9eMM
xm6L87ipnzcBKWc6mpFBTO05GcpoOIMyptOJbodJuGNnCvXYk7ndc8ZT88LY7bnTEUylZ8+HeM0l
0+IOPMxhXegYz8andGS7A7dlzPPTRgTq4fCPUDtOc+ZD5zT1aOC4Ld5uU0/64yQox3HJfhyHjQm2
ZDs2t5GxkFGMADjDOTdBYSOCoTG8bnRoGlLTyD3tWaMWdozdM/Y/apjZaDC0zxG3zGx2zmedthu2
gEZ/n0XgwoA7nZJGXHiJa8+5bQ4jmPQwd7KEiaYD8ozH1AbYhe2YtpGrwXh0Wimzlh0PzyllMm2B
wjlA/b8Rt+Cm/FKJvYhcCm7EhmKzeVAbQNbmRpiEbU8PbTOyHnfCqqE2QhpS6cg5rRW35RGzc7jq
tnDDOY1IIP4j8D5qufHMbmpFfwpHehhPWBs0r/G8N59xi01QytF57nLDnAIVxyeKRSUJBaTJaV3Y
o5bE59bRnjXdxj0bn6dN4tE522sT2y0goW8YafZsHa47ZUiZMqBQm4PHCScwDn7rNhu4MZuxQvAL
qMuNEwNFszNeM560dDI/Z9vjVsQ6F3cnLc5nLe+I87ypE/qukbTBCMJeAzx16ZkiCD0DQOiRgFQ/
Ts0jA8eZLMVpWqZ9bumGLQuyz2YpDSwdvielaYkxahnFX51A/82vsv5L/7r6z55M3Fr953L950we
6r8/46rVf5OBfQCbnkt1V/kwpnyx6qnyc0KPHjx4Mruk23zKt5l9eaKosqnzwGk6mB1iSW82mAxr
PVO7PcZ0pJkP+Tatj2EqFXCfO3WG1VDzwaiaG+ic8RH7uWY/0TNxL1uJfg21PvBBc7aRe182b0ep
sT0bTCsFI6WeVHpBOl7FRYA2JZPdmplq0bEWR5mmPamlxlBGTTPgP3NqXeMjzYy1Zub2pXnqyNlm
tagGJnZd83adfZVqHNQzvmzejpIfdz6YzWu24dRNyK5bjeu2hbfdy/qtzp3TCSi0Su7AYWTXzaTB
fHTE3Ghm1qEZjsuOS2lDxWHo1h9GtYex0+btaN7mNqqb+1+NGQ/Xw/VwPVwP18P1cD1cD9ff9/pf
pFPPwwBQAAA=

---559023410-33463914-984369539=:22055--