Instance: normalized-g-9x3_ext
Number of variables: 27
Number of constraints: 27
Satisfiable: None
Timestamp: 2018-04-21 10:29:11
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 27
Number of constraints: 27
General features
Number of coarse blocks: 712
Number of unique subscopes: 97
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 5 4.11 4.00 111 2.72e+16 37.84 0.63 0.15 0.94
Coarse blocks size 1 16 5.69 4.00 4,048 MAX VALUE 1,150.53 2.83 0.50 1.61
Relational linkage 0.50 1.00 0.93 1.00 317.62 0.00 -29.23 0.13 0.14 0.85
Tightness 0.03 0.12 0.06 0.06 1.72 0.00 -76.94 0.03 0.45 0.94
Tuples 7 31 17.96 15.00 485 4.34e+32 75.15 8.19 0.46 0.94
Domain size 2 2 2.00 2.00 54 134,218,000 18.71 0.00 0.00 0.00
Constraints per subscope 2 4 2.14 2.00 208 2.03e+31 72.09 0.52 0.24 0.26
Partitions per subscope 2 4 3.53 4.00 342 MAX VALUE 118.53 0.85 0.24 0.55
Tree decomposition
Number of clusters: 21
Number of leaves: 2
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 3 1.29 1.00 27 36 3.58 0.63 0.49 0.62
Cluster variables 6 7 6.90 7.00 145 4.10e+17 40.56 0.29 0.04 0.31
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 6 5.62 6.00 118 0 None 1.29 0.23 0.50
Dual tree decomposition
Number of clusters: 21
Number of leaves: 2
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 17 15.62 16.00 328 1.06e+25 57.63 1.40 0.09 1.31
Cluster variables 6 7 6.90 7.00 145 4.10e+17 40.56 0.29 0.04 0.31
Separator constraints 0 13 10.67 11.00 224 0 None 2.88 0.27 1.05
Separator variables 0 6 5.62 6.00 118 0 None 1.29 0.23 0.50
Primal graph
Density: 29.63%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.73 0.59 0.54 15.93 0.00 -14.43 0.07 0.12 1.63
Degree 5 10 7.70 8.00 208 4.70e+23 54.51 1.58 0.21 1.63
Eccentricity 3 5 4.19 4.00 113 3.98e+16 38.22 0.72 0.17 1.04
Triangulated primal graph
Density: 39.60%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.76 0.73 20.42 0.00 -7.78 0.10 0.14 2.30
Degree 5 13 10.30 11.00 278 9.49e+26 62.12 2.31 0.22 1.91
Eccentricity 2 4 3.44 3.00 93 2.14e+14 33.00 0.57 0.16 0.83
Dual graph
Density: 29.63%
MCB compute time (ms): 1
MCB cycles: 78
Triangles: 138
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.73 0.59 0.54 15.93 0.00 -14.43 0.07 0.12 1.63
Degree 5 10 7.70 8.00 208 4.70e+23 54.51 1.58 0.21 1.63
Eccentricity 3 5 4.19 4.00 113 3.98e+16 38.22 0.72 0.17 1.04
MCB cycle size 3 3 3.00 3.00 234 1.64e+37 85.69 0.00 0.00 0.00
Minimal dual graph
Density: 21.08%
MCB compute time (ms): 0
MCB cycles: 48
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.61 0.60 16.60 0.00 -14.10 0.18 0.29 0.94
Degree 3 8 5.48 5.00 148 2.59e+19 44.70 1.64 0.30 0.94
Eccentricity 4 8 6.22 6.00 168 1.44e+21 48.72 1.31 0.21 1.58
MCB cycle size 3 3 3.00 3.00 144 7.98e+22 52.73 0.00 0.00 0.00
Triangulated dual graph
Density: 39.60%
Triangles: 325
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.76 0.71 20.43 0.00 -7.77 0.11 0.14 1.96
Degree 5 14 10.30 11.00 278 9.40e+26 62.11 2.32 0.23 1.63
Eccentricity 2 4 3.48 4.00 94 2.85e+14 33.28 0.57 0.16 0.82
Triangulated minimal dual graph
Density: 24.79%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.69 0.67 18.75 0.00 -10.28 0.13 0.19 1.69
Degree 3 8 6.44 7.00 174 2.07e+21 49.08 1.66 0.26 1.45
Eccentricity 4 8 6.22 6.00 168 1.44e+21 48.72 1.31 0.21 1.58
Incidence graph
Density: 7.76%
MCB compute time (ms): 5
MCB cycles: 58
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x3_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 3 5 4.11 4.00 222 7.39e+32 75.68 0.63 0.15 0.94
Eccentricity 6 11 8.89 9.00 480 MAX VALUE 117.28 1.40 0.16 1.69
MCB cycle size 4 4 4.00 4.00 232 8.31e+34 80.41 0.00 0.00 0.00