Instance: normalized-g-7x7_ext
Number of variables: 49
Number of constraints: 49
Satisfiable: None
Timestamp: 2018-04-21 10:29:07
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 49
Number of constraints: 49
General features
Number of coarse blocks: 1,528
Number of unique subscopes: 201
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 5 4.43 5.00 217 2.65e+31 72.36 0.64 0.14 0.91
Coarse blocks size 1 16 7.26 8.00 11,100 MAX VALUE 2,855.20 3.43 0.47 1.61
Relational linkage 0.50 1.00 0.95 1.00 674.94 0.00 -45.27 0.10 0.11 0.88
Tightness 0.03 0.12 0.05 0.03 2.53 0.00 -150.41 0.03 0.51 0.91
Tuples 7 31 22.51 31.00 1,103 MAX VALUE 147.79 8.91 0.40 0.91
Domain size 2 2 2.00 2.00 98 5.63e+14 33.96 0.00 0.00 0.00
Constraints per subscope 2 4 2.25 2.00 452 MAX VALUE 156.65 0.66 0.29 0.38
Partitions per subscope 2 4 3.55 4.00 714 MAX VALUE 247.45 0.83 0.23 0.53
Tree decomposition
Number of clusters: 29
Number of leaves: 4
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.69 2.00 49 0 None 0.83 0.49 1.22
Cluster variables 6 18 10.17 10.00 295 4.29e+28 65.93 3.20 0.31 1.74
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 14 8.48 9.00 246 0 None 3.04 0.36 1.74
Dual tree decomposition
Number of clusters: 29
Number of leaves: 4
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 50 25.10 22.00 728 MAX VALUE 90.89 10.86 0.43 2.44
Cluster variables 6 18 10.17 10.00 295 4.29e+28 65.93 3.20 0.31 1.74
Separator constraints 0 37 17.31 17.00 502 0 None 9.03 0.52 2.44
Separator variables 0 14 8.48 9.00 246 0 None 3.04 0.36 1.74
Primal graph
Density: 19.22%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.54 0.53 26.30 0.00 -30.90 0.07 0.13 1.71
Degree 5 12 9.22 10.00 452 MAX VALUE 107.31 2.21 0.24 1.71
Eccentricity 3 6 4.96 5.00 243 6.53e+33 77.86 0.75 0.15 1.12
Triangulated primal graph
Density: 38.01%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.78 0.77 38.25 0.00 -12.68 0.11 0.15 3.27
Degree 5 33 18.24 16.00 894 MAX VALUE 135.53 8.63 0.47 2.94
Eccentricity 3 5 3.35 3.00 164 2.80e+25 58.59 0.56 0.17 0.74
Dual graph
Density: 19.22%
MCB compute time (ms): 5
MCB cycles: 178
Triangles: 334
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.54 0.53 26.30 0.00 -30.90 0.07 0.13 1.71
Degree 5 12 9.22 10.00 452 MAX VALUE 107.31 2.21 0.24 1.71
Eccentricity 3 6 4.96 5.00 243 6.53e+33 77.86 0.75 0.15 1.12
MCB cycle size 3 3 3.00 3.00 534 MAX VALUE 195.55 0.00 0.00 0.00
Minimal dual graph
Density: 13.27%
MCB compute time (ms): 2
MCB cycles: 108
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.55 0.43 26.71 0.00 -31.40 0.16 0.29 0.91
Degree 3 8 6.37 8.00 312 2.92e+38 88.57 1.75 0.27 0.91
Eccentricity 3 6 5.29 5.00 259 1.42e+35 80.94 0.81 0.15 1.09
MCB cycle size 3 3 3.00 3.00 324 MAX VALUE 118.65 0.00 0.00 0.00
Triangulated dual graph
Density: 38.01%
Triangles: 2,231
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.78 0.79 38.23 0.00 -12.70 0.11 0.15 3.26
Degree 5 34 18.24 17.00 894 MAX VALUE 135.57 8.58 0.47 2.89
Eccentricity 2 4 3.00 3.00 147 1.18e+23 53.13 0.49 0.16 0.73
Triangulated minimal dual graph
Density: 24.66%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.74 0.70 36.15 0.00 -16.02 0.16 0.22 2.70
Degree 3 24 11.84 10.00 580 MAX VALUE 112.38 6.57 0.56 2.53
Eccentricity 3 6 4.12 4.00 202 6.23e+29 68.60 0.75 0.18 1.11
Incidence graph
Density: 4.57%
MCB compute time (ms): 16
MCB cycles: 120
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-7x7_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.43 5.00 434 MAX VALUE 144.71 0.64 0.14 0.91
Eccentricity 7 13 10.43 10.00 1,022 MAX VALUE 228.77 1.46 0.14 1.77
MCB cycle size 4 4 4.00 4.00 480 MAX VALUE 166.35 0.00 0.00 0.00