RES
NO DLV
NO DLV, but randomize normal
DLV is not good! too many solutions!
Randomize without dlv generator (because generate too many istances).