Adding a directed search based config for the tuner

[satune.git] / src / Backend / satelemencoder.cc

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index d2c04f62ac2a1aeeb7c9cddb4207c7fa07d61459..8f06eecad991e3d68d9b83e5d5b47f3bba3a4f6b 100644 (file)
--- a/src/Backend/satelemencoder.cc
+++ b/src/Backend/satelemencoder.cc
@@ -226,7 +226,6 @@ void SATEncoder::generateBinaryIndexEncodingVars(ElementEncoding *encoding) {
        if (encoding->element->anyValue){
                uint setSize = encoding->element->getRange()->getSize();
                uint encArraySize = encoding->encArraySize;
-               model_print("setSize=%u\tencArraySize=%u\n", setSize, encArraySize);
                if(setSize < encArraySize * (uint)solver->getTuner()->getTunable(MUSTVALUE, &mustValueBinaryIndex)/10){
                        generateAnyValueBinaryIndexEncodingPositive(encoding);
                } else {