[developers] [pet] unpacking

Yi Zhang yzhang at coli.uni-sb.de
Thu Jul 12 11:51:26 CEST 2007

> I mean leaving it as default, so, the options now are:
>   cheap -limit=100000 -tok=fsr -nsolutions=10
Oh, I just checked the code. It seems that if ``-packing'' is not given,
then packing is disabled (=0, no packing). If ``-packing'' is given without
``=n'', then it's defaulted to 15.

So in your case, you are running without packing. I just tried again, and it
leads to immediate out of memory failure. Therefore, what you got without
packing is a crash, rather than real results.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20070712/db56c200/attachment.html>

More information about the developers mailing list