Instance: rand-2-40-180-84-900-98_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: 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 35 18.04 18.00 526,050 MAX VALUE 83,586.30 4.02 0.22 2.81
Relational linkage 0.02 0.14 0.08 0.08 468.68 0.00 -15,849.10 0.02 0.20 2.41
Tightness 0.90 0.90 0.90 0.90 74.68 0.00 -8.76 0.00 0.00 4.19
Tuples 3,121 3,367 3,246.89 3,248.00 269,492 MAX VALUE 671.08 56.31 0.02 4.19
Domain size 180 180 180.00 180.00 6,840 MAX VALUE 197.33 0.00 0.00 0.00
Constraints per subscope 2 10 4.76 4.50 162 1.06e+22 50.72 1.80 0.38 1.87
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: 30
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 1 7 3.90 4.00 117 5.74e+15 36.29 1.81 0.47 1.75
Cluster variables 2 9 5.03 5.00 151 6.12e+19 45.56 2.09 0.42 1.91
Separator constraints 0 4 1.13 1.00 34 0 None 1.15 1.01 1.38
Separator variables 0 8 3.77 3.50 113 0 None 2.08 0.55 1.97
Dual tree decomposition
Number of clusters: 36
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 1 58 21.36 16.50 769 MAX VALUE 101.80 13.65 0.64 3.11
Cluster variables 2 27 10.81 9.00 389 1.05e+35 80.64 5.90 0.55 2.75
Separator constraints 0 38 11.36 10.00 409 0 None 8.40 0.74 2.77
Separator variables 0 21 8.50 7.50 306 0 None 4.62 0.54 2.65
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.50 None 0.14 None None None None None 2.55
Degree 1 10 4.37 4.00 166 1.06e+22 50.72 2.06 0.47 2.01
Eccentricity 4 7 4.92 5.00 187 1.27e+26 60.11 0.77 0.16 1.08
Triangulated primal graph
Density: 21.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.78 None None None None None 3.32
Degree 1 21 7.84 5.50 298 1.23e+28 64.68 6.09 0.78 2.67
Eccentricity 3 6 4.39 4.00 167 1.74e+24 55.82 0.67 0.15 1.00
Dual graph
Density: 10.58%
MCB compute time (ms): 45
MCB cycles: 292
Triangles: 531
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 None 0.50 None None None None None 3.30
Degree 1 16 8.67 8.00 720 MAX VALUE 174.28 2.72 0.31 2.31
Eccentricity 4 6 4.45 4.00 369 MAX VALUE 123.24 0.54 0.12 0.77
MCB cycle size 3 6 3.18 3.00 930 MAX VALUE 335.71 0.47 0.15 0.51
Minimal dual graph
Density: 3.76%
MCB compute time (ms): 14
MCB cycles: 46
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.29
Degree 1 4 3.08 3.00 256 MAX VALUE 91.50 0.62 0.20 0.93
Eccentricity 6 10 7.48 7.00 621 MAX VALUE 166.46 0.90 0.12 1.24
MCB cycle size 4 9 6.76 7.00 311 5.90e+37 86.97 1.32 0.20 1.66
Triangulated dual graph
Density: 29.44%
Triangles: 7,391
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 None 0.78 None None None None None 3.88
Degree 1 48 24.14 22.00 2,004 MAX VALUE 241.82 14.87 0.62 3.43
Eccentricity 2 4 3.36 3.00 279 MAX VALUE 99.70 0.50 0.15 0.72
Triangulated minimal dual graph
Density: 12.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.67 None None None None None 2.81
Degree 1 32 10.58 6.00 878 MAX VALUE 159.48 9.57 0.90 2.80
Eccentricity 3 6 4.64 5.00 385 MAX VALUE 126.62 0.61 0.13 0.93
Incidence graph
Density: 2.29%
MCB compute time (ms): 21
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.95
Degree 1 10 2.74 2.00 332 MAX VALUE 108.25 1.59 0.58 1.18
Eccentricity 8 14 9.85 10.00 1,192 MAX VALUE 275.87 1.25 0.13 1.51
MCB cycle size 6 10 7.52 8.00 346 MAX VALUE 92.23 1.19 0.16 0.89
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,230 3,230 3,230.00 3,230.00 3,230 3,230 8.08 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