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 572 117 36 1.1e+03 7e+03 3.9e+04 3.6e+04 1.3e+06 1.1e+05 2.7
nclausesOrig 572 117 2.1e+02 9e+03 5.9e+04 1.8e+05 2.1e+05 1.6e+06 2.9e+05 1.6
nvars 572 117 0 0 0 6.1e+02 0 2.3e+04 3.1e+03 5.1
nclauses 572 117 0 0 0 3.6e+03 0 2.8e+05 1.9e+04 5.1
reducedVars 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -3.9e+02 -5.1e+02 4.6e+03 3.8e+02 -0.97
reducedClauses 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -2.9e+02 -5.1e+02 1.7e+04 1.1e+03 -3.9
Pre.featuretime 572 117 0 0.2 3 99 55 1.2e+03 2.2e+02 2.2
vars.clauses.ratio 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -4.2e+02 -5.1e+02 1 1.9e+02 -0.46
POSNEG.RATIO.CLAUSE.mean 572 117 0 0 0 0.097 0 1 0.25 2.5
POSNEG.RATIO.CLAUSE.coeff.variation 572 117 0 0 0 0.033 0 0.92 0.11 3.3
POSNEG.RATIO.CLAUSE.min 572 117 0 0 0 0.051 0 1 0.2 3.9
POSNEG.RATIO.CLAUSE.max 572 117 0 0 0 0.12 0 1 0.31 2.5
POSNEG.RATIO.CLAUSE.entropy 572 117 0 0 0 0.089 0 1.2 0.26 3
VCG.CLAUSE.mean 572 117 0 0 0 0.0036 0 0.16 0.015 4.2
VCG.CLAUSE.coeff.variation 572 117 0 0 0 0.02 0 0.39 0.063 3.2
VCG.CLAUSE.min 572 117 0 0 0 0.0022 0 0.083 0.0088 4
VCG.CLAUSE.max 572 117 0 0 0 0.004 0 0.19 0.018 4.4
VCG.CLAUSE.entropy 572 117 0 0 0 0.071 0 1.1 0.23 3.2
UNARY 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -4.2e+02 -5.1e+02 0 1.9e+02 -0.46
BINARY. 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -4.2e+02 -5.1e+02 1 1.9e+02 -0.46
TRINARY. 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -4.2e+02 -5.1e+02 1 1.9e+02 -0.46
Basic.featuretime 572 117 0 0 0 0.0031 0 0.2 0.014 4.4
VCG.VAR.mean 572 117 0 0 0 0.0036 0 0.16 0.015 4.2
VCG.VAR.coeff.variation 572 117 0 0 0 2.1 0 67 7.2 3.5
VCG.VAR.min 572 117 0 0 0 0.0024 0 0.12 0.011 4.6
VCG.VAR.max 572 117 0 0 0 0.17 0 1 0.38 2.2
VCG.VAR.entropy 572 117 0 0 0 0.2 0 4.5 0.73 3.6
POSNEG.RATIO.VAR.mean 572 117 0 0 0 0.14 0 1 0.33 2.4
POSNEG.RATIO.VAR.stdev 572 117 0 0 0 0.0058 0 0.33 0.031 5.3
POSNEG.RATIO.VAR.min 572 117 0 0 0 0.13 0 1 0.33 2.5
POSNEG.RATIO.VAR.max 572 117 0 0 0 0.17 0 1 0.38 2.2
POSNEG.RATIO.VAR.entropy 572 117 0 0 0 0.041 0 1.4 0.18 4.4
HORNY.VAR.mean 572 117 0 0 0 0.0024 0 0.11 0.011 4.5
HORNY.VAR.coeff.variation 572 117 0 0 0 1.6 0 37 5.8 3.6
HORNY.VAR.min 572 117 0 0 0 0.0016 0 0.079 0.008 4.9
HORNY.VAR.max 572 117 0 0 0 0.12 0 1 0.31 2.5
HORNY.VAR.entropy 572 117 0 0 0 0.21 0 4.5 0.72 3.5
horn.clauses.fraction 572 117 -5.1e+02 -5.1e+02 -5.1e+02 -4.2e+02 -5.1e+02 1 1.9e+02 -0.46
VG.mean 572 117 0 0 0 0.003 0 0.17 0.014 4.8
VG.coeff.variation 572 117 0 0 0 0.98 0 67 5.1 5.2
VG.min 572 117 0 0 0 0.0025 0 0.15 0.013 5.2
VG.max 572 117 0 0 0 0.064 0 1 0.21 3.4
KLB.featuretime 572 117 0 0 0 0.1 0 5.5 0.65 6.2
CG.mean 572 117 -1 0 0 -0.015 0 0.2 0.13 -8.9
CG.coeff.variation 572 117 0 0 0 0.012 0 0.69 0.072 5.9
CG.min 572 117 -1 0 0 -0.016 0 0.16 0.13 -8.4
CG.max 572 117 0 0 0 0.0041 0 0.25 0.024 5.9
CG.entropy 572 117 -5.1e+02 0 0 -8.9 0 3.2 67 -7.5
cluster.coeff.mean 572 117 -1 0 0 -0.011 0 0.46 0.14 -13
cluster.coeff.coeff.variation 572 117 0 0 0 0.011 0 0.35 0.053 4.9
cluster.coeff.min 572 117 -1 0 0 -0.013 0 0.38 0.14 -11
cluster.coeff.max 572 117 0 0 0 0.011 0 0.75 0.081 7.6
cluster.coeff.entropy 572 117 0 0 0 0.034 0 2.1 0.18 5.1
CG.featuretime 572 117 0 0 0 0.46 0 22 2.8 6.1

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
ALL 1 80 20 0 0 0 0 0 4.8 3.4e+02 1.2e+03 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.

block numbers instances
1 117 aes/mul_8_11.wcnf +++++++ aes/mul_8_13.wcnf +++++++ aes/mul_8_14.wcnf +++++++ aes/mul_8_3.wcnf +++++++ aes/mul_8_9.wcnf +++++++ ...
2 2 drmx-cryptogen/threshold128_3.wcnf +++++++ drmx-cryptogen/threshold128_5.wcnf
3 3 kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf +++++++ kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf +++++++ kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf
4 3 maxone/3col140_5_1.shuffled.cnf.wcnf +++++++ maxone/3col140_5_10.shuffled.cnf.wcnf +++++++ maxone/3col140_5_2.shuffled.cnf.wcnf
5 2 maxone/3col140_5_5.shuffled.cnf.wcnf +++++++ maxone/3col140_5_9.shuffled.cnf.wcnf
6 2 tpr/b14-s_PathRelaxation_FS_25.wcnf +++++++ tpr/b14-s_PathRelaxation_FS_46.wcnf