diff --git a/test/conversion_0_start.bat b/test/conversion_0_start.bat
deleted file mode 100644
index eb4e93a08fa155bf9c566038706035dd73bfa403..0000000000000000000000000000000000000000
--- a/test/conversion_0_start.bat
+++ /dev/null
@@ -1,2 +0,0 @@
-minizinc --solver Gecode conversion_0.mzn conversion_0.dzn
-:: minizinc --solver Chuffed conversion_0.mzn conversion_0.data
diff --git a/test/run.bat b/test/run.bat
new file mode 100644
index 0000000000000000000000000000000000000000..713e768677ddf93e186e6d2877f8df231e2a2a4a
--- /dev/null
+++ b/test/run.bat
@@ -0,0 +1,8 @@
+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