Instance: rand-2-40-80-103-800-74_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:04
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 30 16.05 16.00 264,546 MAX VALUE 45,314.80 3.57 0.22 2.69
Relational linkage 0.05 0.26 0.15 0.15 483.99 0.00 -6,111.63 0.03 0.20 2.30
Tightness 0.79 0.81 0.80 0.80 82.33 0.00 -23.07 0.00 0.01 4.04
Tuples 1,206 1,338 1,284.20 1,290.00 132,273 MAX VALUE 737.23 30.68 0.02 4.04
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 9 5.15 5.00 206 1.80e+27 62.76 1.85 0.36 1.95
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: 13
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 10 5.82 6.00 163 1.41e+20 46.40 2.46 0.42 2.08
Cluster variables 3 13 6.50 5.50 182 4.54e+21 49.87 2.88 0.44 2.06
Separator constraints 0 7 2.14 1.50 60 0 None 1.99 0.93 1.86
Separator variables 0 11 5.07 4.00 142 0 None 2.78 0.55 2.06
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 61 29.50 26.00 1,121 MAX VALUE 122.08 15.33 0.52 3.46
Cluster variables 4 33 13.66 11.50 519 MAX VALUE 94.25 7.42 0.54 2.93
Separator constraints 0 36 16.45 16.50 625 0 None 9.15 0.56 3.11
Separator variables 0 24 10.95 10.00 416 0 None 5.73 0.52 2.85
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.13 0.12 5.27 0.00 None 0.14 1.06 2.39
Degree 2 9 5.15 5.00 206 1.80e+27 62.76 1.85 0.36 1.95
Eccentricity 3 4 3.48 3.00 139 2.88e+21 49.41 0.50 0.14 0.69
Triangulated primal graph
Density: 28.21%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.78 0.77 31.25 0.00 -10.97 0.18 0.23 2.68
Degree 2 23 11.00 8.00 440 5.36e+36 84.57 7.43 0.68 2.65
Eccentricity 2 4 2.90 3.00 116 1.50e+18 41.85 0.54 0.19 0.80
Dual graph
Density: 9.44%
MCB compute time (ms): 94
MCB cycles: 400
Triangles: 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.33 0.75 0.50 0.48 51.75 0.00 -71.84 0.07 0.14 3.19
Degree 3 15 9.63 10.00 992 MAX VALUE 229.73 2.41 0.25 2.22
Eccentricity 3 5 3.89 4.00 401 MAX VALUE 139.50 0.37 0.09 0.47
MCB cycle size 3 5 3.17 3.00 1,267 MAX VALUE 457.62 0.47 0.15 0.46
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 18
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 6.01 0.15
Degree 2 4 3.22 3.00 332 MAX VALUE 118.71 0.59 0.18 0.88
Eccentricity 6 8 6.83 7.00 703 MAX VALUE 197.45 0.58 0.09 0.87
MCB cycle size 3 9 6.83 7.00 437 MAX VALUE 121.12 1.50 0.22 1.65
Triangulated dual graph
Density: 31.16%
Triangles: 15,712
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.79 0.78 81.49 0.00 -25.41 0.12 0.16 4.09
Degree 3 67 31.79 33.00 3,274 MAX VALUE 330.71 18.82 0.59 3.71
Eccentricity 2 4 2.99 3.00 308 MAX VALUE 111.81 0.41 0.14 0.56
Triangulated minimal dual graph
Density: 11.86%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.76 0.67 78.09 0.00 -31.58 0.19 0.24 3.00
Degree 2 38 12.10 6.00 1,246 MAX VALUE 208.00 11.78 0.97 2.82
Eccentricity 3 5 3.75 4.00 386 MAX VALUE 135.05 0.52 0.14 0.75
Incidence graph
Density: 2.03%
MCB compute time (ms): 28
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 9 2.88 2.00 412 MAX VALUE 134.15 1.72 0.60 1.07
Eccentricity 7 10 7.92 8.00 1,133 MAX VALUE 295.50 0.65 0.08 0.97
MCB cycle size 6 10 7.75 8.00 496 MAX VALUE 130.01 1.39 0.18 1.02