| obs | nas | min | qu_1st | med | mean | qu_3rd | max | sd | coeff_var |
direct_reducedVars | 4021 | 2127 | -5.1e+02 | 0.087 | 0.27 | -0.57 | 0.62 | 9e+02 | 56 | -99 |
direct_KLB.featuretime | 4021 | 2127 | -5.1e+02 | 0 | 0.13 | 5.3 | 0.84 | 7.4e+02 | 47 | 8.9 |
direct_CG.entropy | 4021 | 2127 | -5.1e+02 | -5.1e+02 | -5.1e+02 | -2.6e+02 | 3.2 | 5.5 | 2.6e+02 | -1 |
direct_POSNEG.RATIO.VAR.entropy | 4021 | 2127 | -5.1e+02 | 2.2 | 2.9 | 0.76 | 3.4 | 4.4 | 31 | 41 |
direct_horn.clauses.fraction | 4021 | 2127 | -5.1e+02 | 0.81 | 0.94 | -3.7 | 0.98 | 1 | 48 | -13 |
direct_VCG.CLAUSE.max | 4021 | 2127 | 0 | 0.0022 | 0.013 | 0.03 | 0.04 | 0.5 | 0.044 | 1.5 |
direct_VCG.VAR.mean | 4021 | 2127 | 0 | 0.0002 | 0.00062 | 0.0058 | 0.0043 | 0.23 | 0.017 | 3 |
direct_HORNY.VAR.coeff.variation | 4021 | 2127 | 0 | 0.29 | 0.55 | 0.69 | 0.99 | 8.9 | 0.59 | 0.85 |
direct_POSNEG.RATIO.VAR.mean | 4021 | 2127 | 0 | 0.21 | 0.33 | 0.36 | 0.53 | 0.98 | 0.19 | 0.54 |
direct_cluster.coeff.mean | 4021 | 2127 | -1 | -1 | 0 | -0.39 | 0.22 | 0.4 | 0.6 | -1.5 |
direct_nvarsOrig | 4021 | 2127 | 20 | 1.5e+03 | 6.7e+03 | 3.3e+04 | 2.4e+04 | 9.2e+05 | 7.8e+04 | 2.4 |
direct_TRINARY. | 4021 | 2127 | -5.1e+02 | 0.9 | 0.97 | -3.7 | 0.99 | 1 | 48 | -13 |
direct_POSNEG.RATIO.CLAUSE.coeff.variation | 4021 | 2127 | 0 | 0.0029 | 0.35 | 0.28 | 0.43 | 1 | 0.21 | 0.75 |
direct_nclauses | 4021 | 2127 | 0 | 7.3e+03 | 1.1e+05 | 9e+05 | 6.1e+05 | 1.6e+07 | 2e+06 | 2.2 |
direct_CG.coeff.variation | 4021 | 2127 | -0 | -0 | 0 | 0.54 | 0.98 | 5 | 0.68 | 1.3 |
direct_VCG.CLAUSE.entropy | 4021 | 2127 | -5.1e+02 | 0.3 | 0.59 | -1.4 | 0.76 | 1.3 | 31 | -23 |
direct_CG.max | 4021 | 2127 | 0 | 0 | 0 | 0.031 | 0.041 | 0.67 | 0.069 | 2.2 |
direct_VCG.VAR.entropy | 4021 | 2127 | -5.1e+02 | 2.2 | 2.9 | 1.1 | 3.8 | 6.3 | 31 | 28 |
direct_cluster.coeff.coeff.variation | 4021 | 2127 | -0 | -0 | 0 | 0.29 | 0.53 | 1.5 | 0.33 | 1.1 |
direct_UNARY | 4021 | 2127 | -5.1e+02 | 0 | 0 | -4.6 | 0 | 0 | 48 | -11 |
direct_POSNEG.RATIO.CLAUSE.min | 4021 | 2127 | 0 | 0 | 0 | 0.31 | 0.92 | 1 | 0.44 | 1.4 |
direct_cluster.coeff.max | 4021 | 2127 | 0 | 0 | 0 | 0.28 | 0.67 | 1 | 0.32 | 1.1 |
direct_CG.mean | 4021 | 2127 | -1 | -1 | 0 | -0.49 | 0.0059 | 0.25 | 0.51 | -1 |
direct_POSNEG.RATIO.CLAUSE.max | 4021 | 2127 | 0 | 1 | 1 | 0.99 | 1 | 1 | 0.094 | 0.095 |
direct_cluster.coeff.min | 4021 | 2127 | -1 | -1 | 0 | -0.48 | 0.016 | 0.23 | 0.51 | -1.1 |
direct_POSNEG.RATIO.VAR.min | 4021 | 2127 | 0 | 0 | 0 | 0.043 | 0.042 | 0.34 | 0.082 | 1.9 |
direct_HORNY.VAR.min | 4021 | 2127 | 0 | 5.5e-06 | 0.00013 | 0.0017 | 0.00077 | 0.11 | 0.0071 | 4.3 |
direct_CG.featuretime | 4021 | 2127 | -5.1e+02 | 0.48 | 59 | 34 | 60 | 7.6e+02 | 49 | 1.5 |
direct_POSNEG.RATIO.VAR.max | 4021 | 2127 | 0 | 0.4 | 0.79 | 0.67 | 0.96 | 1 | 0.31 | 0.47 |
direct_Basic.featuretime | 4021 | 2127 | -5.1e+02 | 0 | 0.02 | -1.7 | 0.1 | 2.5 | 31 | -18 |
direct_nclausesOrig | 4021 | 2127 | 64 | 1.5e+04 | 1.5e+05 | 1.1e+06 | 8.5e+05 | 1.7e+07 | 2.3e+06 | 2.1 |
direct_CG.min | 4021 | 2127 | -1 | -1 | 0 | -0.49 | 0.00079 | 0.24 | 0.5 | -1 |
direct_VCG.VAR.max | 4021 | 2127 | 0 | 0.00089 | 0.0022 | 0.012 | 0.011 | 0.42 | 0.034 | 2.9 |
direct_VCG.CLAUSE.mean | 4021 | 2127 | 0 | 0.0002 | 0.00062 | 0.0058 | 0.0043 | 0.23 | 0.017 | 3 |
direct_VCG.VAR.min | 4021 | 2127 | 0 | 1.9e-05 | 0.00028 | 0.0039 | 0.0023 | 0.21 | 0.014 | 3.6 |
direct_BINARY. | 4021 | 2127 | -5.1e+02 | 0.57 | 0.75 | -3.9 | 0.89 | 1 | 48 | -12 |
direct_POSNEG.RATIO.CLAUSE.entropy | 4021 | 2127 | -5.1e+02 | 0.01 | 0.6 | -1.4 | 0.74 | 1.6 | 31 | -22 |
direct_VCG.CLAUSE.coeff.variation | 4021 | 2127 | 0 | 0.34 | 0.52 | 0.96 | 1.3 | 4.4 | 0.91 | 0.95 |
direct_VG.coeff.variation | 4021 | 2127 | 0 | 0.27 | 0.57 | 0.66 | 0.94 | 5.7 | 0.51 | 0.77 |
direct_HORNY.VAR.entropy | 4021 | 2127 | -5.1e+02 | 2.2 | 2.9 | 1.1 | 3.6 | 6.1 | 31 | 30 |
direct_vars.clauses.ratio | 4021 | 2127 | -5.1e+02 | 0.018 | 0.059 | -4.5 | 0.17 | 0.51 | 48 | -11 |
direct_nvars | 4021 | 2127 | 0 | 6.6e+02 | 5.1e+03 | 2e+04 | 1.2e+04 | 5.2e+05 | 4.5e+04 | 2.3 |
direct_HORNY.VAR.mean | 4021 | 2127 | 0 | 0.00018 | 0.00041 | 0.0031 | 0.0023 | 0.11 | 0.0089 | 2.8 |
direct_POSNEG.RATIO.VAR.stdev | 4021 | 2127 | 0 | 0.069 | 0.15 | 0.14 | 0.22 | 0.36 | 0.087 | 0.6 |
direct_VG.mean | 4021 | 2127 | 0 | 0.00025 | 0.0013 | 0.0087 | 0.0091 | 0.25 | 0.022 | 2.5 |
direct_VG.min | 4021 | 2127 | 0 | 1.9e-05 | 0.00034 | 0.0058 | 0.0042 | 0.25 | 0.019 | 3.3 |
direct_VCG.VAR.coeff.variation | 4021 | 2127 | 0 | 0.21 | 0.6 | 0.69 | 1 | 8.6 | 0.65 | 0.94 |
direct_VG.max | 4021 | 2127 | 0 | 0.001 | 0.0046 | 0.016 | 0.021 | 0.26 | 0.029 | 1.8 |
direct_Pre.featuretime | 4021 | 2127 | 0 | 0.03 | 0.51 | 20 | 3.8 | 7.3e+02 | 88 | 4.3 |
direct_VCG.CLAUSE.min | 4021 | 2127 | 0 | 0.00017 | 0.00038 | 0.0041 | 0.0026 | 0.17 | 0.013 | 3.1 |
direct_POSNEG.RATIO.CLAUSE.mean | 4021 | 2127 | 0 | 0.76 | 0.84 | 0.84 | 1 | 1 | 0.16 | 0.19 |
direct_cluster.coeff.entropy | 4021 | 2127 | -5.1e+02 | -0 | 0 | -0.5 | 3.2 | 4.1 | 31 | -62 |
direct_HORNY.VAR.max | 4021 | 2127 | 0 | 0.00056 | 0.0016 | 0.0065 | 0.0071 | 0.17 | 0.015 | 2.4 |
direct_reducedClauses | 4021 | 2127 | -5.1e+02 | 0.045 | 0.25 | -2.8 | 0.5 | 55 | 49 | -17 |
support_reducedVars | 4021 | 2144 | -5.1e+02 | 0 | 0.03 | -1.5 | 0.33 | 4.9e+02 | 52 | -34 |
support_KLB.featuretime | 4021 | 2144 | -5.1e+02 | 0.01 | 0.28 | 7.4 | 3.8 | 7.4e+02 | 53 | 7.2 |
support_CG.entropy | 4021 | 2144 | -5.1e+02 | -5.1e+02 | -5.1e+02 | -3e+02 | 3.3 | 5.5 | 2.5e+02 | -0.84 |
support_POSNEG.RATIO.VAR.entropy | 4021 | 2144 | -5.1e+02 | 1.6 | 2.5 | -0.24 | 3.6 | 4.4 | 37 | -1.6e+02 |
support_horn.clauses.fraction | 4021 | 2144 | -5.1e+02 | 0.22 | 0.64 | -4.1 | 0.94 | 1 | 49 | -12 |
support_VCG.CLAUSE.max | 4021 | 2144 | 0 | 0.0021 | 0.0083 | 0.021 | 0.023 | 0.22 | 0.028 | 1.4 |
support_VCG.VAR.mean | 4021 | 2144 | 0 | 0.00026 | 0.0021 | 0.0062 | 0.0065 | 0.17 | 0.015 | 2.3 |
support_HORNY.VAR.coeff.variation | 4021 | 2144 | 0 | 0 | 0.44 | 0.53 | 0.8 | 13 | 0.61 | 1.2 |
support_POSNEG.RATIO.VAR.mean | 4021 | 2144 | 0 | 0.4 | 0.57 | 0.56 | 0.77 | 0.98 | 0.22 | 0.4 |
support_cluster.coeff.mean | 4021 | 2144 | -1 | -1 | -1 | -0.48 | 0.071 | 0.4 | 0.57 | -1.2 |
support_nvarsOrig | 4021 | 2144 | 20 | 1.9e+03 | 6.9e+03 | 3.1e+04 | 2e+04 | 9.2e+05 | 7.7e+04 | 2.5 |
support_TRINARY. | 4021 | 2144 | -5.1e+02 | 0.3 | 0.75 | -4 | 0.99 | 1 | 49 | -12 |
support_POSNEG.RATIO.CLAUSE.coeff.variation | 4021 | 2144 | 0 | 0.099 | 0.35 | 0.29 | 0.43 | 1.2 | 0.19 | 0.66 |
support_nclauses | 4021 | 2144 | 0 | 1.3e+04 | 2.2e+05 | 6.9e+05 | 7.7e+05 | 1.6e+07 | 1.3e+06 | 1.9 |
support_CG.coeff.variation | 4021 | 2144 | -0 | -0 | -0 | 0.29 | 0.34 | 2.5 | 0.46 | 1.6 |
support_VCG.CLAUSE.entropy | 4021 | 2144 | -5.1e+02 | 0.56 | 0.71 | -1.8 | 1.3 | 2.9 | 37 | -20 |
support_CG.max | 4021 | 2144 | 0 | 0 | 0 | 0.016 | 0.014 | 0.43 | 0.046 | 2.9 |
support_VCG.VAR.entropy | 4021 | 2144 | -5.1e+02 | 2.6 | 3.3 | 0.73 | 4.4 | 6.6 | 38 | 52 |
support_cluster.coeff.coeff.variation | 4021 | 2144 | -0 | -0 | -0 | 0.21 | 0.39 | 1.3 | 0.3 | 1.4 |
support_UNARY | 4021 | 2144 | -5.1e+02 | 0 | 0 | -4.6 | 0 | 0 | 49 | -10 |
support_POSNEG.RATIO.CLAUSE.min | 4021 | 2144 | 0 | 0 | 0 | 0.21 | 0.5 | 1 | 0.35 | 1.6 |
support_cluster.coeff.max | 4021 | 2144 | 0 | 0 | 0 | 0.2 | 0.42 | 1 | 0.29 | 1.5 |
support_CG.mean | 4021 | 2144 | -1 | -1 | -1 | -0.54 | 0.0011 | 0.25 | 0.51 | -0.94 |
support_POSNEG.RATIO.CLAUSE.max | 4021 | 2144 | 0 | 1 | 1 | 0.99 | 1 | 1 | 0.095 | 0.096 |
support_cluster.coeff.min | 4021 | 2144 | -1 | -1 | -1 | -0.53 | 0.013 | 0.23 | 0.51 | -0.96 |
support_POSNEG.RATIO.VAR.min | 4021 | 2144 | 0 | 0 | 0 | 0.18 | 0.27 | 0.97 | 0.3 | 1.7 |
support_HORNY.VAR.min | 4021 | 2144 | 0 | 4.5e-06 | 4.3e-05 | 0.00059 | 0.00028 | 0.08 | 0.0028 | 4.7 |
support_CG.featuretime | 4021 | 2144 | -5.1e+02 | 1.1 | 60 | 42 | 61 | 7.7e+02 | 64 | 1.5 |
support_POSNEG.RATIO.VAR.max | 4021 | 2144 | 0 | 0.73 | 0.87 | 0.81 | 0.95 | 1 | 0.2 | 0.24 |
support_Basic.featuretime | 4021 | 2144 | -5.1e+02 | -0 | 0.05 | -2.5 | 0.2 | 3.3 | 37 | -15 |
support_nclausesOrig | 4021 | 2144 | 68 | 2.3e+04 | 2.7e+05 | 8.6e+05 | 9.1e+05 | 1.6e+07 | 1.7e+06 | 2 |
support_CG.min | 4021 | 2144 | -1 | -1 | -1 | -0.55 | 0.00024 | 0.24 | 0.5 | -0.92 |
support_VCG.VAR.max | 4021 | 2144 | 0 | 0.0014 | 0.0047 | 0.013 | 0.014 | 0.42 | 0.031 | 2.4 |
support_VCG.CLAUSE.mean | 4021 | 2144 | 0 | 0.00026 | 0.0021 | 0.0062 | 0.0065 | 0.17 | 0.015 | 2.3 |
support_VCG.VAR.min | 4021 | 2144 | 0 | 2.3e-05 | 0.00046 | 0.0036 | 0.0024 | 0.17 | 0.012 | 3.2 |
support_BINARY. | 4021 | 2144 | -5.1e+02 | 0.21 | 0.48 | -4.2 | 0.69 | 1 | 49 | -12 |
support_POSNEG.RATIO.CLAUSE.entropy | 4021 | 2144 | -5.1e+02 | 0.58 | 0.68 | -1.9 | 1 | 2.6 | 37 | -20 |
support_VCG.CLAUSE.coeff.variation | 4021 | 2144 | 0 | 0.29 | 0.37 | 0.64 | 0.56 | 8.1 | 0.72 | 1.1 |
support_VG.coeff.variation | 4021 | 2144 | 0 | 0.22 | 0.48 | 0.62 | 0.88 | 7.1 | 0.5 | 0.81 |
support_HORNY.VAR.entropy | 4021 | 2144 | -5.1e+02 | -0 | 2.4 | -0.42 | 3.6 | 5.8 | 37 | -90 |
support_vars.clauses.ratio | 4021 | 2144 | -5.1e+02 | 0.012 | 0.038 | -4.6 | 0.12 | 0.51 | 49 | -11 |
support_nvars | 4021 | 2144 | 0 | 9.2e+02 | 5.7e+03 | 1.9e+04 | 1.2e+04 | 5.2e+05 | 4.5e+04 | 2.4 |
support_HORNY.VAR.mean | 4021 | 2144 | 0 | 6.6e-05 | 0.0002 | 0.0014 | 0.00069 | 0.08 | 0.005 | 3.7 |
support_POSNEG.RATIO.VAR.stdev | 4021 | 2144 | 0 | 0.043 | 0.16 | 0.14 | 0.22 | 0.43 | 0.087 | 0.61 |
support_VG.mean | 4021 | 2144 | 0 | 0.00031 | 0.0017 | 0.0059 | 0.006 | 0.18 | 0.014 | 2.4 |
support_VG.min | 4021 | 2144 | 0 | 2.3e-05 | 0.00037 | 0.0034 | 0.0025 | 0.13 | 0.011 | 3.1 |
support_VCG.VAR.coeff.variation | 4021 | 2144 | 0 | 0.27 | 0.53 | 0.68 | 1 | 9.4 | 0.55 | 0.81 |
support_VG.max | 4021 | 2144 | 0 | 0.0013 | 0.0038 | 0.011 | 0.013 | 0.26 | 0.021 | 1.9 |
support_Pre.featuretime | 4021 | 2144 | 0 | 0.05 | 1.2 | 8.5 | 6.8 | 5.7e+02 | 24 | 2.8 |
support_VCG.CLAUSE.min | 4021 | 2144 | 0 | 0.00016 | 0.00034 | 0.0028 | 0.0019 | 0.16 | 0.0088 | 3.1 |
support_POSNEG.RATIO.CLAUSE.mean | 4021 | 2144 | 0 | 0.7 | 0.8 | 0.78 | 0.89 | 1 | 0.17 | 0.21 |
support_cluster.coeff.entropy | 4021 | 2144 | -5.1e+02 | -0 | -0 | -1.7 | 2.1 | 4 | 37 | -22 |
support_HORNY.VAR.max | 4021 | 2144 | 0 | 0.00012 | 0.0005 | 0.0036 | 0.0019 | 0.17 | 0.013 | 3.5 |
support_reducedClauses | 4021 | 2144 | -5.1e+02 | 0 | 0.032 | -2.9 | 0.48 | 57 | 49 | -17 |
directorder_reducedVars | 4021 | 1746 | -5.1e+02 | 0.5 | 0.94 | 1.3 | 1.4 | 9e+02 | 55 | 43 |
directorder_KLB.featuretime | 4021 | 1746 | -5.1e+02 | 0.01 | 0.22 | 14 | 2.2 | 7e+02 | 63 | 4.4 |
directorder_CG.entropy | 4021 | 1746 | -5.1e+02 | -5.1e+02 | -5.1e+02 | -2.8e+02 | 3.2 | 5.5 | 2.6e+02 | -0.93 |
directorder_POSNEG.RATIO.VAR.entropy | 4021 | 1746 | -5.1e+02 | 1.3 | 2.4 | 0.43 | 3.1 | 4.1 | 30 | 72 |
directorder_horn.clauses.fraction | 4021 | 1746 | -5.1e+02 | 0.65 | 0.87 | -3.2 | 0.96 | 1 | 45 | -14 |
directorder_VCG.CLAUSE.max | 4021 | 1746 | 0 | 0.001 | 0.0063 | 0.02 | 0.03 | 0.5 | 0.035 | 1.8 |
directorder_VCG.VAR.mean | 4021 | 1746 | 0 | 0.0001 | 0.00033 | 0.0045 | 0.0019 | 0.23 | 0.016 | 3.4 |
directorder_HORNY.VAR.coeff.variation | 4021 | 1746 | 0 | 0.49 | 0.84 | 1 | 1.6 | 8.9 | 0.74 | 0.72 |
directorder_POSNEG.RATIO.VAR.mean | 4021 | 1746 | 0 | 0.033 | 0.22 | 0.2 | 0.34 | 0.63 | 0.15 | 0.77 |
directorder_cluster.coeff.mean | 4021 | 1746 | -1 | -1 | -1 | -0.45 | 0.22 | 0.41 | 0.6 | -1.3 |
directorder_nvarsOrig | 4021 | 1746 | 35 | 4.1e+03 | 1.8e+04 | 8e+04 | 5.4e+04 | 2.4e+06 | 1.7e+05 | 2.1 |
directorder_TRINARY. | 4021 | 1746 | -5.1e+02 | 0.92 | 0.98 | -3.1 | 1 | 1 | 45 | -15 |
directorder_POSNEG.RATIO.CLAUSE.coeff.variation | 4021 | 1746 | 0 | 0.27 | 0.53 | 0.47 | 0.64 | 1.5 | 0.24 | 0.52 |
directorder_nclauses | 4021 | 1746 | 0 | 1.5e+04 | 1.2e+05 | 7.7e+05 | 4.7e+05 | 1.6e+07 | 1.9e+06 | 2.5 |
directorder_CG.coeff.variation | 4021 | 1746 | -0 | -0 | -0 | 0.49 | 0.93 | 5 | 0.66 | 1.4 |
directorder_VCG.CLAUSE.entropy | 4021 | 1746 | -5.1e+02 | 0.35 | 0.62 | -1.2 | 0.78 | 1.2 | 30 | -25 |
directorder_CG.max | 4021 | 1746 | 0 | 0 | 0 | 0.027 | 0.025 | 0.67 | 0.065 | 2.4 |
directorder_VCG.VAR.entropy | 4021 | 1746 | -5.1e+02 | 2.2 | 2.6 | 0.91 | 3.3 | 5.3 | 30 | 33 |
directorder_cluster.coeff.coeff.variation | 4021 | 1746 | -0 | -0 | -0 | 0.29 | 0.54 | 1.7 | 0.38 | 1.3 |
directorder_UNARY | 4021 | 1746 | -5.1e+02 | 0 | 0 | -4.1 | 0 | 0 | 45 | -11 |
directorder_POSNEG.RATIO.CLAUSE.min | 4021 | 1746 | 0 | 0 | 0 | 0.063 | 0 | 1 | 0.23 | 3.7 |
directorder_cluster.coeff.max | 4021 | 1746 | 0 | 0 | 0 | 0.26 | 0.67 | 1 | 0.31 | 1.2 |
directorder_CG.mean | 4021 | 1746 | -1 | -1 | -1 | -0.53 | 0.0035 | 0.28 | 0.51 | -0.96 |
directorder_POSNEG.RATIO.CLAUSE.max | 4021 | 1746 | 0 | 1 | 1 | 0.99 | 1 | 1 | 0.089 | 0.089 |
directorder_cluster.coeff.min | 4021 | 1746 | -1 | -1 | -1 | -0.52 | 0.012 | 0.23 | 0.51 | -0.98 |
directorder_POSNEG.RATIO.VAR.min | 4021 | 1746 | 0 | 0 | 0 | 0.0067 | 0 | 0.34 | 0.041 | 6.1 |
directorder_HORNY.VAR.min | 4021 | 1746 | 0 | 6.8e-06 | 2.9e-05 | 0.0011 | 0.00024 | 0.11 | 0.0062 | 5.9 |
directorder_CG.featuretime | 4021 | 1746 | -5.1e+02 | 0.93 | 60 | 36 | 60 | 6.4e+02 | 47 | 1.3 |
directorder_POSNEG.RATIO.VAR.max | 4021 | 1746 | 0 | 0.32 | 0.69 | 0.6 | 0.92 | 1 | 0.33 | 0.55 |
directorder_Basic.featuretime | 4021 | 1746 | -5.1e+02 | 0 | 0.02 | -1.7 | 0.08 | 2.9 | 30 | -18 |
directorder_nclausesOrig | 4021 | 1746 | 68 | 2.3e+04 | 1.4e+05 | 9.9e+05 | 6e+05 | 1.6e+07 | 2.5e+06 | 2.5 |
directorder_CG.min | 4021 | 1746 | -1 | -1 | -1 | -0.53 | 0.00033 | 0.24 | 0.5 | -0.94 |
directorder_VCG.VAR.max | 4021 | 1746 | 0 | 0.00072 | 0.0021 | 0.01 | 0.0083 | 0.43 | 0.032 | 3.1 |
directorder_VCG.CLAUSE.mean | 4021 | 1746 | 0 | 0.0001 | 0.00033 | 0.0045 | 0.0019 | 0.23 | 0.016 | 3.4 |
directorder_VCG.VAR.min | 4021 | 1746 | 0 | 1.2e-05 | 4.8e-05 | 0.0026 | 0.00045 | 0.21 | 0.013 | 4.8 |
directorder_BINARY. | 4021 | 1746 | -5.1e+02 | 0.32 | 0.51 | -3.5 | 0.82 | 1 | 45 | -13 |
directorder_POSNEG.RATIO.CLAUSE.entropy | 4021 | 1746 | -5.1e+02 | 0.33 | 0.75 | -1.2 | 0.93 | 1.6 | 30 | -26 |
directorder_VCG.CLAUSE.coeff.variation | 4021 | 1746 | 0 | 0.29 | 0.61 | 0.98 | 1.5 | 11 | 1 | 1 |
directorder_VG.coeff.variation | 4021 | 1746 | 0 | 0.56 | 0.8 | 0.91 | 1.3 | 5.7 | 0.53 | 0.58 |
directorder_HORNY.VAR.entropy | 4021 | 1746 | -5.1e+02 | 1.8 | 2.4 | 0.7 | 3.1 | 5 | 30 | 44 |
directorder_vars.clauses.ratio | 4021 | 1746 | -5.1e+02 | 0.037 | 0.081 | -3.9 | 0.18 | 0.51 | 45 | -12 |
directorder_nvars | 4021 | 1746 | 0 | 1.5e+03 | 7.9e+03 | 3.5e+04 | 2.7e+04 | 5.1e+05 | 6.7e+04 | 1.9 |
directorder_HORNY.VAR.mean | 4021 | 1746 | 0 | 6.2e-05 | 0.00024 | 0.0024 | 0.0011 | 0.12 | 0.0078 | 3.3 |
directorder_POSNEG.RATIO.VAR.stdev | 4021 | 1746 | 0 | 0.05 | 0.14 | 0.14 | 0.22 | 0.44 | 0.1 | 0.73 |
directorder_VG.mean | 4021 | 1746 | 0 | 0.00022 | 0.00079 | 0.0073 | 0.0077 | 0.25 | 0.02 | 2.7 |
directorder_VG.min | 4021 | 1746 | 0 | 1.4e-05 | 5.3e-05 | 0.003 | 0.00054 | 0.25 | 0.015 | 4.9 |
directorder_VCG.VAR.coeff.variation | 4021 | 1746 | 0 | 0.56 | 0.93 | 1.1 | 1.6 | 11 | 0.8 | 0.74 |
directorder_VG.max | 4021 | 1746 | 0 | 0.001 | 0.0043 | 0.016 | 0.02 | 0.26 | 0.028 | 1.8 |
directorder_Pre.featuretime | 4021 | 1746 | 0 | 0.07 | 0.62 | 6.3 | 3.4 | 3.4e+02 | 20 | 3.1 |
directorder_VCG.CLAUSE.min | 4021 | 1746 | 0 | 7.2e-05 | 0.00025 | 0.0032 | 0.0012 | 0.17 | 0.011 | 3.6 |
directorder_POSNEG.RATIO.CLAUSE.mean | 4021 | 1746 | 0 | 0.47 | 0.64 | 0.67 | 0.9 | 1 | 0.23 | 0.35 |
directorder_cluster.coeff.entropy | 4021 | 1746 | -5.1e+02 | -0 | -0 | -0.53 | 3.2 | 3.9 | 30 | -57 |
directorder_HORNY.VAR.max | 4021 | 1746 | 0 | 0.00041 | 0.0013 | 0.0053 | 0.0042 | 0.15 | 0.013 | 2.5 |
directorder_reducedClauses | 4021 | 1746 | -5.1e+02 | 0.016 | 0.11 | -2.4 | 0.35 | 64 | 46 | -19 |
csp_log_lists | 4021 | 1982 | -1 | -1 | -1 | 1.5 | -1 | 12 | 4.6 | 3.1 |
csp_log_bits | 4021 | 1982 | -1 | -1 | -1 | 1.7 | 6.5 | 12 | 4.1 | 2.4 |
csp_log_constraints | 4021 | 1982 | -1 | 11 | 13 | 12 | 15 | 19 | 3 | 0.24 |
csp_percent_avg_continuity | 4021 | 1982 | -1 | 88 | 1e+02 | 78 | 1e+02 | 1e+02 | 40 | 0.51 |
csp_log_extra_booleans | 4021 | 1982 | -1 | -1 | -1 | 3.9 | 12 | 18 | 6.7 | 1.7 |
csp_percent_dec_predicate | 4021 | 1982 | -1 | 0 | 80 | 53 | 1e+02 | 1e+02 | 48 | 0.91 |
csp_percent_wsum | 4021 | 1982 | -1 | -1 | -1 | 21 | 0 | 1e+02 | 41 | 2 |
csp_log_booleans | 4021 | 1982 | -1 | -1 | -1 | 3.4 | 8.4 | 16 | 5.7 | 1.7 |
csp_percent_alldiff | 4021 | 1982 | -1 | -1 | -1 | 2.2 | 0 | 1e+02 | 17 | 7.5 |
csp_perten_largeext | 4021 | 1982 | -1 | -1 | -1 | -1 | -1 | -1 | 0 | -0 |
csp_num_alldiff | 4021 | 1982 | -1 | 0 | 0 | 7.2 | 0 | 9.2e+02 | 55 | 7.7 |
csp_sqrt_max_domsize | 4021 | 1982 | -1 | 1.4 | 10 | 19 | 26 | 1.4e+02 | 28 | 1.5 |
csp_log_ranges | 4021 | 1982 | -1 | -1 | -1 | 0.99 | -1 | 16 | 3.8 | 3.9 |
csp_percent_min_continuity | 4021 | 1982 | -1 | 29 | 1e+02 | 75 | 1e+02 | 1e+02 | 42 | 0.56 |
csp_log_extra_bits | 4021 | 1982 | -1 | -1 | -1 | -0.31 | -1 | 15 | 2.4 | -7.9 |
csp_percent_cumulative | 4021 | 1982 | -1 | -1 | -1 | 0.088 | 0 | 1e+02 | 8.6 | 98 |
csp_percent_ext | 4021 | 1982 | -1 | 0 | 0 | -0.01 | 0 | 0 | 0.1 | -9.8 |
csp_sqrt_avg_domsize | 4021 | 1982 | -1 | 1.4 | 8.7 | 17 | 24 | 1.3e+02 | 26 | 1.5 |
csp_percent_element | 4021 | 1982 | -1 | -1 | -1 | -0.49 | 0 | 90 | 4 | -8.2 |
csp_perten_naryext | 4021 | 1982 | -1 | -1 | -1 | -1 | -1 | -1 | 0 | -0 |
csp_perten_avg_predarity | 4021 | 1982 | -1 | 13 | 20 | 21 | 20 | 2.5e+02 | 27 | 1.3 |
csp_dyn_log_stdev_weight | 4021 | 1982 | -6.2 | 3.9 | 6.7 | 7.5 | 11 | 18 | 4.5 | 0.59 |
csp_dyn_log_nodes | 4021 | 1982 | -1 | 7.3 | 12 | 10 | 13 | 19 | 4.5 | 0.44 |
csp_dyn_log_avg_weight | 4021 | 1982 | -1 | 4.5 | 5.8 | 7.3 | 9.6 | 18 | 4.1 | 0.56 |
csp_max_arity | 4021 | 1982 | -1 | 2 | 2 | 47 | 23 | 4.6e+03 | 2.1e+02 | 4.4 |
csp_percent_global | 4021 | 1982 | -1 | 0 | 0 | 20 | 4.6 | 3.1e+02 | 39 | 2 |
csp_perten_avg_predsize | 4021 | 1982 | -1 | 8.7 | 43 | 41 | 68 | 4e+02 | 45 | 1.1 |
csp_perten_binext | 4021 | 1982 | -1 | -1 | -1 | -1 | -1 | -1 | 0 | -0 |
csp_log_values | 4021 | 1982 | -1 | 13 | 18 | 17 | 21 | 32 | 5.1 | 0.29 |
csp_log_extra_ranges | 4021 | 1982 | -1 | -1 | 8.5 | 6.9 | 13 | 19 | 6.4 | 0.93 |
csp_log_search_vars | 4021 | 1982 | -1 | 8.6 | 10 | 10 | 12 | 16 | 2.4 | 0.24 |
csp_dyn_log_propags | 4021 | 1982 | -1 | 19 | 22 | 20 | 23 | 26 | 4.2 | 0.21 |
csp_perten_avg_predshape | 4021 | 1982 | -1 | 0 | 26 | 21 | 42 | 61 | 19 | 0.94 |
csp_log_constants | 4021 | 1982 | -1 | -1 | -1 | -1 | -1 | -1 | 0 | -0 |
csp_log_extra_values | 4021 | 1982 | -1 | -1 | -1 | -1 | -1 | -1 | 0 | -0 |
csp_percent_gac_predicate | 4021 | 1982 | -1 | 0 | 0 | 27 | 82 | 1e+02 | 43 | 1.6 |
block | numbers | instances |
1 | 666 | acad/allsquares/squares-10-10.xml +++++++ acad/allsquares/squares-11-11.xml +++++++ acad/allsquares/squares-12-12.xml +++++++ acad/allsquares/squares-13-13.xml +++++++ acad/allsquares/squares-14-14.xml +++++++ ... |
2 | 18 | acad/allsquaresUnsat/squaresUnsat-2-2.xml +++++++ acad/allsquaresUnsat/squaresUnsat-3-3.xml +++++++ acad/allsquaresUnsat/squaresUnsat-4-4.xml +++++++ acad/allsquaresUnsat/squaresUnsat-5-5.xml +++++++ acad/allsquaresUnsat/squaresUnsat-6-6.xml +++++++ ... |
3 | 2 | bool/mps/mps-stein27.xml +++++++ bool/niklas/stein27.xml |
4 | 2 | real/fapp06-10/fapp07/fapp07-0600-1.xml +++++++ real/fapp06-10/fapp07/fapp07-0600-2.xml |
5 | 2 | real/fapp06-10/fapp07/fapp07-0600-4.xml +++++++ real/fapp06-10/fapp07/fapp07-0600-5.xml |
6 | 2 | real/fapp06-10/fapp07/fapp07-0600-7.xml +++++++ real/fapp06-10/fapp07/fapp07-0600-8.xml |
7 | 4 | real/fapp06-10/fapp08/fapp08-0700-2.xml +++++++ real/fapp06-10/fapp08/fapp08-0700-3.xml +++++++ real/fapp06-10/fapp08/fapp08-0700-4.xml +++++++ real/fapp06-10/fapp08/fapp08-0700-5.xml |
8 | 3 | real/fapp06-10/fapp10/fapp10-0900-1.xml +++++++ real/fapp06-10/fapp10/fapp10-0900-2.xml +++++++ real/fapp06-10/fapp10/fapp10-0900-3.xml |
9 | 11 | real/fapp16-20/fapp16/fapp16-0260-0.xml +++++++ real/fapp16-20/fapp16/fapp16-0260-1.xml +++++++ real/fapp16-20/fapp16/fapp16-0260-10.xml +++++++ real/fapp16-20/fapp16/fapp16-0260-2.xml +++++++ real/fapp16-20/fapp16/fapp16-0260-3.xml +++++++ ... |
10 | 9 | real/fapp16-20/fapp17/fapp17-0300-0.xml +++++++ real/fapp16-20/fapp17/fapp17-0300-1.xml +++++++ real/fapp16-20/fapp17/fapp17-0300-2.xml +++++++ real/fapp16-20/fapp17/fapp17-0300-3.xml +++++++ real/fapp16-20/fapp17/fapp17-0300-4.xml +++++++ ... |
11 | 2 | real/fapp16-20/fapp17/fapp17-0300-10.xml +++++++ real/fapp16-20/fapp17/fapp17-0300-9.xml |
12 | 2 | real/fapp16-20/fapp19/fapp19-0350-0.xml +++++++ real/fapp16-20/fapp19/fapp19-0350-1.xml |
13 | 11 | real/fapp16-20/fapp20/fapp20-0420-0.xml +++++++ real/fapp16-20/fapp20/fapp20-0420-1.xml +++++++ real/fapp16-20/fapp20/fapp20-0420-10.xml +++++++ real/fapp16-20/fapp20/fapp20-0420-2.xml +++++++ real/fapp16-20/fapp20/fapp20-0420-3.xml +++++++ ... |
14 | 3 | real/fapp21-25/fapp21/fapp21-0500-0.xml +++++++ real/fapp21-25/fapp21/fapp21-0500-1.xml +++++++ real/fapp21-25/fapp21/fapp21-0500-2.xml |
15 | 2 | real/fapp21-25/fapp21/fapp21-0500-4.xml +++++++ real/fapp21-25/fapp21/fapp21-0500-6.xml |
16 | 2 | real/fapp21-25/fapp22/fapp22-1750-0.xml +++++++ real/fapp21-25/fapp22/fapp22-1750-1.xml |
17 | 6 | real/fapp21-25/fapp24/fapp24-2000-0.xml +++++++ real/fapp21-25/fapp24/fapp24-2000-1.xml +++++++ real/fapp21-25/fapp24/fapp24-2000-2.xml +++++++ real/fapp21-25/fapp24/fapp24-2000-3.xml +++++++ real/fapp21-25/fapp24/fapp24-2000-4.xml +++++++ ... |
18 | 9 | real/fapp26-30/fapp26/fapp26-2300-0.xml +++++++ real/fapp26-30/fapp26/fapp26-2300-1.xml +++++++ real/fapp26-30/fapp26/fapp26-2300-2.xml +++++++ real/fapp26-30/fapp26/fapp26-2300-3.xml +++++++ real/fapp26-30/fapp26/fapp26-2300-4.xml +++++++ ... |
19 | 9 | real/fapp26-30/fapp27/fapp27-2550-0.xml +++++++ real/fapp26-30/fapp27/fapp27-2550-1.xml +++++++ real/fapp26-30/fapp27/fapp27-2550-2.xml +++++++ real/fapp26-30/fapp27/fapp27-2550-3.xml +++++++ real/fapp26-30/fapp27/fapp27-2550-4.xml +++++++ ... |
20 | 11 | real/fapp26-30/fapp30/fapp30-3000-0.xml +++++++ real/fapp26-30/fapp30/fapp30-3000-1.xml +++++++ real/fapp26-30/fapp30/fapp30-3000-10.xml +++++++ real/fapp26-30/fapp30/fapp30-3000-2.xml +++++++ real/fapp26-30/fapp30/fapp30-3000-3.xml +++++++ ... |
21 | 4 | real/fapp31-35/fapp33/fapp33-0650-1.xml +++++++ real/fapp31-35/fapp33/fapp33-0650-2.xml +++++++ real/fapp31-35/fapp33/fapp33-0650-3.xml +++++++ real/fapp31-35/fapp33/fapp33-0650-4.xml |
22 | 3 | real/fapp31-35/fapp33/fapp33-0650-5.xml +++++++ real/fapp31-35/fapp33/fapp33-0650-6.xml +++++++ real/fapp31-35/fapp33/fapp33-0650-7.xml |
23 | 4 | real/fapp31-35/fapp34/fapp34-0750-10.xml +++++++ real/fapp31-35/fapp34/fapp34-0750-7.xml +++++++ real/fapp31-35/fapp34/fapp34-0750-8.xml +++++++ real/fapp31-35/fapp34/fapp34-0750-9.xml |
24 | 3 | real/fapp31-35/fapp34/fapp34-0750-2.xml +++++++ real/fapp31-35/fapp34/fapp34-0750-3.xml +++++++ real/fapp31-35/fapp34/fapp34-0750-4.xml |
25 | 2 | real/fapp31-35/fapp34/fapp34-0750-5.xml +++++++ real/fapp31-35/fapp34/fapp34-0750-6.xml |
26 | 2 | real/fapp31-35/fapp35/fapp35-1500-4.xml +++++++ real/fapp31-35/fapp35/fapp35-1500-5.xml |
27 | 2 | real/fapp36-40/fapp36/fapp36-2000-1.xml +++++++ real/fapp36-40/fapp36/fapp36-2000-2.xml |