From 82eaa009ce409645286f1dd87d1043ef3aa87b4b Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Fri, 28 Aug 2020 14:43:00 -0700 Subject: [PATCH] Changing the seed tuners --- common.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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" -- 2.34.1