Instance: rand-2-40-40-135-650-41_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.99 14.00 151,080 MAX VALUE 28,230.60 3.00 0.21 2.51
Relational linkage 0.10 0.42 0.26 0.25 411.12 0.00 -2,205.59 0.05 0.19 2.10
Tightness 0.62 0.68 0.65 0.65 87.79 0.00 -58.12 0.01 0.02 3.97
Tuples 517 613 559.56 558.00 75,540 MAX VALUE 854.08 19.75 0.04 3.97
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 5.58e+31 73.10 2.52 0.37 2.19
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: 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 28 10.71 8.00 257 1.40e+22 50.99 7.55 0.71 2.59
Cluster variables 3 17 8.17 7.00 196 4.81e+20 47.62 4.03 0.49 2.33
Separator constraints 0 22 5.08 3.00 122 0 None 6.07 1.19 2.27
Separator variables 0 16 6.50 5.50 156 0 None 3.83 0.59 2.38
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 203 65.45 53.00 2,487 MAX VALUE 149.68 45.71 0.70 3.46
Cluster variables 7 59 20.24 16.00 769 MAX VALUE 107.82 13.00 0.64 2.98
Separator constraints 0 113 41.68 38.50 1,584 0 None 28.38 0.68 3.42
Separator variables 0 43 16.68 14.00 634 0 None 10.05 0.60 2.92
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.17 0.17 6.75 0.00 None 0.10 0.58 2.96
Degree 2 12 6.75 7.00 270 5.58e+31 73.10 2.52 0.37 2.19
Eccentricity 3 4 3.10 3.00 124 3.84e+19 45.10 0.30 0.10 0.33
Triangulated primal graph
Density: 37.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.82 0.79 32.77 0.00 -8.68 0.15 0.18 2.73
Degree 2 29 14.60 14.00 584 MAX VALUE 96.49 8.94 0.61 2.83
Eccentricity 2 3 2.52 3.00 101 5.48e+15 36.24 0.50 0.20 0.69
Dual graph
Density: 9.98%
MCB compute time (ms): 371
MCB cycles: 797
Triangles: 2,020
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.82 0.51 0.49 69.30 0.00 -90.92 0.06 0.13 3.92
Degree 6 21 13.38 14.00 1,806 MAX VALUE 345.59 3.26 0.24 2.52
Eccentricity 3 4 3.36 3.00 454 MAX VALUE 162.41 0.48 0.14 0.66
MCB cycle size 3 5 3.09 3.00 2,464 MAX VALUE 896.34 0.31 0.10 0.31
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 57
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 6 8 6.60 7.00 891 MAX VALUE 254.25 0.57 0.09 0.84
MCB cycle size 4 9 6.74 7.00 647 MAX VALUE 181.81 1.06 0.16 1.40
Triangulated dual graph
Density: 41.11%
Triangles: 65,784
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.68 1.00 0.82 0.79 111.08 0.00 -27.18 0.09 0.11 4.46
Degree 6 92 55.08 69.00 7,436 MAX VALUE 508.96 29.72 0.54 3.83
Eccentricity 2 3 2.38 2.00 321 MAX VALUE 114.25 0.48 0.20 0.66
Triangulated minimal dual graph
Density: 12.25%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.78 0.71 104.85 0.00 -37.40 0.17 0.22 3.19
Degree 2 53 16.41 7.00 2,216 MAX VALUE 298.90 16.72 1.02 3.08
Eccentricity 3 5 3.90 4.00 527 MAX VALUE 182.31 0.58 0.15 0.87
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 166.67 2.33 0.75 0.98
Eccentricity 6 8 7.18 7.00 1,256 MAX VALUE 344.22 0.63 0.09 0.94
MCB cycle size 6 10 6.92 6.00 664 MAX VALUE 184.60 1.04 0.15 0.74