Instance: rand-2-40-80-103-800-94_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 32 16.05 16.00 264,566 MAX VALUE 45,313.00 3.59 0.22 2.69
Relational linkage 0.05 0.29 0.15 0.15 485.38 0.00 -6,105.96 0.03 0.21 2.33
Tightness 0.78 0.81 0.80 0.80 82.33 0.00 -23.07 0.01 0.01 4.11
Tuples 1,188 1,378 1,284.30 1,286.00 132,283 MAX VALUE 737.24 33.96 0.03 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 10 5.15 5.00 206 5.99e+26 61.66 2.10 0.41 2.06
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 14 6.07 6.00 170 7.65e+19 45.78 3.36 0.55 2.33
Cluster variables 3 12 5.96 5.00 167 3.94e+20 47.42 2.57 0.43 2.13
Separator constraints 0 8 2.39 1.50 67 0 None 2.29 0.96 1.85
Separator variables 0 10 4.54 4.00 127 0 None 2.41 0.53 2.10
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
Tree depth: 7
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 74 30.71 25.50 1,167 MAX VALUE 122.76 18.32 0.60 3.30
Cluster variables 6 34 13.61 12.00 517 MAX VALUE 94.22 7.42 0.55 2.71
Separator constraints 0 41 17.13 14.50 651 0 None 11.03 0.64 3.17
Separator variables 0 24 10.89 9.50 414 0 None 5.67 0.52 2.69
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 0.17 0.11 6.72 0.00 None 0.19 1.11 2.57
Degree 2 10 5.15 5.00 206 5.99e+26 61.66 2.10 0.41 2.06
Eccentricity 3 4 3.58 4.00 143 9.09e+21 50.56 0.49 0.14 0.68
Triangulated primal graph
Density: 25.77%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.78 0.78 31.05 0.00 -11.44 0.19 0.25 2.59
Degree 2 23 10.05 8.50 402 6.36e+34 80.14 7.01 0.70 2.74
Eccentricity 2 4 2.98 3.00 119 4.50e+18 42.95 0.52 0.18 0.78
Dual graph
Density: 9.82%
MCB compute time (ms): 178
MCB cycles: 425
Triangles: 852
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.81 0.52 0.49 53.80 0.00 -68.03 0.08 0.16 3.70
Degree 5 17 10.02 10.00 1,032 MAX VALUE 233.57 2.59 0.26 2.31
Eccentricity 3 4 3.70 4.00 381 MAX VALUE 133.87 0.46 0.12 0.61
MCB cycle size 3 5 3.15 3.00 1,339 MAX VALUE 484.48 0.43 0.14 0.44
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 38
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.41 0.64 0.20 0.97
Eccentricity 6 9 6.90 7.00 711 MAX VALUE 198.46 0.70 0.10 1.04
MCB cycle size 4 11 6.81 7.00 436 MAX VALUE 121.62 1.30 0.19 1.61
Triangulated dual graph
Density: 31.32%
Triangles: 15,952
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.79 0.77 81.44 0.00 -25.42 0.12 0.16 4.17
Degree 5 60 31.94 29.00 3,290 MAX VALUE 331.77 18.80 0.59 3.45
Eccentricity 2 3 2.67 3.00 275 MAX VALUE 99.37 0.47 0.18 0.63
Triangulated minimal dual graph
Density: 12.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.76 0.68 78.02 0.00 -31.53 0.18 0.24 2.95
Degree 2 38 12.50 6.00 1,288 MAX VALUE 209.78 12.16 0.97 2.80
Eccentricity 3 5 3.84 4.00 396 MAX VALUE 137.60 0.55 0.14 0.83
Incidence graph
Density: 2.03%
MCB compute time (ms): 49
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 10 2.88 2.00 412 MAX VALUE 133.05 1.80 0.62 1.01
Eccentricity 6 9 7.82 8.00 1,118 MAX VALUE 293.50 0.70 0.09 1.04
MCB cycle size 6 10 7.38 8.00 472 MAX VALUE 127.07 1.17 0.16 0.86