Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / learn.sh

diff --git a/sypet-non-incremental/learn.sh b/sypet-non-incremental/learn.sh
new file mode 100755 (executable)
index 0000000..3d68d82
--- /dev/null
+++ b/sypet-non-incremental/learn.sh
@@ -0,0 +1,43 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+source ../common.sh
+BIN=../../bin
+BDIR=../Benchmarks/sypet-non-incremental/learningset/
+
+#Checking the number of 
+if [ "$#" -lt 2 ]; then
+       echo "Illegal number of argument"
+       echo "./learn.sh [LearningSet=0,1,2,3] [TunerType=1,2,3,4]"
+       exit 1
+fi
+if [ "$1" -gt 3 ]; then
+       echo "Only 3 sets are available for learning. Parameter should be less than 4"
+       exit 1
+fi
+
+#12 test cases
+MATH="$(find ./learningset/ -name "*math*.dump")"
+MATH=${MATH//.\/learningset/$BDIR}
+GEOMETRY="$(find ./learningset/ -name "*geometry*.dump")"
+GEOMETRY=${GEOMETRY//.\/learningset/$BDIR}
+XML="$(find ./learningset/ -name "*xml*.dump")"
+XML=${XML//.\/learningset/$BDIR}
+JODA="$(find ./learningset/ -name "*joda*.dump")"
+JODA=${JODA//.\/learningset/$BDIR}
+
+
+declare -a LearningSet=("${MATH} ${GEOMETRY} ${XML}"
+"${GEOMETRY} ${XML} ${JODA}" 
+"${MATH} ${XML} ${JODA}" 
+"${MATH} ${GEOMETRY} ${JODA} $")
+
+echo ${LearningSet[$1]}
+cd $BIN
+./run.sh serializestatictuner
+./run.sh runmultituner $2 $BUDGET $ROUND $TIMEOUT ${LearningSet[$1]} - $TUNERCONF
+