Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
on-restart-benchmarks run_restart_gecode.sh
760 B · 25 lines
Shell
at develop
1234567891011121314151617181920212223242526#!/usr/bin/env bashtrap "exit" INTset -e
folder=$1
source setup.sh
solver="./software/install/gecode/bin/fzn-gecode"model="./${folder}/on_restart"output_folder="./output/gecode/${folder}/restart"mkdir -p ${output_folder}
for data in ./${folder}/*.dzn; do echo -n "Running ${model} with ${data}: " for i in $( seq 1 $runs ); do echo -n "${i} " filename=$(basename -- "$data") filename="${filename%.*}" minizinc --solver mzn-fzn -c -Ggecode ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol ${solver} --c-d 1 --a-d 2 -time ${timeout_sec}000 -r ${i} -a -restart constant -s ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.${i}.sol done rm -f ${model}.fzn ${model}.ozn echo ""done