minor changes in scripts for SPASSmeter

bin/r/stats.r

@@ -3,6 +3,8 @@
 #folder_fn="results-benchmark-binary"
 #results_fn=paste(data_fn,folder_fn,"/raw",sep="")
 #outtxt_fn=paste(data_fn,folder_fn,"/results-text.txt",sep="")
+#results_fn="raw"
+#outtxt_fn="results-text.txt"
 
 configs.threads=1
 #configs.loop=10

frameworks/SPASSmeter/benchmark-causes.sh

@@ -32,7 +32,7 @@ RAWFN="${RESULTSDIR}raw"
 
 JAVAARGS="-server"
 JAVAARGS="${JAVAARGS} -d64"
-JAVAARGS="${JAVAARGS} -Xms1G -Xmx4G"
+JAVAARGS="${JAVAARGS} -Xms1G -Xmx12G"
 JAVAARGS="${JAVAARGS} -verbose:gc -XX:+PrintCompilation"
 #JAVAARGS="${JAVAARGS} -XX:+PrintInlining"
 #JAVAARGS="${JAVAARGS} -XX:+UnlockDiagnosticVMOptions -XX:+LogCompilation"