Instance: rand-2-40-180-84-900-60_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:20
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 40
Number of constraints: 84
General features
Number of coarse blocks: 29,340
Number of unique subscopes: 35
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 4 34 18.04 18.00 529,254 MAX VALUE 84,088.20 4.05 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 483.06 0.00 -16,309.80 0.02 0.20 2.43
Tightness 0.89 0.90 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.23
Tuples 3,101 3,405 3,246.69 3,253.00 272,722 MAX VALUE 679.16 60.54 0.02 4.23
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 8 4.66 5.00 163 2.95e+22 51.74 1.49 0.32 1.75
Partitions per subscope 180 180 180.00 180.00 6,300 MAX VALUE 181.75 0.00 0.00 0.00
Tree decomposition
Number of clusters: 29
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 7 3.62 4.00 105 1.37e+14 32.55 1.79 0.49 1.69
Cluster variables 2 12 5.03 5.00 146 6.62e+18 43.34 2.51 0.50 1.98
Separator constraints 0 3 0.72 0.00 21 0 None 0.94 1.30 1.13
Separator variables 0 10 3.66 4.00 106 0 None 2.25 0.62 1.98
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 44 18.79 15.50 714 MAX VALUE 106.15 10.07 0.54 2.96
Cluster variables 5 23 10.42 8.50 396 4.94e+36 84.49 5.36 0.51 2.47
Separator constraints 0 28 9.92 8.50 377 0 None 6.28 0.63 2.74
Separator variables 0 18 8.21 7.00 312 0 None 4.16 0.51 2.40
Primal graph
Density: 10.77%
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.07 None None None None None 2.68
Degree 1 8 4.20 4.50 168 2.95e+22 51.74 1.85 0.44 1.91
Eccentricity 3 5 4.25 4.00 170 9.90e+24 57.55 0.54 0.13 0.79
Triangulated primal graph
Density: 22.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 None 0.81 None None None None None 3.19
Degree 1 20 8.60 5.50 344 1.70e+30 69.61 6.81 0.79 2.55
Eccentricity 3 5 3.60 4.00 144 1.06e+22 50.72 0.58 0.16 0.86
Dual graph
Density: 9.67%
MCB compute time (ms): 49
MCB cycles: 263
Triangles: 418
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.52 0.47 43.73 0.00 -56.93 0.14 0.26 2.99
Degree 4 13 8.02 8.00 674 MAX VALUE 171.75 2.08 0.26 2.07
Eccentricity 3 5 4.02 4.00 338 MAX VALUE 116.77 0.27 0.07 0.30
MCB cycle size 3 6 3.26 3.00 857 MAX VALUE 306.66 0.65 0.20 0.59
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 14
MCB cycles: 45
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 None 0.00 None None None None None 1.10
Degree 1 5 3.05 3.00 256 MAX VALUE 91.38 0.63 0.21 0.91
Eccentricity 6 8 7.07 7.00 594 MAX VALUE 163.97 0.63 0.09 0.95
MCB cycle size 3 9 6.93 7.00 312 2.73e+37 86.20 1.31 0.19 1.63
Triangulated dual graph
Density: 27.45%
Triangles: 6,378
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.78 0.75 65.35 0.00 -22.43 0.14 0.18 3.87
Degree 4 48 22.79 22.00 1,914 MAX VALUE 241.36 13.89 0.61 3.37
Eccentricity 2 4 2.86 3.00 240 5.76e+37 86.95 0.47 0.16 0.67
Triangulated minimal dual graph
Density: 12.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.33 1.00 None 0.67 None None None None None 3.18
Degree 1 30 10.12 5.50 850 MAX VALUE 158.18 9.31 0.92 2.76
Eccentricity 3 6 4.54 5.00 381 MAX VALUE 126.22 0.61 0.13 0.91
Incidence graph
Density: 2.20%
MCB compute time (ms): 23
MCB cycles: 45
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 1.04
Degree 1 8 2.71 2.00 336 MAX VALUE 109.96 1.47 0.54 1.11
Eccentricity 7 11 8.84 9.00 1,096 MAX VALUE 269.79 0.72 0.08 1.07
MCB cycle size 6 10 8.09 8.00 364 MAX VALUE 93.25 1.52 0.19 1.08