LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_1.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_2.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_3.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_4.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_5.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_6.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_7.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_8.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_9.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_10_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_10_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_10_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_10_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_10_10.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_1.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_2.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_3.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_4.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_5.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_6.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_7.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_8.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_9.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_15_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_15_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_15_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_15_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_15_10.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_1.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_1.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_1.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_2.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_2.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_2.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_3.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_3.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_3.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_4.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_4.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_4.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_5.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_5.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_5.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_6.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_6.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_6.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_7.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_7.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_7.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_8.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_8.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_8.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_9.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_9.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_9.fzn
LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_lin-96_20_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_reg-gcc_mf-96_20_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_10.fzn
LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/etp-sp_mcf-gcc_lin-96_20_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -mdd=true -time_out=610 chuffed/etp-sp_reg-gcc_lin-chuffed-96_20_10.fzn
../chuffed-gg.svn/fzn_chuffed -verbosity=2 -keep_expln=true -time_out=610 chuffed/etp-sp_evmdd-gcc_lin-chuffed-96_20_10.fzn