Instance: rand-2-40-40-135-650-8_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:48
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 135
General features
Number of coarse blocks: 10,800
Number of unique subscopes: 40
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00
Coarse blocks size 3 26 14.01 14.00 151,308 MAX VALUE 28,247.60 3.00 0.21 2.52
Relational linkage 0.07 0.45 0.25 0.25 407.18 0.00 -2,218.66 0.05 0.18 2.04
Tightness 0.62 0.68 0.65 0.65 87.72 0.00 -58.23 0.01 0.02 4.00
Tuples 520 608 560.40 560.00 75,654 MAX VALUE 854.29 19.25 0.03 4.00
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 4 12 6.75 7.00 270 3.20e+32 74.85 1.87 0.28 1.90
Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Tree decomposition
Number of clusters: 23
Number of leaves: 12
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 31 12.96 9.00 298 2.39e+23 53.83 8.75 0.67 2.46
Cluster variables 5 18 9.65 8.00 222 3.45e+21 49.59 4.76 0.49 2.10
Separator constraints 0 28 7.09 3.00 163 0 None 8.45 1.19 2.30
Separator variables 0 17 7.91 6.00 182 0 None 4.73 0.60 2.20
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
Tree depth: 6
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 164 60.32 49.50 2,292 MAX VALUE 148.63 37.50 0.62 3.46
Cluster variables 7 60 20.58 16.00 782 MAX VALUE 108.98 12.69 0.62 3.07
Separator constraints 0 84 38.05 31.00 1,446 0 None 22.45 0.59 3.32
Separator variables 0 42 17.03 14.00 647 0 None 9.71 0.57 3.06
Primal graph
Density: 17.31%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.29 0.15 0.17 5.97 0.00 None 0.06 0.43 2.63
Degree 4 12 6.75 7.00 270 3.20e+32 74.85 1.87 0.28 1.90
Eccentricity 3 4 3.05 3.00 122 2.16e+19 44.52 0.22 0.07 0.20
Triangulated primal graph
Density: 42.95%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.83 0.78 33.02 0.00 -8.17 0.13 0.16 2.80
Degree 4 29 16.75 22.00 670 MAX VALUE 103.77 9.31 0.56 2.53
Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68
Dual graph
Density: 9.35%
MCB compute time (ms): 278
MCB cycles: 785
Triangles: 1,699
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 0.65 0.49 0.48 66.56 0.00 -95.86 0.04 0.08 3.57
Degree 6 21 12.53 12.00 1,692 MAX VALUE 338.20 2.67 0.21 2.37
Eccentricity 3 4 3.53 4.00 476 MAX VALUE 168.74 0.50 0.14 0.69
MCB cycle size 3 5 3.20 3.00 2,509 MAX VALUE 904.84 0.48 0.15 0.52
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 59
MCB cycles: 96
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.43 0.00 None 0.02 6.79 0.12
Degree 2 5 3.41 3.00 460 MAX VALUE 162.32 0.72 0.21 1.09
Eccentricity 6 8 6.87 7.00 927 MAX VALUE 259.55 0.62 0.09 0.93
MCB cycle size 3 9 6.59 7.00 633 MAX VALUE 179.24 1.21 0.18 1.56
Triangulated dual graph
Density: 41.36%
Triangles: 65,634
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.82 0.81 110.96 0.00 -27.41 0.10 0.12 4.41
Degree 6 94 55.42 60.00 7,482 MAX VALUE 511.59 29.46 0.53 3.78
Eccentricity 2 3 2.64 3.00 356 MAX VALUE 128.44 0.48 0.18 0.66
Triangulated minimal dual graph
Density: 11.98%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.78 0.69 105.16 0.00 -36.90 0.17 0.22 3.12
Degree 2 50 16.06 7.00 2,168 MAX VALUE 294.96 16.59 1.03 3.01
Eccentricity 3 5 3.67 4.00 496 MAX VALUE 174.36 0.50 0.14 0.71
Incidence graph
Density: 1.77%
MCB compute time (ms): 64
MCB cycles: 96
Dot-file path: None
PDF-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 12 3.09 2.00 540 MAX VALUE 168.42 2.19 0.71 0.97
Eccentricity 6 8 7.33 7.00 1,282 MAX VALUE 347.82 0.63 0.09 0.93
MCB cycle size 6 10 7.10 8.00 682 MAX VALUE 187.19 1.04 0.15 0.74