Instance: rand-2-40-80-103-800-86_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,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 32 15.97 16.00 261,907 MAX VALUE 45,008.40 3.56 0.22 2.69
Relational linkage 0.05 0.26 0.15 0.15 470.82 0.00 -5,968.45 0.03 0.20 2.31
Tightness 0.79 0.81 0.80 0.80 82.44 0.00 -22.93 0.00 0.01 4.10
Tuples 1,204 1,351 1,277.31 1,274.00 131,563 MAX VALUE 736.68 30.55 0.02 4.10
Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00
Constraints per subscope 2 9 5.26 5.00 205 4.05e+26 61.26 2.13 0.41 1.99
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: 16
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 1 16 6.39 5.00 179 4.47e+19 45.25 4.47 0.70 2.31
Cluster variables 2 13 6.46 5.00 181 2.07e+21 49.08 3.05 0.47 2.28
Separator constraints 0 12 2.71 1.00 76 0 None 3.65 1.35 1.79
Separator variables 0 11 5.04 4.00 141 0 None 2.95 0.58 2.28
Dual tree decomposition
Number of clusters: 38
Number of leaves: 16
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 86 33.37 21.00 1,268 MAX VALUE 122.36 24.55 0.74 3.33
Cluster variables 5 38 14.24 12.00 541 MAX VALUE 94.80 8.60 0.60 2.83
Separator constraints 0 58 19.55 13.00 743 0 None 15.60 0.80 3.19
Separator variables 0 27 11.53 10.00 438 0 None 6.67 0.58 2.75
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.17
Degree 1 9 5.15 5.00 206 4.05e+26 61.26 2.21 0.43 2.06
Eccentricity 3 4 3.60 4.00 144 1.21e+22 50.85 0.49 0.14 0.67
Triangulated primal graph
Density: 28.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.75 None None None None None 2.64
Degree 1 24 10.95 9.50 438 6.82e+35 82.51 7.65 0.70 2.88
Eccentricity 2 4 3.17 3.00 127 5.69e+19 45.49 0.59 0.18 0.88
Dual graph
Density: 9.99%
MCB compute time (ms): 86
MCB cycles: 476
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.33 1.00 0.51 0.49 52.87 0.00 -69.91 0.09 0.17 3.47
Degree 4 16 10.19 10.00 1,050 MAX VALUE 233.91 3.09 0.30 2.43
Eccentricity 3 5 3.99 4.00 411 MAX VALUE 142.24 0.30 0.07 0.36
MCB cycle size 3 6 3.22 3.00 1,535 MAX VALUE 551.94 0.54 0.17 0.57
Minimal dual graph
Density: 3.16%
MCB compute time (ms): 24
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.30 0.65 0.20 0.99
Eccentricity 5 8 6.68 7.00 688 MAX VALUE 195.15 0.63 0.09 0.95
MCB cycle size 3 10 7.05 7.00 451 MAX VALUE 123.37 1.45 0.21 1.71
Triangulated dual graph
Density: 34.97%
Triangles: 20,364
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.58 1.00 0.80 0.79 82.79 0.00 -23.57 0.12 0.15 3.97
Degree 4 67 35.67 36.00 3,674 MAX VALUE 341.78 20.57 0.58 3.67
Eccentricity 2 3 2.55 3.00 263 MAX VALUE 94.51 0.50 0.19 0.69
Triangulated minimal dual graph
Density: 12.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.76 0.67 78.62 0.00 -31.02 0.19 0.25 2.94
Degree 2 37 12.29 5.00 1,266 MAX VALUE 206.40 12.17 0.99 2.75
Eccentricity 3 5 3.86 4.00 398 MAX VALUE 137.99 0.59 0.15 0.89
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 None 0.00 None None None None None 0.60
Degree 1 9 2.88 2.00 412 MAX VALUE 132.66 1.83 0.64 1.07
Eccentricity 7 10 8.10 8.00 1,158 MAX VALUE 298.63 0.66 0.08 0.98
MCB cycle size 6 12 7.66 8.00 490 MAX VALUE 128.91 1.60 0.21 1.12