diff --git a/experiment/run.sh b/experiment/run.sh new file mode 100755 index 0000000000000000000000000000000000000000..162fa86c58ebd1dd366eec9afa87759bca2b9d3c --- /dev/null +++ b/experiment/run.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +rm -f raw_result.txt +rm -f result.txt + +java -classpath "../out/production/Conversion" inport.Main to_MiniZinc in.ipp conversion_0.dzn + +START=$(date +%s.%N) + +minizinc --solver Gecode "../constraints/conversion_0.mzn" conversion_0.dzn >> raw_result.txt + +END=$(date +%s.%N) +DIFF=$(echo "$END - $START" | bc) + +echo $(DIFF) + +java -classpath "../out/production/Conversion" inport.Main resolve_result in.ipp raw_result.txt result.txt