Instance: rand-2-40-180-84-900-43_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:16
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: 30,060
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 168 1.93e+25 58.22 0.00 0.00 0.00
Coarse blocks size 4 35 18.04 18.00 542,349 MAX VALUE 86,169.10 4.03 0.22 2.81
Relational linkage 0.02 0.17 0.08 0.08 550.15 0.00 -18,027.70 0.02 0.20 2.47
Tightness 0.90 0.90 0.90 0.90 75.58 0.00 -8.87 0.00 0.00 4.13
Tuples 3,097 3,374 3,247.23 3,253.00 272,767 MAX VALUE 679.18 52.15 0.02 4.13
Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00
Constraints per subscope 2 10 4.28 4.00 167 1.17e+23 53.12 1.85 0.43 1.82
Partitions per subscope 180 180 180.00 180.00 7,020 MAX VALUE 202.53 0.00 0.00 0.00
Tree decomposition
Number of clusters: 31
Number of leaves: 15
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 0 11 4.32 4.00 134 0 None 2.58 0.60 2.15
Cluster variables 2 10 5.10 4.00 158 6.37e+20 47.90 2.16 0.42 1.89
Separator constraints 0 6 1.61 1.00 50 0 None 1.96 1.22 1.56
Separator variables 0 9 3.81 3.00 118 0 None 2.09 0.55 1.95
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 2 47 17.63 16.00 670 MAX VALUE 100.63 10.80 0.61 3.09
Cluster variables 3 24 9.97 8.00 379 9.04e+35 82.79 5.13 0.51 2.60
Separator constraints 0 22 8.66 7.50 329 0 None 5.52 0.64 2.66
Separator variables 0 18 7.76 7.00 295 0 None 3.97 0.51 2.50
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.67 None 0.14 None None None None None 2.27
Degree 1 10 4.20 4.00 168 1.17e+23 53.12 1.90 0.45 1.89
Eccentricity 3 5 4.20 4.00 168 5.57e+24 56.98 0.60 0.14 0.90
Triangulated primal graph
Density: 20.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 1.00 None 0.76 None None None None None 2.74
Degree 1 22 8.15 6.00 326 5.85e+30 70.84 6.15 0.75 2.56
Eccentricity 2 4 3.08 3.00 123 1.60e+19 44.22 0.57 0.18 0.85
Dual graph
Density: 9.78%
MCB compute time (ms): 36
MCB cycles: 286
Triangles: 481
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 1.00 0.51 0.50 43.21 0.00 None 0.11 0.22 3.24
Degree 2 15 8.12 8.00 682 MAX VALUE 170.30 2.83 0.35 2.38
Eccentricity 3 5 4.25 4.00 357 MAX VALUE 121.07 0.46 0.11 0.64
MCB cycle size 3 6 3.29 3.00 942 MAX VALUE 336.23 0.67 0.20 0.66
Minimal dual graph
Density: 3.67%
MCB compute time (ms): 15
MCB cycles: 45
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.41 0.18
Degree 2 4 3.05 3.00 256 MAX VALUE 92.26 0.53 0.17 0.79
Eccentricity 6 8 6.99 7.00 587 MAX VALUE 162.97 0.63 0.09 0.94
MCB cycle size 3 10 7.07 7.00 318 4.78e+37 86.76 1.54 0.22 1.77
Triangulated dual graph
Density: 25.90%
Triangles: 5,735
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.54 1.00 0.77 0.77 64.95 0.00 -22.97 0.14 0.18 3.88
Degree 2 44 21.50 17.00 1,806 MAX VALUE 235.72 13.67 0.64 3.30
Eccentricity 2 4 3.04 3.00 255 MAX VALUE 92.20 0.47 0.16 0.69
Triangulated minimal dual graph
Density: 12.54%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.75 0.67 62.98 0.00 -27.42 0.21 0.27 2.77
Degree 2 30 10.40 5.00 874 MAX VALUE 161.29 9.42 0.90 2.73
Eccentricity 3 5 3.71 4.00 312 MAX VALUE 109.22 0.57 0.15 0.84
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 0.36
Degree 1 10 2.71 2.00 336 MAX VALUE 111.34 1.49 0.55 1.04
Eccentricity 7 11 8.97 9.00 1,112 MAX VALUE 271.37 0.91 0.10 1.32
MCB cycle size 6 12 7.82 8.00 352 MAX VALUE 91.36 1.88 0.24 1.22