Dekker1/half-reif-benchmarks
Archived
1
0
Fork 0
Code

Add initial scripts to perform benchmarks

Browse Source
This commit is contained in:
Jip J. Dekker 2020-11-13 10:18:22 +11:00
parent 908ad93ce6
commit 435dbd68e0
5 changed files with 488 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
bench_env.sh Normal file
View File

@ -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

301
prize.csv Normal file
View File

@ -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"
1 problem model data_file
2 prize data/prize/prize_orig.mzn data/prize/20-4-5-5.dzn
3 prize data/prize/prize_orig.mzn data/prize/45-5-9-9.dzn
4 prize data/prize/prize_orig.mzn data/prize/45-5-9-8.dzn
5 prize data/prize/prize_orig.mzn data/prize/20-4-5-4.dzn
6 prize data/prize/prize_orig.mzn data/prize/28-4-7-8.dzn
7 prize data/prize/prize_orig.mzn data/prize/24-4-6-8.dzn
8 prize data/prize/prize_orig.mzn data/prize/20-4-5-6.dzn
9 prize data/prize/prize_orig.mzn data/prize/20-4-5-7.dzn
10 prize data/prize/prize_orig.mzn data/prize/24-4-6-9.dzn
11 prize data/prize/prize_orig.mzn data/prize/28-4-7-9.dzn
12 prize data/prize/prize_orig.mzn data/prize/25-5-5-9.dzn
13 prize data/prize/prize_orig.mzn data/prize/20-4-5-3.dzn
14 prize data/prize/prize_orig.mzn data/prize/30-5-6-8.dzn
15 prize data/prize/prize_orig.mzn data/prize/30-5-6-9.dzn
16 prize data/prize/prize_orig.mzn data/prize/20-4-5-2.dzn
17 prize data/prize/prize_orig.mzn data/prize/25-5-5-8.dzn
18 prize data/prize/prize_orig.mzn data/prize/21-3-7-9.dzn
19 prize data/prize/prize_orig.mzn data/prize/20-4-5-0.dzn
20 prize data/prize/prize_orig.mzn data/prize/18-3-6-8.dzn
21 prize data/prize/prize_orig.mzn data/prize/18-3-6-9.dzn
22 prize data/prize/prize_orig.mzn data/prize/20-4-5-1.dzn
23 prize data/prize/prize_orig.mzn data/prize/21-3-7-8.dzn
24 prize data/prize/prize_orig.mzn data/prize/9-3-3-0.dzn
25 prize data/prize/prize_orig.mzn data/prize/40-5-8-5.dzn
26 prize data/prize/prize_orig.mzn data/prize/35-5-7-2.dzn
27 prize data/prize/prize_orig.mzn data/prize/35-5-7-3.dzn
28 prize data/prize/prize_orig.mzn data/prize/40-5-8-4.dzn
29 prize data/prize/prize_orig.mzn data/prize/9-3-3-1.dzn
30 prize data/prize/prize_orig.mzn data/prize/9-3-3-3.dzn
31 prize data/prize/prize_orig.mzn data/prize/12-3-4-8.dzn
32 prize data/prize/prize_orig.mzn data/prize/40-5-8-6.dzn
33 prize data/prize/prize_orig.mzn data/prize/35-5-7-1.dzn
34 prize data/prize/prize_orig.mzn data/prize/35-5-7-0.dzn
35 prize data/prize/prize_orig.mzn data/prize/40-5-8-7.dzn
36 prize data/prize/prize_orig.mzn data/prize/12-3-4-9.dzn
37 prize data/prize/prize_orig.mzn data/prize/9-3-3-2.dzn
38 prize data/prize/prize_orig.mzn data/prize/9-3-3-6.dzn
39 prize data/prize/prize_orig.mzn data/prize/15-3-5-9.dzn
40 prize data/prize/prize_orig.mzn data/prize/16-4-4-9.dzn
41 prize data/prize/prize_orig.mzn data/prize/40-5-8-3.dzn
42 prize data/prize/prize_orig.mzn data/prize/35-5-7-4.dzn
43 prize data/prize/prize_orig.mzn data/prize/35-5-7-5.dzn
44 prize data/prize/prize_orig.mzn data/prize/40-5-8-2.dzn
45 prize data/prize/prize_orig.mzn data/prize/16-4-4-8.dzn
46 prize data/prize/prize_orig.mzn data/prize/15-3-5-8.dzn
47 prize data/prize/prize_orig.mzn data/prize/9-3-3-7.dzn
48 prize data/prize/prize_orig.mzn data/prize/9-3-3-5.dzn
49 prize data/prize/prize_orig.mzn data/prize/32-4-8-9.dzn
50 prize data/prize/prize_orig.mzn data/prize/40-5-8-0.dzn
51 prize data/prize/prize_orig.mzn data/prize/35-5-7-7.dzn
52 prize data/prize/prize_orig.mzn data/prize/35-5-7-6.dzn
53 prize data/prize/prize_orig.mzn data/prize/40-5-8-1.dzn
54 prize data/prize/prize_orig.mzn data/prize/32-4-8-8.dzn
55 prize data/prize/prize_orig.mzn data/prize/9-3-3-4.dzn
56 prize data/prize/prize_orig.mzn data/prize/9-3-3-9.dzn
57 prize data/prize/prize_orig.mzn data/prize/32-4-8-5.dzn
58 prize data/prize/prize_orig.mzn data/prize/15-3-5-6.dzn
59 prize data/prize/prize_orig.mzn data/prize/12-3-4-2.dzn
60 prize data/prize/prize_orig.mzn data/prize/16-4-4-6.dzn
61 prize data/prize/prize_orig.mzn data/prize/16-4-4-7.dzn
62 prize data/prize/prize_orig.mzn data/prize/12-3-4-3.dzn
63 prize data/prize/prize_orig.mzn data/prize/15-3-5-7.dzn
64 prize data/prize/prize_orig.mzn data/prize/32-4-8-4.dzn
65 prize data/prize/prize_orig.mzn data/prize/9-3-3-8.dzn
66 prize data/prize/prize_orig.mzn data/prize/32-4-8-6.dzn
67 prize data/prize/prize_orig.mzn data/prize/15-3-5-5.dzn
68 prize data/prize/prize_orig.mzn data/prize/16-4-4-5.dzn
69 prize data/prize/prize_orig.mzn data/prize/12-3-4-1.dzn
70 prize data/prize/prize_orig.mzn data/prize/35-5-7-8.dzn
71 prize data/prize/prize_orig.mzn data/prize/35-5-7-9.dzn
72 prize data/prize/prize_orig.mzn data/prize/12-3-4-0.dzn
73 prize data/prize/prize_orig.mzn data/prize/16-4-4-4.dzn
74 prize data/prize/prize_orig.mzn data/prize/15-3-5-4.dzn
75 prize data/prize/prize_orig.mzn data/prize/32-4-8-7.dzn
76 prize data/prize/prize_orig.mzn data/prize/15-3-5-0.dzn
77 prize data/prize/prize_orig.mzn data/prize/32-4-8-3.dzn
78 prize data/prize/prize_orig.mzn data/prize/16-4-4-0.dzn
79 prize data/prize/prize_orig.mzn data/prize/12-3-4-4.dzn
80 prize data/prize/prize_orig.mzn data/prize/12-3-4-5.dzn
81 prize data/prize/prize_orig.mzn data/prize/16-4-4-1.dzn
82 prize data/prize/prize_orig.mzn data/prize/32-4-8-2.dzn
83 prize data/prize/prize_orig.mzn data/prize/15-3-5-1.dzn
84 prize data/prize/prize_orig.mzn data/prize/15-3-5-3.dzn
85 prize data/prize/prize_orig.mzn data/prize/32-4-8-0.dzn
86 prize data/prize/prize_orig.mzn data/prize/12-3-4-7.dzn
87 prize data/prize/prize_orig.mzn data/prize/16-4-4-3.dzn
88 prize data/prize/prize_orig.mzn data/prize/40-5-8-9.dzn
89 prize data/prize/prize_orig.mzn data/prize/40-5-8-8.dzn
90 prize data/prize/prize_orig.mzn data/prize/16-4-4-2.dzn
91 prize data/prize/prize_orig.mzn data/prize/12-3-4-6.dzn
92 prize data/prize/prize_orig.mzn data/prize/32-4-8-1.dzn
93 prize data/prize/prize_orig.mzn data/prize/15-3-5-2.dzn
94 prize data/prize/prize_orig.mzn data/prize/28-4-7-2.dzn
95 prize data/prize/prize_orig.mzn data/prize/21-3-7-5.dzn
96 prize data/prize/prize_orig.mzn data/prize/25-5-5-6.dzn
97 prize data/prize/prize_orig.mzn data/prize/24-4-6-2.dzn
98 prize data/prize/prize_orig.mzn data/prize/45-5-9-0.dzn
99 prize data/prize/prize_orig.mzn data/prize/18-3-6-4.dzn
100 prize data/prize/prize_orig.mzn data/prize/30-5-6-7.dzn
101 prize data/prize/prize_orig.mzn data/prize/30-5-6-6.dzn
102 prize data/prize/prize_orig.mzn data/prize/18-3-6-5.dzn
103 prize data/prize/prize_orig.mzn data/prize/45-5-9-1.dzn
104 prize data/prize/prize_orig.mzn data/prize/24-4-6-3.dzn
105 prize data/prize/prize_orig.mzn data/prize/25-5-5-7.dzn
106 prize data/prize/prize_orig.mzn data/prize/21-3-7-4.dzn
107 prize data/prize/prize_orig.mzn data/prize/28-4-7-3.dzn
108 prize data/prize/prize_orig.mzn data/prize/28-4-7-1.dzn
109 prize data/prize/prize_orig.mzn data/prize/21-3-7-6.dzn
110 prize data/prize/prize_orig.mzn data/prize/25-5-5-5.dzn
111 prize data/prize/prize_orig.mzn data/prize/24-4-6-1.dzn
112 prize data/prize/prize_orig.mzn data/prize/45-5-9-3.dzn
113 prize data/prize/prize_orig.mzn data/prize/18-3-6-7.dzn
114 prize data/prize/prize_orig.mzn data/prize/30-5-6-4.dzn
115 prize data/prize/prize_orig.mzn data/prize/30-5-6-5.dzn
116 prize data/prize/prize_orig.mzn data/prize/18-3-6-6.dzn
117 prize data/prize/prize_orig.mzn data/prize/45-5-9-2.dzn
118 prize data/prize/prize_orig.mzn data/prize/24-4-6-0.dzn
119 prize data/prize/prize_orig.mzn data/prize/25-5-5-4.dzn
120 prize data/prize/prize_orig.mzn data/prize/21-3-7-7.dzn
121 prize data/prize/prize_orig.mzn data/prize/28-4-7-0.dzn
122 prize data/prize/prize_orig.mzn data/prize/28-4-7-4.dzn
123 prize data/prize/prize_orig.mzn data/prize/21-3-7-3.dzn
124 prize data/prize/prize_orig.mzn data/prize/25-5-5-0.dzn
125 prize data/prize/prize_orig.mzn data/prize/24-4-6-4.dzn
126 prize data/prize/prize_orig.mzn data/prize/45-5-9-6.dzn
127 prize data/prize/prize_orig.mzn data/prize/30-5-6-1.dzn
128 prize data/prize/prize_orig.mzn data/prize/18-3-6-2.dzn
129 prize data/prize/prize_orig.mzn data/prize/18-3-6-3.dzn
130 prize data/prize/prize_orig.mzn data/prize/30-5-6-0.dzn
131 prize data/prize/prize_orig.mzn data/prize/45-5-9-7.dzn
132 prize data/prize/prize_orig.mzn data/prize/24-4-6-5.dzn
133 prize data/prize/prize_orig.mzn data/prize/25-5-5-1.dzn
134 prize data/prize/prize_orig.mzn data/prize/21-3-7-2.dzn
135 prize data/prize/prize_orig.mzn data/prize/28-4-7-5.dzn
136 prize data/prize/prize_orig.mzn data/prize/28-4-7-7.dzn
137 prize data/prize/prize_orig.mzn data/prize/21-3-7-0.dzn
138 prize data/prize/prize_orig.mzn data/prize/25-5-5-3.dzn
139 prize data/prize/prize_orig.mzn data/prize/24-4-6-7.dzn
140 prize data/prize/prize_orig.mzn data/prize/45-5-9-5.dzn
141 prize data/prize/prize_orig.mzn data/prize/20-4-5-9.dzn
142 prize data/prize/prize_orig.mzn data/prize/30-5-6-2.dzn
143 prize data/prize/prize_orig.mzn data/prize/18-3-6-1.dzn
144 prize data/prize/prize_orig.mzn data/prize/18-3-6-0.dzn
145 prize data/prize/prize_orig.mzn data/prize/30-5-6-3.dzn
146 prize data/prize/prize_orig.mzn data/prize/20-4-5-8.dzn
147 prize data/prize/prize_orig.mzn data/prize/45-5-9-4.dzn
148 prize data/prize/prize_orig.mzn data/prize/24-4-6-6.dzn
149 prize data/prize/prize_orig.mzn data/prize/25-5-5-2.dzn
150 prize data/prize/prize_orig.mzn data/prize/21-3-7-1.dzn
151 prize data/prize/prize_orig.mzn data/prize/28-4-7-6.dzn
152 prize data/prize/prize_imp.mzn data/prize/20-4-5-5.dzn
153 prize data/prize/prize_imp.mzn data/prize/45-5-9-9.dzn
154 prize data/prize/prize_imp.mzn data/prize/45-5-9-8.dzn
155 prize data/prize/prize_imp.mzn data/prize/20-4-5-4.dzn
156 prize data/prize/prize_imp.mzn data/prize/28-4-7-8.dzn
157 prize data/prize/prize_imp.mzn data/prize/24-4-6-8.dzn
158 prize data/prize/prize_imp.mzn data/prize/20-4-5-6.dzn
159 prize data/prize/prize_imp.mzn data/prize/20-4-5-7.dzn
160 prize data/prize/prize_imp.mzn data/prize/24-4-6-9.dzn
161 prize data/prize/prize_imp.mzn data/prize/28-4-7-9.dzn
162 prize data/prize/prize_imp.mzn data/prize/25-5-5-9.dzn
163 prize data/prize/prize_imp.mzn data/prize/20-4-5-3.dzn
164 prize data/prize/prize_imp.mzn data/prize/30-5-6-8.dzn
165 prize data/prize/prize_imp.mzn data/prize/30-5-6-9.dzn
166 prize data/prize/prize_imp.mzn data/prize/20-4-5-2.dzn
167 prize data/prize/prize_imp.mzn data/prize/25-5-5-8.dzn
168 prize data/prize/prize_imp.mzn data/prize/21-3-7-9.dzn
169 prize data/prize/prize_imp.mzn data/prize/20-4-5-0.dzn
170 prize data/prize/prize_imp.mzn data/prize/18-3-6-8.dzn
171 prize data/prize/prize_imp.mzn data/prize/18-3-6-9.dzn
172 prize data/prize/prize_imp.mzn data/prize/20-4-5-1.dzn
173 prize data/prize/prize_imp.mzn data/prize/21-3-7-8.dzn
174 prize data/prize/prize_imp.mzn data/prize/9-3-3-0.dzn
175 prize data/prize/prize_imp.mzn data/prize/40-5-8-5.dzn
176 prize data/prize/prize_imp.mzn data/prize/35-5-7-2.dzn
177 prize data/prize/prize_imp.mzn data/prize/35-5-7-3.dzn
178 prize data/prize/prize_imp.mzn data/prize/40-5-8-4.dzn
179 prize data/prize/prize_imp.mzn data/prize/9-3-3-1.dzn
180 prize data/prize/prize_imp.mzn data/prize/9-3-3-3.dzn
181 prize data/prize/prize_imp.mzn data/prize/12-3-4-8.dzn
182 prize data/prize/prize_imp.mzn data/prize/40-5-8-6.dzn
183 prize data/prize/prize_imp.mzn data/prize/35-5-7-1.dzn
184 prize data/prize/prize_imp.mzn data/prize/35-5-7-0.dzn
185 prize data/prize/prize_imp.mzn data/prize/40-5-8-7.dzn
186 prize data/prize/prize_imp.mzn data/prize/12-3-4-9.dzn
187 prize data/prize/prize_imp.mzn data/prize/9-3-3-2.dzn
188 prize data/prize/prize_imp.mzn data/prize/9-3-3-6.dzn
189 prize data/prize/prize_imp.mzn data/prize/15-3-5-9.dzn
190 prize data/prize/prize_imp.mzn data/prize/16-4-4-9.dzn
191 prize data/prize/prize_imp.mzn data/prize/40-5-8-3.dzn
192 prize data/prize/prize_imp.mzn data/prize/35-5-7-4.dzn
193 prize data/prize/prize_imp.mzn data/prize/35-5-7-5.dzn
194 prize data/prize/prize_imp.mzn data/prize/40-5-8-2.dzn
195 prize data/prize/prize_imp.mzn data/prize/16-4-4-8.dzn
196 prize data/prize/prize_imp.mzn data/prize/15-3-5-8.dzn
197 prize data/prize/prize_imp.mzn data/prize/9-3-3-7.dzn
198 prize data/prize/prize_imp.mzn data/prize/9-3-3-5.dzn
199 prize data/prize/prize_imp.mzn data/prize/32-4-8-9.dzn
200 prize data/prize/prize_imp.mzn data/prize/40-5-8-0.dzn
201 prize data/prize/prize_imp.mzn data/prize/35-5-7-7.dzn
202 prize data/prize/prize_imp.mzn data/prize/35-5-7-6.dzn
203 prize data/prize/prize_imp.mzn data/prize/40-5-8-1.dzn
204 prize data/prize/prize_imp.mzn data/prize/32-4-8-8.dzn
205 prize data/prize/prize_imp.mzn data/prize/9-3-3-4.dzn
206 prize data/prize/prize_imp.mzn data/prize/9-3-3-9.dzn
207 prize data/prize/prize_imp.mzn data/prize/32-4-8-5.dzn
208 prize data/prize/prize_imp.mzn data/prize/15-3-5-6.dzn
209 prize data/prize/prize_imp.mzn data/prize/12-3-4-2.dzn
210 prize data/prize/prize_imp.mzn data/prize/16-4-4-6.dzn
211 prize data/prize/prize_imp.mzn data/prize/16-4-4-7.dzn
212 prize data/prize/prize_imp.mzn data/prize/12-3-4-3.dzn
213 prize data/prize/prize_imp.mzn data/prize/15-3-5-7.dzn
214 prize data/prize/prize_imp.mzn data/prize/32-4-8-4.dzn
215 prize data/prize/prize_imp.mzn data/prize/9-3-3-8.dzn
216 prize data/prize/prize_imp.mzn data/prize/32-4-8-6.dzn
217 prize data/prize/prize_imp.mzn data/prize/15-3-5-5.dzn
218 prize data/prize/prize_imp.mzn data/prize/16-4-4-5.dzn
219 prize data/prize/prize_imp.mzn data/prize/12-3-4-1.dzn
220 prize data/prize/prize_imp.mzn data/prize/35-5-7-8.dzn
221 prize data/prize/prize_imp.mzn data/prize/35-5-7-9.dzn
222 prize data/prize/prize_imp.mzn data/prize/12-3-4-0.dzn
223 prize data/prize/prize_imp.mzn data/prize/16-4-4-4.dzn
224 prize data/prize/prize_imp.mzn data/prize/15-3-5-4.dzn
225 prize data/prize/prize_imp.mzn data/prize/32-4-8-7.dzn
226 prize data/prize/prize_imp.mzn data/prize/15-3-5-0.dzn
227 prize data/prize/prize_imp.mzn data/prize/32-4-8-3.dzn
228 prize data/prize/prize_imp.mzn data/prize/16-4-4-0.dzn
229 prize data/prize/prize_imp.mzn data/prize/12-3-4-4.dzn
230 prize data/prize/prize_imp.mzn data/prize/12-3-4-5.dzn
231 prize data/prize/prize_imp.mzn data/prize/16-4-4-1.dzn
232 prize data/prize/prize_imp.mzn data/prize/32-4-8-2.dzn
233 prize data/prize/prize_imp.mzn data/prize/15-3-5-1.dzn
234 prize data/prize/prize_imp.mzn data/prize/15-3-5-3.dzn
235 prize data/prize/prize_imp.mzn data/prize/32-4-8-0.dzn
236 prize data/prize/prize_imp.mzn data/prize/12-3-4-7.dzn
237 prize data/prize/prize_imp.mzn data/prize/16-4-4-3.dzn
238 prize data/prize/prize_imp.mzn data/prize/40-5-8-9.dzn
239 prize data/prize/prize_imp.mzn data/prize/40-5-8-8.dzn
240 prize data/prize/prize_imp.mzn data/prize/16-4-4-2.dzn
241 prize data/prize/prize_imp.mzn data/prize/12-3-4-6.dzn
242 prize data/prize/prize_imp.mzn data/prize/32-4-8-1.dzn
243 prize data/prize/prize_imp.mzn data/prize/15-3-5-2.dzn
244 prize data/prize/prize_imp.mzn data/prize/28-4-7-2.dzn
245 prize data/prize/prize_imp.mzn data/prize/21-3-7-5.dzn
246 prize data/prize/prize_imp.mzn data/prize/25-5-5-6.dzn
247 prize data/prize/prize_imp.mzn data/prize/24-4-6-2.dzn
248 prize data/prize/prize_imp.mzn data/prize/45-5-9-0.dzn
249 prize data/prize/prize_imp.mzn data/prize/18-3-6-4.dzn
250 prize data/prize/prize_imp.mzn data/prize/30-5-6-7.dzn
251 prize data/prize/prize_imp.mzn data/prize/30-5-6-6.dzn
252 prize data/prize/prize_imp.mzn data/prize/18-3-6-5.dzn
253 prize data/prize/prize_imp.mzn data/prize/45-5-9-1.dzn
254 prize data/prize/prize_imp.mzn data/prize/24-4-6-3.dzn
255 prize data/prize/prize_imp.mzn data/prize/25-5-5-7.dzn
256 prize data/prize/prize_imp.mzn data/prize/21-3-7-4.dzn
257 prize data/prize/prize_imp.mzn data/prize/28-4-7-3.dzn
258 prize data/prize/prize_imp.mzn data/prize/28-4-7-1.dzn
259 prize data/prize/prize_imp.mzn data/prize/21-3-7-6.dzn
260 prize data/prize/prize_imp.mzn data/prize/25-5-5-5.dzn
261 prize data/prize/prize_imp.mzn data/prize/24-4-6-1.dzn
262 prize data/prize/prize_imp.mzn data/prize/45-5-9-3.dzn
263 prize data/prize/prize_imp.mzn data/prize/18-3-6-7.dzn
264 prize data/prize/prize_imp.mzn data/prize/30-5-6-4.dzn
265 prize data/prize/prize_imp.mzn data/prize/30-5-6-5.dzn
266 prize data/prize/prize_imp.mzn data/prize/18-3-6-6.dzn
267 prize data/prize/prize_imp.mzn data/prize/45-5-9-2.dzn
268 prize data/prize/prize_imp.mzn data/prize/24-4-6-0.dzn
269 prize data/prize/prize_imp.mzn data/prize/25-5-5-4.dzn
270 prize data/prize/prize_imp.mzn data/prize/21-3-7-7.dzn
271 prize data/prize/prize_imp.mzn data/prize/28-4-7-0.dzn
272 prize data/prize/prize_imp.mzn data/prize/28-4-7-4.dzn
273 prize data/prize/prize_imp.mzn data/prize/21-3-7-3.dzn
274 prize data/prize/prize_imp.mzn data/prize/25-5-5-0.dzn
275 prize data/prize/prize_imp.mzn data/prize/24-4-6-4.dzn
276 prize data/prize/prize_imp.mzn data/prize/45-5-9-6.dzn
277 prize data/prize/prize_imp.mzn data/prize/30-5-6-1.dzn
278 prize data/prize/prize_imp.mzn data/prize/18-3-6-2.dzn
279 prize data/prize/prize_imp.mzn data/prize/18-3-6-3.dzn
280 prize data/prize/prize_imp.mzn data/prize/30-5-6-0.dzn
281 prize data/prize/prize_imp.mzn data/prize/45-5-9-7.dzn
282 prize data/prize/prize_imp.mzn data/prize/24-4-6-5.dzn
283 prize data/prize/prize_imp.mzn data/prize/25-5-5-1.dzn
284 prize data/prize/prize_imp.mzn data/prize/21-3-7-2.dzn
285 prize data/prize/prize_imp.mzn data/prize/28-4-7-5.dzn
286 prize data/prize/prize_imp.mzn data/prize/28-4-7-7.dzn
287 prize data/prize/prize_imp.mzn data/prize/21-3-7-0.dzn
288 prize data/prize/prize_imp.mzn data/prize/25-5-5-3.dzn
289 prize data/prize/prize_imp.mzn data/prize/24-4-6-7.dzn
290 prize data/prize/prize_imp.mzn data/prize/45-5-9-5.dzn
291 prize data/prize/prize_imp.mzn data/prize/20-4-5-9.dzn
292 prize data/prize/prize_imp.mzn data/prize/30-5-6-2.dzn
293 prize data/prize/prize_imp.mzn data/prize/18-3-6-1.dzn
294 prize data/prize/prize_imp.mzn data/prize/18-3-6-0.dzn
295 prize data/prize/prize_imp.mzn data/prize/30-5-6-3.dzn
296 prize data/prize/prize_imp.mzn data/prize/20-4-5-8.dzn
297 prize data/prize/prize_imp.mzn data/prize/45-5-9-4.dzn
298 prize data/prize/prize_imp.mzn data/prize/24-4-6-6.dzn
299 prize data/prize/prize_imp.mzn data/prize/25-5-5-2.dzn
300 prize data/prize/prize_imp.mzn data/prize/21-3-7-1.dzn
301 prize data/prize/prize_imp.mzn data/prize/28-4-7-6.dzn

