Instance: rand-2-40-40-135-650-22_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:40
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 26 13.94 14.00 150,568 MAX VALUE 28,194.60 2.98 0.21 2.51
Relational linkage 0.10 0.40 0.25 0.25 406.25 0.00 -2,222.53 0.05 0.18 2.04
Tightness 0.61 0.68 0.65 0.65 87.95 0.00 -57.88 0.01 0.02 4.04
Tuples 516 619 557.66 558.00 75,284 MAX VALUE 853.62 19.36 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 4 12 6.75 7.00 270 2.03e+32 74.39 2.12 0.31 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: 13
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 4 26 11.17 7.50 268 1.81e+23 53.55 7.06 0.63 2.32
Cluster variables 5 17 8.92 7.00 214 7.16e+21 50.32 4.01 0.45 2.15
Separator constraints 0 21 5.54 2.50 133 0 None 6.20 1.12 2.34
Separator variables 0 16 7.25 5.50 174 0 None 3.94 0.54 2.21
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 12 188 61.84 51.00 2,350 MAX VALUE 148.24 41.95 0.68 3.33
Cluster variables 7 58 20.42 15.50 776 MAX VALUE 108.35 12.94 0.63 3.08
Separator constraints 0 103 39.05 31.00 1,484 0 None 26.03 0.67 3.28
Separator variables 0 44 16.87 14.00 641 0 None 10.00 0.59 3.04
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.50 0.16 0.14 6.32 0.00 None 0.11 0.70 2.84
Degree 4 12 6.75 7.00 270 2.03e+32 74.39 2.12 0.31 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: 39.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.82 0.77 32.63 0.00 -8.84 0.15 0.18 2.77
Degree 4 30 15.50 17.00 620 MAX VALUE 100.68 8.92 0.58 2.72
Eccentricity 2 3 2.52 3.00 101 5.48e+15 36.24 0.50 0.20 0.69
Dual graph
Density: 9.57%
MCB compute time (ms): 280
MCB cycles: 917
Triangles: 1,816
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.65 0.50 0.49 67.76 0.00 -93.57 0.04 0.09 3.75
Degree 6 21 12.83 13.00 1,732 MAX VALUE 340.77 2.90 0.23 2.42
Eccentricity 3 4 3.41 3.00 461 MAX VALUE 164.42 0.49 0.14 0.68
MCB cycle size 3 5 3.35 3.00 3,068 MAX VALUE 1,093.20 0.64 0.19 0.73
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 70
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.61 0.70 0.21 1.05
Eccentricity 5 8 6.70 7.00 904 MAX VALUE 256.31 0.51 0.08 0.73
MCB cycle size 4 9 6.72 7.00 645 MAX VALUE 181.61 1.06 0.16 1.47
Triangulated dual graph
Density: 41.27%
Triangles: 65,945
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.82 0.80 111.31 0.00 -26.98 0.10 0.12 4.42
Degree 6 95 55.30 70.00 7,466 MAX VALUE 510.13 29.72 0.54 3.85
Eccentricity 2 3 2.39 2.00 323 MAX VALUE 115.06 0.49 0.20 0.67
Triangulated minimal dual graph
Density: 12.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.78 0.69 105.13 0.00 -36.92 0.17 0.22 3.14
Degree 2 49 16.22 7.00 2,190 MAX VALUE 296.33 16.73 1.03 2.98
Eccentricity 3 5 3.75 4.00 506 MAX VALUE 176.85 0.55 0.15 0.82
Incidence graph
Density: 1.77%
MCB compute time (ms): 80
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.96 2.24 0.72 1.00
Eccentricity 6 9 7.21 7.00 1,261 MAX VALUE 344.77 0.70 0.10 1.04
MCB cycle size 6 10 7.15 8.00 686 MAX VALUE 187.77 1.03 0.14 0.74