<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>mzscheme-32-v4.2.4</b> </td><td colspan="2" align="right"><b>racket-32-v5.3.1.5</b> </td></tr><tr><td>conform</td><td align="right"> <font color="gray" size="-2">45</font> </td><td align="right">260 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.93 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.11</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">13</font> </td><td align="right">149 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.84</font> </td><td bgcolor="#EEEEDD" align="right">1.07 </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>ctak</td><td align="right"> <font color="gray" size="-2">22</font> </td><td align="right">812 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</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.08 </td></tr><tr><td>dderiv</td><td align="right"> <font color="gray" size="-2">22</font> </td><td align="right">116 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">2.24 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.09</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">15</font> </td><td align="right">87 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.73</font> </td><td bgcolor="#EEEEDD" align="right">2.85 </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">11</font> </td><td align="right">136 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.54</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>div</td><td align="right"> <font color="gray" size="-2">17</font> </td><td align="right">155 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.17</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">112</font> </td><td align="right">357 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.04</font> </td><td bgcolor="#EEEEDD" align="right">1.81 </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">62</font> </td><td align="right">352 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.16</font> </td><td bgcolor="#EEEEDD" align="right">1.15 </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>earley</td><td align="right"> <font color="gray" size="-2">42</font> </td><td align="right">120 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</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.97</font> </td><td bgcolor="#EEEEFF" align="right">1.12 </td></tr><tr><td>fft</td><td align="right"> <font color="gray" size="-2">21</font> </td><td align="right">447 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.28</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>graphs</td><td align="right"> <font color="gray" size="-2">24</font> </td><td align="right">161 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.26 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.33</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">20</font> </td><td align="right">1127 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.20</font> </td><td bgcolor="#EEEEDD" align="right">1.60 </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">27</font> </td><td align="right">1124 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.11</font> </td><td bgcolor="#EEEEDD" align="right">1.58 </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">37</font> </td><td align="right">208 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.77 </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>maze2</td><td align="right"> <font color="gray" size="-2">27</font> </td><td align="right">116 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.12 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.14</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">25</font> </td><td align="right">244 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.40</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>nboyer</td><td align="right"> <font color="gray" size="-2">25</font> </td><td align="right">1367 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.19 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.56</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">15</font> </td><td align="right">224 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.33</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.12 </td></tr><tr><td>nfa</td><td align="right"> <font color="gray" size="-2">19</font> </td><td align="right">107 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.10</font> </td><td bgcolor="#EEEEDD" align="right">1.67 </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>nqueens</td><td align="right"> <font color="gray" size="-2">14</font> </td><td align="right">144 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">2.28</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">322</font> </td><td align="right">565 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.06 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.14</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">26</font> </td><td align="right">72 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</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.07</font> </td><td bgcolor="#EEEEFF" align="right">1.20 </td></tr><tr><td>peval</td><td align="right"> <font color="gray" size="-2">46</font> </td><td align="right">61 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">2.03 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.04</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">17</font> </td><td align="right">84 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</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.47</font> </td><td bgcolor="#EEEEFF" align="right">1.01 </td></tr><tr><td>sboyer</td><td align="right"> <font color="gray" size="-2">22</font> </td><td align="right">1985 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.65 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.45</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">73</font> </td><td align="right">139 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.21</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>scheme2</td><td align="right"> <font color="gray" size="-2">48</font> </td><td align="right">125 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.02</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">416 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</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.06 </td></tr><tr><td>tak</td><td align="right"> <font color="gray" size="-2">14</font> </td><td align="right">124 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.74 </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>takl</td><td align="right"> <font color="gray" size="-2">13</font> </td><td align="right">196 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.78 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">2.15</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">57</font> </td><td align="right">908 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.10</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">98</font> </td><td align="right">805 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</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.01</font> </td><td bgcolor="#EEEEFF" align="right">1.13 </td></tr><tr><td>triangle</td><td align="right"> <font color="gray" size="-2">15</font> </td><td align="right">33 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.60 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.33</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr></table></nbody></html>