Instance: rand-2-40-80-103-800-61_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:04
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 5 31 16.00 16.00 262,407 MAX VALUE 45,041.30 3.58 0.22 2.69
Relational linkage 0.06 0.26 0.15 0.15 470.51 0.00 -5,965.78 0.03 0.20 2.28
Tightness 0.79 0.81 0.80 0.80 82.40 0.00 -22.99 0.01 0.01 4.09
Tuples 1,203 1,347 1,280.13 1,282.00 131,853 MAX VALUE 736.90 35.55 0.03 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 8.03e+26 61.95 1.97 0.37 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: 14
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 12 6.07 5.00 170 1.18e+20 46.21 3.10 0.51 2.25
Cluster variables 2 13 6.71 5.00 188 6.36e+21 50.20 3.16 0.47 2.17
Separator constraints 0 9 2.39 1.00 67 0 None 2.68 1.12 1.91
Separator variables 0 12 5.29 4.00 148 0 None 3.09 0.58 2.22
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 7 82 31.00 26.50 1,178 MAX VALUE 122.18 20.10 0.65 3.38
Cluster variables 5 39 14.03 11.00 533 MAX VALUE 94.70 8.30 0.59 2.75
Separator constraints 0 45 17.53 16.00 666 0 None 11.59 0.66 3.28
Separator variables 0 28 11.32 9.00 430 0 None 6.42 0.57 2.69
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.67 None 0.11 None None None None None 2.35
Degree 1 10 5.15 5.00 206 8.03e+26 61.95 2.06 0.40 2.03
Eccentricity 3 4 3.60 4.00 144 1.21e+22 50.85 0.49 0.14 0.67
Triangulated primal graph
Density: 28.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.78 None None None None None 3.00
Degree 1 25 11.30 9.50 452 4.46e+36 84.39 7.84 0.69 2.66
Eccentricity 2 4 2.83 3.00 113 5.62e+17 40.87 0.49 0.17 0.72
Dual graph
Density: 9.75%
MCB compute time (ms): 73
MCB cycles: 462
Triangles: 849
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.19 0.00 -71.19 0.08 0.17 3.45
Degree 4 17 9.94 10.00 1,024 MAX VALUE 231.91 2.90 0.29 2.42
Eccentricity 3 4 3.79 4.00 390 MAX VALUE 136.46 0.41 0.11 0.52
MCB cycle size 3 5 3.26 3.00 1,508 MAX VALUE 540.78 0.57 0.17 0.63
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 18
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 5 3.22 3.00 332 MAX VALUE 118.30 0.65 0.20 0.99
Eccentricity 6 7 6.64 7.00 684 MAX VALUE 194.72 0.48 0.07 0.65
MCB cycle size 3 9 7.05 7.00 451 MAX VALUE 123.89 1.18 0.17 1.48
Triangulated dual graph
Density: 33.85%
Triangles: 19,308
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.80 0.78 82.65 0.00 -23.66 0.11 0.14 4.19
Degree 4 62 34.52 36.00 3,556 MAX VALUE 337.78 20.49 0.59 3.52
Eccentricity 2 3 2.59 3.00 267 MAX VALUE 96.13 0.49 0.19 0.68
Triangulated minimal dual graph
Density: 11.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.76 0.67 78.37 0.00 -31.33 0.19 0.25 2.84
Degree 2 36 12.21 6.00 1,258 MAX VALUE 205.84 11.95 0.98 2.76
Eccentricity 3 5 3.79 4.00 390 MAX VALUE 136.01 0.55 0.15 0.82
Incidence graph
Density: 2.03%
MCB compute time (ms): 25
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.55
Degree 1 10 2.88 2.00 412 MAX VALUE 133.34 1.78 0.62 1.09
Eccentricity 7 9 7.85 8.00 1,122 MAX VALUE 294.17 0.59 0.08 0.89
MCB cycle size 6 10 7.66 8.00 490 MAX VALUE 129.27 1.35 0.18 1.00