From 1710470cd822d52d54ee599159e0b968eb81e3b0 Mon Sep 17 00:00:00 2001
From: Vlad_kv <vladislav-a-k@mail.ru>
Date: Tue, 27 Nov 2018 22:02:03 +0300
Subject: [PATCH] run.sh

---
 experiment/run.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 experiment/run.sh

diff --git a/experiment/run.sh b/experiment/run.sh
new file mode 100755
index 0000000..162fa86
--- /dev/null
+++ b/experiment/run.sh
@@ -0,0 +1,17 @@
+#!/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
-- 
GitLab