Instance: rand-2-40-40-135-650-68_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:47
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 27 14.00 14.00 151,174 MAX VALUE 28,237.30 2.99 0.21 2.51
Relational linkage 0.07 0.45 0.26 0.25 408.65 0.00 -2,214.58 0.05 0.19 2.07
Tightness 0.62 0.69 0.65 0.65 87.76 0.00 -58.16 0.01 0.02 3.85
Tuples 501 602 559.90 560.00 75,587 MAX VALUE 854.17 18.49 0.03 3.85
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 7.00 270 1.53e+32 74.11 2.18 0.32 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: 11
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 2 24 10.58 7.00 254 2.02e+22 51.36 6.93 0.65 2.45
Cluster variables 3 17 8.83 7.50 212 5.00e+21 49.96 3.91 0.44 2.21
Separator constraints 0 19 4.96 2.00 119 0 None 5.73 1.15 2.20
Separator variables 0 15 7.17 6.00 172 0 None 3.83 0.53 2.21
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 11 167 61.03 50.00 2,319 MAX VALUE 147.61 39.89 0.65 3.37
Cluster variables 6 55 20.32 15.00 772 MAX VALUE 108.16 12.56 0.62 2.90
Separator constraints 0 89 38.11 32.50 1,448 0 None 24.22 0.64 3.35
Separator variables 0 43 16.76 14.00 637 0 None 9.60 0.57 2.95
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.12 0.14 4.95 0.00 None 0.10 0.79 2.52
Degree 2 12 6.75 7.00 270 1.53e+32 74.11 2.18 0.32 2.01
Eccentricity 3 4 3.08 3.00 123 2.88e+19 44.81 0.26 0.09 0.27
Triangulated primal graph
Density: 39.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.81 0.81 32.39 0.00 -9.12 0.15 0.18 2.95
Degree 2 31 15.40 15.50 616 MAX VALUE 100.07 8.95 0.58 2.79
Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68
Dual graph
Density: 9.63%
MCB compute time (ms): 308
MCB cycles: 878
Triangles: 1,840
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.75 0.50 0.49 66.97 0.00 -95.15 0.05 0.09 3.75
Degree 5 21 12.90 13.00 1,742 MAX VALUE 340.87 3.20 0.25 2.52
Eccentricity 3 4 3.36 3.00 453 MAX VALUE 162.12 0.48 0.14 0.65
MCB cycle size 3 5 3.30 3.00 2,900 MAX VALUE 1,036.52 0.61 0.18 0.68
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 72
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.44 0.71 0.21 1.07
Eccentricity 6 7 6.47 6.00 873 MAX VALUE 251.60 0.50 0.08 0.69
MCB cycle size 4 9 6.81 7.00 654 MAX VALUE 182.65 1.16 0.17 1.50
Triangulated dual graph
Density: 40.70%
Triangles: 62,694
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.82 0.80 110.48 0.00 -28.11 0.10 0.13 4.33
Degree 5 97 54.53 55.00 7,362 MAX VALUE 509.81 28.79 0.53 3.83
Eccentricity 2 3 2.41 2.00 325 MAX VALUE 115.88 0.49 0.20 0.68
Triangulated minimal dual graph
Density: 11.62%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.78 0.71 105.76 0.00 -36.42 0.18 0.23 3.08
Degree 2 50 15.57 6.00 2,102 MAX VALUE 291.83 16.19 1.04 2.95
Eccentricity 2 4 3.46 3.00 467 MAX VALUE 165.80 0.54 0.16 0.78
Incidence graph
Density: 1.77%
MCB compute time (ms): 81
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 167.68 2.25 0.73 0.96
Eccentricity 6 8 7.20 7.00 1,260 MAX VALUE 344.88 0.59 0.08 0.88
MCB cycle size 6 10 7.15 8.00 686 MAX VALUE 187.77 1.03 0.14 0.74