Dekker1/on-restart-benchmarks
Archived
1
0
Fork 0
Code

Fix time flag for new version of chuffed

Browse Source
This commit is contained in:
Jip J. Dekker 2021-06-21 10:16:49 +10:00
parent 332a237d2f
commit d23f68f293
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
run_original_chuffed.sh
View File

@ -16,6 +16,6 @@ for data in ./${folder}/*.dzn; do
filename=$(basename -- "$data")
filename="${filename%.*}"
minizinc --solver mzn-fzn -c -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.sol
${solver} -a --time-out ${timeout_sec} -s --verbosity 2 ${model}.fzn &>/dev/null | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol
${solver} -a --time-out ${timeout_sec}000 -s ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol
rm -f ${model}.fzn ${model}.ozn
done