diff --git a/experiment/run.sh b/experiment/run.sh
index ebbfd9b05e150c88cf46f992ea0840bc2cc951aa..c465356179324926d32fe10556b3285726eca033 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)