commit 65e1b4288e6d6ab76d632549f15142854676c33b · dekker.one/on-restart-benchmarks

+3 -3

run_original_chuffed.sh

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       -
       solver="./bin/fzn-chuffed"

     

       10
        
       model="./${folder}/original"

     

       11
        
       output_folder="./output/chuffed/${folder}/original"

     

       12
        
       mkdir -p ${output_folder}

     
···

       15
        
       	echo "Running ${model} with ${data}"

     

       16
        
       	filename=$(basename -- "$data")

     

       17
        
       	filename="${filename%.*}"

     

       18
       -
       	${minizinc}/mzn2fzn -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.sol

     

       19
       -
       	${solver} -a --time-out ${timeout_sec} -s --verbosity 2 ${model}.fzn &>/dev/null | ${minizinc}/solns2out --output-time ${model}.ozn >> ${output_folder}/${filename}.sol

     

       20
        
       	rm -f ${model}.fzn ${model}.ozn

     

       21
        
       done

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       +
       solver="./software/install/chuffed/bin/fzn-chuffed"

     

       10
        
       model="./${folder}/original"

     

       11
        
       output_folder="./output/chuffed/${folder}/original"

     

       12
        
       mkdir -p ${output_folder}

     
···

       15
        
       	echo "Running ${model} with ${data}"

     

       16
        
       	filename=$(basename -- "$data")

     

       17
        
       	filename="${filename%.*}"

     

       18
       +
       	minizinc --solver mzn-fzn -c -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.sol

     

       19
       +
       	${solver} -a --time-out ${timeout_sec} -s --verbosity 2 ${model}.fzn &>/dev/null | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol

     

       20
        
       	rm -f ${model}.fzn ${model}.ozn

     

       21
        
       done

+3 -3

run_original_gecode.sh

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       -
       solver="./bin/fzn-gecode"

     

       10
        
       model="./${folder}/original"

     

       11
        
       output_folder="./output/gecode/${folder}/original"

     

       12
        
       mkdir -p ${output_folder}

     
···

       15
        
       	echo "Running ${model} with ${data}"

     

       16
        
       	filename=$(basename -- "$data")

     

       17
        
       	filename="${filename%.*}"

     

       18
       -
       	${minizinc}/mzn2fzn -Ggecode ${model}.mzn ${data} &>${output_folder}/${filename}.sol

     

       19
       -
       	${solver} --c-d 1 --a-d 2 -time ${timeout_sec}000 -a -s ${model}.fzn | ${minizinc}/solns2out --output-time ${model}.ozn >> ${output_folder}/${filename}.sol

     

       20
        
       	rm -f ${model}.fzn ${model}.ozn

     

       21
        
       done

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       +
       solver="./software/install/gecode/bin/fzn-gecode"

     

       10
        
       model="./${folder}/original"

     

       11
        
       output_folder="./output/gecode/${folder}/original"

     

       12
        
       mkdir -p ${output_folder}

     
···

       15
        
       	echo "Running ${model} with ${data}"

     

       16
        
       	filename=$(basename -- "$data")

     

       17
        
       	filename="${filename%.*}"

     

       18
       +
       	minizinc --solver mzn-fzn -c -Ggecode ${model}.mzn ${data} &>${output_folder}/${filename}.sol

     

       19
       +
       	${solver} --c-d 1 --a-d 2 -time ${timeout_sec}000 -a -s ${model}.fzn | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.sol

     

       20
        
       	rm -f ${model}.fzn ${model}.ozn

     

       21
        
       done

+3 -3

run_record_gecode.sh

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       -
       solver="./bin/fzn-gecode_record"

     

       10
        
       model="./${folder}/on_restart"

     

       11
        
       output_folder="./output/gecode/${folder}/record"

     

       12
        
       mkdir -p ${output_folder}

     
···

       17
        
       		echo -n "${i} "

     

       18
        
       		filename=$(basename -- "$data")

     

       19
        
       		filename="${filename%.*}"

     

       20
       -
       		${minizinc}/mzn2fzn -Ggecode ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol

     

       21
       -
       		${solver} --c-d 1 --a-d 2 -time ${record_timeout_sec}000 -r $i -a -restart constant -s ${model}.fzn | ${minizinc}/solns2out --output-time ${model}.ozn >> ${output_folder}/${filename}.${i}.sol

     

       22
        
       		mv record.txt ${output_folder}/${filename}.${i}.rec

     

       23
        
       	done

     

       24
        
       	rm -f ${model}.fzn ${model}.ozn

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       +
       solver="./software/install/gecode_on_record/bin/fzn-gecode"

     

       10
        
       model="./${folder}/on_restart"

     

       11
        
       output_folder="./output/gecode/${folder}/record"

     

       12
        
       mkdir -p ${output_folder}

     
