Instance: normalized-ii-8c1_ext
Number of variables: 1020
Number of constraints: 3565
Satisfiable: None
Timestamp: 2018-04-21 10:33:50
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1020
Number of constraints: 3565
General features
Number of coarse blocks: 101,260
Number of unique subscopes: 1,850
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 10 2.31 2.00 8,250 MAX VALUE 2,721.48 1.39 0.60 0.22
Coarse blocks size 1 512 11.14 4.00 1,128,030 MAX VALUE 142,839.00 45.68 4.10 1.65
Relational linkage 0.50 1.00 0.98 1.00 42,122.90 0.00 -1,241.24 0.10 0.10 0.34
Tightness 0.00 0.25 0.24 0.25 848.08 0.00 -5,718.46 0.05 0.22 0.22
Tuples 3 1,023 22.91 3.00 81,675 MAX VALUE 4,742.64 110.96 4.84 0.22
Domain size 2 2 2.00 2.00 2,040 MAX VALUE 707.01 0.00 0.00 0.00
Constraints per subscope 2 27 5.43 2.00 10,050 MAX VALUE 2,408.85 5.46 1.00 1.42
Partitions per subscope 2 128 23.26 2.00 43,040 MAX VALUE 3,770.72 33.40 1.44 1.35
Tree decomposition
Number of clusters: 686
Number of leaves: 75
Tree depth: 27
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 176 15.38 1.00 10,552 0 None 41.16 2.68 2.01
Cluster variables 2 206 19.31 11.00 13,250 MAX VALUE 1,849.74 20.64 1.07 1.93
Separator constraints 0 158 10.19 0.00 6,987 0 None 33.94 3.33 1.28
Separator variables 0 170 17.83 10.00 12,230 0 None 18.54 1.04 1.92
Dual tree decomposition
Number of clusters: 950
Number of leaves: 390
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 37 1,069 198.99 164.00 189,036 MAX VALUE 4,552.91 209.34 1.05 3.20
Cluster variables 10 180 33.34 26.00 31,677 MAX VALUE 2,998.40 33.63 1.01 2.79
Separator constraints 0 614 151.76 137.00 144,176 0 None 141.20 0.93 3.20
Separator variables 0 133 29.59 25.00 28,112 0 None 26.89 0.91 2.78
Primal graph
Density: 1.11%
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.80 None 0.37 None None None None None 1.40
Degree 1 27 11.34 10.00 11,570 MAX VALUE 2,402.91 4.17 0.37 1.79
Eccentricity 5 8 6.18 6.00 6,300 MAX VALUE 1,843.59 1.02 0.17 1.31
Triangulated primal graph
Density: 8.99%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 None 0.79 None None None None None 4.96
Degree 1 363 91.61 26.00 93,444 MAX VALUE 3,773.85 110.76 1.21 4.20
Eccentricity 3 5 3.86 4.00 3,940 MAX VALUE 1,362.52 0.68 0.18 1.00
Dual graph
Density: 0.71%
MCB compute time (ms): None
MCB cycles: None
Triangles: 224,960
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.59 0.57 2,101.18 0.00 None 0.10 0.17 2.72
Degree 9 37 25.17 26.00 89,720 MAX VALUE 11,308.20 6.76 0.27 2.45
Eccentricity 5 8 6.10 6.00 21,760 MAX VALUE 6,433.04 0.59 0.10 0.79
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.10%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 10.00 0.00 None 0.03 9.49 0.10
Degree 2 10 3.65 4.00 13,020 MAX VALUE 4,543.14 0.86 0.23 0.91
Eccentricity 10 17 13.70 14.00 48,855 MAX VALUE 9,313.74 1.38 0.10 1.72
MCB cycle size None None None None None None None None None None
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 0.94%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.79 0.72 2,814.57 0.00 -951.13 0.18 0.23 4.10
Degree 2 683 33.62 8.00 119,858 MAX VALUE 8,979.48 63.06 1.88 3.63
Eccentricity 4 7 5.09 5.00 18,131 MAX VALUE 5,774.33 0.58 0.12 0.88
Incidence graph
Density: 0.08%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c1_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.46
Degree 1 27 3.60 2.00 16,500 MAX VALUE 4,502.45 3.97 1.10 0.85
Eccentricity 10 16 12.92 13.00 59,240 MAX VALUE 11,707.30 1.33 0.10 1.41
MCB cycle size None None None None None None None None None None