Edit

[Benchmarks_CSolver.git] / killerSudoku / learn.sh

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