300.00/300.02	ERROR: ppl_Polyhedron_contains_Polyhedron/2: Caught signal 14 (alrm)
300.00/300.02	EOF