<html><nbody><table><tr><td> </td><td colspan="2" align="right">fastest</td><td colspan="2" align="right"><b>new</b> </td><td colspan="2" align="right"><b>old</b> </td></tr><tr><td>cpstack</td><td align="right"> <font color="gray" size="-2">329</font> </td><td align="right">6596 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.09</font> </td><td bgcolor="#EEEEFF" align="right">1.04 </td></tr><tr><td>ctak</td><td align="right"> <font color="gray" size="-2">332</font> </td><td align="right">9487 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.15</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><tr><td>dderiv</td><td align="right"> <font color="gray" size="-2">316</font> </td><td align="right">6080 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.08</font> </td><td bgcolor="#EEEEFF" align="right">1.13 </td></tr><tr><td>deriv</td><td align="right"> <font color="gray" size="-2">612</font> </td><td align="right">5667 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.04</font> </td><td bgcolor="#EEEEFF" align="right">1.25 </td></tr><tr><td>div</td><td align="right"> <font color="gray" size="-2">393</font> </td><td align="right">6780 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">1.01 </td></tr><tr><td>dynamic2</td><td align="right"> <font color="gray" size="-2">738</font> </td><td align="right">857 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.01</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>earley</td><td align="right"> <font color="gray" size="-2">470</font> </td><td align="right">335 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.11</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.02 </td></tr><tr><td>fft</td><td align="right"> <font color="gray" size="-2">399</font> </td><td align="right">5287 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.13</font> </td><td bgcolor="#EEEEFF" align="right">1.02 </td></tr><tr><td>graphs</td><td align="right"> <font color="gray" size="-2">375</font> </td><td align="right">5570 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.21</font> </td><td bgcolor="#EEEEFF" align="right">1.17 </td></tr><tr><td>lattice2</td><td align="right"> <font color="gray" size="-2">303</font> </td><td align="right">6201 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.15</font> </td><td bgcolor="#EEEEFF" align="right">1.49 </td></tr><tr><td>maze2</td><td align="right"> <font color="gray" size="-2">471</font> </td><td align="right">4662 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.81</font> </td><td bgcolor="#EEEEFF" align="right">1.28 </td></tr><tr><td>mazefun</td><td align="right"> <font color="gray" size="-2">379</font> </td><td align="right">9228 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.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.25 </td></tr><tr><td>nboyer</td><td align="right"> <font color="gray" size="-2">427</font> </td><td align="right">3177 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.77</font> </td><td bgcolor="#EEEEFF" align="right">1.08 </td></tr><tr><td>nestedloop</td><td align="right"> <font color="gray" size="-2">403</font> </td><td align="right">7383 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">1</font> </td><td bgcolor="#EEEEFF" align="right">1.08 </td></tr><tr><td>nfa</td><td align="right"> <font color="gray" size="-2">551</font> </td><td align="right">7062 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.90</font> </td><td bgcolor="#EEEEFF" align="right">1.30 </td></tr><tr><td>nothing</td><td align="right"> <font color="gray" size="-2">331</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">2.06</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">315</font> </td><td align="right">5586 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.45</font> </td><td bgcolor="#EEEEFF" align="right">1.18 </td></tr><tr><td>nucleic2</td><td align="right"> <font color="gray" size="-2">1568</font> </td><td align="right">13194 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">1.02 </td></tr><tr><td>nucleic3</td><td align="right"> <font color="gray" size="-2">886</font> </td><td align="right">13791 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.02 </td></tr><tr><td>paraffins</td><td align="right"> <font color="gray" size="-2">314</font> </td><td align="right">5979 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">2.06</font> </td><td bgcolor="#EEEEFF" align="right">1.04 </td></tr><tr><td>puzzle</td><td align="right"> <font color="gray" size="-2">394</font> </td><td align="right">6848 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.05 </td></tr><tr><td>ray</td><td align="right"> <font color="gray" size="-2">394</font> </td><td align="right">12668 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.07 </td></tr><tr><td>sboyer</td><td align="right"> <font color="gray" size="-2">382</font> </td><td align="right">4430 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">2.42</font> </td><td bgcolor="#EEEEFF" align="right">1.21 </td></tr><tr><td>scheme2</td><td align="right"> <font color="gray" size="-2">481</font> </td><td align="right">244 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.22</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>tak</td><td align="right"> <font color="gray" size="-2">301</font> </td><td align="right">6626 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.08</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.86 </td></tr><tr><td>takl</td><td align="right"> <font color="gray" size="-2">372</font> </td><td align="right">7708 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.72</font> </td><td bgcolor="#EEEEFF" align="right">1.65 </td></tr><tr><td>takr</td><td align="right"> <font color="gray" size="-2">945</font> </td><td align="right">3529 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.27</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>takr2</td><td align="right"> <font color="gray" size="-2">521</font> </td><td align="right">3670 ms </td><td align="right" bgcolor="#EEEEDD"><font color="gray" size="-2">1.08</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>triangle</td><td align="right"> <font color="gray" size="-2">309</font> </td><td align="right">6868 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.15</font> </td><td bgcolor="#EEEEFF" align="right">1.51 </td></tr></table></nbody></html>