Instance: rand-2-40-40-135-650-55_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:43
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 25 13.96 14.00 150,776 MAX VALUE 28,205.60 3.00 0.21 2.52
Relational linkage 0.10 0.40 0.25 0.25 405.20 0.00 -2,228.15 0.05 0.19 2.06
Tightness 0.62 0.68 0.65 0.65 87.88 0.00 -57.97 0.01 0.02 4.03
Tuples 515 603 558.43 558.00 75,388 MAX VALUE 853.82 18.55 0.03 4.03
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 11 6.75 6.50 270 1.45e+32 74.05 2.26 0.33 2.01
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: 24
Number of leaves: 13
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 28 10.12 7.00 243 2.39e+22 51.53 6.62 0.65 2.24
Cluster variables 4 17 8.00 6.00 192 5.44e+20 47.75 3.70 0.46 2.11
Separator constraints 0 19 4.50 2.00 108 0 None 5.00 1.11 2.17
Separator variables 0 15 6.33 5.00 152 0 None 3.45 0.54 2.11
Dual tree decomposition
Number of clusters: 38
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 16 157 61.53 55.00 2,338 MAX VALUE 148.87 38.45 0.62 3.48
Cluster variables 8 55 20.16 16.50 766 MAX VALUE 108.03 12.52 0.62 2.92
Separator constraints 0 85 38.42 34.50 1,460 0 None 23.38 0.61 3.42
Separator variables 0 42 16.61 14.50 631 0 None 9.65 0.58 2.87
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.67 0.18 0.19 7.18 0.00 None 0.13 0.70 2.78
Degree 3 11 6.75 6.50 270 1.45e+32 74.05 2.26 0.33 2.01
Eccentricity 3 4 3.05 3.00 122 2.16e+19 44.52 0.22 0.07 0.20
Triangulated primal graph
Density: 36.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.57 1.00 0.81 0.83 32.58 0.00 -8.97 0.16 0.19 2.67
Degree 3 27 14.40 14.00 576 MAX VALUE 96.63 8.85 0.61 2.59
Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68
Dual graph
Density: 9.71%
MCB compute time (ms): 219
MCB cycles: 801
Triangles: 1,883
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.69 0.51 0.49 68.74 0.00 -91.67 0.05 0.09 3.81
Degree 7 19 13.01 13.00 1,756 MAX VALUE 342.52 3.00 0.23 2.41
Eccentricity 3 4 3.39 3.00 457 MAX VALUE 163.27 0.49 0.14 0.67
MCB cycle size 3 5 3.14 3.00 2,515 MAX VALUE 911.69 0.37 0.12 0.42
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 43
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.87 0.66 0.19 1.00
Eccentricity 6 8 6.70 7.00 905 MAX VALUE 256.49 0.49 0.07 0.69
MCB cycle size 4 10 6.80 7.00 653 MAX VALUE 182.46 1.20 0.18 1.57
Triangulated dual graph
Density: 40.08%
Triangles: 61,449
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.82 0.79 110.54 0.00 -27.99 0.10 0.12 4.43
Degree 7 94 53.70 60.00 7,250 MAX VALUE 506.58 28.95 0.54 3.92
Eccentricity 2 3 2.52 3.00 340 MAX VALUE 121.96 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 12.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.78 0.71 105.40 0.00 -36.64 0.17 0.22 3.17
Degree 2 48 16.22 7.00 2,190 MAX VALUE 297.39 16.73 1.03 2.93
Eccentricity 3 5 3.71 4.00 501 MAX VALUE 175.67 0.51 0.14 0.75
Incidence graph
Density: 1.77%
MCB compute time (ms): 56
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 167.63 2.27 0.73 1.00
Eccentricity 6 8 7.18 7.00 1,257 MAX VALUE 344.35 0.63 0.09 0.95
MCB cycle size 6 10 7.06 8.00 678 MAX VALUE 186.55 1.08 0.15 0.78