Instance: rand-2-40-80-103-800-71_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 30 16.00 16.00 262,342 MAX VALUE 45,031.20 3.59 0.22 2.69
Relational linkage 0.05 0.28 0.15 0.15 469.29 0.00 -5,977.25 0.03 0.20 2.30
Tightness 0.79 0.81 0.80 0.80 82.40 0.00 -22.98 0.00 0.01 3.86
Tuples 1,198 1,370 1,279.76 1,278.00 131,815 MAX VALUE 736.88 30.01 0.02 3.86
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 11 5.26 5.00 205 6.46e+26 61.73 2.07 0.39 2.04
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: 27
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 18 5.67 5.00 153 1.85e+17 39.76 4.32 0.76 2.22
Cluster variables 2 14 6.52 6.00 176 4.88e+20 47.64 3.13 0.48 2.30
Separator constraints 0 13 1.85 1.00 50 0 None 3.00 1.62 1.60
Separator variables 0 12 5.04 4.00 136 0 None 2.94 0.58 2.30
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 6 99 32.39 24.00 1,231 MAX VALUE 122.55 23.18 0.72 3.37
Cluster variables 5 36 13.95 11.00 530 MAX VALUE 94.99 7.77 0.56 2.76
Separator constraints 0 74 18.71 14.00 711 0 None 15.00 0.80 3.30
Separator variables 0 25 11.24 10.00 427 0 None 5.93 0.53 2.72
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.33 None 0.14 None None None None None 2.42
Degree 1 11 5.15 5.00 206 6.46e+26 61.73 2.15 0.42 2.10
Eccentricity 3 4 3.62 4.00 145 1.62e+22 51.14 0.48 0.13 0.66
Triangulated primal graph
Density: 29.10%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.77 None None None None None 2.83
Degree 1 24 11.35 9.50 454 4.18e+36 84.32 7.78 0.69 2.82
Eccentricity 2 4 2.83 3.00 113 4.44e+17 40.64 0.59 0.21 0.88
Dual graph
Density: 9.90%
MCB compute time (ms): 65
MCB cycles: 433
Triangles: 902
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.50 52.75 0.00 -70.20 0.09 0.17 3.57
Degree 4 19 10.10 10.00 1,040 MAX VALUE 233.33 3.07 0.30 2.47
Eccentricity 3 4 3.88 4.00 400 MAX VALUE 139.34 0.32 0.08 0.36
MCB cycle size 3 5 3.15 3.00 1,364 MAX VALUE 493.75 0.42 0.13 0.44
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 20
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.47 0.64 0.20 0.97
Eccentricity 6 7 6.68 7.00 688 MAX VALUE 195.34 0.47 0.07 0.63
MCB cycle size 3 10 6.92 7.00 443 MAX VALUE 122.69 1.20 0.17 1.52
Triangulated dual graph
Density: 32.84%
Triangles: 17,650
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.80 0.77 81.92 0.00 -24.73 0.12 0.15 4.07
Degree 4 67 33.50 36.00 3,450 MAX VALUE 336.59 19.39 0.58 3.75
Eccentricity 2 3 2.65 3.00 273 MAX VALUE 98.56 0.48 0.18 0.65
Triangulated minimal dual graph
Density: 12.07%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.76 0.71 78.59 0.00 -30.98 0.19 0.24 2.95
Degree 2 39 12.31 5.00 1,268 MAX VALUE 208.28 12.04 0.98 2.87
Eccentricity 3 5 3.77 4.00 388 MAX VALUE 135.56 0.53 0.14 0.77
Incidence graph
Density: 2.03%
MCB compute time (ms): 24
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 11 2.88 2.00 412 MAX VALUE 133.13 1.81 0.63 1.11
Eccentricity 6 9 8.00 8.00 1,144 MAX VALUE 296.90 0.64 0.08 0.96
MCB cycle size 6 10 7.50 8.00 480 MAX VALUE 127.97 1.32 0.18 0.97