From d23f68f2936ff982c8a2026b6766336232a01168 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Mon, 21 Jun 2021 10:16:49 +1000 Subject: [PATCH] Fix time flag for new version of chuffed --- run_original_chuffed.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run_original_chuffed.sh b/run_original_chuffed.sh index 7055f81..d9829fc 100755 --- a/run_original_chuffed.sh +++ b/run_original_chuffed.sh @@ -16,6 +16,6 @@ for data in ./${folder}/*.dzn; do filename=$(basename -- "$data") filename="${filename%.*}" minizinc --solver mzn-fzn -c -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.sol - ${solver} -a --time-out ${timeout_sec} -s --verbosity 2 ${model}.fzn &>/dev/null | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol + ${solver} -a --time-out ${timeout_sec}000 -s ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol rm -f ${model}.fzn ${model}.ozn done