Sebastian Pop wrote:

On Wed, 2009-02-04 at 15:16 +0100, Sven De Smet wrote:

...

I'm looking for a testsuite of polyhedral operations which could be used to evaluate the performance of these operations. Do you know where I could find such a testsuite?

I don't know, but probably the developers from PPL know about one.

Hi Sven, I am not sure I interpret correctly your request. Two things come to mind: 1) From the home page of the Apron project (http://apron.cri.ensmp.fr/) you can access something called PolyBench (http://www.cri.ensmp.fr/people/duong/polybench/). When I last looked at it (several years ago) no code seemed to be available. Perhaps now it is (I do not have the time to check in this moment... please let us know if you find something interesting). 2) We did some limited performance tests on the problem of vertex/facet enumeration (http://www.cs.unipr.it/ppl/performance). All the code required to reproduce our experiments is available in the PPL source distributions. If you are interested, please come back to us for further information. Hope it helps, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it