21
prize_benchmark.py Normal file
View File

@ -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/"),
)

21
qcp_benchmark.py Normal file
View File

@ -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"),
)

123
qcp_max.csv Normal file
View File

@ -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"
1 problem model data_file
2 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-7.dzn
3 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-5.dzn
4 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-4.dzn
5 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-6.dzn
6 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-4.dzn
7 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-6.dzn
8 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-8.dzn
9 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-9.dzn
10 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-7.dzn
11 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-5.dzn
12 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-1.dzn
13 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-3.dzn
14 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-2.dzn
15 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-0.dzn
16 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-8.dzn
17 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-2.dzn
18 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-0.dzn
19 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-1.dzn
20 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-3.dzn
21 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-9.dzn
22 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-14.dzn
23 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-13.dzn
24 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-12.dzn
25 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-10.dzn
26 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-11.dzn
27 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-14.dzn
28 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/test.dzn
29 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-12.dzn
30 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-13.dzn
31 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-11.dzn
32 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-10.dzn
33 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-4.dzn
34 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-11.dzn
35 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-13.dzn
36 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-2.dzn
37 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-3.dzn
38 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-12.dzn
39 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-10.dzn
40 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-5.dzn
41 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-7.dzn
42 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-10.dzn
43 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-12.dzn
44 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-1.dzn
45 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-0.dzn
46 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-13.dzn
47 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-11.dzn
48 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-6.dzn
49 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-2.dzn
50 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-8.dzn
51 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-4.dzn
52 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-5.dzn
53 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-9.dzn
54 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-14.dzn
55 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-3.dzn
56 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-1.dzn
57 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-10-67-14.dzn
58 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-9.dzn
59 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-7.dzn
60 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-15-120-6.dzn
61 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-25-264-8.dzn
62 qcp_max data/qcp_max/qcp_max_redef.mzn data/qcp_max/qcp-20-187-0.dzn
63 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-7.dzn
64 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-5.dzn
65 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-4.dzn
66 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-6.dzn
67 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-4.dzn
68 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-6.dzn
69 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-8.dzn
70 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-9.dzn
71 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-7.dzn
72 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-5.dzn
73 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-1.dzn
74 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-3.dzn
75 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-2.dzn
76 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-0.dzn
77 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-8.dzn
78 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-2.dzn
79 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-0.dzn
80 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-1.dzn
81 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-3.dzn
82 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-9.dzn
83 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-14.dzn
84 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-13.dzn
85 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-12.dzn
86 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-10.dzn
87 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-11.dzn
88 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-14.dzn
89 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/test.dzn
90 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-12.dzn
91 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-13.dzn
92 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-11.dzn
93 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-10.dzn
94 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-4.dzn
95 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-11.dzn
96 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-13.dzn
97 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-2.dzn
98 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-3.dzn
99 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-12.dzn
100 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-10.dzn
101 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-5.dzn
102 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-7.dzn
103 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-10.dzn
104 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-12.dzn
105 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-1.dzn
106 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-0.dzn
107 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-13.dzn
108 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-11.dzn
109 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-6.dzn
110 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-2.dzn
111 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-8.dzn
112 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-4.dzn
113 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-5.dzn
114 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-9.dzn
115 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-14.dzn
116 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-3.dzn
117 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-1.dzn
118 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-10-67-14.dzn
119 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-9.dzn
120 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-7.dzn
121 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-15-120-6.dzn
122 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-25-264-8.dzn
123 qcp_max data/qcp_max/qcp_max_imp.mzn data/qcp_max/qcp-20-187-0.dzn