Instance: rand-2-40-80-103-800-66_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:09
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,400
Number of unique subscopes: 39
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 3 31 15.95 16.00 261,617 MAX VALUE 44,992.90 3.55 0.22 2.68
Relational linkage 0.04 0.26 0.15 0.15 467.02 0.00 -5,990.19 0.03 0.20 2.28
Tightness 0.79 0.81 0.80 0.80 82.46 0.00 -22.91 0.00 0.01 4.09
Tuples 1,205 1,345 1,276.17 1,273.00 131,445 MAX VALUE 736.59 29.93 0.02 4.09
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.26 5.00 205 9.83e+26 62.15 1.88 0.36 1.96
Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
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 1 15 6.00 4.00 168 5.15e+19 45.39 3.75 0.63 2.02
Cluster variables 2 13 6.54 6.00 183 3.88e+21 49.71 3.01 0.46 2.12
Separator constraints 0 12 2.32 1.00 65 0 None 3.23 1.39 1.76
Separator variables 0 12 5.11 4.50 143 0 None 2.91 0.57 2.16
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 9 66 30.55 27.50 1,161 MAX VALUE 122.80 17.98 0.59 3.15
Cluster variables 5 38 14.05 11.50 534 MAX VALUE 94.82 8.18 0.58 2.73
Separator constraints 0 42 17.26 17.50 656 0 None 10.35 0.60 2.98
Separator variables 0 29 11.34 10.00 431 0 None 6.33 0.56 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 1.00 None 0.12 None None None None None 2.23
Degree 1 10 5.15 5.00 206 9.83e+26 62.15 1.97 0.38 2.02
Eccentricity 3 4 3.73 4.00 149 5.11e+22 52.29 0.45 0.12 0.59
Triangulated primal graph
Density: 28.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 None 0.74 None None None None None 3.08
Degree 1 27 11.05 8.00 442 2.39e+36 83.76 7.71 0.70 2.85
Eccentricity 2 4 3.17 3.00 127 6.40e+19 45.60 0.54 0.17 0.81
Dual graph
Density: 9.61%
MCB compute time (ms): 59
MCB cycles: 491
Triangles: 807
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 1.00 0.51 0.49 52.38 0.00 -70.69 0.08 0.16 3.31
Degree 4 16 9.81 10.00 1,010 MAX VALUE 231.35 2.57 0.26 2.30
Eccentricity 3 4 3.85 4.00 397 MAX VALUE 138.47 0.35 0.09 0.42
MCB cycle size 3 6 3.36 3.00 1,651 MAX VALUE 587.51 0.66 0.20 0.77
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.02 0.00 1.67 0.00 None 0.07 4.19 0.26
Degree 2 4 3.22 3.00 332 MAX VALUE 118.36 0.64 0.20 0.95
Eccentricity 6 8 6.82 7.00 702 MAX VALUE 197.27 0.60 0.09 0.90
MCB cycle size 3 9 6.88 7.00 440 MAX VALUE 121.41 1.56 0.23 1.76
Triangulated dual graph
Density: 33.66%
Triangles: 18,837
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 1.00 0.80 0.80 82.43 0.00 -24.01 0.12 0.15 4.10
Degree 4 63 34.33 33.00 3,536 MAX VALUE 337.61 20.29 0.59 3.50
Eccentricity 2 3 2.57 3.00 265 MAX VALUE 95.32 0.49 0.19 0.68
Triangulated minimal dual graph
Density: 11.75%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.76 0.67 78.21 0.00 -31.72 0.19 0.25 2.97
Degree 2 38 11.98 6.00 1,234 MAX VALUE 205.56 11.64 0.97 2.91
Eccentricity 3 5 3.85 4.00 397 MAX VALUE 137.83 0.56 0.15 0.84
Incidence graph
Density: 2.03%
MCB compute time (ms): 27
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.45
Degree 1 10 2.88 2.00 412 MAX VALUE 133.55 1.76 0.61 1.12
Eccentricity 7 9 8.08 8.00 1,155 MAX VALUE 298.25 0.66 0.08 0.98
MCB cycle size 6 10 7.69 8.00 492 MAX VALUE 129.56 1.33 0.17 0.99