From: bdemsky <bdemsky@uci.edu>
Date: Fri, 27 Jul 2018 02:58:55 +0000 (-0700)
Subject: make range closer to what we'd expect
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2035b78e3840ec3abb0f5a6db2f87978ada4107c;p=satune.git

make range closer to what we'd expect
---

diff --git a/src/Tuner/tunable.h b/src/Tuner/tunable.h
index 94646b7..2d18a2d 100644
--- a/src/Tuner/tunable.h
+++ b/src/Tuner/tunable.h
@@ -38,7 +38,7 @@ public:
 
 static TunableDesc onoff(0, 1, 1);
 static TunableDesc offon(0, 1, 0);
-static TunableDesc proxyparameter(1, 20, 2);
+static TunableDesc proxyparameter(1, 5, 2);
 
 enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE, ELEMENTOPT, ELEMENTOPTSETS, PROXYVARIABLE};
 typedef enum Tunables Tunables;