Instance: normalized-myciel4-5_ext
Number of variables: 23
Number of constraints: 71
Satisfiable: None
Timestamp: 2018-04-21 10:08:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 23
Number of constraints: 71
General features
Number of coarse blocks: 710
Number of unique subscopes: 23
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 142 2.36e+21 49.21 0.00 0.00 0.00
Coarse blocks size 4 4 4.00 4.00 2,840 MAX VALUE 984.27 0.00 0.00 0.00
Relational linkage 0.80 0.80 0.80 0.80 92.00 0.00 -25.66 0.00 0.00 0.00
Tightness 0.20 0.20 0.20 0.20 14.20 0.00 -114.27 0.00 0.00 0.00
Tuples 20 20 20.00 20.00 1,420 MAX VALUE 212.70 0.00 0.00 0.00
Domain size 5 5 5.00 5.00 115 1.19e+16 37.02 0.00 0.00 0.00
Constraints per subscope 4 11 6.17 6.00 142 5.38e+17 40.83 1.93 0.31 1.62
Partitions per subscope 5 5 5.00 5.00 115 1.19e+16 37.02 0.00 0.00 0.00
Tree decomposition
Number of clusters: 12
Number of leaves: 11
Tree depth: 1
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 20 5.92 5.00 71 384,000,000 19.77 4.29 0.73 1.14
Cluster variables 5 12 6.17 6.00 74 2.04e+09 21.44 1.86 0.30 1.14
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 6 4.25 4.50 51 0 None 1.42 0.33 1.14
Dual tree decomposition
Number of clusters: 21
Number of leaves: 10
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 25 109 49.95 34.00 1,049 2.97e+34 79.38 27.56 0.55 2.40
Cluster variables 10 37 17.29 13.00 363 1.12e+25 57.68 8.51 0.49 2.14
Separator constraints 0 70 30.43 24.00 639 0 None 17.18 0.56 2.20
Separator variables 0 29 13.90 10.00 292 0 None 6.78 0.49 2.14
Primal graph
Density: 28.06%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Primal1.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 4 11 6.17 6.00 142 5.38e+17 40.83 1.93 0.31 1.62
Eccentricity 2 2 2.00 2.00 46 8,388,610 15.94 0.00 0.00 0.00
Triangulated primal graph
Density: 46.25%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.83 0.75 19.02 0.01 -4.98 0.18 0.22 1.29
Degree 4 22 10.17 14.00 234 2.76e+21 49.37 5.54 0.54 1.74
Eccentricity 1 2 1.96 2.00 45 4,194,300 15.25 0.20 0.10 0.18
Dual graph
Density: 16.50%
MCB compute time (ms): 50
MCB cycles: 368
Triangles: 755
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.62 0.50 0.49 35.80 0.00 -49.00 0.05 0.11 2.15
Degree 9 15 11.55 12.00 820 MAX VALUE 172.88 1.76 0.15 1.78
Eccentricity 3 3 3.00 3.00 213 7.51e+33 78.00 0.00 0.00 0.00
MCB cycle size 3 5 3.27 3.00 1,202 MAX VALUE 431.13 0.56 0.17 0.64
Minimal dual graph
Density: 4.79%
MCB compute time (ms): 10
MCB cycles: 49
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 5 3.35 3.00 238 4.28e+36 84.35 0.69 0.21 1.04
Eccentricity 5 8 6.21 6.00 441 MAX VALUE 129.29 0.65 0.10 0.97
MCB cycle size 4 8 5.69 6.00 279 4.50e+36 84.40 1.03 0.18 1.42
Triangulated dual graph
Density: 54.29%
Triangles: 15,573
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.84 0.83 59.75 0.00 -12.60 0.09 0.10 3.74
Degree 9 58 38.00 44.00 2,698 MAX VALUE 248.16 16.08 0.42 3.23
Eccentricity 2 3 2.15 2.00 153 2.04e+23 53.67 0.36 0.17 0.43
Triangulated minimal dual graph
Density: 15.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.75 0.67 53.14 0.00 -23.06 0.20 0.26 2.69
Degree 2 29 10.54 7.00 748 MAX VALUE 141.13 8.79 0.83 2.67
Eccentricity 3 5 3.65 4.00 259 MAX VALUE 91.11 0.53 0.15 0.78
Incidence graph
Density: 3.25%
MCB compute time (ms): 14
MCB cycles: 49
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel4-5_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 11 3.02 2.00 284 MAX VALUE 90.04 2.03 0.67 0.95
Eccentricity 5 6 5.76 6.00 541 MAX VALUE 164.23 0.43 0.07 0.56
MCB cycle size 8 10 8.04 8.00 394 MAX VALUE 102.12 0.28 0.04 0.10