Instance: rand-2-40-80-103-800-26_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:08
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 4 32 16.02 16.00 263,942 MAX VALUE 45,275.30 3.57 0.22 2.69
Relational linkage 0.05 0.26 0.15 0.15 481.18 0.00 -6,129.66 0.03 0.20 2.28
Tightness 0.79 0.82 0.80 0.80 82.38 0.00 -23.01 0.01 0.01 4.19
Tuples 1,169 1,350 1,281.27 1,283.00 131,971 MAX VALUE 736.99 32.50 0.03 4.19
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 3 9 5.15 5.00 206 4.08e+27 63.58 1.57 0.31 1.72
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: 26
Number of leaves: 13
Tree depth: 4
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 2 13 6.19 5.50 161 2.21e+19 44.54 2.91 0.47 2.17
Cluster variables 4 15 7.00 6.00 182 8.97e+20 48.25 3.16 0.45 1.99
Separator constraints 0 8 2.23 2.00 58 0 None 2.24 1.00 1.85
Separator variables 0 13 5.46 5.00 142 0 None 2.94 0.54 1.99
Dual tree decomposition
Number of clusters: 38
Number of leaves: 15
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 56 27.92 26.50 1,061 MAX VALUE 120.90 14.05 0.50 3.25
Cluster variables 5 36 13.84 11.50 526 MAX VALUE 95.02 7.55 0.55 2.80
Separator constraints 0 31 15.37 15.50 584 0 None 8.62 0.56 3.05
Separator variables 0 27 11.13 10.00 423 0 None 5.81 0.52 2.73
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 0.13 0.13 5.03 0.00 None 0.11 0.87 2.20
Degree 3 9 5.15 5.00 206 4.08e+27 63.58 1.57 0.31 1.72
Eccentricity 3 4 3.62 4.00 145 1.62e+22 51.14 0.48 0.13 0.66
Triangulated primal graph
Density: 31.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 1.00 0.79 0.77 31.69 0.00 -10.17 0.16 0.21 2.77
Degree 3 25 12.35 11.00 494 MAX VALUE 89.65 8.02 0.65 2.48
Eccentricity 2 3 2.58 3.00 103 1.23e+16 37.05 0.49 0.19 0.68
Dual graph
Density: 9.08%
MCB compute time (ms): 95
MCB cycles: 379
Triangles: 679
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.67 0.49 0.47 50.08 0.00 -74.85 0.05 0.11 3.07
Degree 4 14 9.26 9.00 954 MAX VALUE 226.28 2.13 0.23 2.13
Eccentricity 3 5 3.98 4.00 410 MAX VALUE 141.96 0.31 0.08 0.38
MCB cycle size 3 6 3.17 3.00 1,201 MAX VALUE 433.78 0.47 0.15 0.47
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.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 5 3.22 3.00 332 MAX VALUE 118.30 0.65 0.20 0.99
Eccentricity 6 8 6.90 7.00 711 MAX VALUE 198.56 0.63 0.09 0.95
MCB cycle size 4 9 6.83 7.00 437 MAX VALUE 121.66 1.27 0.19 1.52
Triangulated dual graph
Density: 31.91%
Triangles: 16,782
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.80 0.76 82.06 0.00 -24.65 0.12 0.16 4.08
Degree 4 61 32.54 32.00 3,352 MAX VALUE 332.70 19.54 0.60 3.59
Eccentricity 2 3 2.55 3.00 263 MAX VALUE 94.51 0.50 0.19 0.69
Triangulated minimal dual graph
Density: 12.03%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.76 0.67 77.78 0.00 -31.81 0.18 0.24 2.83
Degree 2 37 12.27 5.00 1,264 MAX VALUE 207.40 11.99 0.98 2.74
Eccentricity 3 5 3.84 4.00 396 MAX VALUE 137.47 0.59 0.15 0.88
Incidence graph
Density: 2.03%
MCB compute time (ms): 34
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 9 2.88 2.00 412 MAX VALUE 134.97 1.64 0.57 1.07
Eccentricity 7 10 8.15 8.00 1,165 MAX VALUE 299.45 0.69 0.08 1.04
MCB cycle size 6 10 7.78 8.00 498 MAX VALUE 130.30 1.37 0.18 1.02