Instance: normalized-ash331GPIA-3_ext
Number of variables: 662
Number of constraints: 4181
Satisfiable: None
Timestamp: 2018-04-21 10:06:19
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 662
Number of constraints: 4181
General features
Number of coarse blocks: 25,083
Number of unique subscopes: 661
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 8,362 MAX VALUE 2,898.05 0.00 0.00 0.00
Coarse blocks size 2 2 2.00 2.00 50,166 MAX VALUE 17,386.20 0.00 0.00 0.00
Relational linkage 0.67 0.67 0.67 0.67 1,322.00 0.00 -804.04 0.00 0.00 0.00
Tightness 0.33 0.33 0.33 0.33 1,393.67 0.00 -4,593.30 0.00 0.00 0.00
Tuples 6 6 6.00 6.00 25,086 MAX VALUE 7,491.35 0.00 0.00 0.00
Domain size 3 3 3.00 3.00 1,986 MAX VALUE 727.28 0.00 0.00 0.00
Constraints per subscope 6 23 12.65 13.00 8,361 MAX VALUE 1,660.70 2.81 0.22 2.37
Partitions per subscope 3 3 3.00 3.00 1,983 MAX VALUE 726.18 0.00 0.00 0.00
Tree decomposition
Number of clusters: 318
Number of leaves: 169
Tree depth: 33
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 143 31.55 18.00 10,032 MAX VALUE 1,011.99 25.13 0.80 3.88
Cluster variables 2 89 22.51 15.00 7,159 MAX VALUE 932.23 15.39 0.68 3.50
Separator constraints 0 110 18.40 4.00 5,851 0 None 22.22 1.21 3.19
Separator variables 0 68 20.43 14.00 6,497 0 None 13.62 0.67 3.45
Dual tree decomposition
Number of clusters: 660
Number of leaves: 330
Tree depth: 23
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 30 1,799 300.85 188.00 198,560 MAX VALUE 3,562.37 281.84 0.94 4.70
Cluster variables 9 329 52.69 32.00 34,774 MAX VALUE 2,425.05 52.42 0.99 3.98
Separator constraints 0 1,158 223.10 156.00 147,244 0 None 182.52 0.82 4.67
Separator variables 0 243 46.35 30.00 30,593 0 None 40.32 0.87 3.78
Primal graph
Density: 1.91%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.04 None None None None None 3.44
Degree 1 23 12.63 13.00 8,362 MAX VALUE 1,660.70 2.85 0.23 2.38
Eccentricity 8 16 11.56 11.00 7,651 MAX VALUE 1,611.17 1.91 0.16 1.95
Triangulated primal graph
Density: 10.09%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.77 None None None None None 5.06
Degree 1 239 66.67 45.00 44,136 MAX VALUE 2,492.30 56.03 0.84 4.73
Eccentricity 5 9 6.84 7.00 4,531 MAX VALUE 1,268.77 0.80 0.12 1.19
Dual graph
Density: 0.59%
MCB compute time (ms): None
MCB cycles: None
Triangles: 205,127
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.48 0.48 2,022.96 0.00 -3,036.50 0.01 0.03 4.04
Degree 8 44 24.55 24.00 102,632 MAX VALUE 13,282.00 5.33 0.22 3.00
Eccentricity 8 16 12.14 12.00 50,748 MAX VALUE 10,382.00 1.96 0.16 1.95
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.09%
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.01 39.58 0.01
Degree 2 6 3.68 4.00 15,400 MAX VALUE 5,385.49 0.66 0.18 0.97
Eccentricity 15 29 21.65 21.00 90,517 MAX VALUE 12,819.80 2.87 0.13 2.41
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.94%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 1.00 0.81 0.80 3,386.02 0.00 -965.10 0.16 0.20 4.65
Degree 2 743 81.17 8.00 339,382 MAX VALUE 11,865.50 136.35 1.68 4.12
Eccentricity 5 10 7.31 7.00 30,566 MAX VALUE 8,293.25 0.79 0.11 1.17
Incidence graph
Density: 0.07%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-hosExtConvert/normalized-ash331GPIA-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 23 3.45 2.00 16,724 MAX VALUE 4,558.75 3.80 1.10 0.72
Eccentricity 17 33 24.41 24.00 118,234 MAX VALUE 15,414.30 3.83 0.16 2.52
MCB cycle size None None None None None None None None None None