Re: [PPL-devel] Exponential behavior in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron

Sebastian Pop wrote:

Hi,

there seems to be an exponential behavior when calling

ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (&ps, context);

to build the scop context for the 437.leslie3d benchmark:

Hi Sebastian,

The PPL also offers a deterministic watchdog to stop extra-long computations. Why not using it in this case?

Albert