<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>gambit</b> </td><td colspan="2" align="right"><b>racket</b> </td></tr><tr><td>conform</td><td align="right"> <font color="gray" size="-2">82</font> </td><td align="right">261 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">42.73</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.41 </td></tr><tr><td>cpstak</td><td align="right"> <font color="gray" size="-2">178</font> </td><td align="right">2727 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.27</font> </td><td bgcolor="#EEEEFF" align="right">1.46 </td></tr><tr><td>ctak</td><td align="right"> <font color="gray" size="-2">177</font> </td><td align="right">241 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.34</font> </td><td bgcolor="#EEEEFF" align="right">20.72 </td></tr><tr><td>dderiv</td><td align="right"> <font color="gray" size="-2">244</font> </td><td align="right">2052 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.35 </td></tr><tr><td>deriv</td><td align="right"> <font color="gray" size="-2">203</font> </td><td align="right">1561 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.42 </td></tr><tr><td>destruct</td><td align="right"> <font color="gray" size="-2">22</font> </td><td align="right">173 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">25.36</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.35 </td></tr><tr><td>div</td><td align="right"> <font color="gray" size="-2">205</font> </td><td align="right">4392 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.18</font> </td><td bgcolor="#EEEEDD" align="right">1.14 </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>dynamic</td><td align="right"> <font color="gray" size="-2">240</font> </td><td align="right">576 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">209.73</font> </td><td bgcolor="#EEEEDD" align="right">33.46 </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">473</font> </td><td align="right">600 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">105.53</font> </td><td bgcolor="#EEEEDD" align="right">32.29 </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">388</font> </td><td align="right">214 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">20.56</font> </td><td bgcolor="#EEEEDD" align="right">1.70 </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>fft</td><td align="right"> <font color="gray" size="-2">202</font> </td><td align="right">3079 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.93</font> </td><td bgcolor="#EEEEDD" align="right">1.14 </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">229</font> </td><td align="right">3429 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">11.48</font> </td><td bgcolor="#EEEEDD" align="right">1.76 </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">35</font> </td><td align="right">1554 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">19.14</font> </td><td bgcolor="#EEEEDD" align="right">1.20 </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">320</font> </td><td align="right">4747 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.08</font> </td><td bgcolor="#EEEEDD" align="right">1.34 </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">74</font> </td><td align="right">296 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">67.02</font> </td><td bgcolor="#EEEEDD" align="right">2.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>maze2</td><td align="right"> <font color="gray" size="-2">276</font> </td><td align="right">3941 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">17.23</font> </td><td bgcolor="#EEEEDD" align="right">3.96 </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">235</font> </td><td align="right">7691 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">7.41</font> </td><td bgcolor="#EEEEDD" align="right">1.56 </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">317</font> </td><td align="right">2082 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">4.29</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">262</font> </td><td align="right">6824 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.35</font> </td><td bgcolor="#EEEEDD" align="right">1.19 </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>nfa</td><td align="right"> <font color="gray" size="-2">199</font> </td><td align="right">5801 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.04</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>nothing</td><td align="right"> <font color="gray" size="-2">84</font> </td><td align="right">0 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">3.33</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">231</font> </td><td align="right">4459 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.03</font> </td><td bgcolor="#EEEEDD" align="right">1.19 </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>nucleic2</td><td align="right"> <font color="gray" size="-2">1234</font> </td><td align="right">8016 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">46.84</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>nucleic3</td><td align="right"> <font color="gray" size="-2">609</font> </td><td align="right">7617 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">0</font> </td><td bgcolor="#EEEEDD" align="right">- </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">210</font> </td><td align="right">3271 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">16.39</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.41 </td></tr><tr><td>peval</td><td align="right"> <font color="gray" size="-2">109</font> </td><td align="right">280 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">64.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>puzzle</td><td align="right"> <font color="gray" size="-2">220</font> </td><td align="right">5196 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">5.14</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>ray</td><td align="right"> <font color="gray" size="-2">276</font> </td><td align="right">5267 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">0</font> </td><td bgcolor="#EEEEDD" align="right">- </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">356</font> </td><td align="right">3236 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.82</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>scheme</td><td align="right"> <font color="gray" size="-2">162</font> </td><td align="right">194 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">88.49</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>scheme-c</td><td align="right"> <font color="gray" size="-2">335</font> </td><td align="right">549 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">8.30</font> </td><td bgcolor="#EEEEDD" align="right">2.83 </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-i</td><td align="right"> <font color="gray" size="-2">261</font> </td><td align="right">1075 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.53</font> </td><td bgcolor="#EEEEDD" align="right">1.04 </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">395</font> </td><td align="right">208 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">38.86</font> </td><td bgcolor="#EEEEDD" align="right">1.39 </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">28</font> </td><td align="right">817 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">12.14</font> </td><td bgcolor="#EEEEDD" align="right">1.95 </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">171</font> </td><td align="right">4915 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.21 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.16</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">208</font> </td><td align="right">4452 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.10</font> </td><td bgcolor="#EEEEFF" align="right">1.24 </td></tr><tr><td>takr</td><td align="right"> <font color="gray" size="-2">459</font> </td><td align="right">2503 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">114.42</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.40 </td></tr><tr><td>takr2</td><td align="right"> <font color="gray" size="-2">403</font> </td><td align="right">2183 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">126.87</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.66 </td></tr><tr><td>triangle</td><td align="right"> <font color="gray" size="-2">218</font> </td><td align="right">4462 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.86</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></table></nbody></html>