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 600 0 50 1.2e+02 4e+02 4.2e+03 7.6e+02 5e+04 1e+04 2.5
nclausesOrig 600 0 1.1e+03 2.3e+03 4.1e+03 2.2e+04 2e+04 2.1e+05 4.3e+04 1.9
nvars 600 0 50 1.2e+02 4e+02 4.1e+03 7.6e+02 4.9e+04 1e+04 2.5
nclauses 600 0 1e+03 2.3e+03 4.1e+03 2.2e+04 2e+04 2.1e+05 4.3e+04 1.9
reducedVars 600 0 0 0 0.0043 0.012 0.025 0.055 0.013 1.1
reducedClauses 600 0 0 0 0.0008 0.0031 0.0062 0.015 0.0034 1.1
vars_clauses_ratio 600 0 0.011 0.038 0.14 0.13 0.23 0.23 0.1 0.78
POSNEG_RATIO_CLAUSE_mean 600 0 0.31 0.35 0.43 0.42 0.5 0.51 0.079 0.19
POSNEG_RATIO_CLAUSE_coeff_variation 600 0 0.58 0.59 0.62 0.63 0.67 0.7 0.041 0.065
POSNEG_RATIO_CLAUSE_min 600 0 0 0 0.071 0.086 0.16 0.2 0.088 1
POSNEG_RATIO_CLAUSE_max 600 0 1 1 1 1 1 1 0 0
POSNEG_RATIO_CLAUSE_entropy 600 0 0.61 0.71 0.8 0.81 0.89 1 0.13 0.15
VCG_CLAUSE_mean 600 0 0.0001 0.0043 0.0078 0.031 0.048 0.14 0.039 1.3
VCG_CLAUSE_coeff_variation 600 0 0 0 0.017 0.031 0.063 0.092 0.031 1
VCG_CLAUSE_min 600 0 0.0001 0.0043 0.0077 0.031 0.048 0.14 0.039 1.3
VCG_CLAUSE_max 600 0 0.0001 0.0058 0.011 0.032 0.048 0.14 0.039 1.2
VCG_CLAUSE_entropy 600 0 0 0 0.028 0.074 0.15 0.28 0.078 1.1
UNARY 600 0 0 0 0 0 0 0 0
BINARYp 600 0 0 0 0 0 0 0 0
TRINARYp 600 0 0 0 0.46 0.48 0.97 0.99 0.48 1
VCG_VAR_mean 600 0 0.0001 0.0043 0.0078 0.031 0.048 0.14 0.039 1.3
VCG_VAR_coeff_variation 600 0 0.03 0.068 0.19 0.18 0.29 0.33 0.11 0.63
VCG_VAR_min 600 0 0 0.0016 0.0034 0.026 0.038 0.13 0.036 1.4
VCG_VAR_max 600 0 0.0002 0.0086 0.016 0.038 0.054 0.16 0.042 1.1
VCG_VAR_entropy 600 0 2.6 2.7 2.9 3.2 3.7 4.5 0.56 0.18
POSNEG_RATIO_VAR_mean 600 0 0.022 0.054 0.15 0.14 0.23 0.25 0.087 0.62
POSNEG_RATIO_VAR_stdev 600 0 0.017 0.037 0.11 0.11 0.17 0.19 0.065 0.62
POSNEG_RATIO_VAR_min 600 0 0 0 0 0.00015 0 0.0099 0.00079 5.3
POSNEG_RATIO_VAR_max 600 0 0.074 0.18 0.55 0.58 1 1 0.39 0.67
POSNEG_RATIO_VAR_entropy 600 0 1.7 2.4 3.1 2.9 3.3 3.4 0.52 0.18
HORNY_VAR_mean 600 0 0 0.0012 0.003 0.004 0.006 0.02 0.0037 0.92
HORNY_VAR_coeff_variation 600 0 0.12 0.18 0.31 0.29 0.4 0.47 0.11 0.37
HORNY_VAR_min 600 0 0 0 0.0005 0.0017 0.0032 0.013 0.0023 1.3
HORNY_VAR_max 600 0 0.0001 0.002 0.0069 0.0071 0.01 0.031 0.0056 0.79
HORNY_VAR_entropy 600 0 2.2 2.3 2.4 2.6 2.9 3.3 0.31 0.12
horn_clauses_fraction 600 0 0.056 0.14 0.34 0.31 0.49 0.52 0.19 0.61
VG_mean 600 0 0.0001 0.0092 0.011 0.016 0.017 0.046 0.014 0.88
VG_coeff_variation 600 0 0 0.0005 0.17 0.15 0.29 0.33 0.14 0.89
VG_min 600 0 0 0.003 0.008 0.012 0.012 0.046 0.014 1.2
VG_max 600 0 0.0004 0.011 0.019 0.021 0.032 0.057 0.015 0.71
CG_mean 600 190 0.0001 0.0058 0.0093 0.035 0.019 0.23 0.054 1.6
CG_coeff_variation 600 190 0.05 0.064 0.24 0.19 0.24 0.28 0.081 0.42
CG_min 600 190 0 0.0017 0.0033 0.026 0.013 0.2 0.045 1.7
CG_max 600 190 0.0003 0.012 0.019 0.046 0.04 0.28 0.063 1.4
CG_entropy 600 190 2.9 2.9 3 3.3 4 4.2 0.51 0.16
cluster_coeff_mean 600 190 0.023 0.1 0.11 0.11 0.11 0.22 0.026 0.24
cluster_coeff_coeff_variation 600 190 0.034 0.12 0.24 0.19 0.24 0.27 0.081 0.42
cluster_coeff_min 600 190 0.016 0.042 0.051 0.059 0.058 0.2 0.032 0.54
cluster_coeff_max 600 190 0.035 0.22 0.26 0.26 0.33 0.67 0.096 0.38
cluster_coeff_entropy 600 190 0.46 1.2 2.3 1.9 2.3 2.4 0.59 0.3
DIAMETER_mean 600 0 2 2 3.5 3.4 4 6 1.2 0.35
DIAMETER_coeff_variation 600 0 0 0 0 0.028 0.041 0.2 0.048 1.7
DIAMETER_min 600 0 2 2 3 3.3 4 6 1.1 0.35
DIAMETER_max 600 0 2 3 3.5 3.7 5 6 1.4 0.37
DIAMETER_entropy 600 0 0 0 0 0.11 0.12 0.69 0.2 1.8
cl_num_mean 600 0 2.6 1.1e+02 3.9e+03 2.8e+03 4.3e+03 4.6e+03 1.9e+03 0.66
cl_num_coeff_variation 600 0 0 0.017 0.024 0.14 0.26 0.75 0.19 1.4
cl_num_min 600 0 0 67 3.8e+03 2.7e+03 4.2e+03 4.6e+03 1.9e+03 0.68
cl_num_max 600 0 7 2.4e+02 4e+03 3e+03 4.4e+03 4.7e+03 1.9e+03 0.63
cl_num_q90 600 0 5 1.3e+02 4e+03 3e+03 4.4e+03 4.7e+03 1.9e+03 0.65
cl_num_q10 600 0 1 78 3.8e+03 2.7e+03 4.2e+03 4.6e+03 1.9e+03 0.68
cl_num_q75 600 0 4 1.1e+02 4e+03 2.9e+03 4.4e+03 4.6e+03 1.9e+03 0.65
cl_num_q25 600 0 1 86 3.8e+03 2.8e+03 4.2e+03 4.6e+03 1.9e+03 0.67
cl_num_q50 600 0 2 96 3.9e+03 2.8e+03 4.3e+03 4.6e+03 1.9e+03 0.67
cl_size_mean 600 0 14 25 32 40 52 1.1e+02 21 0.54
cl_size_coeff_variation 600 0 0 0.024 0.055 0.088 0.094 0.5 0.1 1.2
cl_size_min 600 0 0 23 29 30 34 58 10 0.34
cl_size_max 600 0 14 26 35 57 59 3.8e+02 58 1
cl_size_q90 600 0 14 26 35 47 56 1.9e+02 33 0.71
cl_size_q10 600 0 13 23 30 34 46 63 13 0.39
cl_size_q75 600 0 14 26 33 43 54 1.3e+02 26 0.6
cl_size_q25 600 0 13 24 31 36 48 79 16 0.44
cl_size_q50 600 0 14 25 31 39 52 1.1e+02 20 0.52
SP_bias_mean 600 0 0.045 0.11 0.28 0.25 0.39 0.43 0.14 0.57
SP_bias_coeff_variation 600 0 0.52 0.58 0.61 0.64 0.7 0.88 0.076 0.12
SP_bias_min 600 0 0 0.0001 0.0005 0.0014 0.0018 0.037 0.0026 1.8
SP_bias_max 600 0 0.15 0.35 0.8 0.68 1 1 0.33 0.49
SP_bias_q90 600 0 0.093 0.22 0.53 0.47 0.71 0.77 0.25 0.53
SP_bias_q10 600 0 0.0037 0.018 0.06 0.054 0.086 0.12 0.035 0.64
SP_bias_q75 600 0 0.062 0.17 0.41 0.37 0.57 0.6 0.21 0.56
SP_bias_q25 600 0 0.016 0.04 0.14 0.13 0.2 0.25 0.079 0.63
SP_bias_q50 600 0 0.041 0.092 0.27 0.24 0.39 0.43 0.15 0.6
SP_unconstraint_mean 600 0 0.0001 0.0012 0.041 0.045 0.09 0.1 0.044 0.98
SP_unconstraint_coeff_variation 600 0 0.28 0.52 0.65 0.59 0.67 0.97 0.13 0.22
SP_unconstraint_min 600 0 0 7.5e-05 0.0005 0.0019 0.0034 0.012 0.0023 1.2
SP_unconstraint_max 600 0 0.0001 0.003 0.14 0.26 0.44 0.96 0.3 1.1
SP_unconstraint_q90 600 0 0.0001 0.0021 0.073 0.086 0.17 0.2 0.084 0.98
SP_unconstraint_q10 600 0 0 0.0004 0.011 0.014 0.027 0.032 0.013 0.98
SP_unconstraint_q75 600 0 0.0001 0.0015 0.054 0.061 0.12 0.14 0.06 0.98
SP_unconstraint_q25 600 0 0 0.00063 0.02 0.023 0.046 0.052 0.022 0.98
SP_unconstraint_q50 600 0 0.0001 0.001 0.032 0.039 0.077 0.087 0.038 0.98
saps_BestSolution_Mean 600 0 5.4 11 18 2.6e+02 36 1e+04 9.2e+02 3.5
saps_BestSolution_CoeffVariance 600 0 0 0.24 0.27 0.33 0.31 2.1 0.28 0.85
saps_FirstLocalMinStep_Mean 600 0 8.8 23 87 8e+02 1.7e+02 1.1e+04 2e+03 2.5
saps_FirstLocalMinStep_CoeffVariance 600 0 0 0.068 0.099 0.15 0.19 1.4 0.2 1.3
saps_FirstLocalMinStep_Median 600 0 9 23 86 8.2e+02 1.7e+02 1.1e+04 2.1e+03 2.5
saps_FirstLocalMinStep_Q10 600 0 0 12 67 6.4e+02 1.4e+02 1.1e+04 1.9e+03 3.1
saps_FirstLocalMinStep_Q90 600 0 0 24 86 7.6e+02 1.6e+02 1.1e+04 2e+03 2.7
saps_BestAvgImprovement_Mean 600 0 0.45 0.91 1 1.3 1.6 3.1 0.48 0.37
saps_BestAvgImprovement_CoeffVariance 600 0 0 0.21 0.24 0.29 0.3 1.4 0.19 0.66
saps_FirstLocalMinRatio_Mean 600 0 0.74 0.86 0.86 0.91 0.88 13 0.55 0.6
saps_FirstLocalMinRatio_CoeffVariance 600 0 0 0.036 0.06 0.098 0.092 2.7 0.19 2
gsat_BestSolution_Mean 600 0 4.6 9.7 14 1.4e+02 34 4e+03 4.3e+02 3.1
gsat_BestSolution_CoeffVariance 600 0 0.018 0.22 0.26 0.29 0.3 1.8 0.19 0.67
gsat_FirstLocalMinStep_Mean 600 0 8.8 24 87 8.7e+02 1.7e+02 1.1e+04 2.2e+03 2.5
gsat_FirstLocalMinStep_CoeffVariance 600 0 0.0012 0.063 0.086 0.12 0.17 0.67 0.088 0.77
gsat_FirstLocalMinStep_Median 600 0 9 24 87 8.9e+02 1.7e+02 1.1e+04 2.2e+03 2.5
gsat_FirstLocalMinStep_Q10 600 0 0 16 76 7.8e+02 1.5e+02 1.1e+04 2.1e+03 2.7
gsat_FirstLocalMinStep_Q90 600 0 11 28 96 9e+02 1.8e+02 1.1e+04 2.2e+03 2.5
gsat_BestAvgImprovement_Mean 600 0 0.062 0.3 0.42 0.78 1.3 2 0.61 0.78
gsat_BestAvgImprovement_CoeffVariance 600 0 0.023 0.38 0.42 0.48 0.43 2.9 0.32 0.67
gsat_FirstLocalMinRatio_Mean 600 0 0.82 0.84 0.85 0.86 0.87 5.8 0.21 0.24
gsat_FirstLocalMinRatio_CoeffVariance 600 0 0.003 0.031 0.048 0.065 0.086 1.9 0.1 1.6
lobjois_mean_depth_over_vars 600 0 0.19 0.31 0.41 0.44 0.61 0.71 0.17 0.37
lobjois_log_num_nodes_over_vars 600 0 0.23 0.52 0.6 0.59 0.72 0.78 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.0046 0.08 0
CG 2 68 0 0 0 32 0 0 0.01 22 60 0
DIAMETER 2 1e+02 0 0 0 0 0 0 0 0.54 2.1 0
KLB 2 1e+02 0 0 0 0 0 0 0 0.34 6.8 0
Pre 1 1e+02 0 0 0 0 0 0 0 0.079 0.98 0
cl 2 1e+02 0 0 0 0 0 0 0.26 2 2 0
lobjois 2 1e+02 0 0 0 0 0 0 2 2 2.2 0
ls_gsat 2 1e+02 0 0 0 0 0 0 1.6 2.3 2.6 0
ls_saps 2 1e+02 0 0 0 0 0 0 1 2.1 2.3 0
sp 2 1e+02 0 0 0 0 0 0 0 0.43 2.9 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.