Instance: rand-2-40-40-135-650-67_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:33
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.03 14.00 151,574 MAX VALUE 28,267.10 3.00 0.21 2.52
Relational linkage 0.07 0.45 0.26 0.25 408.95 0.00 -2,212.59 0.05 0.19 2.06
Tightness 0.62 0.69 0.65 0.65 87.63 0.00 -58.36 0.01 0.02 3.92
Tuples 500 602 561.38 562.00 75,787 MAX VALUE 854.53 18.89 0.03 3.92
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 11 6.75 7.00 270 1.83e+32 74.29 2.06 0.30 2.08
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: 11
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 3 34 11.57 8.00 266 1.75e+22 51.22 8.12 0.70 2.52
Cluster variables 4 18 8.65 7.00 199 3.56e+20 47.32 4.01 0.46 2.34
Separator constraints 0 25 5.70 3.00 131 0 None 6.59 1.16 2.31
Separator variables 0 16 6.91 6.00 159 0 None 3.78 0.55 2.34
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 9 147 59.74 45.00 2,270 MAX VALUE 147.97 37.11 0.62 3.40
Cluster variables 6 56 20.05 15.50 762 MAX VALUE 108.01 12.21 0.61 3.08
Separator constraints 0 84 37.08 30.50 1,409 0 None 22.59 0.61 3.46
Separator variables 0 40 16.50 13.50 627 0 None 9.32 0.56 3.01
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.33 0.16 0.17 6.45 0.00 None 0.07 0.42 2.70
Degree 3 11 6.75 7.00 270 1.83e+32 74.29 2.06 0.30 2.08
Eccentricity 3 4 3.08 3.00 123 2.88e+19 44.81 0.26 0.09 0.27
Triangulated primal graph
Density: 40.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.81 0.80 32.56 0.00 -8.81 0.14 0.17 2.89
Degree 3 29 15.60 16.50 624 MAX VALUE 100.44 9.00 0.58 2.76
Eccentricity 2 3 2.45 2.00 98 1.62e+15 35.02 0.50 0.20 0.69
Dual graph
Density: 9.52%
MCB compute time (ms): 302
MCB cycles: 792
Triangles: 1,765
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.67 0.50 0.49 67.38 0.00 -94.21 0.04 0.08 3.66
Degree 5 19 12.76 13.00 1,722 MAX VALUE 340.18 2.79 0.22 2.37
Eccentricity 3 4 3.47 3.00 468 MAX VALUE 166.44 0.50 0.14 0.69
MCB cycle size 3 5 3.17 3.00 2,513 MAX VALUE 908.16 0.44 0.14 0.49
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 58
MCB cycles: 96
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.41 3.00 460 MAX VALUE 162.86 0.67 0.20 1.01
Eccentricity 6 8 6.76 7.00 912 MAX VALUE 257.57 0.46 0.07 0.64
MCB cycle size 4 9 6.66 7.00 639 MAX VALUE 180.22 1.21 0.18 1.58
Triangulated dual graph
Density: 39.61%
Triangles: 59,893
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.82 0.78 110.23 0.00 -28.40 0.10 0.13 4.37
Degree 5 90 53.08 63.00 7,166 MAX VALUE 505.08 28.75 0.54 3.84
Eccentricity 2 3 2.46 2.00 332 MAX VALUE 118.71 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.78 0.70 105.19 0.00 -37.01 0.17 0.22 3.16
Degree 2 49 16.04 7.00 2,166 MAX VALUE 297.24 16.34 1.02 3.00
Eccentricity 3 5 3.70 4.00 500 MAX VALUE 175.32 0.53 0.14 0.78
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 11 3.09 2.00 540 MAX VALUE 167.86 2.22 0.72 1.01
Eccentricity 6 9 7.33 7.00 1,283 MAX VALUE 348.04 0.60 0.08 0.90
MCB cycle size 6 10 7.08 8.00 680 MAX VALUE 186.90 1.04 0.15 0.74