Instance: rand-2-40-80-103-800-65_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:51
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 103
General features
Number of coarse blocks: 16,480
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 3 31 15.92 16.00 262,432 MAX VALUE 45,181.60 3.55 0.22 2.68
Relational linkage 0.04 0.28 0.15 0.15 482.05 0.00 -6,124.20 0.03 0.20 2.29
Tightness 0.78 0.81 0.80 0.80 82.50 0.00 -22.86 0.01 0.01 4.12
Tuples 1,202 1,385 1,273.94 1,272.00 131,216 MAX VALUE 736.40 32.03 0.03 4.12
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 11 5.15 5.00 206 2.10e+27 62.91 1.84 0.36 1.89
Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
Number of leaves: 14
Tree depth: 5
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 13 6.07 5.50 170 1.18e+20 46.21 3.24 0.53 2.21
Cluster variables 3 13 6.82 6.00 191 1.80e+22 51.25 2.94 0.43 2.07
Separator constraints 0 10 2.39 1.00 67 0 None 2.83 1.18 1.90
Separator variables 0 11 5.39 5.00 151 0 None 2.88 0.53 2.07
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 4 77 30.26 26.50 1,150 MAX VALUE 121.35 18.39 0.61 3.26
Cluster variables 4 37 13.76 11.00 523 MAX VALUE 94.45 7.70 0.56 2.79
Separator constraints 0 45 17.24 16.50 655 0 None 11.20 0.65 3.25
Separator variables 0 26 11.05 9.50 420 0 None 5.90 0.53 2.77
Primal graph
Density: 13.21%
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.33 0.10 0.10 4.03 0.00 None 0.09 0.92 2.21
Degree 2 11 5.15 5.00 206 2.10e+27 62.91 1.84 0.36 1.89
Eccentricity 3 5 3.83 4.00 153 1.42e+23 53.31 0.49 0.13 0.72
Triangulated primal graph
Density: 29.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.79 0.75 31.66 0.00 -10.54 0.19 0.24 2.64
Degree 2 27 11.45 9.00 458 2.50e+37 86.11 7.77 0.68 2.78
Eccentricity 2 3 2.75 3.00 110 2.11e+17 39.89 0.43 0.16 0.56
Dual graph
Density: 9.42%
MCB compute time (ms): 164
MCB cycles: 405
Triangles: 774
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 0.82 0.49 0.48 50.92 0.00 -73.49 0.07 0.14 3.15
Degree 3 17 9.61 10.00 990 MAX VALUE 229.08 2.56 0.27 2.26
Eccentricity 4 5 4.05 4.00 417 MAX VALUE 143.90 0.21 0.05 0.19
MCB cycle size 3 6 3.18 3.00 1,287 MAX VALUE 464.64 0.47 0.15 0.49
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 37
MCB cycles: 64
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.22 3.00 332 MAX VALUE 118.35 0.65 0.20 0.99
Eccentricity 6 8 6.86 7.00 707 MAX VALUE 198.02 0.59 0.09 0.89
MCB cycle size 4 9 6.73 7.00 431 MAX VALUE 120.69 1.35 0.20 1.65
Triangulated dual graph
Density: 32.19%
Triangles: 17,191
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.80 0.77 82.01 0.00 -24.66 0.12 0.15 3.96
Degree 3 60 32.84 31.00 3,382 MAX VALUE 333.30 19.61 0.60 3.57
Eccentricity 2 4 2.85 3.00 294 MAX VALUE 106.02 0.55 0.19 0.81
Triangulated minimal dual graph
Density: 12.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.76 0.67 78.38 0.00 -31.41 0.19 0.25 2.86
Degree 2 37 12.29 5.00 1,266 MAX VALUE 207.36 11.98 0.97 2.75
Eccentricity 3 5 3.80 4.00 391 MAX VALUE 136.29 0.55 0.14 0.81
Incidence graph
Density: 2.03%
MCB compute time (ms): 55
MCB cycles: 64
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 11 2.88 2.00 412 MAX VALUE 134.31 1.72 0.60 1.05
Eccentricity 7 10 8.29 8.00 1,186 MAX VALUE 302.08 0.66 0.08 0.96
MCB cycle size 6 12 7.81 8.00 500 MAX VALUE 130.54 1.40 0.18 1.04