scripts for learning
[Benchmarks_CSolver.git] / hexiom / bench.sh
index 6cbb7657523013670574e58a8bd276183192dd5a..76750f548b346dd82074fd330a544b048e10aadf 100755 (executable)
@@ -38,7 +38,8 @@ for PAR in $PARAMETERS; do
                                echo "DONE!" >>$TEMP
                                 echo "Program Execution Time: $DIFF" >>$TEMP
                                mkdir -p $DUMPDIR
-                               mv DUMP* $DUMPDIR
+                               mv DUMP* "$PAR.dump"
+                               mv "$PAR.dump" $DUMPDIR
                        elif [ $2 = '--csolver' ]; then
                                START=$(date +%s.%N)
                                timeout $TIMEMAX ./run.sh csolverHexiom.py $PAR --csolver >> $TEMP