run.sh

experiment/run.sh

+#!/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