Instance: rand-2-40-80-103-800-24_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:54
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 4 30 15.90 16.00 262,114 MAX VALUE 45,154.90 3.57 0.22 2.69
Relational linkage 0.05 0.28 0.15 0.15 478.29 0.00 -6,149.42 0.03 0.20 2.28
Tightness 0.79 0.81 0.80 0.80 82.52 0.00 -22.83 0.01 0.01 4.09
Tuples 1,200 1,352 1,272.40 1,273.00 131,057 MAX VALUE 736.28 33.59 0.03 4.09
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.11e+27 62.92 1.93 0.37 1.90
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: 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 2 12 5.46 5.00 153 5.33e+19 45.42 2.20 0.40 2.01
Cluster variables 3 13 6.68 6.00 187 1.43e+22 51.01 2.71 0.41 2.08
Separator constraints 0 8 1.79 1.00 50 0 None 2.04 1.14 1.58
Separator variables 0 11 5.25 5.00 147 0 None 2.63 0.50 2.08
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 9 75 29.21 25.50 1,110 MAX VALUE 121.16 18.48 0.63 3.19
Cluster variables 6 36 13.74 11.00 522 MAX VALUE 94.42 7.82 0.57 2.64
Separator constraints 0 52 16.00 13.00 608 0 None 11.28 0.70 2.89
Separator variables 0 28 11.03 9.00 419 0 None 6.07 0.55 2.66
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.07 4.07 0.00 None 0.11 1.07 2.18
Degree 2 11 5.15 5.00 206 2.11e+27 62.92 1.93 0.37 1.90
Eccentricity 3 4 3.48 3.00 139 2.88e+21 49.41 0.50 0.14 0.69
Triangulated primal graph
Density: 28.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.79 0.80 31.42 0.00 -10.80 0.18 0.23 2.74
Degree 2 28 11.25 8.00 450 2.01e+37 85.90 7.72 0.69 2.84
Eccentricity 2 3 2.62 3.00 105 2.78e+16 37.86 0.48 0.18 0.66
Dual graph
Density: 9.56%
MCB compute time (ms): 185
MCB cycles: 405
Triangles: 821
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.80 0.50 0.49 51.73 0.00 -71.87 0.07 0.14 3.33
Degree 5 16 9.75 9.00 1,004 MAX VALUE 230.22 2.76 0.28 2.34
Eccentricity 3 4 3.83 4.00 394 MAX VALUE 137.61 0.38 0.10 0.46
MCB cycle size 3 5 3.16 3.00 1,278 MAX VALUE 462.42 0.43 0.13 0.45
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 30
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 4 3.22 3.00 332 MAX VALUE 119.07 0.54 0.17 0.80
Eccentricity 6 7 6.61 7.00 681 MAX VALUE 194.26 0.49 0.07 0.67
MCB cycle size 4 9 7.12 7.00 456 MAX VALUE 124.69 1.18 0.17 1.54
Triangulated dual graph
Density: 32.12%
Triangles: 17,292
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.80 0.77 82.09 0.00 -24.44 0.12 0.15 4.15
Degree 5 62 32.76 31.00 3,374 MAX VALUE 332.72 19.79 0.60 3.51
Eccentricity 2 3 2.54 3.00 262 MAX VALUE 94.10 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 13.34%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.78 0.71 79.85 0.00 -28.92 0.18 0.23 2.91
Degree 2 39 13.61 6.00 1,402 MAX VALUE 216.27 13.24 0.97 2.84
Eccentricity 3 5 3.79 4.00 390 MAX VALUE 136.01 0.55 0.15 0.82
Incidence graph
Density: 2.03%
MCB compute time (ms): 45
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.74 0.61 1.09
Eccentricity 6 9 7.80 8.00 1,116 MAX VALUE 293.34 0.63 0.08 0.95
MCB cycle size 6 10 7.75 8.00 496 MAX VALUE 130.33 1.15 0.15 0.86