Overview of Feature Values

The following measures were taken for the results of each feature:

Instance Feature Values

obs nas min qu_1st med mean qu_3rd max sd coeff_var
nvarsOrig 1362 0 45 1.4e+02 5.2e+02 3.4e+03 1.2e+03 5e+04 7.8e+03 2.3
nclausesOrig 1362 0 1.5e+03 2.6e+03 6.3e+03 1.9e+04 1.9e+04 2.1e+05 3.2e+04 1.7
nvars 1362 0 45 1.4e+02 5.1e+02 3.2e+03 1.1e+03 4.9e+04 7.6e+03 2.3
nclauses 1362 0 1.5e+03 2.5e+03 6.2e+03 1.9e+04 1.9e+04 2.1e+05 3.2e+04 1.7
reducedVars 1362 0 0 0 0 0.024 0.025 0.39 0.059 2.5
reducedClauses 1362 0 0 0 0 0.0082 0.0065 0.19 0.026 3.2
vars_clauses_ratio 1362 0 0.011 0.012 0.05 0.13 0.23 0.32 0.11 0.8
POSNEG_RATIO_CLAUSE_mean 1362 0 0.31 0.32 0.38 0.42 0.5 0.51 0.079 0.19
POSNEG_RATIO_CLAUSE_coeff_variation 1362 0 0.58 0.59 0.65 0.63 0.68 0.77 0.046 0.072
POSNEG_RATIO_CLAUSE_min 1362 0 0 0 0.14 0.087 0.14 0.2 0.088 1
POSNEG_RATIO_CLAUSE_max 1362 0 1 1 1 1 1 1 0 0
POSNEG_RATIO_CLAUSE_entropy 1362 0 0.6 0.71 0.83 0.84 1 1.4 0.16 0.19
VCG_CLAUSE_mean 1362 0 0.0001 0.0033 0.0064 0.027 0.042 0.16 0.036 1.3
VCG_CLAUSE_coeff_variation 1362 0 0 0 0 0.04 0.064 0.29 0.056 1.4
VCG_CLAUSE_min 1362 0 0.0001 0.0026 0.0064 0.027 0.042 0.16 0.036 1.3
VCG_CLAUSE_max 1362 0 0.0001 0.0045 0.0093 0.028 0.042 0.16 0.035 1.3
VCG_CLAUSE_entropy 1362 0 0 0 0 0.12 0.16 1.2 0.22 1.8
UNARY 1362 0 0 0 0 0 0 0 0
BINARYp 1362 0 0 0 0 0.011 0 0.26 0.047 4.1
TRINARYp 1362 0 0 0 0 0.47 0.96 0.99 0.48 1
VCG_VAR_mean 1362 0 0.0001 0.0033 0.0064 0.027 0.042 0.16 0.036 1.3
VCG_VAR_coeff_variation 1362 0 0.03 0.045 0.11 0.18 0.29 0.44 0.12 0.66
VCG_VAR_min 1362 0 0 0.0007 0.0031 0.022 0.034 0.14 0.033 1.5
VCG_VAR_max 1362 0 0.0002 0.006 0.013 0.033 0.05 0.17 0.038 1.2
VCG_VAR_entropy 1362 0 2.6 2.7 3.3 3.2 3.7 4.5 0.58 0.18
POSNEG_RATIO_VAR_mean 1362 0 0.022 0.038 0.09 0.14 0.23 0.3 0.091 0.63
POSNEG_RATIO_VAR_stdev 1362 0 0.017 0.029 0.068 0.11 0.17 0.22 0.068 0.63
POSNEG_RATIO_VAR_min 1362 0 0 0 0 0.00011 0 0.0084 0.00055 5
POSNEG_RATIO_VAR_max 1362 0 0.074 0.15 0.41 0.59 1 1 0.39 0.67
POSNEG_RATIO_VAR_entropy 1362 0 1.7 2.2 3 2.9 3.3 3.4 0.52 0.18
HORNY_VAR_mean 1362 0 0 0.0009 0.0025 0.0033 0.0053 0.015 0.003 0.91
HORNY_VAR_coeff_variation 1362 0 0.12 0.18 0.25 0.3 0.4 0.51 0.11 0.38
HORNY_VAR_min 1362 0 0 0 0.0004 0.0014 0.0028 0.0094 0.0019 1.3
HORNY_VAR_max 1362 0 0.0001 0.0018 0.0055 0.0058 0.0087 0.026 0.0046 0.79
HORNY_VAR_entropy 1362 0 2.1 2.3 2.7 2.6 2.9 3.3 0.33 0.12
horn_clauses_fraction 1362 0 0.055 0.068 0.2 0.31 0.49 0.54 0.19 0.62
VG_mean 1362 0 0.0001 0.0079 0.011 0.014 0.015 0.046 0.013 0.93
VG_coeff_variation 1362 0 0 0.0005 0.091 0.16 0.29 0.48 0.14 0.9
VG_min 1362 0 0 0.0014 0.0072 0.011 0.012 0.045 0.013 1.2
VG_max 1362 0 0.0004 0.011 0.015 0.019 0.027 0.047 0.014 0.73
CG_mean 1362 509 0.0001 0.0009 0.0079 0.027 0.012 0.17 0.044 1.6
CG_coeff_variation 1362 509 0.052 0.23 0.24 0.22 0.25 0.45 0.092 0.43
CG_min 1362 509 0 0.0002 0.0027 0.02 0.0047 0.14 0.036 1.8
CG_max 1362 509 0.0003 0.0028 0.017 0.037 0.026 0.21 0.051 1.4
CG_entropy 1362 509 2.9 3 3 3.2 3.1 4.2 0.47 0.15
cluster_coeff_mean 1362 509 0.07 0.1 0.11 0.11 0.11 0.16 0.016 0.14
cluster_coeff_coeff_variation 1362 509 0.043 0.23 0.24 0.22 0.25 0.43 0.093 0.43
cluster_coeff_min 1362 509 0 0.04 0.049 0.054 0.056 0.14 0.021 0.39
cluster_coeff_max 1362 509 0.089 0.24 0.29 0.3 0.33 0.67 0.14 0.46
cluster_coeff_entropy 1362 509 0.86 2.2 2.3 2.1 2.3 2.9 0.56 0.27
DIAMETER_mean 1362 0 2 2 3 3.5 4.1 6 1.2 0.35
DIAMETER_coeff_variation 1362 0 0 0 0 0.029 0.047 0.2 0.047 1.6
DIAMETER_min 1362 0 2 2 3 3.3 4 6 1.2 0.35
DIAMETER_max 1362 0 2 3 3 3.8 5 7 1.5 0.39
DIAMETER_entropy 1362 0 0 0 0 0.13 0.17 0.71 0.21 1.7
cl_num_mean 1362 0 0 60 3.8e+03 2.5e+03 4.2e+03 4.6e+03 1.9e+03 0.76
cl_num_coeff_variation 1362 0 0 0.018 0.029 0.16 0.29 1.2 0.2 1.2
cl_num_min 1362 0 0 37 3.7e+03 2.4e+03 4.1e+03 4.6e+03 1.9e+03 0.79
cl_num_max 1362 0 0 1.4e+02 4e+03 2.7e+03 4.4e+03 4.7e+03 1.9e+03 0.7
cl_num_q90 1362 0 0 77 4e+03 2.7e+03 4.4e+03 4.7e+03 2e+03 0.74
cl_num_q10 1362 0 0 45 3.7e+03 2.4e+03 4.1e+03 4.6e+03 1.9e+03 0.78
cl_num_q75 1362 0 0 65 3.9e+03 2.6e+03 4.3e+03 4.6e+03 2e+03 0.75
cl_num_q25 1362 0 0 50 3.8e+03 2.5e+03 4.1e+03 4.6e+03 1.9e+03 0.78
cl_num_q50 1362 0 0 57 3.8e+03 2.5e+03 4.2e+03 4.6e+03 1.9e+03 0.77
cl_size_mean 1362 0 0 27 32 40 52 1.1e+02 17 0.43
cl_size_coeff_variation 1362 0 0 0.027 0.065 0.085 0.099 0.49 0.084 1
cl_size_min 1362 0 0 25 29 32 38 57 9.6 0.3
cl_size_max 1362 0 0 29 39 54 61 3.8e+02 44 0.81
cl_size_q90 1362 0 0 29 38 46 57 1.9e+02 25 0.55
cl_size_q10 1362 0 0 26 30 35 46 63 12 0.33
cl_size_q75 1362 0 0 28 35 43 55 1.3e+02 20 0.47
cl_size_q25 1362 0 0 26 31 37 48 77 13 0.36
cl_size_q50 1362 0 0 27 32 39 52 1.1e+02 16 0.41
SP_bias_mean 1362 0 0.045 0.076 0.19 0.25 0.39 0.44 0.15 0.57
SP_bias_coeff_variation 1362 0 0.51 0.58 0.61 0.64 0.7 0.9 0.073 0.11
SP_bias_min 1362 0 0 0.0001 0.0004 0.0011 0.0014 0.018 0.0017 1.6
SP_bias_max 1362 0 0.15 0.28 0.66 0.68 1 1 0.33 0.49
SP_bias_q90 1362 0 0.093 0.16 0.37 0.47 0.71 0.79 0.25 0.54
SP_bias_q10 1362 0 0.0037 0.018 0.048 0.054 0.087 0.13 0.035 0.64
SP_bias_q75 1362 0 0.062 0.11 0.27 0.37 0.57 0.64 0.21 0.57
SP_bias_q25 1362 0 0.014 0.038 0.096 0.13 0.21 0.25 0.081 0.63
SP_bias_q50 1362 0 0.034 0.073 0.17 0.25 0.39 0.43 0.15 0.6
SP_unconstraint_mean 1362 0 0.0001 0.0001 0.0028 0.049 0.092 0.19 0.051 1
SP_unconstraint_coeff_variation 1362 0 0.28 0.45 0.65 0.59 0.66 0.97 0.13 0.22
SP_unconstraint_min 1362 0 0 0 0.0004 0.0018 0.0032 0.011 0.0023 1.2
SP_unconstraint_max 1362 0 0.0001 0.0003 0.023 0.29 0.56 1 0.33 1.1
SP_unconstraint_q90 1362 0 0.0001 0.0002 0.0053 0.092 0.17 0.31 0.095 1
SP_unconstraint_q10 1362 0 0 0.0001 0.0011 0.015 0.028 0.063 0.016 1.1
SP_unconstraint_q75 1362 0 0.0001 0.0001 0.0036 0.066 0.12 0.25 0.069 1
SP_unconstraint_q25 1362 0 0 0.0001 0.0016 0.025 0.047 0.11 0.027 1.1
SP_unconstraint_q50 1362 0 0.0001 0.0001 0.0024 0.043 0.079 0.17 0.045 1.1
saps_BestSolution_Mean 1362 0 6.1 11 20 1.7e+02 54 8.9e+03 6e+02 3.6
saps_BestSolution_CoeffVariance 1362 0 0 0.23 0.27 0.36 0.33 2.2 0.32 0.88
saps_FirstLocalMinStep_Mean 1362 0 8.1 25 1.1e+02 6.5e+02 2.4e+02 1.1e+04 1.5e+03 2.4
saps_FirstLocalMinStep_CoeffVariance 1362 0 0 0.067 0.084 0.13 0.16 1.4 0.14 1
saps_FirstLocalMinStep_Median 1362 0 8 25 1.1e+02 6.8e+02 2.4e+02 1.1e+04 1.6e+03 2.3
saps_FirstLocalMinStep_Q10 1362 0 0 19 91 5.1e+02 1.8e+02 1.1e+04 1.4e+03 2.8
saps_FirstLocalMinStep_Q90 1362 0 0 30 1.2e+02 6.7e+02 2.4e+02 1.1e+04 1.6e+03 2.4
saps_BestAvgImprovement_Mean 1362 0 0.36 0.89 1 1.2 1.6 2.4 0.48 0.4
saps_BestAvgImprovement_CoeffVariance 1362 0 0 0.21 0.25 0.3 0.3 1.4 0.2 0.65
saps_FirstLocalMinRatio_Mean 1362 0 0.56 0.85 0.86 0.88 0.87 3.1 0.12 0.14
saps_FirstLocalMinRatio_CoeffVariance 1362 0 0 0.037 0.062 0.095 0.094 1.9 0.16 1.7
gsat_BestSolution_Mean 1362 0 5.2 10 17 1e+02 44 7.4e+03 4.1e+02 4
gsat_BestSolution_CoeffVariance 1362 0 0.015 0.21 0.26 0.3 0.3 2.7 0.26 0.86
gsat_FirstLocalMinStep_Mean 1362 0 8.1 25 1.1e+02 6.8e+02 2.4e+02 1.1e+04 1.6e+03 2.3
gsat_FirstLocalMinStep_CoeffVariance 1362 0 0.0012 0.06 0.079 0.11 0.16 0.87 0.082 0.76
gsat_FirstLocalMinStep_Median 1362 0 8 25 1.1e+02 7e+02 2.4e+02 1.1e+04 1.7e+03 2.4
gsat_FirstLocalMinStep_Q10 1362 0 0 19 99 6e+02 2e+02 1.1e+04 1.4e+03 2.4
gsat_FirstLocalMinStep_Q90 1362 0 10 30 1.2e+02 7.1e+02 2.5e+02 1.1e+04 1.7e+03 2.3
gsat_BestAvgImprovement_Mean 1362 0 0.06 0.28 0.37 0.72 1.2 2 0.61 0.84
gsat_BestAvgImprovement_CoeffVariance 1362 0 0.013 0.38 0.42 0.51 0.43 3.5 0.41 0.8
gsat_FirstLocalMinRatio_Mean 1362 0 0.63 0.84 0.85 0.91 0.87 77 2.1 2.3
gsat_FirstLocalMinRatio_CoeffVariance 1362 0 0.0021 0.029 0.041 0.066 0.076 4.6 0.16 2.5
lobjois_mean_depth_over_vars 1362 0 0.16 0.3 0.46 0.44 0.61 0.71 0.17 0.38
lobjois_log_num_nodes_over_vars 1362 0 0.24 0.51 0.59 0.58 0.72 0.79 0.16 0.27

Summary of feature steps

The following table summarizes the feature steps over all instances.
size ok timeout memout presolved crash other unknown cost_min cost_mean cost_max cost_na
Basic 2 1e+02 0 0 0 0 0 0 0 0.0033 0.07 0
CG 2 63 0 0 0 37 0 0 0.02 8.8 20 0
DIAMETER 2 1e+02 0 0 0 0 0 0 0 0.6 2.1 0
KLB 2 1e+02 0 0 0 0 0 0 0 0.18 6.1 0
Pre 1 1e+02 0 0 0 0 0 0 0 0.059 1.3 0
cl 2 1e+02 0 0 0 0 0 0 0.01 2 2 0
lobjois 2 1e+02 0 0 0 0 0 0 2 2 2.3 0
ls_gsat 2 1e+02 0 0 0 0 0 0 2 2.3 3 0
ls_saps 2 1e+02 0 0 0 0 0 0 1.4 2.1 2.5 0
sp 2 1e+02 0 0 0 0 0 0 0.01 0.33 3 0

Duplicated Features

Underneath, you'll find blocks of duplicated instnace features, i.e., observations that have equal values over all features. Please note, that only a maximum of 5 duplicates per block are shown.

There were no duplicated features.