this repo has no description
dekker.one
1#!/usr/bin/env bash
2trap "exit" INT
3set -e
4
5folder=$1
6
7source setup.sh
8
9solver="./software/install/gecode_on_replay/bin/fzn-gecode"
10model="./${folder}/on_replay"
11output_folder="./output/gecode/${folder}/replay"
12records_folder="./output/gecode/${folder}/record"
13mkdir -p ${output_folder}
14
15for data in ./${folder}/*.dzn; do
16 echo -n "Replaying ${model} with ${data}: "
17 for i in $( seq 1 $runs ); do
18 echo -n "${i} "
19 filename=$(basename -- "$data")
20 filename="${filename%.*}"
21 cp ${records_folder}/${filename}.${i}.rec record.txt
22 minizinc --solver mzn-fzn -c -Ggecode ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol
23 ${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
24 done
25 rm -f ${model}.fzn ${model}.ozn
26 echo ""
27done