From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 28 Aug 2020 21:43:00 +0000 (-0700)
Subject: Changing the seed tuners
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=82eaa009ce409645286f1dd87d1043ef3aa87b4b;p=Benchmarks_CSolver.git

Changing the seed tuners
---

diff --git a/common.sh b/common.sh
index 12ca7119..c02f621f 100755
--- 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"