Instance: rand-2-40-40-135-650-15_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:33
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,760
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 270 MAX VALUE 93.57 0.00 0.00 0.00
Coarse blocks size 4 28 14.05 14.00 151,131 MAX VALUE 28,161.80 3.06 0.22 2.53
Relational linkage 0.10 0.42 0.25 0.25 395.90 0.00 -2,168.16 0.05 0.19 2.05
Tightness 0.61 0.68 0.65 0.65 87.60 0.00 -58.41 0.01 0.02 3.96
Tuples 517 617 561.79 561.00 75,842 MAX VALUE 854.62 19.15 0.03 3.96
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 2 11 6.90 7.00 269 7.27e+31 73.36 2.05 0.30 2.01
Partitions per subscope 40 40 40.00 40.00 1,560 MAX VALUE 143.87 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 1 31 11.38 9.50 273 6.98e+22 52.60 7.30 0.64 2.77
Cluster variables 2 17 8.58 7.00 206 1.41e+21 48.70 3.96 0.46 2.48
Separator constraints 0 19 5.75 3.50 138 0 None 5.59 0.97 2.33
Separator variables 0 14 6.92 6.00 166 0 None 3.83 0.55 2.48
Dual tree decomposition
Number of clusters: 38
Number of leaves: 16
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 6 151 62.24 49.00 2,365 MAX VALUE 148.16 40.05 0.64 3.49
Cluster variables 4 55 20.05 16.00 762 MAX VALUE 107.66 12.20 0.61 3.09
Separator constraints 0 95 39.21 33.50 1,490 0 None 25.44 0.65 3.46
Separator variables 0 40 16.50 14.00 627 0 None 9.38 0.57 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 None 0.19 None None None None None 2.98
Degree 1 11 6.75 7.00 270 7.27e+31 73.36 2.22 0.33 2.08
Eccentricity 3 5 3.65 4.00 146 1.77e+22 51.23 0.61 0.17 0.90
Triangulated primal graph
Density: 38.72%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.76 None None None None None 3.11
Degree 1 29 15.10 16.00 604 MAX VALUE 98.21 8.71 0.58 2.74
Eccentricity 2 4 3.23 3.00 129 1.28e+20 46.30 0.52 0.16 0.77
Dual graph
Density: 9.67%
MCB compute time (ms): 400
MCB cycles: 809
Triangles: 1,839
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 1.00 0.50 0.49 67.91 0.00 -93.61 0.06 0.13 3.71
Degree 3 20 12.96 13.00 1,750 MAX VALUE 341.98 2.94 0.23 2.44
Eccentricity 3 5 3.60 4.00 486 MAX VALUE 171.49 0.52 0.14 0.75
MCB cycle size 3 5 3.16 3.00 2,553 MAX VALUE 924.38 0.40 0.13 0.45
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 66
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 163.00 0.64 0.19 0.96
Eccentricity 6 8 6.66 7.00 899 MAX VALUE 255.44 0.59 0.09 0.87
MCB cycle size 4 9 6.88 7.00 660 MAX VALUE 183.85 1.04 0.15 1.42
Triangulated dual graph
Density: 39.34%
Triangles: 58,396
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.81 0.80 109.96 0.00 -28.82 0.11 0.13 4.32
Degree 3 93 52.71 54.00 7,116 MAX VALUE 504.62 28.27 0.54 3.91
Eccentricity 2 3 2.41 2.00 325 MAX VALUE 115.88 0.49 0.20 0.68
Triangulated minimal dual graph
Density: 12.25%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.78 0.70 105.48 0.00 -36.48 0.17 0.22 3.04
Degree 2 49 16.41 7.00 2,216 MAX VALUE 297.55 16.90 1.03 2.99
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): 74
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 None 0.00 None None None None None 0.20
Degree 1 11 3.09 2.00 540 MAX VALUE 166.94 2.26 0.73 0.98
Eccentricity 6 11 7.87 8.00 1,377 MAX VALUE 359.83 0.93 0.12 1.26
MCB cycle size 6 10 7.02 7.00 674 MAX VALUE 186.04 1.04 0.15 0.74