algorithm_cutoff_memory: '?'
algorithm_cutoff_time: 1800
default_steps:
- static
- dynamic
feature_steps:
  dynamic:
    provides:
    - dy_sols
    - dy_props
    - dy_nodes
    - dy_fails
    - dy_depth
    - dy_peak
    - dy_ratio_props
    - dy_ratio_nodes
    - dy_fzn_time
    - dy_static_time
    - dy_tot_time
  static:
    provides:
    - c_avg_deg_cons
    - c_avg_dom_cons
    - c_avg_domdeg_cons
    - c_bounds_d
    - c_bounds_r
    - c_bounds_z
    - c_cv_deg_cons
    - c_cv_dom_cons
    - c_cv_domdeg_cons
    - c_domain
    - c_ent_deg_cons
    - c_ent_dom_cons
    - c_ent_domdeg_cons
    - c_logprod_deg_cons
    - c_logprod_dom_cons
    - c_max_deg_cons
    - c_max_dom_cons
    - c_max_domdeg_cons
    - c_min_deg_cons
    - c_min_dom_cons
    - c_min_domdeg_cons
    - c_num_cons
    - c_priority
    - c_ratio_cons
    - c_sum_ari_cons
    - c_sum_dom_cons
    - c_sum_domdeg_cons
    - d_array_cons
    - d_bool_cons
    - d_bool_vars
    - d_float_cons
    - d_float_vars
    - d_int_cons
    - d_int_vars
    - d_ratio_array_cons
    - d_ratio_bool_cons
    - d_ratio_bool_vars
    - d_ratio_float_cons
    - d_ratio_float_vars
    - d_ratio_int_cons
    - d_ratio_int_vars
    - d_ratio_set_cons
    - d_ratio_set_vars
    - d_set_cons
    - d_set_vars
    - gc_all_diff
    - gc_all_equal
    - gc_among
    - gc_array_int
    - gc_array_set
    - gc_at_least_most
    - gc_bin_packing
    - gc_bool_lin
    - gc_circuit
    - gc_count
    - gc_cumulative
    - gc_decr_inc
    - gc_diffn
    - gc_disjoint
    - gc_global_card
    - gc_global_cons
    - gc_inverse
    - gc_link_set
    - gc_max_min_int
    - gc_member
    - gc_nvalue
    - gc_precede
    - gc_range
    - gc_ratio_globs
    - gc_regular
    - gc_schedule
    - gc_set_weights
    - gc_sort
    - gc_table
    - gr_avg_clust_cg
    - gr_avg_deg_cg
    - gr_avg_deg_vg
    - gr_avg_diam_vg
    - gr_cv_clust_cg
    - gr_cv_deg_cg
    - gr_cv_deg_vg
    - gr_cv_diam_vg
    - gr_ent_clust_cg
    - gr_ent_deg_cg
    - gr_ent_deg_vg
    - gr_ent_diam_vg
    - gr_max_clust_cg
    - gr_max_deg_cg
    - gr_max_deg_vg
    - gr_max_diam_vg
    - gr_min_clust_cg
    - gr_min_deg_cg
    - gr_min_deg_vg
    - gr_min_diam_vg
    - o_de
    - o_de_di
    - o_deg
    - o_deg_avg
    - o_deg_cons
    - o_deg_std
    - o_di
    - o_di_de
    - o_dom
    - o_dom_avg
    - o_dom_deg
    - o_dom_std
    - s_bool_search
    - s_first_fail
    - s_goal
    - s_indomain_max
    - s_indomain_min
    - s_input_order
    - s_int_search
    - s_labeled_vars
    - s_other_val
    - s_other_var
    - s_set_search
    - v_avg_deg_vars
    - v_avg_dom_vars
    - v_avg_domdeg_vars
    - v_cv_deg_vars
    - v_cv_dom_vars
    - v_cv_domdeg_vars
    - v_def_vars
    - v_ent_deg_vars
    - v_ent_dom_vars
    - v_ent_domdeg_vars
    - v_intro_vars
    - v_logprod_deg_vars
    - v_logprod_dom_vars
    - v_max_deg_vars
    - v_max_dom_vars
    - v_max_domdeg_vars
    - v_min_deg_vars
    - v_min_dom_vars
    - v_min_domdeg_vars
    - v_num_aliases
    - v_num_consts
    - v_num_vars
    - v_ratio_bounded
    - v_ratio_vars
    - v_sum_deg_vars
    - v_sum_dom_vars
    - v_sum_domdeg_vars
