Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

diff --cc src/Tuner/multituner.cc
index 97893b706b067a7bd9996f4a004494f4747aaa64,e0fee46074f5656e7df7fd9bba9cd4a7ba5e18a1..232b1ea2e1d7f914b341e687a385164a5819b412
--- 1/src/Tuner/multituner.cc
--- 2/src/Tuner/multituner.cc
+++ b/src/Tuner/multituner.cc
@@@ -274,14 -274,14 +274,14 @@@ void MultiTuner::tuneComp() 
                                int tscore = 0;
                                if (scores.contains(t))
                                        tscore = scores.get(t);
-                               if (score < tscore)
+                               if (score > tscore)
                                        break;
                        }
 -                      DEBUG("ranking[%u]=tuner<%p>(Score=%d)\n", j, tuner, score);
 -                      DEBUG("************************\n");
 +                      LOG("ranking[%u]=tuner<%p>(Score=%d)\n", j, tuner, score);
 +                      LOG("************************\n");
                        ranking.insertAt(j, tuner);
                }
 -              DEBUG("tunerSize=%u\trankingSize=%u\ttunerVSize=%u\n", tuners.getSize(), ranking.getSize(), tunerV->getSize());
 +              LOG("tunerSize=%u\trankingSize=%u\ttunerVSize=%u\n", tuners.getSize(), ranking.getSize(), tunerV->getSize());
                for (uint i = tuners.getSize(); i < ranking.getSize(); i++) {
                        TunerRecord *tuner = ranking.get(i);
                        model_print("Removing tuner %u\n", tuner->tunernumber);