obs | nas | min | qu_1st | med | mean | qu_3rd | max | sd | coeff_var | |
---|---|---|---|---|---|---|---|---|---|---|
c_avg_deg_cons | 100 | 5 | 2.3 | 2.8 | 3 | 3.6 | 4 | 9 | 1.5 | 0.41 |
c_avg_dom_cons | 100 | 5 | 3 | 5.9 | 10 | 12 | 16 | 36 | 7.5 | 0.63 |
c_avg_domdeg_cons | 100 | 5 | 1 | 1.8 | 2.7 | 3.1 | 4 | 6.6 | 1.8 | 0.57 |
c_bounds_d | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
c_bounds_r | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
c_bounds_z | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
c_cv_deg_cons | 100 | 5 | 0.28 | 1.1 | 1.6 | 1.9 | 2.3 | 10 | 1.3 | 0.71 |
c_cv_dom_cons | 100 | 5 | 0.46 | 1.2 | 1.7 | 2 | 2.3 | 8.1 | 1.5 | 0.73 |
c_cv_domdeg_cons | 100 | 5 | 0.012 | 0.33 | 0.55 | 0.51 | 0.69 | 1.2 | 0.31 | 0.6 |
c_domain | 100 | 5 | 0 | 0 | 0 | 5.6 | 0 | 63 | 15 | 2.7 |
c_ent_deg_cons | 100 | 5 | 0.15 | 0.91 | 1.1 | 1.2 | 1.5 | 2 | 0.47 | 0.41 |
c_ent_dom_cons | 100 | 5 | 0.31 | 2.1 | 2.7 | 2.7 | 3.3 | 5.5 | 1.1 | 0.39 |
c_ent_domdeg_cons | 100 | 5 | -8.9e-16 | 0.76 | 1.4 | 1.3 | 1.8 | 3.1 | 0.79 | 0.6 |
c_logprod_deg_cons | 100 | 5 | 32 | 3.5e+02 | 1.9e+03 | 1.3e+04 | 4.6e+03 | 4.6e+05 | 5e+04 | 3.9 |
c_logprod_dom_cons | 100 | 5 | 1e+02 | 7.5e+02 | 2.9e+03 | 1.6e+04 | 7.4e+03 | 5.6e+05 | 5.9e+04 | 3.7 |
c_max_deg_cons | 100 | 5 | 8 | 31 | 60 | 1.4e+02 | 1.3e+02 | 2.7e+03 | 3e+02 | 2.2 |
c_max_dom_cons | 100 | 5 | 15 | 1e+02 | 2.2e+02 | 4.9e+02 | 4e+02 | 6e+03 | 9.2e+02 | 1.9 |
c_max_domdeg_cons | 100 | 5 | 2.3 | 5.8 | 7.8 | 8.3 | 11 | 17 | 3.5 | 0.42 |
c_min_deg_cons | 100 | 5 | 1 | 1 | 2 | 1.5 | 2 | 2 | 0.5 | 0.33 |
c_min_dom_cons | 100 | 5 | 1 | 1 | 2 | 2.7 | 2 | 13 | 3 | 1.1 |
c_min_domdeg_cons | 100 | 5 | 0.5 | 1 | 1 | 1.4 | 1 | 4.3 | 1 | 0.72 |
c_num_cons | 100 | 5 | 26 | 2.7e+02 | 1.3e+03 | 9.4e+03 | 3.8e+03 | 3.4e+05 | 3.7e+04 | 3.9 |
c_priority | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
c_ratio_cons | 100 | 5 | 0.44 | 0.98 | 1.1 | 1.2 | 1.3 | 3 | 0.44 | 0.36 |
c_sum_ari_cons | 100 | 5 | 79 | 7.6e+02 | 3.3e+03 | 2.4e+04 | 1e+04 | 8e+05 | 8.7e+04 | 3.7 |
c_sum_dom_cons | 100 | 5 | 4.9e+02 | 3.3e+03 | 1.2e+04 | 4.6e+04 | 2.8e+04 | 1.5e+06 | 1.6e+05 | 3.4 |
c_sum_domdeg_cons | 100 | 5 | 1.7e+02 | 9.8e+02 | 3e+03 | 1.4e+04 | 9.3e+03 | 4.9e+05 | 5.2e+04 | 3.6 |
d_array_cons | 100 | 5 | 0 | 0 | 81 | 1.5e+03 | 4.1e+02 | 7e+04 | 7.4e+03 | 4.8 |
d_bool_cons | 100 | 5 | 0 | 0 | 12 | 3.3e+03 | 5.9e+02 | 2e+05 | 2e+04 | 6.2 |
d_bool_vars | 100 | 5 | 0 | 82 | 4.8e+02 | 5.5e+03 | 1.6e+03 | 2.5e+05 | 2.6e+04 | 4.8 |
d_float_cons | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
d_float_vars | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
d_int_cons | 100 | 5 | 21 | 1.8e+02 | 6.5e+02 | 3.7e+03 | 1.8e+03 | 6.9e+04 | 1e+04 | 2.7 |
d_int_vars | 100 | 5 | 33 | 1.7e+02 | 3.4e+02 | 1.4e+03 | 1.4e+03 | 3.1e+04 | 3.4e+03 | 2.5 |
d_ratio_array_cons | 100 | 5 | 0 | 0 | 0.067 | 0.14 | 0.2 | 0.73 | 0.18 | 1.3 |
d_ratio_bool_cons | 100 | 5 | 0 | 0 | 0.026 | 0.12 | 0.17 | 0.57 | 0.18 | 1.4 |
d_ratio_bool_vars | 100 | 5 | 0 | 0.21 | 0.37 | 0.45 | 0.76 | 0.95 | 0.32 | 0.71 |
d_ratio_float_cons | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
d_ratio_float_vars | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
d_ratio_int_cons | 100 | 5 | 0.14 | 0.34 | 0.68 | 0.59 | 0.76 | 0.99 | 0.25 | 0.42 |
d_ratio_int_vars | 100 | 5 | 0.05 | 0.24 | 0.63 | 0.55 | 0.79 | 1 | 0.32 | 0.58 |
d_ratio_set_cons | 100 | 5 | 0 | 0 | 0 | 0.0091 | 0 | 0.12 | 0.025 | 2.7 |
d_ratio_set_vars | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
d_set_cons | 100 | 5 | 0 | 0 | 0 | 54 | 0 | 8.4e+02 | 1.8e+02 | 3.3 |
d_set_vars | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
gc_diff_globs | 100 | 5 | 0 | 0 | 1 | 1.2 | 2 | 5 | 1.3 | 1 |
gc_global_cons | 100 | 5 | 0 | 0 | 2 | 27 | 15 | 3.6e+02 | 74 | 2.7 |
gc_ratio_diff | 100 | 36 | 0.0027 | 0.058 | 0.33 | 0.38 | 0.67 | 1 | 0.33 | 0.85 |
gc_ratio_globs | 100 | 5 | 0 | 0 | 0.0067 | 0.026 | 0.02 | 0.27 | 0.058 | 2.2 |
o_deg | 100 | 5 | 0 | 1 | 1 | 3.1 | 1 | 82 | 11 | 3.4 |
o_deg_avg | 100 | 5 | 0 | 0.15 | 0.31 | 0.82 | 0.39 | 22 | 2.8 | 3.4 |
o_deg_cons | 100 | 5 | 0 | 0.00026 | 0.00075 | 0.016 | 0.0043 | 0.33 | 0.054 | 3.4 |
o_deg_std | 100 | 5 | -1.6 | -0.9 | -0.51 | -0.097 | -0.25 | 14 | 2.4 | -25 |
o_dom | 100 | 5 | 0 | 78 | 9.9e+02 | 1.6e+07 | 1e+04 | 4.7e+08 | 8.3e+07 | 5.2 |
o_dom_avg | 100 | 5 | 0 | 2.6 | 11 | 4.1e+02 | 79 | 1.1e+04 | 1.4e+03 | 3.4 |
o_dom_deg | 100 | 5 | 0 | 51 | 7.6e+02 | 1.6e+07 | 1e+04 | 4.7e+08 | 8.3e+07 | 5.2 |
o_dom_std | 100 | 5 | 0 | 0.95 | 5.5 | 14 | 17 | 1.1e+02 | 22 | 1.5 |
s_bool_search | 100 | 5 | 0 | 0 | 0 | 0.53 | 0 | 5 | 1.5 | 2.9 |
s_first_fail | 100 | 5 | 0 | 0 | 0 | 1.2 | 1 | 5 | 2 | 1.7 |
s_goal | 100 | 5 | 1 | 2 | 2 | 1.9 | 2 | 3 | 0.51 | 0.26 |
s_indomain_max | 100 | 5 | 0 | 0 | 0 | 0.79 | 0 | 5 | 1.8 | 2.3 |
s_indomain_min | 100 | 5 | 0 | 1 | 5 | 3.6 | 5 | 5 | 2.1 | 0.59 |
s_input_order | 100 | 5 | 0 | 0 | 0 | 2.2 | 5 | 5 | 2.4 | 1.1 |
s_int_search | 100 | 5 | 0 | 1 | 5 | 3.8 | 5 | 5 | 2 | 0.51 |
s_labeled_vars | 100 | 5 | 1 | 5 | 5 | 4.4 | 5 | 5 | 1.5 | 0.34 |
s_other_val | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
s_other_var | 100 | 5 | 0 | 0 | 0 | 1.1 | 0 | 5 | 2 | 1.9 |
s_set_search | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
v_avg_deg_vars | 100 | 5 | 1.2 | 3 | 3.6 | 4.4 | 5.6 | 14 | 2.1 | 0.49 |
v_avg_dom_vars | 100 | 5 | 2 | 8.4 | 26 | 5.5e+03 | 5.9e+02 | 2.1e+05 | 2.7e+04 | 4.9 |
v_avg_domdeg_vars | 100 | 5 | 0.89 | 3.5 | 15 | 4.2e+03 | 72 | 1.5e+05 | 2.1e+04 | 4.9 |
v_cv_deg_vars | 100 | 5 | 0.39 | 0.77 | 1.3 | 1.3 | 1.7 | 3.4 | 0.64 | 0.5 |
v_cv_dom_vars | 100 | 5 | 0.083 | 1.6 | 3 | 8.3 | 6.5 | 1e+02 | 15 | 1.9 |
v_cv_domdeg_vars | 100 | 5 | 0.37 | 2 | 4.5 | 11 | 7.9 | 1.1e+02 | 17 | 1.6 |
v_def_vars | 100 | 5 | 1 | 2.1e+02 | 7.6e+02 | 5.4e+03 | 2.4e+03 | 2.1e+05 | 2.2e+04 | 4 |
v_ent_deg_vars | 100 | 5 | 0.24 | 1.3 | 1.7 | 1.6 | 1.9 | 4.6 | 0.71 | 0.43 |
v_ent_dom_vars | 100 | 5 | 0.03 | 0.56 | 1.1 | 1.4 | 2.1 | 4.4 | 1 | 0.75 |
v_ent_domdeg_vars | 100 | 5 | 0.41 | 0.71 | 1.6 | 1.8 | 2.4 | 5.8 | 1.2 | 0.66 |
v_intro_vars | 100 | 5 | 37 | 3.1e+02 | 1.3e+03 | 7.9e+03 | 3.5e+03 | 3.1e+05 | 3.2e+04 | 4.1 |
v_logprod_deg_vars | 100 | 5 | 36 | 3.5e+02 | 1.5e+03 | 9.9e+03 | 3.9e+03 | 4.1e+05 | 4.3e+04 | 4.3 |
v_logprod_dom_vars | 100 | 5 | 1.8e+02 | 1e+03 | 2.1e+03 | 9e+03 | 6.6e+03 | 2.9e+05 | 3e+04 | 3.4 |
v_max_deg_vars | 100 | 5 | 4 | 20 | 35 | 54 | 58 | 4e+02 | 61 | 1.1 |
v_max_dom_vars | 100 | 5 | 5 | 1.7e+02 | 1e+03 | 1.6e+07 | 1.4e+04 | 4.7e+08 | 8.3e+07 | 5.2 |
v_max_domdeg_vars | 100 | 5 | 5 | 1.2e+02 | 9e+02 | 1.6e+07 | 1.4e+04 | 4.7e+08 | 8.3e+07 | 5.2 |
v_min_deg_vars | 100 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
v_min_dom_vars | 100 | 5 | 1 | 2 | 2 | 2.3 | 2 | 10 | 1.7 | 0.73 |
v_min_domdeg_vars | 100 | 5 | 0.005 | 0.053 | 0.13 | 0.43 | 0.51 | 4 | 0.71 | 1.6 |
v_num_aliases | 100 | 5 | 24 | 1.9e+02 | 5.4e+02 | 1.4e+03 | 1.6e+03 | 3.2e+04 | 3.5e+03 | 2.4 |
v_num_consts | 100 | 5 | 59 | 1.4e+02 | 3.3e+02 | 5.6e+02 | 8e+02 | 6e+03 | 7.3e+02 | 1.3 |
v_num_vars | 100 | 5 | 33 | 2.9e+02 | 1e+03 | 6.8e+03 | 2.6e+03 | 2.8e+05 | 2.9e+04 | 4.3 |
v_ratio_bounded | 100 | 5 | 0.048 | 0.51 | 0.93 | 1.8 | 2.5 | 9.4 | 2 | 1.1 |
v_ratio_vars | 100 | 5 | 0.33 | 0.77 | 0.93 | 0.91 | 1 | 2.3 | 0.29 | 0.32 |
v_sum_deg_vars | 100 | 5 | 79 | 8.4e+02 | 4.6e+03 | 2.9e+04 | 1.2e+04 | 1.1e+06 | 1.1e+05 | 3.9 |
v_sum_dom_vars | 100 | 5 | 1.6e+03 | 1e+04 | 2.8e+04 | 2.7e+07 | 2.1e+05 | 9.5e+08 | 1.4e+08 | 5.4 |
v_sum_domdeg_vars | 100 | 5 | 7.6e+02 | 4.9e+03 | 1.3e+04 | 2.1e+07 | 4.4e+04 | 7.1e+08 | 1.1e+08 | 5.3 |
size | ok | timeout | memout | presolved | crash | other | unknown | cost_min | cost_mean | cost_max | cost_na | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
base | 1 | 95 | 0 | 0 | 0 | 5 | 0 | 0 | 0.048 | 0.59 | 19 | 0.05 |
block | numbers | instances |
---|---|---|
1 | 5 | 12_2_10 +++++++ 12_2_5 +++++++ 18_3_10 +++++++ 18_3_5 +++++++ 24_4_10 |
2 | 4 | kb128_n5_obj11 +++++++ kb128_n5_obj14 +++++++ kb128_n5_obj16 +++++++ kb128_n5_obj17 |
3 | 2 | sb_13_13_5_1 +++++++ sb_13_13_5_5 |
4 | 2 | sb_15_15_7_3 +++++++ sb_15_15_7_5 |