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

Instance comments



Component #1 Number of variables: 81
Number of constraints: 81
General features
Number of coarse blocks: 2,680
Number of unique subscopes: 349
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 5 4.56 5.00 369 MAX VALUE 122.07 0.59 0.13 0.82
Coarse blocks size 1 16 7.74 8.00 20,740 MAX VALUE 5,215.78 3.44 0.44 1.54
Relational linkage 0.50 1.00 0.95 1.00 1,181.44 0.00 -68.86 0.09 0.10 0.87
Tightness 0.03 0.12 0.05 0.03 3.78 0.00 -255.77 0.02 0.49 0.82
Tuples 7 31 24.28 31.00 1,967 MAX VALUE 251.87 8.48 0.35 0.82
Domain size 2 2 2.00 2.00 162 2.42e+24 56.14 0.00 0.00 0.00
Constraints per subscope 2 4 2.28 2.00 796 MAX VALUE 275.87 0.69 0.30 0.41
Partitions per subscope 2 4 3.56 4.00 1,242 MAX VALUE 430.44 0.83 0.23 0.53
Tree decomposition
Number of clusters: 53
Number of leaves: 4
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.53 1.00 81 0 None 0.72 0.47 1.06
Cluster variables 6 24 11.91 12.00 631 MAX VALUE 128.54 3.94 0.33 1.96
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 18 10.38 11.00 550 0 None 3.60 0.35 1.96
Dual tree decomposition
Number of clusters: 53
Number of leaves: 4
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 71 29.85 26.00 1,582 MAX VALUE 174.90 13.70 0.46 2.87
Cluster variables 6 24 11.91 12.00 631 MAX VALUE 128.54 3.94 0.33 1.96
Separator constraints 0 51 22.34 21.00 1,184 0 None 11.44 0.51 2.92
Separator variables 0 18 10.38 11.00 550 0 None 3.60 0.35 1.96
Primal graph
Density: 12.28%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.52 0.49 41.78 0.00 -54.20 0.06 0.12 1.58
Degree 5 12 9.83 11.00 796 MAX VALUE 182.88 2.14 0.22 1.58
Eccentricity 4 8 6.47 6.00 524 MAX VALUE 150.31 0.96 0.15 1.35
Triangulated primal graph
Density: 28.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.76 0.76 61.89 0.00 -22.65 0.11 0.14 3.76
Degree 5 50 22.99 20.00 1,862 MAX VALUE 241.42 11.92 0.52 3.20
Eccentricity 3 5 3.72 4.00 301 MAX VALUE 105.16 0.63 0.17 0.94
Dual graph
Density: 12.28%
MCB compute time (ms): 15
MCB cycles: 318
Triangles: 606
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.52 0.49 41.78 0.00 -54.20 0.06 0.12 1.58
Degree 5 12 9.83 11.00 796 MAX VALUE 182.88 2.14 0.22 1.58
Eccentricity 4 8 6.47 6.00 524 MAX VALUE 150.31 0.96 0.15 1.35
MCB cycle size 3 3 3.00 3.00 954 MAX VALUE 349.36 0.00 0.00 0.00
Minimal dual graph
Density: 8.40%
MCB compute time (ms): 8
MCB cycles: 192
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.52 0.43 41.80 0.00 -55.82 0.14 0.26 0.82
Degree 3 8 6.72 8.00 544 MAX VALUE 151.35 1.64 0.24 0.82
Eccentricity 4 8 6.96 7.00 564 MAX VALUE 156.17 1.05 0.15 1.33
MCB cycle size 3 3 3.00 3.00 576 MAX VALUE 210.93 0.00 0.00 0.00
Triangulated dual graph
Density: 28.73%
Triangles: 6,001
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.76 0.77 61.90 0.00 -22.64 0.11 0.14 3.74
Degree 5 49 22.99 20.00 1,862 MAX VALUE 241.40 11.92 0.52 3.20
Eccentricity 3 5 3.70 4.00 300 MAX VALUE 104.93 0.62 0.17 0.92
Triangulated minimal dual graph
Density: 17.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 0.74 0.71 59.75 0.00 -26.92 0.17 0.23 3.26
Degree 3 34 14.05 12.00 1,138 MAX VALUE 198.38 8.45 0.60 2.82
Eccentricity 4 7 5.04 5.00 408 MAX VALUE 130.10 0.74 0.15 1.07
Incidence graph
Density: 2.83%
MCB compute time (ms): 60
MCB cycles: 208
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-9x9_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.56 5.00 738 MAX VALUE 244.15 0.59 0.13 0.82
Eccentricity 9 17 13.44 13.00 2,178 MAX VALUE 419.37 1.86 0.14 2.02
MCB cycle size 4 4 4.00 4.00 832 MAX VALUE 288.35 0.00 0.00 0.00