Adding sypet to repo

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

diff --git a/sypet-non-incremental/learn-backup.sh b/sypet-non-incremental/learn-backup.sh
new file mode 100755 (executable)
index 0000000..4bcd176
--- /dev/null
+++ b/sypet-non-incremental/learn-backup.sh
@@ -0,0 +1,32 @@
+#!/bin/bash
+
+#Terminate the script if even one command fails
+set -e
+
+
+#Variables
+source ../common.sh
+BIN=../../bin
+BDIR=../Benchmarks/sypet/learningset/
+
+#Checking the number of 
+if [ "$#" -lt 2 ]; then
+       echo "Illegal number of argument"
+       echo "./learn.sh [LearningSet] [TunerType]"
+       exit 1
+fi
+if [ "$1" -gt 2 ]; then
+       echo "Only 3 sets are available for learning. Parameter should be less than 3"
+       exit 1
+fi
+
+
+declare -a LearningSet=("${BDIR}1562636725157.dump ${BDIR}1562651129726.dump ${BDIR}1562662323690.dump ${BDIR}1562665910424.dump ${BDIR}1562699616566.dump ${BDIR}1562701066774.dump ${BDIR}1562706808476.dump ${BDIR}1562635841110.dump ${BDIR}1562637377954.dump ${BDIR}1562651780288.dump ${BDIR}1562662533270.dump ${BDIR}1562695181865.dump ${BDIR}1562700410265.dump ${BDIR}1562703471258.dump ${BDIR}1562706823725.dump ${BDIR}1562635849218.dump ${BDIR}1562637978065.dump ${BDIR}1562652380849.dump ${BDIR}1562662994853.dump ${BDIR}1562696412633.dump ${BDIR}1562700417762.dump ${BDIR}1562703471974.dump ${BDIR}1562706856522.dump ${BDIR}1562635876930.dump ${BDIR}1562638258822.dump ${BDIR}1562652389740.dump  ${BDIR}1562664438974.dump  ${BDIR}1562696436390.dump  ${BDIR}1562700419698.dump  ${BDIR}1562703472369.dump  ${BDIR}1562706909613.dump ${BDIR}1562635893362.dump ${BDIR}1562650980646.dump ${BDIR}1562652416373.dump ${BDIR}1562664441318.dump ${BDIR}1562696437225.dump ${BDIR}1562700764083.dump ${BDIR}1562705417754.dump ${BDIR}1562707505778.dump"
+"${BDIR}1562634577978.dump ${BDIR}1562635896314.dump ${BDIR}1562650985189.dump ${BDIR}1562661735374.dump ${BDIR}1562664442722.dump ${BDIR}1562696517054.dump ${BDIR}1562701018342.dump ${BDIR}1562706188641.dump ${BDIR}1562635205449.dump ${BDIR}1562635947068.dump ${BDIR}1562651111290.dump ${BDIR}1562662010597.dump ${BDIR}1562665907694.dump ${BDIR}1562698567378.dump ${BDIR}1562701044258.dump ${BDIR}1562706189302.dump ${BDIR}1562635239432.dump ${BDIR}1562662994853.dump ${BDIR}1562696412633.dump ${BDIR}1562700417762.dump ${BDIR}1562703471974.dump ${BDIR}1562706856522.dump ${BDIR}1562635876930.dump ${BDIR}1562638258822.dump ${BDIR}1562652389740.dump ${BDIR}1562664438974.dump ${BDIR}1562696436390.dump ${BDIR}1562700419698.dump ${BDIR}1562703472369.dump ${BDIR}1562706909613.dump ${BDIR}1562635893362.dump ${BDIR}1562650980646.dump ${BDIR}1562652416373.dump ${BDIR}1562664441318.dump ${BDIR}1562696437225.dump ${BDIR}1562700764083.dump ${BDIR}1562705417754.dump ${BDIR}1562707505778.dump"
+"${BDIR}1562634577978.dump ${BDIR}1562635896314.dump ${BDIR}1562650985189.dump ${BDIR}1562661735374.dump ${BDIR}1562664442722.dump ${BDIR}1562696517054.dump ${BDIR}1562701018342.dump ${BDIR}1562706188641.dump ${BDIR}1562635205449.dump ${BDIR}1562635947068.dump ${BDIR}1562651111290.dump ${BDIR}1562662010597.dump ${BDIR}1562665907694.dump ${BDIR}1562698567378.dump ${BDIR}1562701044258.dump ${BDIR}1562706189302.dump ${BDIR}1562635239432.dump ${BDIR}1562636725157.dump ${BDIR}1562651129726.dump ${BDIR}1562662323690.dump ${BDIR}1562665910424.dump ${BDIR}1562699616566.dump ${BDIR}1562701066774.dump ${BDIR}1562706808476.dump ${BDIR}1562635841110.dump ${BDIR}1562637377954.dump ${BDIR}1562651780288.dump ${BDIR}1562662533270.dump ${BDIR}1562695181865.dump ${BDIR}1562700410265.dump ${BDIR}1562703471258.dump ${BDIR}1562706823725.dump ${BDIR}1562635849218.dump ${BDIR}1562637978065.dump ${BDIR}1562652380849.dump ${BDIR}1562662994853.dump ${BDIR}1562696412633.dump")
+
+echo ${LearningSet[$1]}
+cd $BIN
+./run.sh serializestatictuner
+./run.sh runmultituner $2 $BUDGET $ROUND $TIMEOUT ${LearningSet[$1]} - $TUNERCONF
+