<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>mzscheme-64-v4.2.4</b> </td><td colspan="2" align="right"><b>racket-64-v5.3.1.5</b> </td></tr><tr><td>conform</td><td align="right"> <font color="gray" size="-2">60</font> </td><td align="right">297 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.84 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>cpstack</td><td align="right"> <font color="gray" size="-2">33</font> </td><td align="right">148 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.48 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.03</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>ctak</td><td align="right"> <font color="gray" size="-2">28</font> </td><td align="right">997 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.17</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEFF" align="right">1.10 </td></tr><tr><td>dderiv</td><td align="right"> <font color="gray" size="-2">32</font> </td><td align="right">132 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">2.15 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.06</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>deriv</td><td align="right"> <font color="gray" size="-2">17</font> </td><td align="right">92 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.29</font> </td><td bgcolor="#EEEEDD" align="right">2.94 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>destruct</td><td align="right"> <font color="gray" size="-2">13</font> </td><td align="right">167 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2</font> </td><td bgcolor="#EEEEDD" align="right">1.10 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>div</td><td align="right"> <font color="gray" size="-2">20</font> </td><td align="right">179 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.02 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.15</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>dynamic</td><td align="right"> <font color="gray" size="-2">117</font> </td><td align="right">627 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.07</font> </td><td bgcolor="#EEEEDD" align="right">1.32 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>dynamic2</td><td align="right"> <font color="gray" size="-2">79</font> </td><td align="right">579 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.05 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.03</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>earley</td><td align="right"> <font color="gray" size="-2">49</font> </td><td align="right">143 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.10</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEFF" align="right">1.09 </td></tr><tr><td>fft</td><td align="right"> <font color="gray" size="-2">19</font> </td><td align="right">471 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.26</font> </td><td bgcolor="#EEEEDD" align="right">1.11 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>graphs</td><td align="right"> <font color="gray" size="-2">39</font> </td><td align="right">184 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.24 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>lattice</td><td align="right"> <font color="gray" size="-2">26</font> </td><td align="right">1353 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.26</font> </td><td bgcolor="#EEEEDD" align="right">1.51 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>lattice2</td><td align="right"> <font color="gray" size="-2">21</font> </td><td align="right">1400 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.09</font> </td><td bgcolor="#EEEEDD" align="right">1.47 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>maze</td><td align="right"> <font color="gray" size="-2">49</font> </td><td align="right">264 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.02</font> </td><td bgcolor="#EEEEDD" align="right">1.63 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>maze2</td><td align="right"> <font color="gray" size="-2">43</font> </td><td align="right">152 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.11</font> </td><td bgcolor="#EEEEDD" align="right">1.08 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>mazefun</td><td align="right"> <font color="gray" size="-2">29</font> </td><td align="right">304 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.28 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.06</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>nboyer</td><td align="right"> <font color="gray" size="-2">28</font> </td><td align="right">1939 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.03</font> </td><td bgcolor="#EEEEDD" align="right">1.13 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>nestedloop</td><td align="right"> <font color="gray" size="-2">50</font> </td><td align="right">265 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.02</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEFF" align="right">1.10 </td></tr><tr><td>nfa</td><td align="right"> <font color="gray" size="-2">39</font> </td><td align="right">137 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.51 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.05</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>nqueens</td><td align="right"> <font color="gray" size="-2">30</font> </td><td align="right">160 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.25 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.06</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>nucleic2</td><td align="right"> <font color="gray" size="-2">355</font> </td><td align="right">733 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.01</font> </td><td bgcolor="#EEEEDD" align="right">1.02 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>paraffins</td><td align="right"> <font color="gray" size="-2">34</font> </td><td align="right">91 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.05</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEFF" align="right">1.24 </td></tr><tr><td>peval</td><td align="right"> <font color="gray" size="-2">59</font> </td><td align="right">75 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.01</font> </td><td bgcolor="#EEEEDD" align="right">1.86 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>puzzle</td><td align="right"> <font color="gray" size="-2">25</font> </td><td align="right">95 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.16</font> </td><td bgcolor="#EEEEDD" align="right">1.06 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>sboyer</td><td align="right"> <font color="gray" size="-2">39</font> </td><td align="right">2484 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.05</font> </td><td bgcolor="#EEEEDD" align="right">1.53 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>scheme</td><td align="right"> <font color="gray" size="-2">78</font> </td><td align="right">155 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.06</font> </td><td bgcolor="#EEEEDD" align="right">1.45 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>scheme2</td><td align="right"> <font color="gray" size="-2">72</font> </td><td align="right">139 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.01</font> </td><td bgcolor="#EEEEDD" align="right">1.23 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>sort1</td><td align="right"> <font color="gray" size="-2">20</font> </td><td align="right">509 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.15</font> </td><td bgcolor="#EEEEDD" align="right">1.03 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>tak</td><td align="right"> <font color="gray" size="-2">20</font> </td><td align="right">151 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.68 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">2.20</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>takl</td><td align="right"> <font color="gray" size="-2">22</font> </td><td align="right">236 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.81</font> </td><td bgcolor="#EEEEDD" align="right">1.71 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>takr</td><td align="right"> <font color="gray" size="-2">74</font> </td><td align="right">1197 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.06</font> </td><td bgcolor="#EEEEDD" align="right">1.10 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>takr2</td><td align="right"> <font color="gray" size="-2">112</font> </td><td align="right">1216 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.07</font> </td><td bgcolor="#EEEEDD" align="right">1.01 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr><tr><td>triangle</td><td align="right"> <font color="gray" size="-2">33</font> </td><td align="right">39 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.06</font> </td><td bgcolor="#EEEEDD" align="right">1.61 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr></table></nbody></html>