[PPL-devel] Exponential behavior in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron

[Albert Cohen]

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