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 1167 43 1.7e+02 2.3e+04 7.9e+04 1.6e+05 2e+05 2.3e+06 2.6e+05 1.6
nclausesOrig 1167 43 1e+03 1.2e+05 3.9e+05 1.2e+06 1e+06 1.9e+07 2.4e+06 2
nvars 1167 43 46 6.7e+03 2.5e+04 6.2e+04 6.9e+04 1.1e+06 1.2e+05 1.9
nclauses 1167 43 1.9e+02 7e+04 1.9e+05 8.7e+05 5.5e+05 1.9e+07 2.2e+06 2.5
reducedVars 1167 43 0 0.54 1.4 5.7 3.2 1.7e+03 56 9.9
reducedClauses 1167 43 0 0.13 0.68 2 1.3 4.5e+02 19 9.7
vars_clauses_ratio 1167 43 0.0054 0.08 0.15 0.13 0.18 0.29 0.069 0.51
POSNEG_RATIO_CLAUSE_mean 1167 43 0.04 0.36 0.41 0.45 0.49 1 0.16 0.35
POSNEG_RATIO_CLAUSE_coeff_variation 1167 43 0 0.59 0.74 0.8 0.97 3.1 0.33 0.41
POSNEG_RATIO_CLAUSE_min 1167 43 0 0 0 0.0036 0 1 0.06 17
POSNEG_RATIO_CLAUSE_max 1167 43 1 1 1 1 1 1 0 0
POSNEG_RATIO_CLAUSE_entropy 1167 43 0 1.1 1.4 1.3 1.6 2.3 0.4 0.3
VCG_CLAUSE_mean 1167 43 0 0 0.0001 0.001 0.0006 0.064 0.0037 3.6
VCG_CLAUSE_coeff_variation 1167 43 0.078 0.38 0.49 0.95 1.1 14 1.1 1.2
VCG_CLAUSE_min 1167 43 0 0 0.0001 0.00058 0.0003 0.043 0.0023 4
VCG_CLAUSE_max 1167 43 0 0.0005 0.0021 0.0096 0.0079 0.4 0.025 2.6
VCG_CLAUSE_entropy 1167 43 0.066 0.9 1.1 1.1 1.4 2.4 0.44 0.39
UNARY 1167 43 0 0 0 0 0 0 0
BINARYp 1167 43 0.0026 0.14 0.34 0.4 0.61 0.99 0.28 0.71
TRINARYp 1167 43 0.0098 0.58 0.78 0.74 0.9 1 0.2 0.27
VCG_VAR_mean 1167 43 0 0 0.0001 0.001 0.0006 0.064 0.0037 3.6
VCG_VAR_coeff_variation 1167 43 0 0.61 1.2 2 2.1 22 2.8 1.4
VCG_VAR_min 1167 43 0 0 0 0.00039 0.0001 0.015 0.0015 3.9
VCG_VAR_max 1167 43 0 0.0007 0.0042 0.0093 0.011 0.18 0.017 1.8
VCG_VAR_entropy 1167 43 0 2.4 2.9 2.9 3.4 5.7 1.1 0.36
POSNEG_RATIO_VAR_mean 1167 43 0 0.14 0.2 0.23 0.3 0.63 0.14 0.62
POSNEG_RATIO_VAR_stdev 1167 43 0 0.11 0.16 0.16 0.21 0.35 0.082 0.51
POSNEG_RATIO_VAR_min 1167 43 0 0 0 0.02 0 0.52 0.095 4.8
POSNEG_RATIO_VAR_max 1167 43 0 0.73 0.89 0.82 0.98 1 0.2 0.25
POSNEG_RATIO_VAR_entropy 1167 43 0 2 2.8 2.5 3.1 4.3 1 0.4
HORNY_VAR_mean 1167 43 0 0 0.0001 0.00053 0.0003 0.038 0.002 3.8
HORNY_VAR_coeff_variation 1167 43 0 0.71 1.2 2.1 2.3 28 2.8 1.4
HORNY_VAR_min 1167 43 0 0 0 0.00019 0 0.011 0.00086 4.5
HORNY_VAR_max 1167 43 0 0.0004 0.002 0.0049 0.0061 0.12 0.0098 2
HORNY_VAR_entropy 1167 43 0 2 2.5 2.6 2.8 5.3 0.95 0.37
horn_clauses_fraction 1167 43 0.01 0.5 0.61 0.65 0.87 1 0.21 0.33
VG_mean 1167 43 0 0.0001 0.0001 0.0011 0.0005 0.075 0.0058 5.2
VG_coeff_variation 1167 43 0 0.6 1 1.4 1.7 12 1.2 0.9
VG_min 1167 43 0 0 0 0.00056 0.0001 0.075 0.0048 8.6
VG_max 1167 43 0 0.0007 0.0033 0.0067 0.008 0.11 0.011 1.7
CG_mean 1167 798 0 0.0001 0.0003 0.0032 0.0026 0.08 0.0087 2.7
CG_coeff_variation 1167 798 0 0.46 0.63 0.72 0.91 2.1 0.33 0.46
CG_min 1167 798 0 0 0.0001 0.00087 0.0003 0.032 0.0033 3.8
CG_max 1167 798 0 0.0005 0.0035 0.022 0.023 0.66 0.063 2.8
CG_entropy 1167 798 0 3.4 3.7 3.6 3.8 5.5 0.79 0.22
cluster_coeff_mean 1167 798 0 0.15 0.17 0.2 0.26 0.41 0.065 0.32
cluster_coeff_coeff_variation 1167 798 0 0.31 0.46 0.46 0.61 1.3 0.18 0.4
cluster_coeff_min 1167 798 0 0.014 0.025 0.038 0.045 0.25 0.039 1
cluster_coeff_max 1167 798 0 0.53 0.59 0.57 0.61 0.96 0.11 0.19
cluster_coeff_entropy 1167 798 0 3.1 3.2 3.1 3.3 4 0.49 0.16
DIAMETER_mean 1167 43 0 5.9 8.5 16 15 4e+02 29 1.8
DIAMETER_coeff_variation 1167 43 0 0.018 0.06 0.06 0.089 0.74 0.054 0.9
DIAMETER_min 1167 43 0 5 7 15 14 4e+02 27 1.8
DIAMETER_max 1167 43 0 6.8 10 18 16 5e+02 31 1.7
DIAMETER_entropy 1167 43 0 0.41 0.69 0.75 0.98 4 0.63 0.83
cl_num_mean 1167 43 0 0 2.7e+02 6.2e+02 7.9e+02 4.9e+03 8.9e+02 1.4
cl_num_coeff_variation 1167 43 0 0 0.21 0.28 0.38 3 0.37 1.3
cl_num_min 1167 43 0 0 1.1e+02 4.2e+02 5.2e+02 4.9e+03 7.7e+02 1.8
cl_num_max 1167 43 0 0 5.1e+02 8.8e+02 1.3e+03 4.9e+03 1.1e+03 1.2
cl_num_q90 1167 43 0 0 4e+02 8.2e+02 1.2e+03 4.9e+03 1.1e+03 1.3
cl_num_q10 1167 43 0 0 1.7e+02 4.5e+02 5.5e+02 4.9e+03 7.7e+02 1.7
cl_num_q75 1167 43 0 0 3.4e+02 7.4e+02 9.6e+02 4.9e+03 1e+03 1.4
cl_num_q25 1167 43 0 0 2.1e+02 5.2e+02 6.4e+02 4.9e+03 8.3e+02 1.6
cl_num_q50 1167 43 0 0 2.6e+02 6.2e+02 7.9e+02 4.9e+03 9.2e+02 1.5
cl_size_mean 1167 43 0 0 12 25 28 1.1e+03 60 2.4
cl_size_coeff_variation 1167 43 0 0 0.15 0.22 0.28 2.3 0.3 1.4
cl_size_min 1167 43 0 0 8.2 19 18 1.1e+03 55 3
cl_size_max 1167 43 0 0 20 37 41 1.3e+03 80 2.2
cl_size_q90 1167 43 0 0 17 34 38 1.3e+03 78 2.3
cl_size_q10 1167 43 0 0 8.9 19 19 1.1e+03 55 2.9
cl_size_q75 1167 43 0 0 15 30 34 1.1e+03 67 2.3
cl_size_q25 1167 43 0 0 9.9 21 22 1.1e+03 57 2.7
cl_size_q50 1167 43 0 0 12 25 27 1.1e+03 60 2.4
SP_bias_mean 1167 43 0.023 0.36 0.56 0.53 0.69 0.99 0.23 0.44
SP_bias_coeff_variation 1167 43 0 0.35 0.52 0.59 0.7 2.2 0.4 0.67
SP_bias_min 1167 43 0 0 0 0.03 0 0.85 0.14 4.6
SP_bias_max 1167 43 0.19 0.96 1 0.95 1 1 0.11 0.12
SP_bias_q90 1167 43 0.091 0.69 0.86 0.79 0.94 1 0.21 0.27
SP_bias_q10 1167 43 0 0.038 0.092 0.19 0.24 0.98 0.23 1.2
SP_bias_q75 1167 43 0.036 0.56 0.78 0.69 0.89 1 0.27 0.39
SP_bias_q25 1167 43 0 0.15 0.31 0.37 0.57 1 0.29 0.76
SP_bias_q50 1167 43 0 0.33 0.63 0.57 0.78 1 0.3 0.53
SP_unconstraint_mean 1167 43 0 0.027 0.048 0.058 0.075 0.45 0.053 0.92
SP_unconstraint_coeff_variation 1167 43 0 0.74 0.91 1.1 1.2 19 0.88 0.79
SP_unconstraint_min 1167 43 0 0 0 0.0022 0 0.22 0.02 9.3
SP_unconstraint_max 1167 43 0 0.2 0.31 0.36 0.49 1 0.23 0.63
SP_unconstraint_q90 1167 43 0 0.048 0.1 0.14 0.17 0.5 0.12 0.87
SP_unconstraint_q10 1167 43 0 0 0.0005 0.008 0.0055 0.31 0.029 3.6
SP_unconstraint_q75 1167 43 0 0.031 0.057 0.084 0.12 0.5 0.084 0.99
SP_unconstraint_q25 1167 43 0 0.0015 0.013 0.019 0.023 0.49 0.042 2.2
SP_unconstraint_q50 1167 43 0 0.012 0.029 0.041 0.054 0.5 0.054 1.3
saps_BestSolution_Mean 1167 43 0 2.5e+02 1.6e+03 9.6e+04 2.3e+04 3.7e+06 3.4e+05 3.6
saps_BestSolution_CoeffVariance 1167 43 0 0 0.24 0.82 1.1 13 1.6 2
saps_FirstLocalMinStep_Mean 1167 43 0 0 7.8e+02 2.3e+03 3.8e+03 1.8e+04 3.2e+03 1.4
saps_FirstLocalMinStep_CoeffVariance 1167 43 0 0 0.014 0.19 0.19 1.4 0.36 1.8
saps_FirstLocalMinStep_Median 1167 43 0 0 7.9e+02 2.5e+03 4.1e+03 1.8e+04 3.3e+03 1.3
saps_FirstLocalMinStep_Q10 1167 43 0 0 0 1.5e+03 1.5e+03 1.8e+04 3.1e+03 2
saps_FirstLocalMinStep_Q90 1167 43 0 0 5.1e+02 2.3e+03 3.9e+03 1.8e+04 3.3e+03 1.5
saps_BestAvgImprovement_Mean 1167 43 0.27 0.98 2.9 2.3e+02 7.7 2.8e+04 1.5e+03 6.4
saps_BestAvgImprovement_CoeffVariance 1167 43 0 0 0.21 0.34 0.58 2.3 0.41 1.2
saps_FirstLocalMinRatio_Mean 1167 43 0.44 0.89 1 1.9 1.5 72 4.2 2.1
saps_FirstLocalMinRatio_CoeffVariance 1167 43 0 0 0.011 0.1 0.078 2 0.23 2.3
gsat_BestSolution_Mean 1167 43 0 3.6e+02 1.4e+03 5.6e+04 5.3e+03 2.4e+06 2.5e+05 4.4
gsat_BestSolution_CoeffVariance 1167 43 0 0.029 0.16 0.57 0.63 58 2 3.6
gsat_FirstLocalMinStep_Mean 1167 43 0 4.3e+02 3.8e+03 7.7e+03 8.8e+03 8.1e+04 1.1e+04 1.5
gsat_FirstLocalMinStep_CoeffVariance 1167 43 0 0.0049 0.022 0.2 0.24 1.4 0.35 1.8
gsat_FirstLocalMinStep_Median 1167 43 0 4.8e+02 3.9e+03 8.1e+03 9.6e+03 8.1e+04 1.2e+04 1.4
gsat_FirstLocalMinStep_Q10 1167 43 0 0 9.9e+02 5.9e+03 5.3e+03 8.1e+04 1.1e+04 1.9
gsat_FirstLocalMinStep_Q90 1167 43 0 3e+02 3.2e+03 7.3e+03 8.1e+03 8.1e+04 1.1e+04 1.6
gsat_BestAvgImprovement_Mean 1167 43 0.094 0.45 1 83 3.7 5.4e+03 4.7e+02 5.7
gsat_BestAvgImprovement_CoeffVariance 1167 43 0 0.12 0.4 0.61 0.98 3.9 0.6 0.98
gsat_FirstLocalMinRatio_Mean 1167 43 0.45 0.9 0.96 1.9 1 9.7e+02 29 15
gsat_FirstLocalMinRatio_CoeffVariance 1167 43 0 0.0016 0.012 0.1 0.068 6.3 0.34 3.3
lobjois_mean_depth_over_vars 1167 43 0.0015 0.061 0.17 0.21 0.28 0.97 0.19 0.9
lobjois_log_num_nodes_over_vars 1167 43 0.0015 0.23 0.54 0.5 0.72 1 0.28 0.56

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 96 0 0 0.086 0 0 3.6 0 0.16 3.3 0.036
CG 2 32 0 0 0 65 0 3.6 0 22 3.1e+02 0.036
DIAMETER 2 96 0 0 0 0 0 3.7 0 1.9 6.1 0.037
KLB 2 96 0 0 0.086 0 0 3.6 0 42 2.8e+03 0.036
Pre 1 96 0 0 3.3 0 0 0.34 0 19 1.6e+03 0.0034
cl 2 96 0 0 0 0 0 3.7 0 1.9 2.1 0.037
lobjois 2 96 0 0 0.34 0 0 3.3 0.49 3.9 5.1e+02 0.033
ls_gsat 2 96 0 0 0 0 0 3.7 0.38 2.9 17 0.037
ls_saps 2 96 0 0 0 0 0 3.7 0.31 2.8 17 0.037
sp 2 96 0 0 0 0 0 3.7 0 9.4 5.7e+02 0.037

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.

block numbers instances
1 42 SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1080.cnf +++++++ SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1081.cnf +++++++ SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1093.cnf +++++++ SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc1103.cnf +++++++ SAT_Competition2007/industrial/industrial/babic/dspam/dspam_dump_vc949.cnf +++++++ ...