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