<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>gambit-64-v4.6.6</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">208</font> </td><td align="right">1220 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">6.62</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.27 </td></tr><tr><td>cpstak</td><td align="right"> <font color="gray" size="-2">141</font> </td><td align="right">1972 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.14</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.51 </td></tr><tr><td>ctak</td><td align="right"> <font color="gray" size="-2">154</font> </td><td align="right">116 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">30.44 </td></tr><tr><td>dderiv</td><td align="right"> <font color="gray" size="-2">124</font> </td><td align="right">1415 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.77</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.54 </td></tr><tr><td>deriv</td><td align="right"> <font color="gray" size="-2">132</font> </td><td align="right">1053 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.41</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.69 </td></tr><tr><td>destruct</td><td align="right"> <font color="gray" size="-2">203</font> </td><td align="right">868 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.89</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.95 </td></tr><tr><td>div</td><td align="right"> <font color="gray" size="-2">136</font> </td><td align="right">2008 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.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.76 </td></tr><tr><td>dynamic</td><td align="right"> <font color="gray" size="-2">313</font> </td><td align="right">493 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">20.90</font> </td><td bgcolor="#EEEEDD" align="right">2.09 </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">283</font> </td><td align="right">576 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">23.18</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>earley</td><td align="right"> <font color="gray" size="-2">230</font> </td><td align="right">1535 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">12.12</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.64 </td></tr><tr><td>fft</td><td align="right"> <font color="gray" size="-2">124</font> </td><td align="right">1584 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.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.45 </td></tr><tr><td>graphs</td><td align="right"> <font color="gray" size="-2">192</font> </td><td align="right">2603 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">5.96</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.07 </td></tr><tr><td>lattice</td><td align="right"> <font color="gray" size="-2">147</font> </td><td align="right">1216 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.61</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>lattice2</td><td align="right"> <font color="gray" size="-2">134</font> </td><td align="right">3629 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.88</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.13 </td></tr><tr><td>maze</td><td align="right"> <font color="gray" size="-2">204</font> </td><td align="right">1395 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">9.87</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></tr><tr><td>maze2</td><td align="right"> <font color="gray" size="-2">200</font> </td><td align="right">3601 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">9.07</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>mazefun</td><td align="right"> <font color="gray" size="-2">135</font> </td><td align="right">4788 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">5.81</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.21 </td></tr><tr><td>nboyer</td><td align="right"> <font color="gray" size="-2">251</font> </td><td align="right">1397 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.71</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.36 </td></tr><tr><td>nestedloop</td><td align="right"> <font color="gray" size="-2">133</font> </td><td align="right">3995 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.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.45 </td></tr><tr><td>nfa</td><td align="right"> <font color="gray" size="-2">123</font> </td><td align="right">3909 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.30</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>nothing</td><td align="right"> <font color="gray" size="-2">74</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">1.83</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">133</font> </td><td align="right">2905 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.05 </td></tr><tr><td>nucleic2</td><td align="right"> <font color="gray" size="-2">697</font> </td><td align="right">6155 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">15.37</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.16 </td></tr><tr><td>nucleic3</td><td align="right"> <font color="gray" size="-2">374</font> </td><td align="right">6925 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">161</font> </td><td align="right">3044 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">9.59</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.38 </td></tr><tr><td>peval</td><td align="right"> <font color="gray" size="-2">195</font> </td><td align="right">1343 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">11.45</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.13 </td></tr><tr><td>puzzle</td><td align="right"> <font color="gray" size="-2">188</font> </td><td align="right">3208 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.51</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.32 </td></tr><tr><td>ray</td><td align="right"> <font color="gray" size="-2">183</font> </td><td align="right">4088 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">205</font> </td><td align="right">2107 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.35</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.26 </td></tr><tr><td>scheme</td><td align="right"> <font color="gray" size="-2">268</font> </td><td align="right">1011 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">12.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.32 </td></tr><tr><td>scheme-c</td><td align="right"> <font color="gray" size="-2">176</font> </td><td align="right">375 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">6.30</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>scheme-i</td><td align="right"> <font color="gray" size="-2">178</font> </td><td align="right">596 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.52</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.32 </td></tr><tr><td>scheme2</td><td align="right"> <font color="gray" size="-2">223</font> </td><td align="right">1024 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">14.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.31 </td></tr><tr><td>sort1</td><td align="right"> <font color="gray" size="-2">191</font> </td><td align="right">563 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.16</font> </td><td bgcolor="#EEEEDD" align="right">1.55 </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">131</font> </td><td align="right">4497 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1</font> </td><td bgcolor="#EEEEDD" align="right">1.03 </td><td align="right" bgcolor="#EEEEFF"><font color="gray" size="-2">1.39</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">135</font> </td><td align="right">3647 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.26 </td></tr><tr><td>takr</td><td align="right"> <font color="gray" size="-2">314</font> </td><td align="right">1284 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">25.86</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">2.82 </td></tr><tr><td>takr2</td><td align="right"> <font color="gray" size="-2">255</font> </td><td align="right">1225 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">38.74</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">3.03 </td></tr><tr><td>triangle</td><td align="right"> <font color="gray" size="-2">124</font> </td><td align="right">2633 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.55</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.38 </td></tr></table></nbody></html>