<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>gambit-32-v4.6.6</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">176</font> </td><td align="right">1295 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">7.74</font> </td><td bgcolor="#EEEEDD" align="right">1.12 </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>cpstak</td><td align="right"> <font color="gray" size="-2">108</font> </td><td align="right">2068 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.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="#EEEEFF" align="right">1.30 </td></tr><tr><td>ctak</td><td align="right"> <font color="gray" size="-2">156</font> </td><td align="right">137 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.00</font> </td><td bgcolor="#EEEEFF" align="right">20.35 </td></tr><tr><td>dderiv</td><td align="right"> <font color="gray" size="-2">108</font> </td><td align="right">1473 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2</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>deriv</td><td align="right"> <font color="gray" size="-2">112</font> </td><td align="right">1011 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.63</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.42 </td></tr><tr><td>destruct</td><td align="right"> <font color="gray" size="-2">117</font> </td><td align="right">815 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.20</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.46 </td></tr><tr><td>div</td><td align="right"> <font color="gray" size="-2">162</font> </td><td align="right">2267 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.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.28 </td></tr><tr><td>dynamic</td><td align="right"> <font color="gray" size="-2">293</font> </td><td align="right">321 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">26.49</font> </td><td bgcolor="#EEEEDD" align="right">3.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><tr><td>dynamic2</td><td align="right"> <font color="gray" size="-2">240</font> </td><td align="right">396 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">32.34</font> </td><td bgcolor="#EEEEDD" align="right">2.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>earley</td><td align="right"> <font color="gray" size="-2">213</font> </td><td align="right">1372 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">14.98</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.20 </td></tr><tr><td>fft</td><td align="right"> <font color="gray" size="-2">102</font> </td><td align="right">2129 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">5.29</font> </td><td bgcolor="#EEEEDD" align="right">1.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>graphs</td><td align="right"> <font color="gray" size="-2">132</font> </td><td align="right">2381 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">10.15</font> </td><td bgcolor="#EEEEDD" align="right">1.18 </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">116</font> </td><td align="right">1159 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.87</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>lattice2</td><td align="right"> <font color="gray" size="-2">172</font> </td><td align="right">3369 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.62</font> </td><td bgcolor="#EEEEDD" align="right">1.16 </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">170</font> </td><td align="right">993 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">11.92</font> </td><td bgcolor="#EEEEDD" align="right">1.50 </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">134</font> </td><td align="right">2645 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">15.11</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>mazefun</td><td align="right"> <font color="gray" size="-2">200</font> </td><td align="right">4692 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">3.91</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>nboyer</td><td align="right"> <font color="gray" size="-2">169</font> </td><td align="right">1309 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">4.09</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>nestedloop</td><td align="right"> <font color="gray" size="-2">112</font> </td><td align="right">4731 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.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.03 </td></tr><tr><td>nfa</td><td align="right"> <font color="gray" size="-2">111</font> </td><td align="right">3755 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.14 </td></tr><tr><td>nothing</td><td align="right"> <font color="gray" size="-2">72</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.80</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">152</font> </td><td align="right">2672 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.28</font> </td><td bgcolor="#EEEEDD" align="right">1.18 </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">689</font> </td><td align="right">5479 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">16.77</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>nucleic3</td><td align="right"> <font color="gray" size="-2">335</font> </td><td align="right">5151 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">102</font> </td><td align="right">1987 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">15.16</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>peval</td><td align="right"> <font color="gray" size="-2">173</font> </td><td align="right">1220 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">14.09</font> </td><td bgcolor="#EEEEDD" align="right">1.05 </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">150</font> </td><td align="right">3729 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">4.40</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.03 </td></tr><tr><td>ray</td><td align="right"> <font color="gray" size="-2">179</font> </td><td align="right">3579 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">158</font> </td><td align="right">2111 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">4.33</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>scheme</td><td align="right"> <font color="gray" size="-2">276</font> </td><td align="right">1176 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">12.62</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>scheme-c</td><td align="right"> <font color="gray" size="-2">198</font> </td><td align="right">377 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">6.62</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-i</td><td align="right"> <font color="gray" size="-2">108</font> </td><td align="right">616 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">4.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.13 </td></tr><tr><td>scheme2</td><td align="right"> <font color="gray" size="-2">179</font> </td><td align="right">1187 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">18.82</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>sort1</td><td align="right"> <font color="gray" size="-2">125</font> </td><td align="right">463 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.08</font> </td><td bgcolor="#EEEEDD" align="right">1.54 </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">141</font> </td><td align="right">3699 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.08</font> </td><td bgcolor="#EEEEDD" align="right">1.18 </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">107</font> </td><td align="right">3516 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.43</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>takr</td><td align="right"> <font color="gray" size="-2">290</font> </td><td align="right">1259 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">31.69</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.07 </td></tr><tr><td>takr2</td><td align="right"> <font color="gray" size="-2">232</font> </td><td align="right">1244 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">48.44</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.22 </td></tr><tr><td>triangle</td><td align="right"> <font color="gray" size="-2">112</font> </td><td align="right">3280 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">2.83</font> </td><td bgcolor="#EEEEDD" align="right">1.00 </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>