On 6/27/12 9:11 AM, John Regehr wrote:
Hi Konstantin, please try the current C-Reduce and see if it's a bit faster. It finished for me in about 2 hours, 15 minutes. Reduced output is below.Yang, please take a look at this output and try to figure out what tricks can be used to make it smaller...
Yes, I will investigate it. - Yang
