Instance: rand-2-40-40-135-650-28_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:45
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 3 25 14.01 14.00 151,296 MAX VALUE 28,241.40 3.02 0.22 2.52
Relational linkage 0.07 0.42 0.26 0.25 408.68 0.00 -2,216.72 0.05 0.20 2.11
Tightness 0.62 0.68 0.65 0.65 87.72 0.00 -58.22 0.01 0.02 4.04
Tuples 514 604 560.36 560.00 75,648 MAX VALUE 854.28 18.58 0.03 4.04
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 2 12 6.75 6.50 270 5.01e+31 72.99 2.61 0.39 2.25
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: 25
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 2 32 11.88 7.00 297 1.32e+23 53.24 9.98 0.84 2.53
Cluster variables 3 16 8.52 7.00 213 7.05e+21 50.31 4.34 0.51 2.32
Separator constraints 0 27 6.48 2.00 162 0 None 8.67 1.34 2.19
Separator variables 0 15 6.92 5.00 173 0 None 4.30 0.62 2.40
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 9 228 64.66 47.00 2,457 MAX VALUE 147.99 50.12 0.78 3.46
Cluster variables 6 59 19.97 15.50 759 MAX VALUE 107.23 12.87 0.64 2.96
Separator constraints 0 125 40.63 27.50 1,544 0 None 31.87 0.78 3.32
Separator variables 0 43 16.42 13.00 624 0 None 9.96 0.61 3.00
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.15 6.20 0.00 None 0.08 0.55 2.86
Degree 2 12 6.75 6.50 270 5.01e+31 72.99 2.61 0.39 2.25
Eccentricity 3 3 3.00 3.00 120 1.22e+19 43.94 0.00 0.00 0.00
Triangulated primal graph
Density: 37.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.81 0.79 32.59 0.00 -8.82 0.14 0.17 2.93
Degree 2 31 14.65 16.50 586 MAX VALUE 96.67 8.89 0.61 2.81
Eccentricity 2 3 2.50 2.50 100 3.66e+15 35.84 0.50 0.20 0.69
Dual graph
Density: 10.09%
MCB compute time (ms): 254
MCB cycles: 831
Triangles: 2,093
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.80 0.52 0.50 69.67 0.00 -90.25 0.07 0.13 3.98
Degree 5 22 13.53 14.00 1,826 MAX VALUE 346.65 3.53 0.26 2.61
Eccentricity 3 4 3.27 3.00 441 MAX VALUE 158.67 0.44 0.14 0.58
MCB cycle size 3 5 3.13 3.00 2,602 MAX VALUE 943.53 0.38 0.12 0.40
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 51
MCB cycles: 96
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.43 0.00 None 0.02 6.79 0.12
Degree 2 5 3.41 3.00 460 MAX VALUE 162.15 0.73 0.22 1.10
Eccentricity 5 8 6.76 7.00 912 MAX VALUE 257.31 0.63 0.09 0.95
MCB cycle size 3 9 6.68 7.00 641 MAX VALUE 180.53 1.19 0.18 1.55
Triangulated dual graph
Density: 40.38%
Triangles: 63,888
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 1.00 0.82 0.80 111.12 0.00 -27.17 0.10 0.12 4.34
Degree 5 94 54.10 64.00 7,304 MAX VALUE 505.85 29.63 0.55 3.89
Eccentricity 2 3 2.49 2.00 336 MAX VALUE 120.34 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 11.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.77 0.71 104.42 0.00 -37.76 0.17 0.22 3.23
Degree 2 49 15.61 7.00 2,108 MAX VALUE 291.91 16.39 1.05 3.04
Eccentricity 3 5 3.83 4.00 517 MAX VALUE 179.82 0.55 0.14 0.82
Incidence graph
Density: 1.77%
MCB compute time (ms): 61
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 12 3.09 2.00 540 MAX VALUE 166.57 2.35 0.76 1.02
Eccentricity 6 8 7.02 7.00 1,229 MAX VALUE 340.41 0.62 0.09 0.94
MCB cycle size 6 10 7.08 8.00 680 MAX VALUE 186.78 1.11 0.16 0.81