Edit

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

diff --git a/hexiom/learn.sh b/hexiom/learn.sh
index ae16dcf84a98d6ed62934e92c4bf24e548ec372d..0d60b57a7def80de505f9af34f383a13a0c7de59 100755 (executable)
--- a/hexiom/learn.sh
+++ b/hexiom/learn.sh
@@ -28,5 +28,5 @@ declare -a LearningSet=("${BDIR}38.dump ${BDIR}41.dump ${BDIR}43.dump ${BDIR}44.
 echo ${LearningSet[$1]}
 cd $BIN
 ./run.sh serializestatictuner
-./run.sh runmultituner $2 $BUDGET $ROUND $TIMEMAX ${LearningSet[$1]} - $TUNERCONF
+./run.sh runmultituner $2 $BUDGET $ROUND $TIMEOUT ${LearningSet[$1]} - $TUNERCONF
 

diff --git a/killerSudoku/learn.sh b/killerSudoku/learn.sh
index f955bf01da343a6d7255e8c306ec1f53dd22419b..54e9d5c7d690316f36f3a3fd3494b27e2b97073f 100755 (executable)
--- a/killerSudoku/learn.sh
+++ b/killerSudoku/learn.sh
@@ -28,5 +28,5 @@ declare -a LearningSet=("${BDIR}2-25-5.dump ${BDIR}2-25.dump ${BDIR}36x36-591.du
 echo ${LearningSet[$1]}
 cd $BIN
 ./run.sh serializestatictuner
-./run.sh runmultituner $2 $BUDGET $ROUND $TIMEMAX ${LearningSet[$1]} - $TUNERCONF
+./run.sh runmultituner $2 $BUDGET $ROUND $TIMEOUT ${LearningSet[$1]} - $TUNERCONF
 

diff --git a/nqueens/learn.sh b/nqueens/learn.sh
index 07b98543ebf2af262d2a938760bc21812dbee6a2..6a56fe63e6680214320dfd5f0cd381245aea461b 100755 (executable)
--- a/nqueens/learn.sh
+++ b/nqueens/learn.sh
@@ -28,5 +28,5 @@ declare -a LearningSet=("${BDIR}96.dump ${BDIR}112.dump ${BDIR}144.dump ${BDIR}1
 echo ${LearningSet[$1]}
 cd $BIN
 ./run.sh serializestatictuner
-./run.sh runmultituner $2 $BUDGET $ROUND $TIMEMAX ${LearningSet[$1]} - $TUNERCONF
+./run.sh runmultituner $2 $BUDGET $ROUND $TIMEOUT ${LearningSet[$1]} - $TUNERCONF
 

diff --git a/sudoku-csolver/learn.sh b/sudoku-csolver/learn.sh
index c9d33acc17e9b60445ba3e04a54b08de86c1ab04..8d6506dd9cb9f10907580f772d12789ace2f5e3d 100755 (executable)
--- a/sudoku-csolver/learn.sh
+++ b/sudoku-csolver/learn.sh
@@ -28,5 +28,5 @@ declare -a LearningSet=("${BDIR}36x36-591.dump ${BDIR}36x36-592.dump ${BDIR}36x3
 echo ${LearningSet[$1]}
 cd $BIN
 ./run.sh serializestatictuner
-./run.sh runmultituner $2 $BUDGET $ROUND $TIMEMAX ${LearningSet[$1]} - $TUNERCONF
+./run.sh runmultituner $2 $BUDGET $ROUND $TIMEOUT ${LearningSet[$1]} - $TUNERCONF