| obs | nas | min | qu_1st | med | mean | qu_3rd | max | sd | coeff_var |
nvarsOrig | 300 | 18 | 4.5e+02 | 2.2e+03 | 6.6e+03 | 3.6e+04 | 1.6e+04 | 4.9e+05 | 7.4e+04 | 2.1 |
nclausesOrig | 300 | 18 | 2.7e+03 | 1.6e+04 | 5e+04 | 3e+05 | 1.5e+05 | 6.6e+06 | 8.1e+05 | 2.7 |
nvars | 300 | 18 | 2.2e+02 | 1.9e+03 | 3.6e+03 | 1.5e+04 | 1.1e+04 | 1.6e+05 | 3.2e+04 | 2.1 |
nclauses | 300 | 18 | 1.6e+03 | 1.4e+04 | 3.4e+04 | 2.2e+05 | 1.1e+05 | 6.1e+06 | 7.3e+05 | 3.4 |
reducedVars | 300 | 18 | 0 | 0.056 | 0.69 | 1.5 | 1.1 | 60 | 5.9 | 4 |
reducedClauses | 300 | 18 | 0 | 0.014 | 0.23 | 0.41 | 0.54 | 5.3 | 0.65 | 1.6 |
Pre.featuretime | 300 | 18 | 0 | 0.02 | 0.11 | 0.96 | 0.5 | 24 | 2.8 | 2.9 |
vars.clauses.ratio | 300 | 18 | 0.0061 | 0.055 | 0.1 | 0.12 | 0.2 | 0.24 | 0.073 | 0.59 |
POSNEG.RATIO.CLAUSE.mean | 300 | 18 | 0.19 | 0.35 | 0.41 | 0.43 | 0.5 | 0.97 | 0.12 | 0.28 |
POSNEG.RATIO.CLAUSE.coeff.variation | 300 | 18 | 0.17 | 0.59 | 0.7 | 0.75 | 0.8 | 1.6 | 0.23 | 0.31 |
POSNEG.RATIO.CLAUSE.min | 300 | 18 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
POSNEG.RATIO.CLAUSE.max | 300 | 18 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
POSNEG.RATIO.CLAUSE.entropy | 300 | 18 | 0.21 | 1.1 | 1.4 | 1.5 | 1.8 | 2.6 | 0.54 | 0.36 |
VCG.CLAUSE.mean | 300 | 18 | 1.7e-05 | 0.00045 | 0.00096 | 0.0025 | 0.0018 | 0.019 | 0.004 | 1.6 |
VCG.CLAUSE.coeff.variation | 300 | 18 | 0.057 | 0.24 | 0.37 | 0.47 | 0.53 | 3.1 | 0.41 | 0.87 |
VCG.CLAUSE.min | 300 | 18 | 1.3e-05 | 0.00019 | 0.00056 | 0.001 | 0.0014 | 0.0093 | 0.0012 | 1.2 |
VCG.CLAUSE.max | 300 | 18 | 6.3e-05 | 0.0017 | 0.0048 | 0.011 | 0.012 | 0.091 | 0.015 | 1.4 |
VCG.CLAUSE.entropy | 300 | 18 | 0.14 | 0.97 | 1.1 | 1.2 | 1.4 | 2.2 | 0.5 | 0.43 |
UNARY | 300 | 18 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
BINARY. | 300 | 18 | 0 | 0.0083 | 0.14 | 0.24 | 0.52 | 0.97 | 0.26 | 1.1 |
TRINARY. | 300 | 18 | 0.032 | 0.35 | 0.75 | 0.6 | 0.88 | 1 | 0.34 | 0.56 |
Basic.featuretime | 300 | 18 | -0 | 0 | 0 | 0.018 | 0.02 | 0.52 | 0.059 | 3.2 |
VCG.VAR.mean | 300 | 18 | 1.7e-05 | 0.00045 | 0.00096 | 0.0025 | 0.0018 | 0.019 | 0.004 | 1.6 |
VCG.VAR.coeff.variation | 300 | 18 | 0.0037 | 0.52 | 0.7 | 1.2 | 1.5 | 14 | 1.2 | 1.1 |
VCG.VAR.min | 300 | 18 | 3.3e-07 | 5.2e-05 | 0.00023 | 0.00041 | 0.00054 | 0.0043 | 0.00063 | 1.5 |
VCG.VAR.max | 300 | 18 | 5.4e-05 | 0.0028 | 0.0078 | 0.017 | 0.024 | 0.16 | 0.021 | 1.2 |
VCG.VAR.entropy | 300 | 18 | 0.62 | 2.3 | 2.9 | 3.1 | 3.8 | 5.5 | 1.2 | 0.37 |
POSNEG.RATIO.VAR.mean | 300 | 18 | 0.0026 | 0.12 | 0.22 | 0.25 | 0.28 | 0.63 | 0.17 | 0.67 |
POSNEG.RATIO.VAR.stdev | 300 | 18 | 0.0013 | 0.11 | 0.16 | 0.15 | 0.17 | 0.39 | 0.065 | 0.43 |
POSNEG.RATIO.VAR.min | 300 | 18 | 0 | 0 | 0 | 0.0074 | 0 | 0.52 | 0.057 | 7.6 |
POSNEG.RATIO.VAR.max | 300 | 18 | 0.1 | 0.74 | 0.8 | 0.8 | 0.92 | 1 | 0.16 | 0.2 |
POSNEG.RATIO.VAR.entropy | 300 | 18 | -0 | 2.4 | 2.9 | 2.7 | 3.3 | 4.3 | 0.87 | 0.32 |
HORNY.VAR.mean | 300 | 18 | 1e-05 | 0.00011 | 0.00042 | 0.00058 | 0.00071 | 0.0052 | 0.0007 | 1.2 |
HORNY.VAR.coeff.variation | 300 | 18 | 0.0037 | 0.49 | 0.65 | 1.2 | 1.6 | 13 | 1.3 | 1.1 |
HORNY.VAR.min | 300 | 18 | 0 | 4.5e-06 | 3.2e-05 | 0.00012 | 9e-05 | 0.003 | 0.00033 | 2.8 |
HORNY.VAR.max | 300 | 18 | 3.4e-05 | 0.00089 | 0.0026 | 0.0058 | 0.0084 | 0.12 | 0.0093 | 1.6 |
HORNY.VAR.entropy | 300 | 18 | 0.62 | 2.2 | 2.5 | 2.5 | 3 | 5 | 0.84 | 0.33 |
horn.clauses.fraction | 300 | 18 | 0.059 | 0.32 | 0.51 | 0.5 | 0.69 | 1 | 0.24 | 0.47 |
VG.mean | 300 | 18 | 1.3e-05 | 0.00023 | 0.00077 | 0.0013 | 0.0018 | 0.014 | 0.0018 | 1.4 |
VG.coeff.variation | 300 | 18 | 0.013 | 0.35 | 0.47 | 0.86 | 1.2 | 11 | 0.93 | 1.1 |
VG.min | 300 | 18 | 3.3e-07 | 4.7e-05 | 0.00017 | 0.00048 | 0.00043 | 0.0086 | 0.0012 | 2.4 |
VG.max | 300 | 18 | 5.4e-05 | 0.0013 | 0.005 | 0.0077 | 0.01 | 0.075 | 0.0097 | 1.3 |
KLB.featuretime | 300 | 18 | -0 | 0 | 0.02 | 1.5 | 0.22 | 29 | 5 | 3.2 |
CG.mean | 300 | 18 | -1 | -1 | 3.9e-05 | -0.48 | 0.0018 | 0.052 | 0.5 | -1 |
CG.coeff.variation | 300 | 18 | -0 | -0 | 0.24 | 0.34 | 0.56 | 1.9 | 0.44 | 1.3 |
CG.min | 300 | 18 | -1 | -1 | 4.5e-06 | -0.49 | 0.00036 | 0.0041 | 0.5 | -1 |
CG.max | 300 | 18 | 0 | 0 | 0.00019 | 0.014 | 0.0087 | 0.27 | 0.033 | 2.4 |
CG.entropy | 300 | 18 | -5.1e+02 | -5.1e+02 | 2.9 | -2.5e+02 | 3.5 | 4.9 | 2.6e+02 | -1 |
cluster.coeff.mean | 300 | 18 | -1 | -1 | 0.12 | -0.37 | 0.18 | 0.69 | 0.62 | -1.7 |
cluster.coeff.coeff.variation | 300 | 18 | -0 | -0 | 0.21 | 0.21 | 0.43 | 0.92 | 0.24 | 1.1 |
cluster.coeff.min | 300 | 18 | -1 | -1 | 0.0017 | -0.46 | 0.036 | 0.24 | 0.52 | -1.1 |
cluster.coeff.max | 300 | 18 | 0 | 0 | 0.37 | 0.33 | 0.61 | 1 | 0.34 | 1 |
cluster.coeff.entropy | 300 | 18 | -0 | -0 | 2.7 | 1.7 | 3.3 | 3.8 | 1.6 | 0.99 |
CG.featuretime | 300 | 18 | 0.04 | 0.47 | 19 | 12 | 20 | 37 | 9.2 | 0.75 |