Commit 0eac4c02 authored by Vladislav Kiselev's avatar Vladislav Kiselev

missed file

parent 65d7de9b
.idea/*
out/*
temp_data/*
Conversion.iml
.idea/dictionaries/Vlad_kv.xml
test/result.txt
......
#!/bin/bash
rm -f raw_result.txt
rm -f result.txt
# Путь к проекту.
PATH_TO_PROJECT="."
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"
java -classpath "../out/production/Conversion" inport.Main "to_MiniZinc_$VERSION" $1 "$PATH_TO_PROJECT/temp_data/data.dzn"
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
/usr/lib/jvm/java-8-openjdk-amd64/bin/java
-javaagent:/home/vlad_kv/.local/share/umake/ide/idea/lib/idea_rt.jar=42623:/home/vlad_kv/.local/share/umake/ide/idea/bin
-Dfile.encoding=UTF-8
-classpath
/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/charsets.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/cldrdata.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/dnsns.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/icedtea-sound.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/jaccess.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/java-atk-wrapper.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/jfxrt.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/localedata.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/nashorn.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/sunec.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/sunjce_provider.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/sunpkcs11.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/zipfs.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jce.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jfxswt.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jsse.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/management-agent.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/resources.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar:/home/vlad_kv/GitHub/Conversion/out/production/Conversion:/usr/share/java/org.sat4j.core.jar:/usr/share/java/org.sat4j.pb.jar inport.Main run experiment/in.ipp
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment