13 Dec
2006
13 Dec
'06
1:02 p.m.
Hi,
I am using poly ml 5 together with Isabelle. When I start poly with the "-H 500" option, my process will terminate with a "run out of store" message after these 500MB have been used up (I used "top" to monitor the heap usage). If I give "-H 8000", it will succeed. Is this behaviour to be expected?
Best,
Steven
--
Steven Obua
Technische Universit?t M?nchen
Institut f?r Informatik
Boltzmannstr. 3
D-85748 Garching
Tel: ++49 (0)89 / 289-17328
EMail: obua@in.tum.de
Raum: 01.11.059