Instance: rand-2-40-80-103-800-46_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:50
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,480
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 206 1.01e+31 71.39 0.00 0.00 0.00
Coarse blocks size 5 33 16.00 16.00 263,756 MAX VALUE 45,261.70 3.58 0.22 2.69
Relational linkage 0.06 0.29 0.15 0.15 482.38 0.00 -6,123.45 0.03 0.20 2.30
Tightness 0.79 0.81 0.80 0.80 82.39 0.00 -22.99 0.01 0.01 4.13
Tuples 1,200 1,348 1,280.37 1,282.00 131,878 MAX VALUE 736.92 32.40 0.03 4.13
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 10 5.15 5.00 206 1.11e+27 62.27 1.98 0.38 2.01
Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
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 2 12 5.54 4.00 155 1.24e+19 43.96 2.92 0.53 2.00
Cluster variables 3 13 6.61 6.00 185 5.02e+21 49.97 3.06 0.46 2.19
Separator constraints 0 8 1.86 1.00 52 0 None 2.20 1.18 1.53
Separator variables 0 11 5.18 4.50 145 0 None 2.98 0.57 2.19
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 4 72 30.84 27.50 1,172 MAX VALUE 122.62 18.07 0.59 3.33
Cluster variables 4 37 13.79 11.50 524 MAX VALUE 94.39 7.76 0.56 2.83
Separator constraints 0 47 17.53 16.50 666 0 None 10.99 0.63 3.12
Separator variables 0 26 11.08 10.00 421 0 None 6.00 0.54 2.80
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 1.00 0.12 0.08 4.88 0.00 None 0.18 1.45 2.28
Degree 2 10 5.15 5.00 206 1.11e+27 62.27 1.98 0.38 2.01
Eccentricity 3 4 3.73 4.00 149 5.11e+22 52.29 0.45 0.12 0.59
Triangulated primal graph
Density: 28.59%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.79 0.77 31.50 0.00 -10.64 0.18 0.23 2.77
Degree 2 25 11.15 8.50 446 4.76e+36 84.45 7.65 0.69 2.82
Eccentricity 2 4 2.90 3.00 116 1.33e+18 41.73 0.58 0.20 0.88
Dual graph
Density: 9.63%
MCB compute time (ms): 143
MCB cycles: 416
Triangles: 814
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 0.79 0.50 0.47 51.33 0.00 -72.72 0.07 0.14 3.39
Degree 3 17 9.83 10.00 1,012 MAX VALUE 230.53 2.86 0.29 2.37
Eccentricity 3 4 3.82 4.00 393 MAX VALUE 137.32 0.39 0.10 0.48
MCB cycle size 3 6 3.17 3.00 1,318 MAX VALUE 476.22 0.46 0.15 0.48
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 29
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.67 0.00 None 0.04 6.13 0.15
Degree 2 4 3.22 3.00 332 MAX VALUE 118.36 0.64 0.20 0.95
Eccentricity 6 8 6.81 7.00 701 MAX VALUE 197.26 0.48 0.07 0.70
MCB cycle size 3 9 6.89 7.00 441 MAX VALUE 121.89 1.43 0.21 1.66
Triangulated dual graph
Density: 32.13%
Triangles: 17,096
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.80 0.77 82.14 0.00 -24.51 0.12 0.15 4.07
Degree 3 60 32.78 34.00 3,376 MAX VALUE 332.99 19.63 0.60 3.40
Eccentricity 2 4 2.93 3.00 302 MAX VALUE 109.49 0.45 0.15 0.64
Triangulated minimal dual graph
Density: 12.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.76 0.67 78.68 0.00 -30.79 0.19 0.24 2.93
Degree 2 38 12.89 7.00 1,328 MAX VALUE 211.26 12.48 0.97 2.83
Eccentricity 3 5 3.70 4.00 381 MAX VALUE 133.68 0.52 0.14 0.75
Incidence graph
Density: 2.03%
MCB compute time (ms): 42
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 10 2.88 2.00 412 MAX VALUE 133.66 1.76 0.61 1.04
Eccentricity 6 9 8.03 8.00 1,148 MAX VALUE 297.32 0.69 0.09 1.03
MCB cycle size 6 12 7.62 8.00 488 MAX VALUE 129.07 1.32 0.17 0.97