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

Instance comments



Component #1 Number of variables: 38
Number of constraints: 83
General features
Number of coarse blocks: 29,160
Number of unique subscopes: 34
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 166 9.67e+24 57.53 0.00 0.00 0.00
Coarse blocks size 3 36 17.99 18.00 524,666 MAX VALUE 83,499.80 4.04 0.22 2.81
Relational linkage 0.02 0.15 0.08 0.08 466.17 0.00 -15,879.20 0.01 0.19 2.39
Tightness 0.90 0.91 0.90 0.90 74.70 0.00 -8.74 0.00 0.00 4.04
Tuples 3,077 3,390 3,239.14 3,240.00 268,849 MAX VALUE 670.88 53.58 0.02 4.04
Domain size 180 180 180.00 180.00 6,840 MAX VALUE 197.33 0.00 0.00 0.00
Constraints per subscope 2 8 4.76 5.00 162 1.55e+22 51.09 1.59 0.33 1.77
Partitions per subscope 180 180 180.00 180.00 6,120 MAX VALUE 176.56 0.00 0.00 0.00
Tree decomposition
Number of clusters: 28
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 1 10 4.39 4.00 123 4.38e+15 36.02 2.50 0.57 1.92
Cluster variables 2 11 5.43 4.00 152 1.19e+19 43.92 2.65 0.49 1.98
Separator constraints 0 7 1.43 0.50 40 0 None 2.04 1.43 1.53
Separator variables 0 9 4.07 3.00 114 0 None 2.55 0.63 1.98
Dual tree decomposition
Number of clusters: 35
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 4 48 20.60 20.00 721 MAX VALUE 100.94 10.43 0.51 2.87
Cluster variables 4 25 11.00 10.00 385 6.71e+34 80.19 5.32 0.48 2.49
Separator constraints 0 25 10.66 10.00 373 0 None 6.23 0.58 2.92
Separator variables 0 18 8.63 7.00 302 0 None 4.13 0.48 2.51
Primal graph
Density: 11.81%
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.33
Degree 1 8 4.37 4.00 166 1.55e+22 51.09 1.90 0.43 1.92
Eccentricity 3 5 4.13 4.00 157 1.78e+23 53.54 0.57 0.14 0.85
Triangulated primal graph
Density: 24.04%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 1.00 None 0.67 None None None None None 3.08
Degree 1 20 8.89 6.50 338 7.72e+29 68.82 6.56 0.74 2.59
Eccentricity 3 4 3.37 3.00 128 7.58e+19 45.77 0.48 0.14 0.66
Dual graph
Density: 10.23%
MCB compute time (ms): 50
MCB cycles: 289
Triangles: 460
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.47 42.62 0.00 -57.11 0.12 0.24 3.01
Degree 3 13 8.39 8.00 696 MAX VALUE 173.35 2.22 0.26 2.11
Eccentricity 3 5 3.93 4.00 326 MAX VALUE 113.21 0.34 0.09 0.43
MCB cycle size 3 6 3.29 3.00 952 MAX VALUE 340.15 0.64 0.19 0.67
Minimal dual graph
Density: 3.76%
MCB compute time (ms): 15
MCB cycles: 46
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 5.37 0.18
Degree 2 4 3.08 3.00 256 MAX VALUE 92.26 0.52 0.17 0.77
Eccentricity 6 8 6.75 7.00 560 MAX VALUE 158.17 0.56 0.08 0.83
MCB cycle size 3 9 6.93 7.00 319 1.24e+38 87.72 1.57 0.23 1.77
Triangulated dual graph
Density: 28.53%
Triangles: 6,669
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.78 0.76 64.62 0.00 -22.04 0.14 0.18 3.75
Degree 3 48 23.40 21.00 1,942 MAX VALUE 241.79 14.04 0.60 3.35
Eccentricity 2 4 3.02 3.00 251 MAX VALUE 90.70 0.49 0.16 0.72
Triangulated minimal dual graph
Density: 12.31%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 1.00 0.75 0.67 62.30 0.00 -27.05 0.21 0.28 2.71
Degree 2 32 10.10 5.00 838 MAX VALUE 157.78 9.17 0.91 2.66
Eccentricity 3 5 3.84 4.00 319 MAX VALUE 110.81 0.57 0.15 0.85
Incidence graph
Density: 2.29%
MCB compute time (ms): 24
MCB cycles: 46
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.59
Degree 1 8 2.74 2.00 332 MAX VALUE 108.62 1.53 0.56 1.18
Eccentricity 6 10 8.50 9.00 1,029 MAX VALUE 258.44 0.81 0.10 1.21
MCB cycle size 6 10 7.96 8.00 366 MAX VALUE 94.79 1.28 0.16 0.96
Component #2 Number of variables: 2
Number of constraints: 1
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness 0.90 0.90 0.90 0.90 0.90 0.90 -0.11 0.00 0.00 0.00
Tuples 3,316 3,316 3,316.00 3,316.00 3,316 3,316 8.11 0.00 0.00 0.00
Domain size 180 180 180.00 180.00 360 32,400 10.39 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Incidence graph
Density: 66.67%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 1.10
Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64
Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64
MCB cycle size None None None None 0 1 0.00 None None 0.00