<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>chicken</b> </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">129</font> </td><td align="right">261 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">12.72</font> </td><td bgcolor="#EEEEDD" align="right">1.32 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">27.16</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.82 </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.50</font> </td><td bgcolor="#EEEEDD" align="right">1.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><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.74</font> </td><td bgcolor="#EEDDEE" align="right">1.60 </td></tr><tr><td>ctak</td><td align="right"> <font color="gray" size="-2">177</font> </td><td align="right">138 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.50</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.74 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.81</font> </td><td bgcolor="#EEDDEE" align="right">43.79 </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.34</font> </td><td bgcolor="#EEEEDD" align="right">5.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><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.18</font> </td><td bgcolor="#EEDDEE" align="right">1.70 </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.60</font> </td><td bgcolor="#EEEEDD" align="right">8.44 </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><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.57</font> </td><td bgcolor="#EEDDEE" align="right">1.82 </td></tr><tr><td>destruct</td><td align="right"> <font color="gray" size="-2">25</font> </td><td align="right">173 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">14.04</font> </td><td bgcolor="#EEEEDD" align="right">2.18 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">22.32</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.96 </td></tr><tr><td>div</td><td align="right"> <font color="gray" size="-2">242</font> </td><td align="right">4811 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.19</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.04 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.06</font> </td><td bgcolor="#EEDDEE" align="right">1.12 </td></tr><tr><td>dynamic</td><td align="right"> <font color="gray" size="-2">231</font> </td><td align="right">1011 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">23.87</font> </td><td bgcolor="#EEEEDD" align="right">1.45 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">217.90</font> </td><td bgcolor="#EEEEFF" align="right">19.06 </td><td align="right" bgcolor="#EEDDEE"><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">649</font> </td><td align="right">1173 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">8.27</font> </td><td bgcolor="#EEEEDD" align="right">1.05 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">76.91</font> </td><td bgcolor="#EEEEFF" align="right">16.52 </td><td align="right" bgcolor="#EEDDEE"><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">373</font> </td><td align="right">360 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.04</font> </td><td bgcolor="#EEEEDD" align="right">2.30 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">21.39</font> </td><td bgcolor="#EEEEFF" align="right">1.01 </td><td align="right" bgcolor="#EEDDEE"><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">253</font> </td><td align="right">3471 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.33</font> </td><td bgcolor="#EEEEDD" align="right">1.98 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">3.14</font> </td><td bgcolor="#EEEEFF" align="right">1.01 </td><td align="right" bgcolor="#EEDDEE"><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">420</font> </td><td align="right">4062 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.30</font> </td><td bgcolor="#EEEEDD" align="right">1.43 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">6.26</font> </td><td bgcolor="#EEEEFF" align="right">1.48 </td><td align="right" bgcolor="#EEDDEE"><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">36</font> </td><td align="right">1878 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">13.27</font> </td><td bgcolor="#EEEEDD" align="right">1.25 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">18.61</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.01 </td></tr><tr><td>lattice2</td><td align="right"> <font color="gray" size="-2">276</font> </td><td align="right">5498 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.68</font> </td><td bgcolor="#EEEEDD" align="right">1.18 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">2.41</font> </td><td bgcolor="#EEEEFF" align="right">1.15 </td><td align="right" bgcolor="#EEDDEE"><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">69</font> </td><td align="right">408 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">13.76</font> </td><td bgcolor="#EEEEDD" align="right">1.31 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">71.88</font> </td><td bgcolor="#EEEEFF" align="right">1.50 </td><td align="right" bgcolor="#EEDDEE"><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">337</font> </td><td align="right">4984 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.69</font> </td><td bgcolor="#EEEEDD" align="right">2.56 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">14.11</font> </td><td bgcolor="#EEEEFF" align="right">3.13 </td><td align="right" bgcolor="#EEDDEE"><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">283</font> </td><td align="right">8247 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.89</font> </td><td bgcolor="#EEEEDD" align="right">1.89 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">6.15</font> </td><td bgcolor="#EEEEFF" align="right">1.46 </td><td align="right" bgcolor="#EEDDEE"><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">410</font> </td><td align="right">2362 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.53</font> </td><td bgcolor="#EEEEDD" align="right">2.87 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">3.32</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.37 </td></tr><tr><td>nestedloop</td><td align="right"> <font color="gray" size="-2">258</font> </td><td align="right">7804 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.21</font> </td><td bgcolor="#EEEEDD" align="right">3.55 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.37</font> </td><td bgcolor="#EEEEFF" align="right">1.04 </td><td align="right" bgcolor="#EEDDEE"><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">208</font> </td><td align="right">5801 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.26</font> </td><td bgcolor="#EEEEDD" align="right">1.22 </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><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.83</font> </td><td bgcolor="#EEDDEE" align="right">1.31 </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">2.47</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="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">3.14</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">239</font> </td><td align="right">4670 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.07</font> </td><td bgcolor="#EEEEDD" align="right">1.89 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEFF" align="right">1.14 </td><td align="right" bgcolor="#EEDDEE"><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>nucleic2</td><td align="right"> <font color="gray" size="-2">1305</font> </td><td align="right">10293 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.09</font> </td><td bgcolor="#EEEEDD" align="right">1.07 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">44.29</font> </td><td bgcolor="#EEEEFF" align="right">1.27 </td><td align="right" bgcolor="#EEDDEE"><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">663</font> </td><td align="right">9736 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">0</font> </td><td bgcolor="#EEEEFF" align="right">- </td><td align="right" bgcolor="#EEDDEE"><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">242</font> </td><td align="right">3271 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.85</font> </td><td bgcolor="#EEEEDD" align="right">5.16 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">14.22</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">2.22 </td></tr><tr><td>peval</td><td align="right"> <font color="gray" size="-2">102</font> </td><td align="right">288 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">16.39</font> </td><td bgcolor="#EEEEDD" align="right">1.94 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">68.41</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.27 </td></tr><tr><td>puzzle</td><td align="right"> <font color="gray" size="-2">269</font> </td><td align="right">5572 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.92</font> </td><td bgcolor="#EEEEDD" align="right">3.08 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">4.20</font> </td><td bgcolor="#EEEEFF" align="right">1.08 </td><td align="right" bgcolor="#EEDDEE"><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">502</font> </td><td align="right">6448 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">0</font> </td><td bgcolor="#EEEEFF" align="right">- </td><td align="right" bgcolor="#EEDDEE"><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">342</font> </td><td align="right">3476 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.83</font> </td><td bgcolor="#EEEEDD" align="right">2.43 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">3.98</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.21 </td></tr><tr><td>scheme</td><td align="right"> <font color="gray" size="-2">137</font> </td><td align="right">194 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">14.28</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">104.64</font> </td><td bgcolor="#EEEEFF" align="right">1.47 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.22 </td></tr><tr><td>scheme-c</td><td align="right"> <font color="gray" size="-2">338</font> </td><td align="right">527 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.50</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">8.23</font> </td><td bgcolor="#EEEEFF" align="right">2.95 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.11 </td></tr><tr><td>scheme-i</td><td align="right"> <font color="gray" size="-2">320</font> </td><td align="right">843 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.24</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">2.06</font> </td><td bgcolor="#EEEEFF" align="right">1.33 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.45 </td></tr><tr><td>scheme2</td><td align="right"> <font color="gray" size="-2">434</font> </td><td align="right">194 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">4.78</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">35.37</font> </td><td bgcolor="#EEEEFF" align="right">1.49 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.06 </td></tr><tr><td>sort1</td><td align="right"> <font color="gray" size="-2">38</font> </td><td align="right">900 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">8.13</font> </td><td bgcolor="#EEEEDD" align="right">1.32 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">8.94</font> </td><td bgcolor="#EEEEFF" align="right">1.77 </td><td align="right" bgcolor="#EEDDEE"><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">5934 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.33</font> </td><td bgcolor="#EEEEDD" align="right">3.03 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEFF" align="right">1.00 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.44</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.30</font> </td><td bgcolor="#EEEEDD" align="right">1.64 </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><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.46</font> </td><td bgcolor="#EEDDEE" align="right">1.34 </td></tr><tr><td>takr</td><td align="right"> <font color="gray" size="-2">533</font> </td><td align="right">2503 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.13</font> </td><td bgcolor="#EEEEDD" align="right">1.11 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">98.54</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">1.88 </td></tr><tr><td>takr2</td><td align="right"> <font color="gray" size="-2">425</font> </td><td align="right">2183 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">120.30</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEDDEE" align="right">2.38 </td></tr><tr><td>triangle</td><td align="right"> <font color="gray" size="-2">327</font> </td><td align="right">5017 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">2.65 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.24</font> </td><td bgcolor="#EEEEFF" align="right">1.29 </td><td align="right" bgcolor="#EEDDEE"><font color="gray" size="-2">1.19</font> </td><td bgcolor="white" align="right"><font color="forestgreen"><b>1</b></font> </td></tr></table></nbody></html>