Instance: rand-2-40-80-103-800-87_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:05
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 4 31 16.03 16.00 262,915 MAX VALUE 45,068.20 3.58 0.22 2.69
Relational linkage 0.05 0.28 0.15 0.15 469.56 0.00 -5,977.45 0.03 0.21 2.32
Tightness 0.78 0.81 0.80 0.80 82.36 0.00 -23.04 0.00 0.01 4.08
Tuples 1,221 1,379 1,282.69 1,280.00 132,117 MAX VALUE 737.11 31.17 0.02 4.08
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 5.28e+26 61.53 1.94 0.37 1.95
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 16 6.64 6.00 186 3.00e+20 47.15 4.05 0.61 2.50
Cluster variables 2 13 6.32 5.50 177 7.97e+20 48.13 3.23 0.51 2.09
Separator constraints 0 13 2.96 2.00 83 0 None 3.43 1.16 2.02
Separator variables 0 12 4.89 4.00 137 0 None 3.11 0.64 2.15
Dual tree decomposition
Number of clusters: 38
Number of leaves: 12
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 85 31.55 27.00 1,199 MAX VALUE 122.31 20.07 0.64 3.32
Cluster variables 3 35 13.71 11.50 521 MAX VALUE 93.53 7.91 0.58 2.95
Separator constraints 0 47 18.13 16.00 689 0 None 12.37 0.68 3.09
Separator variables 0 26 11.00 9.50 418 0 None 6.12 0.56 2.76
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.17 None None None None None 2.50
Degree 1 10 5.15 5.00 206 5.28e+26 61.53 2.03 0.39 2.02
Eccentricity 3 5 4.03 4.00 161 1.09e+24 55.35 0.52 0.13 0.78
Triangulated primal graph
Density: 27.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 None 0.75 None None None None None 3.04
Degree 1 22 10.75 7.50 430 4.50e+35 82.09 7.43 0.69 2.68
Eccentricity 3 5 3.52 3.00 141 4.49e+21 49.86 0.59 0.17 0.85
Dual graph
Density: 9.71%
MCB compute time (ms): 93
MCB cycles: 414
Triangles: 820
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.51 0.49 52.12 0.00 None 0.10 0.19 3.36
Degree 2 17 9.90 10.00 1,020 MAX VALUE 231.58 2.68 0.27 2.32
Eccentricity 3 5 3.99 4.00 411 MAX VALUE 142.11 0.36 0.09 0.47
MCB cycle size 3 5 3.11 3.00 1,288 MAX VALUE 467.80 0.34 0.11 0.36
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 23
MCB cycles: 64
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.17 0.00 0.00 0.50 0.00 None 0.03 5.77 0.13
Degree 2 5 3.22 3.00 332 MAX VALUE 118.11 0.68 0.21 1.03
Eccentricity 6 8 6.80 7.00 700 MAX VALUE 196.97 0.61 0.09 0.92
MCB cycle size 3 9 6.69 7.00 428 MAX VALUE 120.02 1.38 0.21 1.63
Triangulated dual graph
Density: 32.36%
Triangles: 17,307
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.59 1.00 0.79 0.78 81.64 0.00 -25.06 0.12 0.15 4.15
Degree 2 63 33.01 29.00 3,400 MAX VALUE 333.31 19.47 0.59 3.69
Eccentricity 2 4 3.23 3.00 333 MAX VALUE 119.83 0.47 0.14 0.66
Triangulated minimal dual graph
Density: 11.99%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.40 1.00 0.76 0.71 78.72 0.00 -30.90 0.19 0.25 2.96
Degree 2 36 12.23 5.00 1,260 MAX VALUE 205.07 12.24 1.00 2.72
Eccentricity 3 5 3.82 4.00 393 MAX VALUE 136.81 0.55 0.14 0.82
Incidence graph
Density: 2.03%
MCB compute time (ms): 31
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.54
Degree 1 10 2.88 2.00 412 MAX VALUE 132.93 1.78 0.62 1.02
Eccentricity 7 10 8.48 8.00 1,213 MAX VALUE 305.15 0.77 0.09 1.14
MCB cycle size 6 10 7.25 8.00 464 MAX VALUE 125.99 1.15 0.16 0.84