Instance: rand-2-40-40-135-650-76_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:38
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 2 25 14.04 14.00 151,638 MAX VALUE 28,267.50 3.01 0.21 2.52
Relational linkage 0.05 0.42 0.25 0.25 406.88 0.00 -2,221.83 0.05 0.19 2.08
Tightness 0.61 0.69 0.65 0.65 87.61 0.00 -58.39 0.01 0.02 3.94
Tuples 504 629 561.62 561.00 75,819 MAX VALUE 854.58 20.25 0.04 3.94
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 13 6.75 7.00 270 1.34e+32 73.98 2.19 0.32 2.00
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: 11
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 3 29 12.38 10.00 297 3.61e+23 54.24 8.59 0.69 2.67
Cluster variables 4 17 9.08 8.50 218 6.32e+21 50.20 4.27 0.47 2.35
Separator constraints 0 24 6.75 3.00 162 0 None 7.47 1.11 2.30
Separator variables 0 16 7.42 6.50 178 0 None 4.23 0.57 2.41
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 9 149 59.11 50.00 2,246 MAX VALUE 147.17 35.50 0.60 3.42
Cluster variables 6 55 19.66 16.00 747 MAX VALUE 107.29 11.72 0.60 3.15
Separator constraints 0 82 36.16 36.00 1,374 0 None 21.54 0.60 3.35
Separator variables 0 39 16.11 14.00 612 0 None 9.01 0.56 3.09
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.17 0.18 6.96 0.00 None 0.09 0.53 2.93
Degree 3 13 6.75 7.00 270 1.34e+32 73.98 2.19 0.32 2.00
Eccentricity 3 4 3.10 3.00 124 3.84e+19 45.10 0.30 0.10 0.33
Triangulated primal graph
Density: 40.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.81 0.79 32.40 0.00 -8.98 0.13 0.17 2.93
Degree 3 29 15.70 15.00 628 MAX VALUE 100.69 8.88 0.57 2.73
Eccentricity 2 3 2.55 3.00 102 8.23e+15 36.65 0.50 0.20 0.69
Dual graph
Density: 9.64%
MCB compute time (ms): 386
MCB cycles: 838
Triangles: 1,837
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.69 0.50 0.49 67.63 0.00 -93.95 0.05 0.10 3.70
Degree 5 21 12.92 13.00 1,744 MAX VALUE 341.30 3.04 0.24 2.46
Eccentricity 3 4 3.44 3.00 464 MAX VALUE 165.29 0.50 0.14 0.69
MCB cycle size 3 5 3.21 3.00 2,693 MAX VALUE 970.07 0.49 0.15 0.56
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 93
MCB cycles: 96
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 1.50 0.00 None 0.05 4.90 0.21
Degree 2 5 3.41 3.00 460 MAX VALUE 162.98 0.66 0.19 0.99
Eccentricity 6 8 6.77 7.00 914 MAX VALUE 257.65 0.61 0.09 0.91
MCB cycle size 3 9 6.81 7.00 654 MAX VALUE 181.71 1.42 0.21 1.65
Triangulated dual graph
Density: 37.76%
Triangles: 54,292
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.81 0.78 109.57 0.00 -29.29 0.11 0.13 4.39
Degree 5 90 50.59 57.00 6,830 MAX VALUE 498.40 27.95 0.55 3.74
Eccentricity 2 3 2.44 2.00 330 MAX VALUE 117.90 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.85%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.77 0.70 104.55 0.00 -37.57 0.17 0.22 3.09
Degree 2 51 15.88 7.00 2,144 MAX VALUE 295.97 16.46 1.04 2.97
Eccentricity 3 5 3.79 4.00 511 MAX VALUE 178.23 0.55 0.15 0.82
Incidence graph
Density: 1.77%
MCB compute time (ms): 71
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 13 3.09 2.00 540 MAX VALUE 167.55 2.25 0.73 0.99
Eccentricity 6 8 7.23 7.00 1,266 MAX VALUE 345.56 0.66 0.09 0.97
MCB cycle size 6 10 7.02 6.00 674 MAX VALUE 185.98 1.08 0.15 0.78