···

       17
        
       		echo -n "${i} "

     

       18
        
       		filename=$(basename -- "$data")

     

       19
        
       		filename="${filename%.*}"

     

       20
       +
       		minizinc --solver mzn-fzn -c -Ggecode ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol

     

       21
       +
       		${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

     

       22
        
       		mv record.txt ${output_folder}/${filename}.${i}.rec

     

       23
        
       	done

     

       24
        
       	rm -f ${model}.fzn ${model}.ozn

+3 -3

run_replay_gecode.sh

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       -
       solver="./bin/fzn-gecode_replay"

     

       10
        
       model="./${folder}/original"

     

       11
        
       output_folder="./output/gecode/${folder}/replay"

     

       12
        
       records_folder="./output/gecode/${folder}/record"

     
···

       19
        
       		filename=$(basename -- "$data")

     

       20
        
       		filename="${filename%.*}"

     

       21
        
       		cp ${records_folder}/${filename}.${i}.rec record.txt 

     

       22
       -
       		${minizinc}/mzn2fzn -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}/solns2out --output-time ${model}.ozn >> ${output_folder}/${filename}.${i}.sol

     

       24
        
       	done

     

       25
        
       	rm -f ${model}.fzn ${model}.ozn

     

       26
        
       	echo ""

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       +
       solver="./software/install/gecode_on_replay/bin/fzn-gecode"

     

       10
        
       model="./${folder}/original"

     

       11
        
       output_folder="./output/gecode/${folder}/replay"

     

       12
        
       records_folder="./output/gecode/${folder}/record"

     
···

       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 ""

+3 -3

run_restart_chuffed.sh

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       -
       solver="./bin/fzn-chuffed"

     

       10
        
       model="./${folder}/on_restart"

     

       11
        
       output_folder="./output/chuffed/${folder}/restart"

     

       12
        
       mkdir -p ${output_folder}

     
···

       17
        
       		echo -n "${i} "

     

       18
        
       		filename=$(basename -- "$data")

     

       19
        
       		filename="${filename%.*}"

     

       20
       -
       		${minizinc}/mzn2fzn -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol

     

       21
       -
       		${solver} -a --time-out ${timeout_sec} --restart constant --restart-scale 250 -s --verbosity 2 --rnd-seed $i --restart-base 250 ${model}.fzn &>/dev/null | ${minizinc}/solns2out --output-time ${model}.ozn >> ${output_folder}/${filename}.${i}.sol

     

       22
        
       	done

     

       23
        
       	rm -f ${model}.fzn ${model}.ozn

     

       24
        
       	echo ""

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       +
       solver="./software/install/chuffed/bin/fzn-chuffed"

     

       10
        
       model="./${folder}/on_restart"

     

       11
        
       output_folder="./output/chuffed/${folder}/restart"

     

       12
        
       mkdir -p ${output_folder}

     
···

       17
        
       		echo -n "${i} "

     

       18
        
       		filename=$(basename -- "$data")

     

       19
        
       		filename="${filename%.*}"

     

       20
       +
       		minizinc --solver mzn-fzn -c -Gchuffed ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol

     

       21
       +
       		${solver} -a --time-out ${timeout_sec} --restart constant --restart-scale 250 -s --verbosity 2 --rnd-seed $i --restart-base 250 ${model}.fzn &>/dev/null | minizinc --output-time --ozn-file ${model}.ozn >> ${output_folder}/${filename}.${i}.sol

     

       22
        
       	done

     

       23
        
       	rm -f ${model}.fzn ${model}.ozn

     

       24
        
       	echo ""

+3 -3

run_restart_gecode.sh

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       -
       solver="./bin/fzn-gecode"

     

       10
        
       model="./${folder}/on_restart"

     

       11
        
       output_folder="./output/gecode/${folder}/restart"

     

       12
        
       mkdir -p ${output_folder}

     
···

       17
        
       		echo -n "${i} "

     

       18
        
       		filename=$(basename -- "$data")

     

       19
        
       		filename="${filename%.*}"

     

       20
       -
       		${minizinc}/mzn2fzn -Ggecode ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol

     

       21
       -
       		${solver} --c-d 1 --a-d 2 -time ${timeout_sec}000 -r $i -a -restart constant -s ${model}.fzn | ${minizinc}/solns2out --output-time ${model}.ozn >> ${output_folder}/${filename}.${i}.sol

     

       22
        
       	done

     

       23
        
       	rm -f ${model}.fzn ${model}.ozn

     

       24
        
       	echo ""

···

       6
        
       

     

       7
        
       source setup.sh

     

       8
        
       

     

       9
       +
       solver="./software/install/gecode/bin/fzn-gecode"

     

       10
        
       model="./${folder}/on_restart"

     

       11
        
       output_folder="./output/gecode/${folder}/restart"

     

       12
        
       mkdir -p ${output_folder}

     
···

       17
        
       		echo -n "${i} "

     

       18
        
       		filename=$(basename -- "$data")

     

       19
        
       		filename="${filename%.*}"

     

       20
       +
       		minizinc --solver mzn-fzn -c -Ggecode ${model}.mzn ${data} &> ${output_folder}/${filename}.${i}.sol

     

       21
       +
       		${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

     

       22
        
       	done

     

       23
        
       	rm -f ${model}.fzn ${model}.ozn

     

       24
        
       	echo ""

+1 -1

setup.sh

···

       4
        
       record_timeout_sec=240

     

       5
        
       runs=10

     

       6
        
       

     

       7
       -
       minizinc="/Users/jdek0001/Repositories/minizinc/libmzn/build/release"

···

       4
        
       record_timeout_sec=240

     

       5
        
       runs=10

     

       6
        
       

     

       7
       +
       module load MiniZinc/2.5.5