del raw_result.txt
del result.txt

java -classpath "../out/production/Conversion" inport.Main to_MiniZinc in_1.ipp conversion_0.dzn

minizinc --solver Gecode conversion_0.mzn conversion_0.dzn >> raw_result.txt

java -classpath "../out/production/Conversion" inport.Main resolve_result in_1.ipp raw_result.txt result.txt