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

Instance comments



Component #1 Number of variables: 128
Number of constraints: 1170
General features
Number of coarse blocks: 23,400
Number of unique subscopes: 128
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2,340 MAX VALUE 810.98 0.00 0.00 0.00
Coarse blocks size 9 9 9.00 9.00 210,600 MAX VALUE 51,415.10 0.00 0.00 0.00
Relational linkage 0.90 0.90 0.90 0.90 1,152.00 0.00 -134.86 0.00 0.00 0.00
Tightness 0.10 0.10 0.10 0.10 117.00 0.00 -2,694.02 0.00 0.00 0.00
Tuples 90 90 90.00 90.00 105,300 MAX VALUE 5,264.78 0.00 0.00 0.00
Domain size 10 10 10.00 10.00 1,280 MAX VALUE 294.73 0.00 0.00 0.00
Constraints per subscope 3 38 18.28 17.00 2,340 MAX VALUE 349.79 9.70 0.53 3.43
Partitions per subscope 10 10 10.00 10.00 1,280 MAX VALUE 294.73 0.00 0.00 0.00
Tree decomposition
Number of clusters: 68
Number of leaves: 11
Tree depth: 18
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 244 89.38 52.50 6,078 MAX VALUE 267.45 73.25 0.82 3.95
Cluster variables 4 24 14.43 14.00 981 MAX VALUE 171.79 6.78 0.47 2.78
Separator constraints 0 204 72.18 42.00 4,908 0 None 66.11 0.92 3.83
Separator variables 0 22 12.54 12.00 853 0 None 6.90 0.55 2.85
Dual tree decomposition
Number of clusters: 125
Number of leaves: 53
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 8 4,891 768.39 411.00 96,049 MAX VALUE 727.54 982.29 1.28 4.68
Cluster variables 5 289 62.98 45.00 7,872 MAX VALUE 470.23 60.02 0.95 4.30
Separator constraints 0 2,720 558.50 290.00 69,813 0 None 642.55 1.15 4.71
Separator variables 0 219 53.62 39.00 6,702 0 None 47.30 0.88 4.21
Primal graph
Density: 14.39%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.30 1.00 0.72 0.70 91.57 0.00 -46.34 0.16 0.23 4.41
Degree 3 38 18.28 17.00 2,340 MAX VALUE 349.79 9.70 0.53 3.43
Eccentricity 5 9 7.37 7.00 943 MAX VALUE 254.02 1.14 0.15 1.49
Triangulated primal graph
Density: 19.76%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 1.00 0.79 0.77 100.50 0.00 -33.30 0.15 0.19 4.08
Degree 3 55 25.09 22.00 3,212 MAX VALUE 383.07 14.60 0.58 3.53
Eccentricity 4 7 5.73 6.00 733 MAX VALUE 221.67 0.92 0.16 1.28
Dual graph
Density: 3.84%
MCB compute time (ms): 128,770
MCB cycles: 25,485
Triangles: 225,744
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.76 0.52 0.51 608.17 0.00 -766.75 0.02 0.05 6.24
Degree 4 73 44.85 48.00 52,472 MAX VALUE 4,332.93 16.97 0.38 4.06
Eccentricity 6 10 8.08 8.00 9,452 MAX VALUE 2,434.66 1.02 0.13 1.42
MCB cycle size 3 7 3.00 3.00 76,505 MAX VALUE 28,012.20 0.05 0.02 0.01
Minimal dual graph
Density: 0.32%
MCB compute time (ms): 40,733
MCB cycles: 1,043
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 5.57 0.00 None 0.04 7.63 0.12
Degree 2 7 3.78 4.00 4,424 MAX VALUE 1,524.93 0.90 0.24 1.22
Eccentricity 11 20 16.27 16.00 19,034 MAX VALUE 3,255.68 1.84 0.11 2.01
MCB cycle size 3 11 6.58 7.00 6,864 MAX VALUE 1,939.62 1.39 0.21 1.73
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: 4.79%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 1.00 0.81 0.79 947.99 0.00 -267.58 0.15 0.19 4.24
Degree 2 295 56.04 8.00 65,572 MAX VALUE 3,169.63 86.11 1.54 3.84
Eccentricity 4 8 6.13 6.00 7,175 MAX VALUE 2,114.15 0.70 0.11 1.06
Incidence graph
Density: 0.28%
MCB compute time (ms): 5,562
MCB cycles: 1,043
Dot-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-10_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 38 3.61 2.00 4,680 MAX VALUE 1,160.77 5.73 1.59 0.66
Eccentricity 11 20 16.12 16.00 20,918 MAX VALUE 3,597.00 2.08 0.13 1.75
MCB cycle size 6 14 6.01 6.00 6,270 MAX VALUE 1,870.23 0.26 0.04 0.02