Instance: normalized-miles1000-39_ext
Number of variables: 128
Number of constraints: 3216
Satisfiable: None
Timestamp: 2018-04-21 10:13:54
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 128
Number of constraints: 3216
General features
Coarse blocks: 250,848
Value tables: 128
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 6,432 MAX VALUE 2,229.16 0.00 0.00 0.00
Coarse blocks size 38 38 38.00 38.00 9,532,220 MAX VALUE 912,481.00 0.00 0.00 0.00
Relational linkage 0.97 0.97 0.97 0.97 4,864.00 0.00 -129.67 0.00 0.00 0.00
Tightness 0.03 0.03 0.03 0.03 82.46 0.00 -11,782.00 0.00 0.00 0.00
Tuples 1,482 1,482 1,482.00 1,482.00 4,766,110 MAX VALUE 23,480.50 0.00 0.00 0.00
Values 39 39 39.00 39.00 4,992 MAX VALUE 468.94 0.00 0.00 0.00
Value table constraints 13 86 50.25 53.50 6,432 MAX VALUE 488.98 19.97 0.40 3.95
Value table partitions 39 39 39.00 39.00 4,992 MAX VALUE 468.94 0.00 0.00 0.00
Tree decomposition
Number of clusters: 59
Number of leaves: 4
Tree depth: 26
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 57 1,109 606.24 794.00 35,768 MAX VALUE 358.10 374.47 0.62 4.03
Cluster variables 13 51 35.12 43.00 2,072 MAX VALUE 204.62 13.10 0.37 2.95
Separator constraints 0 1,029 551.73 723.00 32,552 0 None 363.80 0.66 4.05
Separator variables 0 48 32.95 42.00 1,944 0 None 13.76 0.42 2.99
Dual tree decomposition
Number of clusters: 126
Number of leaves: 59
Tree depth: 12
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 243 53,829 7,007.37 3,832.00 882,928 MAX VALUE 1,032.91 9,391.35 1.34 4.84
Cluster variables 30 1,404 227.64 138.00 28,683 MAX VALUE 634.64 253.28 1.11 4.67
Separator constraints 0 30,382 5,547.75 3,563.50 699,016 0 None 6,102.49 1.10 4.83
Separator variables 0 999 202.12 125.00 25,467 0 None 199.52 0.99 4.67
Primal graph
Density: 39.57%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.78 100.31 0.00 -32.35 0.10 0.13 4.78
Degree 13 86 50.25 53.50 6,432 MAX VALUE 488.98 19.97 0.40 3.95
Eccentricity 3 4 3.58 4.00 458 MAX VALUE 161.91 0.49 0.14 0.68
Triangulated primal graph
Density: 46.30%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.83 0.84 106.85 0.00 -24.02 0.10 0.12 4.54
Degree 13 91 58.80 64.00 7,526 MAX VALUE 509.06 22.41 0.38 3.86
Eccentricity 2 4 3.51 4.00 449 MAX VALUE 159.20 0.52 0.15 0.73
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Dual1.pdf

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
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.12%
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 1.14 0.00 None 0.01 25.67 0.02
Degree 2 8 3.92 4.00 12,608 MAX VALUE 4,298.52 0.99 0.25 1.27
Eccentricity 10 17 13.11 13.00 42,158 MAX VALUE 8,264.13 1.12 0.09 1.52
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: 5.35%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.84 0.83 2,715.19 0.00 -587.78 0.14 0.16 4.65
Degree 2 874 171.86 9.00 552,698 MAX VALUE 10,145.00 278.29 1.62 4.24
Eccentricity 3 6 4.62 5.00 14,866 MAX VALUE 4,901.07 0.54 0.12 0.79
Incidence graph
Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-39_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 2 86 3.85 2.00 12,864 MAX VALUE 2,718.14 10.05 2.61 0.31
Eccentricity 6 10 8.44 8.00 28,210 MAX VALUE 7,104.09 1.05 0.12 1.35
MCB cycle size None None None None None None None None None None