Instance: normalized-ii-8c2_ext
Number of variables: 1900
Number of constraints: 7599
Satisfiable: None
Timestamp: 2018-04-21 10:34:33
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1900
Number of constraints: 7599
General features
Number of coarse blocks: 160,700
Number of unique subscopes: 3,050
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 10 2.22 2.00 16,850 MAX VALUE 5,630.04 1.19 0.54 0.16
Coarse blocks size 1 512 11.78 4.00 1,892,610 MAX VALUE 214,501.00 52.45 4.45 1.66
Relational linkage 0.50 1.00 0.97 1.00 61,789.20 0.00 -2,247.52 0.11 0.11 0.37
Tightness 0.00 0.25 0.24 0.25 1,838.24 0.00 -11,679.50 0.04 0.18 0.16
Tuples 3 1,023 19.24 3.00 146,217 MAX VALUE 9,564.32 109.42 5.69 0.16
Domain size 2 2 2.00 2.00 3,800 MAX VALUE 1,316.98 0.00 0.00 0.00
Constraints per subscope 2 57 6.41 2.00 19,550 MAX VALUE 4,130.59 9.07 1.42 1.31
Partitions per subscope 2 128 20.80 2.00 63,440 MAX VALUE 5,600.63 33.18 1.60 1.22
Tree decomposition
Number of clusters: 1,727
Number of leaves: 119
Tree depth: 34
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 237 7.09 5.00 12,243 MAX VALUE 1,996.88 19.51 2.75 1.30
Cluster variables 2 167 29.38 15.00 50,746 MAX VALUE 5,246.36 26.75 0.91 2.13
Separator constraints 0 187 2.69 0.00 4,644 0 None 17.99 6.69 0.49
Separator variables 0 151 28.28 14.00 48,846 0 None 26.54 0.94 2.13
Dual tree decomposition
Number of clusters: 1,830
Number of leaves: 820
Tree depth: 17
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 27 4,667 593.70 420.00 1,086,460 MAX VALUE 9,823.70 737.85 1.24 3.25
Cluster variables 10 392 50.81 44.00 92,990 MAX VALUE 6,210.26 60.23 1.19 2.93
Separator constraints 0 2,580 500.55 369.00 916,014 0 None 547.43 1.09 3.25
Separator variables 0 299 46.66 43.00 85,391 0 None 49.86 1.07 2.95
Primal graph
Density: 0.65%
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_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.13
Degree 1 57 12.34 10.00 23,450 MAX VALUE 4,504.05 9.18 0.74 1.42
Eccentricity 5 8 5.90 6.00 11,210 MAX VALUE 3,352.88 0.87 0.15 1.14
Triangulated primal graph
Density: 3.53%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.15 1.00 None 0.82 None None None None None 3.90
Degree 1 704 67.10 27.00 127,486 MAX VALUE 6,646.82 110.24 1.64 3.70
Eccentricity 3 5 3.61 4.00 6,859 MAX VALUE 2,413.82 0.59 0.16 0.87
Dual graph
Density: 0.59%
MCB compute time (ms): None
MCB cycles: None
Triangles: 2,014,150
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.72 0.73 5,453.19 0.00 None 0.09 0.12 2.46
Degree 9 81 44.86 51.00 340,900 MAX VALUE 28,062.60 15.22 0.34 2.47
Eccentricity 5 8 6.06 6.00 46,067 MAX VALUE 13,666.20 0.53 0.09 0.73
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.05%
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 7.00 0.00 None 0.01 15.99 0.04
Degree 2 10 3.70 4.00 28,100 MAX VALUE 9,796.03 0.83 0.22 0.81
Eccentricity 15 25 20.08 20.00 152,583 MAX VALUE 22,742.20 2.35 0.12 2.21
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.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.80 0.75 6,083.85 0.00 -1,904.76 0.18 0.22 4.28
Degree 2 1,329 50.97 8.00 387,342 MAX VALUE 20,142.00 113.24 2.22 3.83
Eccentricity 4 7 5.30 5.00 40,253 MAX VALUE 12,615.50 0.62 0.12 0.94
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-iiExtConvert/normalized-ii-8c2_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.25
Degree 1 57 3.55 2.00 33,700 MAX VALUE 8,829.46 5.60 1.58 0.64
Eccentricity 10 16 12.76 13.00 121,214 MAX VALUE 24,144.80 1.20 0.09 1.31
MCB cycle size None None None None None None None None None None