Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
on-restart-benchmarks run_replay_gecode.sh
876 B · 27 lines
Shell
at develop
12345678910111213141516171819202122232425262728#!/usr/bin/env bashtrap "exit" INTset -e
folder=$1
source setup.sh
solver="./software/install/gecode_on_replay/bin/fzn-gecode"model="./${folder}/on_replay"output_folder="./output/gecode/${folder}/replay"records_folder="./output/gecode/${folder}/record"mkdir -p ${output_folder}
for data in ./${folder}/*.dzn; do echo -n "Replaying ${model} with ${data}: " for i in $( seq 1 $runs ); do echo -n "${i} " filename=$(basename -- "$data") filename="${filename%.*}" cp ${records_folder}/${filename}.${i}.rec record.txt 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