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

Fix chuffed restarting script

Browse Source 
(Output and timing flags have changed)
This commit is contained in:
Jip J. Dekker 2021-06-17 17:24:53 +10:00
parent 89528a184e
commit a46e5d70d5
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_restart_chuffed.sh
View File

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