···

       
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

     

···

       
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

     

···

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

     

···

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

     

···

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

     

···

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