mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_1.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_1.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_1.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_1.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_1.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_1.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_1.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_1.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_1.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_1.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_1.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_1.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_2.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_2.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_2.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_2.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_2.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_2.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_2.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_2.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_2.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_2.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_2.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_2.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_3.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_3.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_3.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_3.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_3.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_3.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_3.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_3.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_3.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_3.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_3.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_3.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_4.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_4.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_4.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_4.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_4.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_4.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_4.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_4.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_4.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_4.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_4.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_4.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_5.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_5.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_5.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_5.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_5.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_5.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_5.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_5.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_5.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_5.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_5.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_5.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_6.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_6.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_6.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_6.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_6.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_6.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_6.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_6.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_6.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_6.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_6.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_6.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_7.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_7.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_7.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_7.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_7.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_7.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_7.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_7.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_7.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_7.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_7.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_7.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_8.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_8.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_8.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_8.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_8.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_8.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_8.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_8.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_8.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_8.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_8.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_8.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_9.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_9.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_9.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_9.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_9.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_9.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_9.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_9.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_9.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_9.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_9.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_9.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_10_10.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_10_10.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_10_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_10_10.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_10_10.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_10_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_10.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_10_10.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_10_10.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_10.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_10.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_10_10.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_10.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_10.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_10_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_1.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_1.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_1.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_1.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_1.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_1.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_1.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_1.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_1.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_1.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_1.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_1.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_2.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_2.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_2.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_2.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_2.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_2.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_2.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_2.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_2.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_2.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_2.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_2.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_3.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_3.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_3.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_3.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_3.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_3.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_3.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_3.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_3.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_3.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_3.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_3.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_4.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_4.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_4.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_4.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_4.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_4.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_4.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_4.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_4.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_4.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_4.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_4.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_5.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_5.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_5.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_5.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_5.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_5.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_5.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_5.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_5.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_5.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_5.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_5.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_6.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_6.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_6.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_6.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_6.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_6.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_6.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_6.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_6.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_6.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_6.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_6.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_7.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_7.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_7.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_7.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_7.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_7.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_7.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_7.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_7.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_7.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_7.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_7.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_8.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_8.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_8.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_8.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_8.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_8.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_8.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_8.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_8.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_8.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_8.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_8.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_9.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_9.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_9.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_9.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_9.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_9.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_9.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_9.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_9.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_9.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_9.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_9.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_15_10.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_15_10.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_15_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_15_10.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_15_10.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_15_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_10.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_15_10.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_15_10.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_10.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_10.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_15_10.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_10.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_10.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_15_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_1.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_1.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_1.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_1.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_1.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_1.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_1.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_1.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_1.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_1.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_1.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_1.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_1.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_2.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_2.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_2.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_2.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_2.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_2.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_2.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_2.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_2.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_2.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_2.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_2.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_2.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_3.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_3.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_3.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_3.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_3.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_3.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_3.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_3.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_3.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_3.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_3.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_3.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_3.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_4.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_4.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_4.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_4.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_4.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_4.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_4.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_4.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_4.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_4.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_4.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_4.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_4.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_5.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_5.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_5.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_5.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_5.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_5.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_5.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_5.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_5.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_5.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_5.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_5.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_5.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_6.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_6.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_6.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_6.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_6.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_6.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_6.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_6.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_6.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_6.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_6.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_6.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_6.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_7.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_7.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_7.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_7.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_7.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_7.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_7.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_7.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_7.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_7.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_7.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_7.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_7.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_8.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_8.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_8.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_8.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_8.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_8.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_8.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_8.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_8.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_8.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_8.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_8.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_8.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_9.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_9.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_9.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_9.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_9.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_9.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_9.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_9.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_9.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_9.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_9.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_9.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_9.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_lin-96_20_10.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_lin-96_20_10.ozn etp/etp-sp_reg-gcc_lin.mzn etp/96_20_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_reg-gcc_mf-96_20_10.fzn --output-ozn-to-file cpx/etp-sp_reg-gcc_mf-96_20_10.ozn etp/etp-sp_reg-gcc_mf.mzn etp/96_20_10.dzn
mkdir --parents cpx && mzn2fzn -I ../cpx.git/flatzinc/minizinc -I mzn --output-fzn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_10.fzn --output-ozn-to-file cpx/etp-sp_mcf-gcc_lin-96_20_10.ozn etp/etp-sp_mcf-gcc_lin.mzn etp/96_20_10.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_10.fzn --output-ozn-to-file chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_10.ozn etp/etp-sp_reg-gcc_lin-chuffed.mzn etp/96_20_10.dzn
mkdir --parents chuffed && mzn2fzn -I ../chuffed-gg.svn/flatzinc/mznlib -I mzn --output-fzn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_10.fzn --output-ozn-to-file chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_10.ozn etp/etp-sp_evmdd-gcc_lin-chuffed.mzn etp/96_20_10.dzn