Instance: rand-2-40-40-135-650-80_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:30
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 27 13.97 14.00 150,878 MAX VALUE 28,209.60 3.03 0.22 2.52
Relational linkage 0.10 0.42 0.25 0.25 403.38 0.00 -2,234.26 0.05 0.19 2.04
Tightness 0.62 0.68 0.65 0.65 87.85 0.00 -58.02 0.01 0.02 4.00
Tuples 512 609 558.81 558.00 75,439 MAX VALUE 853.90 19.58 0.04 4.00
Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00
Constraints per subscope 3 12 6.75 6.00 270 1.97e+32 74.36 2.15 0.32 2.04
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: 12
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 28 11.12 8.50 267 2.62e+23 53.92 6.67 0.60 2.64
Cluster variables 4 17 8.83 7.50 212 6.92e+21 50.29 3.67 0.42 2.36
Separator constraints 0 23 5.50 4.00 132 0 None 5.81 1.06 2.07
Separator variables 0 15 7.17 6.00 172 0 None 3.58 0.50 2.36
Dual tree decomposition
Number of clusters: 38
Number of leaves: 13
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 13 190 60.79 48.00 2,310 MAX VALUE 147.40 42.57 0.70 3.42
Cluster variables 7 59 20.16 16.00 766 MAX VALUE 108.19 12.49 0.62 2.93
Separator constraints 0 99 37.92 32.00 1,441 0 None 26.10 0.69 3.40
Separator variables 0 44 16.61 13.50 631 0 None 9.63 0.58 3.10
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.17 7.07 0.00 None 0.12 0.66 2.72
Degree 3 12 6.75 6.00 270 1.97e+32 74.36 2.15 0.32 2.04
Eccentricity 3 3 3.00 3.00 120 1.22e+19 43.94 0.00 0.00 0.00
Triangulated primal graph
Density: 39.49%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.81 0.76 32.32 0.00 -9.22 0.15 0.18 2.94
Degree 3 30 15.40 14.50 616 MAX VALUE 100.57 8.80 0.57 2.87
Eccentricity 2 3 2.48 2.00 99 2.44e+15 35.43 0.50 0.20 0.69
Dual graph
Density: 9.61%
MCB compute time (ms): 289
MCB cycles: 908
Triangles: 1,852
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.66 0.50 0.50 68.02 0.00 -92.96 0.04 0.08 3.76
Degree 6 20 12.87 12.00 1,738 MAX VALUE 340.90 3.11 0.24 2.47
Eccentricity 3 4 3.35 3.00 452 MAX VALUE 161.83 0.48 0.14 0.65
MCB cycle size 3 6 3.30 3.00 2,997 MAX VALUE 1,072.55 0.58 0.17 0.69
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 58
MCB cycles: 97
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 1.53 0.00 None 0.06 5.07 0.21
Degree 2 5 3.41 3.00 460 MAX VALUE 162.79 0.68 0.20 1.02
Eccentricity 6 7 6.64 7.00 896 MAX VALUE 255.14 0.48 0.07 0.66
MCB cycle size 3 9 6.77 7.00 657 MAX VALUE 183.53 1.30 0.19 1.60
Triangulated dual graph
Density: 40.00%
Triangles: 61,982
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.67 1.00 0.82 0.79 110.89 0.00 -27.52 0.10 0.12 4.46
Degree 6 91 53.60 54.00 7,236 MAX VALUE 505.81 29.27 0.55 3.78
Eccentricity 2 3 2.41 2.00 326 MAX VALUE 116.28 0.49 0.20 0.68
Triangulated minimal dual graph
Density: 12.01%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.78 0.72 105.43 0.00 -36.49 0.17 0.22 3.12
Degree 2 49 16.09 6.00 2,172 MAX VALUE 296.06 16.66 1.04 2.86
Eccentricity 3 5 3.73 4.00 504 MAX VALUE 176.41 0.53 0.14 0.78
Incidence graph
Density: 1.77%
MCB compute time (ms): 68
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.93 2.24 0.73 1.00
Eccentricity 6 8 7.13 7.00 1,247 MAX VALUE 342.96 0.63 0.09 0.94
MCB cycle size 6 10 7.04 7.00 676 MAX VALUE 186.26 1.08 0.15 0.78