[developers] [pet] unpacking
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...
More information about the developers