Instance: normalized-ash608GPIA-3_ext
Number of variables: 1216
Number of constraints: 7844
Satisfiable: None
Timestamp: 2018-04-21 10:06:14
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1216
Number of constraints: 7844
General features
Number of coarse blocks: 47,061
Number of unique subscopes: 1,215
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 15,688 MAX VALUE 5,437.05 0.00 0.00 0.00
Coarse blocks size 2 2 2.00 2.00 94,122 MAX VALUE 32,620.20 0.00 0.00 0.00
Relational linkage 0.67 0.67 0.67 0.67 2,430.00 0.00 -1,477.92 0.00 0.00 0.00
Tightness 0.33 0.33 0.33 0.33 2,614.67 0.00 -8,617.51 0.00 0.00 0.00
Tuples 6 6 6.00 6.00 47,064 MAX VALUE 14,054.60 0.00 0.00 0.00
Domain size 3 3 3.00 3.00 3,648 MAX VALUE 1,335.91 0.00 0.00 0.00
Constraints per subscope 5 20 12.91 13.00 15,687 MAX VALUE 3,080.28 2.65 0.21 2.38
Partitions per subscope 3 3 3.00 3.00 3,645 MAX VALUE 1,334.81 0.00 0.00 0.00
Tree decomposition
Number of clusters: 584
Number of leaves: 315
Tree depth: 28
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 213 37.26 19.00 21,761 MAX VALUE 1,911.07 35.72 0.96 4.02
Cluster variables 2 125 25.67 16.00 14,991 MAX VALUE 1,765.93 19.92 0.78 3.69
Separator constraints 0 162 23.83 4.00 13,917 0 None 31.56 1.32 3.41
Separator variables 0 100 23.59 15.00 13,775 0 None 17.33 0.73 3.68
Dual tree decomposition
Number of clusters: 1,214
Number of leaves: 601
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 2,138 324.92 211.00 394,451 MAX VALUE 6,641.08 306.01 0.94 4.92
Cluster variables 6 472 56.74 33.00 68,882 MAX VALUE 4,515.90 61.21 1.08 4.16
Separator constraints 0 1,494 244.44 182.00 296,754 0 None 200.31 0.82 4.84
Separator variables 0 334 50.28 32.00 61,038 0 None 47.26 0.94 4.02
Primal graph
Density: 1.06%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.03 None None None None None 3.44
Degree 1 20 12.90 13.00 15,688 MAX VALUE 3,080.28 2.67 0.21 2.39
Eccentricity 9 16 12.00 12.00 14,591 MAX VALUE 3,012.25 1.47 0.12 1.79
Triangulated primal graph
Density: 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
Dual graph
Density: 0.32%
MCB compute time (ms): None
MCB cycles: None
Triangles: 391,510
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.48 0.48 3,798.17 0.00 -5,690.17 0.01 0.02 4.14
Degree 5 38 24.91 25.00 195,394 MAX VALUE 25,071.50 4.66 0.19 2.95
Eccentricity 9 16 12.23 12.00 95,927 MAX VALUE 19,591.70 1.34 0.11 1.69
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 0.67 0.00 None 0.00 54.23 0.00
Degree 2 6 3.69 4.00 28,944 MAX VALUE 10,112.20 0.68 0.18 0.99
Eccentricity 17 29 23.57 24.00 184,875 MAX VALUE 24,743.90 2.42 0.10 2.26
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: 1.40%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.39 1.00 0.81 0.80 6,368.22 0.00 -1,794.59 0.16 0.20 4.88
Degree 2 1,006 109.80 8.00 861,274 MAX VALUE 22,907.50 199.91 1.82 4.28
Eccentricity 5 9 6.52 7.00 51,174 MAX VALUE 14,657.00 0.76 0.12 1.15
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash608GPIA-3_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.00 None None None None None 0.00
Degree 1 20 3.46 2.00 31,376 MAX VALUE 8,517.33 3.84 1.11 0.71
Eccentricity 18 33 24.83 25.00 224,934 MAX VALUE 29,044.10 2.73 0.11 2.38
MCB cycle size None None None None None None None None None None