#!/bin/bash

rm -f raw_result.txt
rm -f result.txt

java -classpath "../out/production/Conversion" inport.Main to_MiniZinc_0 in.ipp conversion_0.dzn

mzn2fzn -o model.fzn "../constraints/conversion_0.mzn" conversion_0.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

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