Princeprocessor and --wl-dist-len

[liget]

Hello,

I have some issues with princeprocessor and --wl-dist-len which results in very long (or infinite?) computation.

Image dict "dc.txt" with "words":
a
bd
rrrd
rrrsa
gfgggs
sfsfsfsf
drrqeqeqe
rrrqeqeqq
tss
rewqeqdaq
ff
aseqeqxad
bfdawwewe
a
adwr
rrrrrqeqe



Now I run: ./pp64.bin dc.txt --wl-dist-len --elem-cnt-max=2 --pw-max=8
and computation is very looong / infinite (?) 

When I run it without --wl-dist-len, pp finishes very fast:
./pp64.bin dc.txt --elem-cnt-max=2 --pw-max=8

real    0m0,125s
user    0m0,036s
sys     0m0,088s

Is this a bug of the princeprocessor or do I wrongly use --wl-dist-len?

[liget]

Ping