#!/bin/bash

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

VERSION="1"

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 Chuffed "../constraints/conversion_$VERSION.mzn" "conversion_$VERSION.dzn" >> raw_result.txt
# Gecode Chuffed
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