Instance: rand-2-40-80-103-800-0_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:51
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.99 16.00 262,271 MAX VALUE 45,030.10 3.58 0.22 2.69
Relational linkage 0.05 0.28 0.15 0.15 471.30 0.00 -5,964.72 0.03 0.20 2.31
Tightness 0.79 0.81 0.80 0.80 82.41 0.00 -22.98 0.00 0.01 4.11
Tuples 1,212 1,351 1,279.57 1,282.00 131,796 MAX VALUE 736.86 30.45 0.02 4.11
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 2.63e+26 60.83 2.16 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: 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 14 6.21 5.00 174 1.71e+19 44.29 4.17 0.67 2.09
Cluster variables 2 13 6.25 5.50 175 5.24e+20 47.71 3.18 0.51 2.13
Separator constraints 0 10 2.54 1.00 71 0 None 3.33 1.31 1.81
Separator variables 0 11 4.82 4.00 135 0 None 3.05 0.63 2.13
Dual tree decomposition
Number of clusters: 38
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 4 78 32.45 24.00 1,233 MAX VALUE 124.44 19.82 0.61 3.23
Cluster variables 4 37 13.92 11.50 529 MAX VALUE 94.44 8.07 0.58 2.86
Separator constraints 0 46 18.58 15.00 706 0 None 12.10 0.65 3.02
Separator variables 0 27 11.21 9.50 426 0 None 6.18 0.55 2.79
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.10 None None None None None 2.40
Degree 1 11 5.15 5.00 206 2.63e+26 60.83 2.23 0.43 2.06
Eccentricity 3 5 3.77 4.00 151 7.98e+22 52.73 0.52 0.14 0.77
Triangulated primal graph
Density: 27.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 None 0.73 None None None None None 2.88
Degree 1 23 10.65 9.00 426 1.07e+35 80.66 7.55 0.71 2.75
Eccentricity 2 4 3.20 3.00 128 8.53e+19 45.89 0.56 0.17 0.83
Dual graph
Density: 10.03%
MCB compute time (ms): 64
MCB cycles: 469
Triangles: 891
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.52 0.49 53.47 0.00 -68.82 0.09 0.17 3.41
Degree 3 17 10.23 10.00 1,054 MAX VALUE 235.31 2.76 0.27 2.37
Eccentricity 3 4 3.75 4.00 386 MAX VALUE 135.31 0.43 0.12 0.56
MCB cycle size 3 6 3.23 3.00 1,516 MAX VALUE 545.17 0.53 0.16 0.59
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.83 0.00 None 0.05 6.01 0.15
Degree 2 5 3.22 3.00 332 MAX VALUE 118.23 0.67 0.21 1.01
Eccentricity 5 8 6.60 7.00 680 MAX VALUE 194.04 0.55 0.08 0.81
MCB cycle size 3 9 7.00 7.00 448 MAX VALUE 123.53 1.12 0.16 1.41
Triangulated dual graph
Density: 33.39%
Triangles: 18,474
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.61 1.00 0.80 0.78 82.15 0.00 -24.39 0.12 0.15 4.14
Degree 3 63 34.06 30.00 3,508 MAX VALUE 337.07 19.97 0.59 3.66
Eccentricity 2 3 2.64 3.00 272 MAX VALUE 98.15 0.48 0.18 0.65
Triangulated minimal dual graph
Density: 12.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.75 0.67 77.69 0.00 -31.96 0.18 0.24 2.97
Degree 2 39 12.29 6.00 1,266 MAX VALUE 207.92 11.96 0.97 2.83
Eccentricity 3 5 3.86 4.00 398 MAX VALUE 138.05 0.58 0.15 0.86
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.28
Degree 1 11 2.88 2.00 412 MAX VALUE 132.23 1.84 0.64 1.01
Eccentricity 6 10 7.95 8.00 1,137 MAX VALUE 295.89 0.72 0.09 1.09
MCB cycle size 6 10 7.53 8.00 482 MAX VALUE 128.51 1.10 0.15 0.82