X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FScripts%2Fruninterpreter.sh;h=fd3fe32000305445aa1822f4e985c2a9f27cde9a;hp=759b95795fd206e1658a2608ec43c4a1e360dd54;hb=13bcf208287f4f848748639bef6b4c1eea82a03f;hpb=5ccf3749ff1384aef34a39b3f55a14f023407cec

diff --git a/src/Scripts/runinterpreter.sh b/src/Scripts/runinterpreter.sh
index 759b957..fd3fe32 100755
--- a/src/Scripts/runinterpreter.sh
+++ b/src/Scripts/runinterpreter.sh
@@ -7,26 +7,43 @@
 
 #./run.sh deserializealloytest ../Benchmarks/sudoku-csolver/4x4.dump --alloy
 #./run.sh java edu.mit.csail.sdg.alloy4whole.ExampleAlloyCompilerNoViz satune.als > solution.log
-
 if [ "$#" -lt 2 ]; then
         echo "Illegal number of argument"
-        echo "./runinterpreter.sh [benchmark] [--alloy/--z3/--smtrat/--mathsat] [timeout]"
+        echo "./runinterpreter.sh [benchmark] [--alloy/--z3/--smtrat/--mathsat/--all] [timeout]"
         exit 1
 fi
 
 
 BIN=./bin
+OUTPUT="$1-SMTsolvers.csv"
 DUMP=$(find . -name "*.dump")
 cd $BIN
+LINE="Benchmark, Alloy, Z3, Smtrat, Mathsat"
+echo $Line > $OUTPUT
 for d in $DUMP; do
-	if [[ $d = *$1* ]]; then
+	if [[ $d = *$1* ]] && [[ $d = *learningset* ]]; then
 		echo $d
-		START=$(date +%s.%N)
-		./run.sh deserializealloytest "."$d $2 $3
-		END=$(date +%s.%N)
-		DIFF=$(echo "$END - $START" | bc)
-		echo "CSOLVER solve time: $DIFF"
-		cat solution.sol
-		echo "Best tuner"
+		if [[ $2 = *--all* ]]; then
+			SOLVERS="--alloy --z3 --smtrat --mathsat"
+			LINE=""
+			for solver in $SOLVERS; do
+				START=$(date +%s.%N)
+				echo "./run.sh deserializealloytest .$d $solver $3"
+                        	./run.sh deserializealloytest "."$d $solver $3
+                        	END=$(date +%s.%N)
+                        	DIFF=$(echo "$END - $START" | bc)
+				LINE="$LINE,$DIFF"
+			done
+			echo "$d$LINE" >> $OUTPUT
+		else
+			START=$(date +%s.%N)
+			./run.sh deserializealloytest "."$d $2 $3
+			END=$(date +%s.%N)
+			DIFF=$(echo "$END - $START" | bc)
+			echo "CSOLVER solve time: $DIFF"
+			cat solution.sol
+			echo "Best tuner"
+		fi
+		
 	fi
 done