Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
on-restart-benchmarks run_record_gecode.sh
831 B · 26 lines
Shell
at develop
123456789101112131415161718192021222324252627#!/usr/bin/env bashtrap "exit" INTset -e
folder=$1
source setup.sh
solver="./software/install/gecode_on_record/bin/fzn-gecode"model="./${folder}/on_record"output_folder="./output/gecode/${folder}/record"mkdir -p ${output_folder}
for data in ./${folder}/*.dzn; do echo -n "Recording ${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 ${record_timeout_sec}000 -r ${i} -a -restart constant -s ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.${i}.sol mv record.txt ${output_folder}/${filename}.${i}.rec done rm -f ${model}.fzn ${model}.ozn echo ""done