Dear all,

I just wanted to share with you the satisfaction for the speedup achieved thanks to the recent changes to the (CVS mainline version of the) library. The analysis of Prolog interargument size (polyhedral) relations with China over its entire testsuite passed from a total of 255 seconds of CPU time to just 169. This amounts to an average speedup of 34%. Keep up the good work. Cheers,

Roberto