Instance: rand-2-40-80-103-800-64_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:08
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 103
General features
Number of coarse blocks: 16,320
Number of unique subscopes: 38
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 4 33 16.00 16.00 261,120 MAX VALUE 44,818.60 3.59 0.22 2.69
Relational linkage 0.05 0.25 0.15 0.15 454.95 0.00 -5,834.07 0.03 0.19 2.25
Tightness 0.79 0.81 0.80 0.80 82.40 0.00 -22.98 0.00 0.01 3.98
Tuples 1,218 1,365 1,279.83 1,276.00 131,822 MAX VALUE 736.88 30.92 0.02 3.98
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 12 5.37 5.00 204 6.12e+26 61.68 1.86 0.35 1.84
Partitions per subscope 80 80 80.00 80.00 3,040 MAX VALUE 166.52 0.00 0.00 0.00
Tree decomposition
Number of clusters: 27
Number of leaves: 11
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 1 16 6.30 6.00 170 1.64e+19 44.24 3.65 0.58 2.36
Cluster variables 2 14 6.70 6.00 181 8.79e+20 48.23 3.17 0.47 2.34
Separator constraints 0 9 2.48 2.00 67 0 None 2.59 1.04 1.79
Separator variables 0 12 5.22 4.00 141 0 None 3.01 0.58 2.34
Dual tree decomposition
Number of clusters: 38
Number of leaves: 14
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 83 28.47 26.00 1,082 MAX VALUE 120.46 17.24 0.61 3.22
Cluster variables 5 33 13.42 11.50 510 MAX VALUE 93.73 7.30 0.54 2.83
Separator constraints 0 39 15.03 13.00 571 0 None 9.38 0.62 3.05
Separator variables 0 26 10.71 10.00 407 0 None 5.69 0.53 2.66
Primal graph
Density: 13.21%
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 None 0.17 None None None None None 2.65
Degree 1 12 5.15 5.00 206 6.12e+26 61.68 2.04 0.40 1.94
Eccentricity 3 5 3.85 4.00 154 1.89e+23 53.60 0.48 0.12 0.69
Triangulated primal graph
Density: 29.74%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.78 None None None None None 3.25
Degree 1 26 11.60 9.50 464 1.29e+37 85.45 7.80 0.67 2.75
Eccentricity 2 4 3.33 3.00 133 4.04e+20 47.45 0.57 0.17 0.84
Dual graph
Density: 9.73%
MCB compute time (ms): 81
MCB cycles: 413
Triangles: 860
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 0.51 0.49 52.57 0.00 -70.68 0.10 0.19 3.34
Degree 4 18 9.92 10.00 1,022 MAX VALUE 231.98 2.82 0.28 2.37
Eccentricity 3 4 3.86 4.00 398 MAX VALUE 138.76 0.34 0.09 0.40
MCB cycle size 3 5 3.14 3.00 1,296 MAX VALUE 469.09 0.44 0.14 0.39
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 19
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 6.01 0.15
Degree 2 5 3.22 3.00 332 MAX VALUE 118.28 0.67 0.21 1.01
Eccentricity 6 8 6.79 7.00 699 MAX VALUE 196.85 0.59 0.09 0.88
MCB cycle size 3 9 6.73 7.00 431 MAX VALUE 120.60 1.36 0.20 1.69
Triangulated dual graph
Density: 30.25%
Triangles: 14,957
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 1.00 0.79 0.79 81.75 0.00 -25.14 0.13 0.16 4.08
Degree 4 63 30.85 26.00 3,178 MAX VALUE 327.74 18.65 0.60 3.63
Eccentricity 2 3 2.68 3.00 276 MAX VALUE 99.78 0.47 0.17 0.63
Triangulated minimal dual graph
Density: 11.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.75 0.67 77.63 0.00 -32.86 0.20 0.27 2.94
Degree 2 34 11.55 5.00 1,190 MAX VALUE 204.26 11.02 0.95 2.79
Eccentricity 3 5 3.84 4.00 396 MAX VALUE 137.47 0.59 0.15 0.88
Incidence graph
Density: 2.03%
MCB compute time (ms): 26
MCB cycles: 64
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.76
Degree 1 12 2.88 2.00 412 MAX VALUE 133.07 1.78 0.62 1.10
Eccentricity 7 10 8.15 8.00 1,166 MAX VALUE 299.58 0.68 0.08 1.03
MCB cycle size 6 10 7.62 8.00 488 MAX VALUE 128.66 1.58 0.21 1.07