Instance: normalized-ii-16a1_ext
Number of variables: 3300
Number of constraints: 21018
Satisfiable: None
Timestamp: 2018-04-21 10:34:39
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 3300
Number of constraints: 21018
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 16 2.27 2.00 47,670 MAX VALUE 15,411.90 1.91 0.84 0.11
Coarse blocks size None None None None None None None None None None
Relational linkage None None None None None None None None None None
Tightness 0.00 0.25 0.25 0.25 5,152.51 0.00 -33,042.30 0.03 0.14 0.11
Tuples 3 65,535 1,153.50 3.00 24,244,200 MAX VALUE 27,113.20 8,371.77 7.26 0.11
Domain size 2 2 2.00 2.00 6,600 MAX VALUE 2,287.39 0.00 0.00 0.00
Constraints per subscope None None None None None None None None None None
Partitions per subscope None None None None None None None None None None
Tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None None None None None None None
Cluster variables None None None None None None None None None None
Separator constraints None None None None None None None None None None
Separator variables None None None None None None None None None None
Dual tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None None None None None None None
Cluster variables None None None None None None None None None None
Separator constraints None None None None None None None None None None
Separator variables None None None None None None None None None None
Primal graph
Density: 0.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.89 None 0.43 None None None None None 1.30
Degree 1 53 21.24 17.00 70,080 MAX VALUE 9,772.30 9.64 0.45 1.77
Eccentricity 5 8 6.08 6.00 20,070 MAX VALUE 5,911.57 1.04 0.17 1.30
Triangulated primal graph
Density: 8.48%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 None 0.83 None None None None None 5.61
Degree 1 1,189 279.68 53.00 922,932 MAX VALUE 14,872.30 371.36 1.33 4.98
Eccentricity 3 5 3.82 4.00 12,613 MAX VALUE 4,372.41 0.68 0.18 1.00
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
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 None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.74 0.01 0.00 183.40 0.00 None 0.07 8.19 0.13
Degree 2 20 3.97 4.00 83,400 MAX VALUE 28,219.50 1.56 0.39 0.68
Eccentricity 14 27 21.57 22.00 453,359 MAX VALUE 64,418.30 2.40 0.11 2.25
MCB cycle size None None None None None None None None None None
Triangulated dual graph
Density: None%
Triangles: 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 None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 0.29%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.06 1.00 0.81 0.76 16,990.90 0.00 -4,999.88 0.17 0.21 4.75
Degree 2 3,084 61.22 9.00 1,286,790 MAX VALUE 58,482.90 156.11 2.55 3.98
Eccentricity 4 7 5.44 5.00 114,261 MAX VALUE 35,445.00 0.62 0.11 0.94
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
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.29
Degree 1 53 3.92 2.00 95,340 MAX VALUE 22,435.20 6.59 1.68 0.56
Eccentricity 10 16 12.87 13.00 312,990 MAX VALUE 62,048.10 1.05 0.08 0.94
MCB cycle size None None None None None None None None None None