sld logic decryption program returning less bits than the actual key length

[dgermek]

Hi. I have noticed that the decryption tool (./sld net_enc.bench net_original.bench) sometime finishes and returns a key which is shorter than the total number of key-bit inputs.

The lcmp program also cannot verify the correctness of that key (since it is too short).

Why is this happening? It is a bit confusing since the sld claims to have found a key, but the returned key is not applicable.