Instance: rand-2-40-80-103-800-67_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:06
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,400
Number of unique subscopes: 39
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 3 32 16.06 16.00 263,427 MAX VALUE 45,111.30 3.56 0.22 2.68
Relational linkage 0.04 0.26 0.15 0.15 473.23 0.00 -5,949.65 0.03 0.20 2.30
Tightness 0.78 0.81 0.80 0.80 82.32 0.00 -23.09 0.01 0.01 4.19
Tuples 1,212 1,382 1,285.17 1,290.00 132,373 MAX VALUE 737.30 34.15 0.03 4.19
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 8 5.26 6.00 205 5.92e+26 61.65 1.88 0.36 1.89
Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 0.00 0.00 0.00
Tree decomposition
Number of clusters: 27
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 1 21 7.26 6.00 196 2.88e+19 44.81 5.54 0.76 2.47
Cluster variables 2 14 6.78 6.00 183 7.14e+20 48.02 3.50 0.52 2.21
Separator constraints 0 16 3.44 1.00 93 0 None 4.57 1.33 1.89
Separator variables 0 13 5.30 5.00 143 0 None 3.36 0.64 2.26
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 4 87 31.55 26.50 1,199 MAX VALUE 122.48 19.91 0.63 3.31
Cluster variables 4 37 14.11 11.00 536 MAX VALUE 94.79 8.26 0.59 2.86
Separator constraints 0 49 18.26 17.00 694 0 None 12.67 0.69 3.25
Separator variables 0 28 11.39 9.50 433 0 None 6.39 0.56 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.30 None 0.13 None None None None None 2.46
Degree 1 8 5.15 5.50 206 5.92e+26 61.65 1.97 0.38 1.96
Eccentricity 3 5 3.85 4.00 154 1.66e+23 53.47 0.57 0.15 0.86
Triangulated primal graph
Density: 30.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.74 None None None None None 3.00
Degree 1 25 11.70 10.50 468 9.05e+36 85.10 7.88 0.67 2.78
Eccentricity 2 4 2.88 3.00 115 8.88e+17 41.33 0.60 0.21 0.90
Dual graph
Density: 9.61%
MCB compute time (ms): 148
MCB cycles: 424
Triangles: 780
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.50 0.48 51.57 0.00 -72.42 0.08 0.17 3.27
Degree 3 14 9.81 10.00 1,010 MAX VALUE 231.37 2.44 0.25 2.25
Eccentricity 3 5 3.85 4.00 397 MAX VALUE 138.34 0.40 0.10 0.54
MCB cycle size 3 6 3.20 3.00 1,358 MAX VALUE 488.96 0.53 0.17 0.52
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 36
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.02 0.00 2.00 0.00 None 0.11 5.52 0.27
Degree 2 5 3.22 3.00 332 MAX VALUE 118.30 0.65 0.20 0.99
Eccentricity 6 9 6.84 7.00 705 MAX VALUE 197.56 0.72 0.11 1.06
MCB cycle size 3 9 6.86 7.00 439 MAX VALUE 121.67 1.37 0.20 1.61
Triangulated dual graph
Density: 33.92%
Triangles: 19,255
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.80 0.77 82.46 0.00 -23.98 0.12 0.15 4.08
Degree 3 65 34.60 35.00 3,564 MAX VALUE 338.74 20.27 0.59 3.55
Eccentricity 2 3 2.55 3.00 263 MAX VALUE 94.51 0.50 0.19 0.69
Triangulated minimal dual graph
Density: 12.01%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.76 0.68 78.38 0.00 -31.53 0.19 0.26 2.93
Degree 2 36 12.25 6.00 1,262 MAX VALUE 207.55 11.76 0.96 2.86
Eccentricity 3 5 3.95 4.00 407 MAX VALUE 140.32 0.60 0.15 0.90
Incidence graph
Density: 2.03%
MCB compute time (ms): 51
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.38
Degree 1 8 2.88 2.00 412 MAX VALUE 133.04 1.76 0.61 1.02
Eccentricity 7 10 8.20 8.00 1,173 MAX VALUE 300.28 0.79 0.10 1.17
MCB cycle size 6 12 7.50 8.00 480 MAX VALUE 127.99 1.32 0.18 0.96