diff --git a/bench_env.sh b/bench_env.sh new file mode 100644 index 0000000..945afb4 --- /dev/null +++ b/bench_env.sh @@ -0,0 +1,22 @@ +if [[ "${BASH_SOURCE[0]}" = "${0}" ]]; then + >&2 echo "Remember: you need to run me as 'source bench_env.sh', not execute it!" + exit +fi + +# Create or activate Python virtual environment +if [ -d venv ]; then + source venv/bin/activate +else + python3 -m venv venv + source venv/bin/activate + python3 -m pip install git+https://github.com/Dekker1/minizinc-slurm +fi + +# Set other environment variables and load cluster modules +cmake -S software/minizinc -B software/minizinc/build -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/ +cmake --build software/minizinc/build --config Release --target install +cmake -S software/chuffed -B software/chuffed/build -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/ +cmake --build software/chuffed/build --config Release --target install + +export PATH=`pwd`/software/install/bin:$PATH +export LD_LIBRARY_PATH=`pwd`/software/install/bin:$LD_LIBRARY_PATH diff --git a/prize.csv b/prize.csv new file mode 100644 index 0000000..df45e56 --- /dev/null +++ b/prize.csv @@ -0,0 +1,301 @@ +"problem","model","data_file" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-7.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-5.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-9.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-0.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-3.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-8.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-4.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-6.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-2.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-1.dzn" +"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-7.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-5.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-9.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-0.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-3.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-8.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-4.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-6.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-2.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-1.dzn" +"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-6.dzn" diff --git a/prize_benchmark.py b/prize_benchmark.py new file mode 100644 index 0000000..397f904 --- /dev/null +++ b/prize_benchmark.py @@ -0,0 +1,21 @@ +from datetime import timedelta +from pathlib import Path + +import minizinc + +from minizinc_slurm import Configuration, schedule + +schedule( + instances=Path("./prize.csv"), + timeout=timedelta(minutes=5), + configurations=[ + Configuration( + "Chuffed", + minizinc.Solver.load( + Path("./software/install/share/minizinc/solvers/chuffed.msc") + ), + ), + ], + nodelist=["critical001"], + output_dir=Path("./output/prize/"), +) diff --git a/qcp_benchmark.py b/qcp_benchmark.py new file mode 100644 index 0000000..bfb2025 --- /dev/null +++ b/qcp_benchmark.py @@ -0,0 +1,21 @@ +from datetime import timedelta +from pathlib import Path + +import minizinc + +from minizinc_slurm import Configuration, schedule + +schedule( + instances=Path("./qcp_max.csv"), + timeout=timedelta(minutes=5), + configurations=[ + Configuration( + "Chuffed", + minizinc.Solver.load( + Path("./software/install/share/minizinc/solvers/chuffed.msc") + ), + ), + ], + nodelist=["critical001"], + output_dir=Path("./output/qcp_max"), +) diff --git a/qcp_max.csv b/qcp_max.csv new file mode 100644 index 0000000..01cf947 --- /dev/null +++ b/qcp_max.csv @@ -0,0 +1,123 @@ +"problem","model","data_file" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-7.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-5.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-4.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-6.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-4.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-6.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-8.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-9.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-7.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-5.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-1.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-3.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-2.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-0.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-8.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-2.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-0.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-1.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-3.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-9.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-14.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-13.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-12.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-10.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-11.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-14.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/test.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-12.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-13.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-11.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-10.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-4.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-11.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-13.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-2.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-3.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-12.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-10.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-5.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-7.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-10.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-12.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-1.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-0.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-13.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-11.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-6.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-2.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-8.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-4.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-5.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-9.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-14.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-3.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-1.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-10-67-14.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-9.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-7.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-15-120-6.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-25-264-8.dzn" +"qcp_max","data/qcp_max/qcp_max_redef.mzn","data/qcp_max/qcp-20-187-0.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-7.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-5.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-4.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-6.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-4.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-6.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-8.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-9.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-7.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-5.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-1.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-3.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-2.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-0.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-8.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-2.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-0.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-1.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-3.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-9.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-14.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-13.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-12.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-10.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-11.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-14.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/test.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-12.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-13.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-11.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-10.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-4.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-11.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-13.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-2.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-3.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-12.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-10.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-5.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-7.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-10.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-12.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-1.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-0.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-13.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-11.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-6.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-2.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-8.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-4.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-5.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-9.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-14.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-3.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-1.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-10-67-14.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-9.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-7.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-15-120-6.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-25-264-8.dzn" +"qcp_max","data/qcp_max/qcp_max_imp.mzn","data/qcp_max/qcp-20-187-0.dzn"