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
Coarse blocks: 23,400
Value tables: 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
DomSize 10 10 10.00 10.00 1,280 MAX VALUE 294.73 0.00 0.00 0.00
Value table constraints 3 38 18.28 17.00 2,340 MAX VALUE 349.79 9.70 0.53 3.43
Value table partitions 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
CIR: None
Independent Cluster Pairs: None
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
JSON-file path: None
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
Variables per cluster 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
CIR: None
Independent Cluster Pairs: None
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
JSON-file path: None
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
Variables per cluster 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%
MCB compute time (ms): None
MCB cycles: None
Triangles: 6,071
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
JSON-file path: None
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
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 19.76%
MCB compute time (ms): None
MCB cycles: None
Triangles: 12,449
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
MCB cycle size None None None None None None None None None None
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
JSON-file path: None
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
JSON-file path: None
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