Instance: normalized-3-insertions-5-3_ext
Number of variables: 1406
Number of constraints: 9695
Satisfiable: None
Timestamp: 2018-04-21 10:07:32
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1406
Number of constraints: 9695
General features
Coarse blocks: 58,170
Value tables: 1,406
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 19,390 MAX VALUE 6,720.06 0.00 0.00 0.00
Coarse blocks size 2 2 2.00 2.00 116,340 MAX VALUE 40,320.40 0.00 0.00 0.00
Relational linkage 0.67 0.67 0.67 0.67 2,812.00 0.00 -1,710.25 0.00 0.00 0.00
Tightness 0.33 0.33 0.33 0.33 3,231.67 0.00 -10,651.00 0.00 0.00 0.00
Tuples 6 6 6.00 6.00 58,170 MAX VALUE 17,371.10 0.00 0.00 0.00
Values 3 3 3.00 3.00 4,218 MAX VALUE 1,544.65 0.00 0.00 0.00
Value table constraints 5 281 13.79 16.00 19,390 MAX VALUE 3,571.79 10.15 0.74 1.61
Value table partitions 3 3 3.00 3.00 4,218 MAX VALUE 1,544.65 0.00 0.00 0.00
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.98%
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 5 281 13.79 16.00 19,390 MAX VALUE 3,571.79 10.15 0.74 1.61
Eccentricity 5 5 5.00 5.00 7,030 MAX VALUE 2,262.87 0.00 0.00 0.00
Triangulated primal 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 None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
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.04%
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.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 7 3.71 4.00 35,968 MAX VALUE 12,529.10 0.74 0.20 1.04
Eccentricity 12 17 14.44 14.00 140,031 MAX VALUE 25,874.40 0.77 0.05 1.15
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: 4.95%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.85 0.85 8,278.53 0.00 -1,647.69 0.13 0.15 4.98
Degree 2 2,462 479.93 8.00 4,652,900 MAX VALUE 32,872.40 824.08 1.72 4.41
Eccentricity 3 6 4.73 5.00 45,871 MAX VALUE 15,006.20 0.52 0.11 0.77
Incidence graph
Density: 0.03%
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Degree 2 281 3.49 2.00 38,780 MAX VALUE 10,291.90 5.33 1.53 0.58
Eccentricity 11 12 11.87 12.00 131,806 MAX VALUE 27,462.60 0.33 0.03 0.38
MCB cycle size None None None None None None None None None None