From 57cda0421ffd00060bb4ec5b12dafbeba3ee6d0d Mon Sep 17 00:00:00 2001 From: Vlad_kv Date: Mon, 3 Dec 2018 12:57:07 +0300 Subject: [PATCH] run.sh updated --- experiment/run.sh | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/experiment/run.sh b/experiment/run.sh index ebbfd9b..c465356 100755 --- a/experiment/run.sh +++ b/experiment/run.sh @@ -3,16 +3,18 @@ rm -f raw_result.txt rm -f result.txt -java -classpath "../out/production/Conversion" inport.Main to_MiniZinc_0 in.ipp conversion_0.dzn +VERSION="1" -mzn2fzn -o model.fzn "../constraints/conversion_0.mzn" conversion_0.dzn +java -classpath "../out/production/Conversion" inport.Main "to_MiniZinc_$VERSION" in.ipp "conversion_$VERSION.dzn" + +mzn2fzn --no-optimize -o model.fzn "../constraints/conversion_$VERSION.mzn" "conversion_$VERSION.dzn" N_LINES=$(wc -l model.fzn) echo "Model size : $N_LINES" START=$(date +%s.%N) -minizinc --solver Gecode "../constraints/conversion_0.mzn" conversion_0.dzn >> raw_result.txt - +minizinc --solver Chuffed "../constraints/conversion_$VERSION.mzn" "conversion_$VERSION.dzn" >> raw_result.txt +# Gecode Chuffed END=$(date +%s.%N) DIFF=$(echo "$END - $START" | bc) -- GitLab