Instance: rand-2-40-80-103-800-20_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:52
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 31 15.97 16.00 263,148 MAX VALUE 45,218.20 3.60 0.23 2.70
Relational linkage 0.05 0.26 0.15 0.15 480.44 0.00 -6,135.37 0.03 0.20 2.29
Tightness 0.79 0.81 0.80 0.80 82.44 0.00 -22.93 0.00 0.01 4.11
Tuples 1,187 1,346 1,277.42 1,278.00 131,574 MAX VALUE 736.69 31.48 0.02 4.11
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 12 5.15 5.00 206 8.96e+26 62.06 2.15 0.42 1.98
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: 27
Number of leaves: 13
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 16 5.56 5.00 150 3.27e+18 42.63 3.06 0.55 2.03
Cluster variables 3 14 6.22 5.00 168 2.18e+20 46.83 2.83 0.46 2.10
Separator constraints 0 7 1.74 1.00 47 0 None 1.97 1.13 1.70
Separator variables 0 11 4.74 4.00 128 0 None 2.56 0.54 2.10
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 4 109 31.82 21.50 1,209 MAX VALUE 121.27 24.74 0.78 3.22
Cluster variables 4 35 13.92 11.00 529 MAX VALUE 94.27 8.17 0.59 2.88
Separator constraints 0 79 18.13 13.00 689 0 None 15.11 0.83 3.09
Separator variables 0 27 11.21 10.00 426 0 None 6.31 0.56 2.74
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.67 0.11 0.10 4.26 0.00 None 0.12 1.16 2.12
Degree 2 12 5.15 5.00 206 8.96e+26 62.06 2.15 0.42 1.98
Eccentricity 3 5 3.67 4.00 147 2.52e+22 51.58 0.57 0.15 0.84
Triangulated primal graph
Density: 28.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.79 0.74 31.45 0.00 -10.71 0.18 0.23 2.57
Degree 2 22 10.95 9.00 438 1.90e+36 83.53 7.62 0.70 2.53
Eccentricity 2 4 3.25 3.00 130 1.52e+20 46.47 0.58 0.18 0.87
Dual graph
Density: 9.90%
MCB compute time (ms): 187
MCB cycles: 422
Triangles: 911
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.78 0.51 0.49 52.11 0.00 -71.28 0.08 0.15 3.50
Degree 3 19 10.10 10.00 1,040 MAX VALUE 232.36 3.35 0.33 2.51
Eccentricity 3 5 3.83 4.00 395 MAX VALUE 137.77 0.42 0.11 0.57
MCB cycle size 3 5 3.13 3.00 1,321 MAX VALUE 478.92 0.39 0.12 0.40
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 39
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.52 0.64 0.20 0.95
Eccentricity 6 8 6.78 7.00 698 MAX VALUE 196.74 0.56 0.08 0.83
MCB cycle size 4 9 6.92 7.00 443 MAX VALUE 122.74 1.22 0.18 1.57
Triangulated dual graph
Density: 33.39%
Triangles: 18,509
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.80 0.78 82.18 0.00 -24.38 0.12 0.15 4.03
Degree 3 68 34.06 38.00 3,508 MAX VALUE 336.93 19.92 0.58 3.60
Eccentricity 2 3 2.66 3.00 274 MAX VALUE 98.97 0.47 0.18 0.64
Triangulated minimal dual graph
Density: 12.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.76 0.71 78.63 0.00 -30.61 0.18 0.23 2.99
Degree 2 36 12.82 6.00 1,320 MAX VALUE 211.33 12.55 0.98 2.78
Eccentricity 3 5 3.78 4.00 389 MAX VALUE 135.78 0.54 0.14 0.80
Incidence graph
Density: 2.03%
MCB compute time (ms): 38
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 12 2.88 2.00 412 MAX VALUE 133.45 1.81 0.63 1.05
Eccentricity 6 10 7.95 8.00 1,137 MAX VALUE 295.70 0.82 0.10 1.20
MCB cycle size 6 10 7.56 8.00 484 MAX VALUE 128.60 1.25 0.17 0.93