Changing the seed tuners

diff --git a/common.sh b/common.sh
index 12ca71192025421c20df5555874d3ae9a2671f4a..c02f621ff545a20fcc0b6b9fbf113a4e537da2fd 100755 (executable)
--- a/common.sh
+++ b/common.sh
@@ -4,8 +4,8 @@ OFILE=result.csv
 TEMP="temp.out"
 DUMPDIR="dumps"
 TIMEMAX=5000s
-TIMEOUT=1000
-ROUND=15
-BUDGET=15
-TUNERCONF="onehottuner.conf binarytuner.conf unarytuner.conf"
+TIMEOUT=2000
+ROUND=20
+BUDGET=20
+TUNERCONF="binarytunerint.conf onehottunercommander.conf"