Instance: normalized-graceful--K6-P2_ext
Number of variables: 48
Number of constraints: 696
Satisfiable: None
Timestamp: 2018-04-21 10:06:04
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 48
Number of constraints: 696
General features
Number of coarse blocks: 51,540
Number of unique subscopes: 48
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.05 2.00 1,428 MAX VALUE 497.03 0.22 0.11 0.20
Coarse blocks size 2 72 35.15 35.00 1,811,380 MAX VALUE 183,117.00 3.32 0.09 0.51
Relational linkage 0.00 0.05 0.03 0.03 47.03 0.00 -6,618.52 0.01 0.48 3.24
Tightness 0.03 0.97 0.08 0.03 53.34 0.00 -2,366.93 0.21 2.73 0.38
Tuples 1,260 1,332 1,266.83 1,260.00 881,712 MAX VALUE 4,972.32 21.09 0.02 0.31
Domain size 36 37 36.25 36.00 1,740 MAX VALUE 172.34 0.43 0.01 0.56
Constraints per subscope 11 36 29.75 36.00 1,428 MAX VALUE 157.78 10.83 0.36 0.56
Partitions per subscope 36 37 36.25 36.00 1,740 MAX VALUE 172.34 0.43 0.01 0.56
Tree decomposition
Number of clusters: 11
Number of leaves: 2
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 51 631 307.45 216.00 3,382 1.21e+26 60.06 200.34 0.65 2.40
Cluster variables 18 38 29.82 28.00 328 1.25e+16 37.07 6.44 0.22 2.15
Separator constraints 0 595 244.18 195.00 2,686 0 None 191.19 0.78 2.40
Separator variables 0 37 25.45 27.00 280 0 None 9.98 0.39 2.27
Dual tree decomposition
Number of clusters: 46
Number of leaves: 24
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 120 10,010 2,100.89 1,295.00 96,641 MAX VALUE 325.26 2,208.63 1.05 2.59
Cluster variables 21 440 112.09 71.00 5,156 MAX VALUE 202.66 97.18 0.87 1.91
Separator constraints 0 5,816 1,593.50 1,225.00 73,301 0 None 1,383.93 0.87 2.63
Separator variables 0 336 96.96 70.00 4,460 0 None 76.06 0.78 1.95
Primal graph
Density: 68.09%
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 0.91 0.82 0.91 39.46 0.00 -10.38 0.15 0.18 0.56
Degree 17 37 32.00 37.00 1,536 MAX VALUE 163.99 8.66 0.27 0.56
Eccentricity 2 2 2.00 2.00 96 2.81e+14 33.27 0.00 0.00 0.00
Triangulated primal graph
Density: 87.15%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.87 1.00 0.93 0.93 44.73 0.03 -3.45 0.05 0.05 2.73
Degree 17 47 40.96 42.50 1,966 MAX VALUE 177.37 6.61 0.16 2.57
Eccentricity 1 2 1.83 2.00 88 1.10e+12 27.73 0.37 0.20 0.45
Dual graph
Density: 9.65%
MCB compute time (ms): 392,186
MCB cycles: 23,975
Triangles: 266,560
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.53 0.51 0.51 352.26 0.00 -474.06 0.01 0.02 0.92
Degree 20 70 67.07 70.00 46,680 MAX VALUE 2,910.69 10.53 0.16 0.38
Eccentricity 2 3 2.95 3.00 2,052 MAX VALUE 750.04 0.22 0.08 0.20
MCB cycle size 3 4 3.00 3.00 71,965 MAX VALUE 26,350.70 0.04 0.01 0.01
Minimal dual graph
Density: 0.57%
MCB compute time (ms): 4,999
MCB cycles: 689
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.03 0.00 None 0.02 10.91 0.09
Degree 2 7 3.97 4.00 2,760 MAX VALUE 939.57 0.95 0.24 1.29
Eccentricity 8 15 11.27 11.00 7,843 MAX VALUE 1,681.86 1.19 0.11 1.58
MCB cycle size 3 10 5.80 6.00 3,996 MAX VALUE 1,193.66 1.25 0.22 1.43
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: 6.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.81 0.76 564.05 0.00 -158.47 0.15 0.19 4.02
Degree 2 202 48.13 10.00 33,496 MAX VALUE 1,925.60 65.25 1.36 3.78
Eccentricity 3 6 4.39 4.00 3,057 MAX VALUE 1,023.02 0.61 0.14 0.91
Incidence graph
Density: 0.52%
MCB compute time (ms): 1,486
MCB cycles: 685
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K6-P2_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 36 3.84 2.00 2,856 MAX VALUE 654.81 7.34 1.91 0.47
Eccentricity 4 6 5.84 6.00 4,344 MAX VALUE 1,309.72 0.48 0.08 0.43
MCB cycle size 6 6 6.00 6.00 4,110 MAX VALUE 1,227.36 0.00 0.00 0.00