Instance: normalized-myciel5-5_ext
Number of variables: 47
Number of constraints: 236
Satisfiable: None
Timestamp: 2018-04-21 10:09:00
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 47
Number of constraints: 236
General features
Number of coarse blocks: 2,360
Number of unique subscopes: 47
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 472 MAX VALUE 163.58 0.00 0.00 0.00
Coarse blocks size 4 4 4.00 4.00 9,440 MAX VALUE 3,271.65 0.00 0.00 0.00
Relational linkage 0.80 0.80 0.80 0.80 188.00 0.00 -52.44 0.00 0.00 0.00
Tightness 0.20 0.20 0.20 0.20 47.20 0.00 -379.83 0.00 0.00 0.00
Tuples 20 20 20.00 20.00 4,720 MAX VALUE 706.99 0.00 0.00 0.00
Domain size 5 5 5.00 5.00 235 7.11e+32 75.64 0.00 0.00 0.00
Constraints per subscope 5 23 10.04 9.00 472 MAX VALUE 104.45 4.39 0.44 2.30
Partitions per subscope 5 5 5.00 5.00 235 7.11e+32 75.64 0.00 0.00 0.00
Tree decomposition
Number of clusters: 26
Number of leaves: 22
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 5 66 15.62 7.00 406 2.96e+25 58.65 20.41 1.31 1.92
Cluster variables 6 22 10.04 8.00 261 8.76e+24 57.43 5.13 0.51 1.79
Separator constraints 0 60 6.54 0.00 170 0 None 18.16 2.78 0.48
Separator variables 0 21 8.23 7.00 214 0 None 4.83 0.59 1.86
Dual tree decomposition
Number of clusters: 45
Number of leaves: 20
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 64 851 199.36 124.00 8,971 MAX VALUE 224.71 181.78 0.91 3.16
Cluster variables 16 131 36.13 23.00 1,626 MAX VALUE 152.07 27.41 0.76 2.95
Separator constraints 0 483 141.87 99.00 6,384 0 None 110.71 0.78 3.25
Separator variables 0 97 30.89 22.00 1,390 0 None 21.02 0.68 2.93
Primal graph
Density: 21.83%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-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 5 23 10.04 9.00 472 MAX VALUE 104.45 4.39 0.44 2.30
Eccentricity 2 2 2.00 2.00 94 1.41e+14 32.58 0.00 0.00 0.00
Triangulated primal graph
Density: 41.17%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.39 1.00 0.85 0.86 40.10 0.00 -8.49 0.16 0.19 1.92
Degree 5 46 18.94 24.00 890 MAX VALUE 126.39 11.78 0.62 2.51
Eccentricity 1 2 1.98 2.00 93 7.04e+13 31.88 0.14 0.07 0.10
Dual graph
Density: 9.33%
MCB compute time (ms): 3,095
MCB cycles: 2,735
Triangles: 10,616
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.73 0.55 0.53 129.65 0.00 -143.46 0.08 0.14 3.37
Degree 15 33 21.92 21.00 5,174 MAX VALUE 723.41 4.62 0.21 2.66
Eccentricity 3 3 3.00 3.00 708 MAX VALUE 259.27 0.00 0.00 0.00
MCB cycle size 3 5 3.27 3.00 8,955 MAX VALUE 3,209.04 0.57 0.18 0.64
Minimal dual graph
Density: 1.53%
MCB compute time (ms): 183
MCB cycles: 191
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 6 3.60 3.00 850 MAX VALUE 296.76 0.82 0.23 1.10
Eccentricity 6 9 7.63 8.00 1,801 MAX VALUE 478.56 0.72 0.09 1.08
MCB cycle size 4 9 6.25 6.00 1,193 MAX VALUE 345.55 1.30 0.21 1.63
Triangulated dual graph
Density: 53.18%
Triangles: 604,690
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.86 0.84 202.65 0.00 -36.66 0.07 0.08 4.87
Degree 15 180 124.98 157.50 29,496 MAX VALUE 1,091.94 57.47 0.46 3.85
Eccentricity 2 3 2.18 2.00 514 MAX VALUE 180.61 0.38 0.18 0.47
Triangulated minimal dual graph
Density: 10.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.80 0.75 188.65 0.00 -57.51 0.16 0.20 3.33
Degree 2 78 23.64 7.00 5,578 MAX VALUE 565.47 27.55 1.17 3.13
Eccentricity 3 5 3.81 4.00 898 MAX VALUE 312.77 0.56 0.15 0.83
Incidence graph
Density: 1.18%
MCB compute time (ms): 183
MCB cycles: 190
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-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 23 3.34 2.00 944 MAX VALUE 268.04 3.49 1.05 0.83
Eccentricity 5 6 5.83 6.00 1,651 MAX VALUE 498.50 0.37 0.06 0.45
MCB cycle size 8 10 8.01 8.00 1,522 MAX VALUE 395.32 0.14 0.02 0.03