list generation

Hi,

I use the following code:

        var list : list of uint (bits:14);
        gen list keeping {
            it.size() == list_size_parameter;
            it.all_different(it);
        };

to gen a list of indices, the size of a given parameter.

list size can be up to 20K, and I get a WARN_GEN_BIG_LACE as a consequence.

what may be the preferrabe way to do this in regards to memory and cpu resources?

Thanks