Instance: rand-2-40-40-135-650-5_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:44
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 4 26 14.06 14.00 151,826 MAX VALUE 28,287.80 2.99 0.21 2.51
Relational linkage 0.10 0.40 0.26 0.25 409.05 0.00 -2,210.01 0.05 0.18 2.03
Tightness 0.61 0.68 0.65 0.65 87.55 0.00 -58.48 0.01 0.02 4.00
Tuples 516 622 562.32 562.00 75,913 MAX VALUE 854.75 19.30 0.03 4.00
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 4 11 6.75 6.50 270 4.12e+32 75.10 1.71 0.25 1.90
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: 12
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 5 30 12.48 9.00 287 2.66e+23 53.94 8.10 0.65 2.55
Cluster variables 5 18 9.48 7.00 218 3.08e+21 49.48 4.40 0.46 2.14
Separator constraints 0 25 6.61 3.00 152 0 None 7.60 1.15 2.30
Separator variables 0 16 7.74 6.00 178 0 None 4.34 0.56 2.14
Dual tree decomposition
Number of clusters: 38
Number of leaves: 17
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 20 152 59.32 47.50 2,254 MAX VALUE 149.18 34.92 0.59 3.27
Cluster variables 9 60 20.58 17.00 782 MAX VALUE 109.18 12.68 0.62 2.84
Separator constraints 0 89 37.34 30.50 1,419 0 None 21.15 0.57 3.22
Separator variables 0 44 17.03 14.50 647 0 None 9.72 0.57 2.81
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.22 0.00 None 0.07 0.44 2.73
Degree 4 11 6.75 6.50 270 4.12e+32 75.10 1.71 0.25 1.90
Eccentricity 3 4 3.10 3.00 124 3.84e+19 45.10 0.30 0.10 0.33
Triangulated primal graph
Density: 42.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.82 0.82 32.95 0.00 -8.32 0.14 0.17 2.91
Degree 4 29 16.55 20.00 662 MAX VALUE 103.51 9.23 0.56 2.76
Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68
Dual graph
Density: 9.23%
MCB compute time (ms): 406
MCB cycles: 817
Triangles: 1,625
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 0.63 0.49 0.49 66.36 0.00 -96.14 0.03 0.07 3.55
Degree 8 18 12.37 12.00 1,670 MAX VALUE 337.09 2.35 0.19 2.22
Eccentricity 3 4 3.46 3.00 467 MAX VALUE 166.15 0.50 0.14 0.69
MCB cycle size 3 5 3.27 3.00 2,670 MAX VALUE 957.34 0.56 0.17 0.64
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 64
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.83 0.65 0.19 0.97
Eccentricity 6 8 6.77 7.00 914 MAX VALUE 257.71 0.57 0.08 0.85
MCB cycle size 4 9 6.70 7.00 643 MAX VALUE 180.90 1.18 0.18 1.54
Triangulated dual graph
Density: 41.26%
Triangles: 65,892
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.82 0.80 111.14 0.00 -27.16 0.10 0.12 4.27
Degree 8 90 55.29 60.00 7,464 MAX VALUE 510.51 29.73 0.54 3.56
Eccentricity 2 3 2.43 2.00 328 MAX VALUE 117.09 0.50 0.20 0.68
Triangulated minimal dual graph
Density: 12.04%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.78 0.72 105.12 0.00 -36.76 0.16 0.21 3.07
Degree 2 50 16.13 6.00 2,178 MAX VALUE 295.38 16.83 1.04 2.92
Eccentricity 3 6 4.53 5.00 611 MAX VALUE 202.81 0.56 0.12 0.82
Incidence graph
Density: 1.77%
MCB compute time (ms): 74
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 168.67 2.16 0.70 0.97
Eccentricity 6 8 7.25 7.00 1,268 MAX VALUE 345.80 0.67 0.09 0.98
MCB cycle size 6 8 7.15 8.00 686 MAX VALUE 187.83 0.99 0.14 0.68