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

Instance comments



Component #1 Number of variables: 35
Number of constraints: 345
General features
Number of coarse blocks: 17,965
Number of unique subscopes: 35
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.07 2.00 715 MAX VALUE 249.27 0.26 0.13 0.26
Coarse blocks size 2 50 24.20 24.00 434,750 MAX VALUE 57,086.30 2.73 0.11 0.63
Relational linkage 0.00 0.07 0.04 0.04 34.04 0.00 -3,036.42 0.02 0.47 2.78
Tightness 0.04 0.96 0.11 0.04 36.81 0.00 -1,031.81 0.24 2.24 0.48
Tuples 600 650 606.52 600.00 209,250 MAX VALUE 2,210.54 16.84 0.03 0.39
Domain size 25 26 25.29 25.00 885 MAX VALUE 113.05 0.45 0.02 0.60
Constraints per subscope 9 25 20.43 25.00 715 MAX VALUE 102.44 7.23 0.35 0.60
Partitions per subscope 25 26 25.29 25.00 885 MAX VALUE 113.05 0.45 0.02 0.60
Tree decomposition
Number of clusters: 9
Number of leaves: 2
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 35 301 152.33 110.00 1,371 6.04e+18 43.25 92.88 0.61 2.20
Cluster variables 15 27 22.11 21.00 199 1.08e+12 27.71 3.96 0.18 1.89
Separator constraints 0 276 114.00 95.00 1,026 0 None 88.39 0.78 2.20
Separator variables 0 26 18.22 20.00 164 0 None 7.36 0.40 2.04
Dual tree decomposition
Number of clusters: 33
Number of leaves: 17
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 80 3,328 879.30 623.00 29,017 MAX VALUE 207.42 823.23 0.94 2.47
Cluster variables 17 216 68.52 49.00 2,261 MAX VALUE 131.25 51.22 0.75 1.83
Separator constraints 0 1,981 641.12 575.00 21,157 0 None 516.99 0.81 2.47
Separator variables 0 168 58.06 48.00 1,916 0 None 40.26 0.69 1.83
Primal graph
Density: 66.39%
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 0.88 0.79 0.88 27.53 0.00 -9.07 0.14 0.18 0.60
Degree 14 26 22.57 26.00 790 MAX VALUE 107.84 5.42 0.24 0.60
Eccentricity 2 2 2.00 2.00 70 3.44e+10 24.26 0.00 0.00 0.00
Triangulated primal graph
Density: 86.55%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.86 1.00 0.93 0.93 32.39 0.06 -2.77 0.05 0.06 2.54
Degree 14 34 29.43 31.00 1,030 MAX VALUE 117.80 4.72 0.16 2.39
Eccentricity 1 2 1.80 2.00 63 268,435,000 19.41 0.40 0.22 0.50
Dual graph
Density: 13.25%
MCB compute time (ms): 32,721
MCB cycles: 7,878
Triangles: 60,860
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.53 0.51 0.51 174.84 0.00 -234.72 0.02 0.04 1.03
Degree 16 48 45.57 48.00 15,720 MAX VALUE 1,309.03 7.62 0.17 0.48
Eccentricity 2 3 2.93 3.00 1,010 MAX VALUE 368.88 0.26 0.09 0.26
MCB cycle size 3 4 3.00 3.00 23,650 MAX VALUE 8,659.47 0.05 0.01 0.01
Minimal dual graph
Density: 1.15%
MCB compute time (ms): 582
MCB cycles: 340
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 1.13 0.00 None 0.02 7.34 0.15
Degree 2 6 3.94 4.00 1,360 MAX VALUE 464.18 0.91 0.23 1.27
Eccentricity 7 12 9.25 9.00 3,190 MAX VALUE 765.76 0.89 0.10 1.30
MCB cycle size 3 8 5.63 6.00 1,914 MAX VALUE 579.58 1.18 0.21 1.47
Triangulated dual graph
Density: 64.39%
Triangles: 2,735,560
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.88 0.88 304.32 0.00 -43.98 0.06 0.06 2.72
Degree 16 294 221.51 261.00 76,420 MAX VALUE 1,816.25 81.51 0.37 2.73
Eccentricity 2 3 2.11 2.00 727 MAX VALUE 254.14 0.31 0.15 0.34
Triangulated minimal dual graph
Density: 8.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.79 0.75 273.94 0.00 -87.12 0.17 0.21 3.69
Degree 2 115 29.15 10.00 10,056 MAX VALUE 889.36 34.07 1.17 3.59
Eccentricity 3 5 4.20 4.00 1,448 MAX VALUE 490.93 0.62 0.15 0.93
Incidence graph
Density: 0.99%
MCB compute time (ms): 226
MCB cycles: 336
Dot-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-P2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/gracefulExtConvert/normalized-graceful--K5-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 25 3.76 2.00 1,430 MAX VALUE 351.72 5.75 1.53 0.60
Eccentricity 4 6 5.78 6.00 2,195 MAX VALUE 664.35 0.55 0.10 0.54
MCB cycle size 6 6 6.00 6.00 2,016 MAX VALUE 602.03 0.00 0.00 0.00