Instance: rand-2-40-80-103-800-58_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:50
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,240
Number of unique subscopes: 37
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 2 30 15.98 16.00 259,577 MAX VALUE 44,580.30 3.58 0.22 2.69
Relational linkage 0.03 0.28 0.15 0.15 441.07 0.00 -5,698.34 0.03 0.20 2.29
Tightness 0.79 0.81 0.80 0.80 82.42 0.00 -22.97 0.01 0.01 4.13
Tuples 1,184 1,359 1,279.01 1,279.00 131,738 MAX VALUE 736.81 32.63 0.03 4.13
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 10 5.49 6.00 203 9.56e+25 59.82 2.11 0.39 2.08
Partitions per subscope 80 80 80.00 80.00 2,960 MAX VALUE 162.13 0.00 0.00 0.00
Tree decomposition
Number of clusters: 29
Number of leaves: 11
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 1 15 5.97 6.00 173 2.95e+19 44.83 3.68 0.62 2.43
Cluster variables 2 12 5.97 5.00 173 7.54e+20 48.07 2.93 0.49 2.27
Separator constraints 0 9 2.41 1.00 70 0 None 2.65 1.10 1.88
Separator variables 0 10 4.59 4.00 133 0 None 2.83 0.62 2.27
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 71 32.63 30.50 1,240 MAX VALUE 126.17 16.23 0.50 3.28
Cluster variables 4 34 13.45 12.00 511 MAX VALUE 93.90 7.04 0.52 2.77
Separator constraints 0 39 18.47 17.50 702 0 None 10.17 0.55 3.27
Separator variables 0 24 10.74 10.00 408 0 None 5.41 0.50 2.78
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 1.00 None 0.14 None None None None None 2.77
Degree 1 10 5.15 5.00 206 9.56e+25 59.82 2.35 0.46 2.19
Eccentricity 3 5 4.00 4.00 160 8.76e+23 55.13 0.50 0.12 0.74
Triangulated primal graph
Density: 25.51%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 None 0.75 None None None None None 3.33
Degree 1 24 9.95 7.50 398 4.76e+33 77.55 7.19 0.72 2.74
Eccentricity 3 5 3.65 4.00 146 1.89e+22 51.30 0.57 0.16 0.85
Dual graph
Density: 10.24%
MCB compute time (ms): 127
MCB cycles: 468
Triangles: 928
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 1.00 0.53 0.49 54.11 0.00 -68.09 0.11 0.21 3.50
Degree 3 17 10.45 10.00 1,076 MAX VALUE 237.58 2.70 0.26 2.34
Eccentricity 3 4 3.73 4.00 384 MAX VALUE 134.73 0.44 0.12 0.59
MCB cycle size 3 5 3.19 3.00 1,494 MAX VALUE 539.14 0.46 0.15 0.52
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 31
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 117.68 0.75 0.23 1.12
Eccentricity 6 8 6.64 7.00 684 MAX VALUE 194.64 0.55 0.08 0.82
MCB cycle size 4 9 6.69 7.00 428 MAX VALUE 120.73 1.07 0.16 1.46
Triangulated dual graph
Density: 30.06%
Triangles: 14,527
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.79 0.76 81.12 0.00 -25.96 0.13 0.16 4.12
Degree 3 59 30.66 29.00 3,158 MAX VALUE 327.30 18.30 0.60 3.53
Eccentricity 2 3 2.62 3.00 270 MAX VALUE 97.34 0.49 0.19 0.66
Triangulated minimal dual graph
Density: 11.16%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.75 0.67 76.91 0.00 -33.58 0.19 0.26 2.96
Degree 2 34 11.38 5.00 1,172 MAX VALUE 201.74 10.93 0.96 2.81
Eccentricity 3 5 3.87 4.00 399 MAX VALUE 138.21 0.60 0.16 0.90
Incidence graph
Density: 2.03%
MCB compute time (ms): 46
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 None 0.00 None None None None None 0.94
Degree 1 10 2.88 2.00 412 MAX VALUE 131.22 1.88 0.65 1.11
Eccentricity 6 10 8.17 8.00 1,168 MAX VALUE 299.57 0.84 0.10 1.22
MCB cycle size 6 10 7.44 8.00 476 MAX VALUE 127.84 0.97 0.13 0.68