features_cutoff_memory: '?'
features_cutoff_time: 900
features_deterministic:
- c_avg_deg_cons
- c_avg_dom_cons
- c_avg_domdeg_cons
- c_bounds_d
- c_bounds_r
- c_bounds_z
- c_cv_deg_cons
- c_cv_dom_cons
- c_cv_domdeg_cons
- c_domain
- c_ent_deg_cons
- c_ent_dom_cons
- c_ent_domdeg_cons
- c_logprod_deg_cons
- c_logprod_dom_cons
- c_max_deg_cons
- c_max_dom_cons
- c_max_domdeg_cons
- c_min_deg_cons
- c_min_dom_cons
- c_min_domdeg_cons
- c_num_cons
- c_priority
- c_ratio_cons
- c_sum_ari_cons
- c_sum_dom_cons
- c_sum_domdeg_cons
- d_array_cons
- d_bool_cons
- d_bool_vars
- d_float_cons
- d_float_vars
- d_int_cons
- d_int_vars
- d_ratio_array_cons
- d_ratio_bool_cons
- d_ratio_bool_vars
- d_ratio_float_cons
- d_ratio_float_vars
- d_ratio_int_cons
- d_ratio_int_vars
- d_ratio_set_cons
- d_ratio_set_vars
- d_set_cons
- d_set_vars
- gc_all_diff
- gc_all_equal
- gc_among
- gc_array_int
- gc_array_set
- gc_at_least_most
- gc_bin_packing
- gc_bool_lin
- gc_circuit
- gc_count
- gc_cumulative
- gc_decr_inc
- gc_diffn
- gc_disjoint
- gc_global_card
- gc_global_cons
- gc_inverse
- gc_link_set
- gc_max_min_int
- gc_member
- gc_nvalue
- gc_precede
- gc_range
- gc_ratio_globs
- gc_regular
- gc_schedule
- gc_set_weights
- gc_sort
- gc_table
- o_de
- o_de_di
- o_deg
- o_deg_avg
- o_deg_cons
- o_deg_std
- o_di
- o_di_de
- o_dom
- o_dom_avg
- o_dom_deg
- o_dom_std
- s_bool_search
- s_first_fail
- s_goal
- s_indomain_max
- s_indomain_min
- s_input_order
- s_int_search
- s_labeled_vars
- s_other_val
- s_other_var
- s_set_search
- v_avg_deg_vars
- v_avg_dom_vars
- v_avg_domdeg_vars
- v_cv_deg_vars
- v_cv_dom_vars
- v_cv_domdeg_vars
- v_def_vars
- v_ent_deg_vars
- v_ent_dom_vars
- v_ent_domdeg_vars
- v_intro_vars
- v_logprod_deg_vars
- v_logprod_dom_vars
- v_max_deg_vars
- v_max_dom_vars
- v_max_domdeg_vars
- v_min_deg_vars
- v_min_dom_vars
- v_min_domdeg_vars
- v_num_aliases
- v_num_consts
- v_num_vars
- v_ratio_bounded
- v_ratio_vars
- v_sum_deg_vars
- v_sum_dom_vars
- v_sum_domdeg_vars
features_stochastic:
- gr_avg_clust_cg
- gr_avg_deg_cg
- gr_avg_deg_vg
- gr_avg_diam_vg
- gr_cv_clust_cg
- gr_cv_deg_cg
- gr_cv_deg_vg
- gr_cv_diam_vg
- gr_ent_clust_cg
- gr_ent_deg_cg
- gr_ent_deg_vg
- gr_ent_diam_vg
- gr_max_clust_cg
- gr_max_deg_cg
- gr_max_deg_vg
- gr_max_diam_vg
- gr_min_clust_cg
- gr_min_deg_cg
- gr_min_deg_vg
- gr_min_diam_vg
- dy_sols
- dy_props
- dy_nodes
- dy_fails
- dy_depth
- dy_peak
- dy_ratio_props
- dy_ratio_nodes
- dy_fzn_time
- dy_static_time
- dy_tot_time
maximize:
- false
- true
metainfo_algorithms:
  bprolog:
    configuration: ''
    deterministic: true
  fzn2smt:
    configuration: ''
    deterministic: true
  g12cpx:
    configuration: ''
    deterministic: true
  g12fd:
    configuration: ''
    deterministic: true
  g12lazyfd:
    configuration: ''
    deterministic: true
  g12mip:
    configuration: ''
    deterministic: true
  gecode:
    configuration: ''
    deterministic: true
  izplus:
    configuration: ''
    deterministic: true
  minisatid:
    configuration: ''
    deterministic: true
  mistral:
    configuration: ''
    deterministic: true
  ortools:
    configuration: ''
    deterministic: true
number_of_feature_steps: 2
performance_measures:
- runtime
- solved
performance_type:
- runtime
- solution_quality
scenario_id: CSP-MZN-2013