Instance: normalized-school1-nsh-13_ext
Number of variables: 352
Number of constraints: 14612
Satisfiable: None
Timestamp: 2018-04-21 10:12:23
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Component #1
Number of variables: 344Number of constraints: 14608
General features
Number of coarse blocks: 379,808
Number of unique subscopes: 344
Feature min max mean median sum prod ln(prod) std_dev COV ENT Arity 2 2 2.00 2.00 29,216 MAX VALUE 10,125.50 0.00 0.00 0.00 Coarse blocks size 12 12 12.00 12.00 4,557,700 MAX VALUE 943,787.00 0.00 0.00 0.00 Relational linkage 0.92 0.92 0.92 0.92 4,128.00 0.00 -357.95 0.00 0.00 0.00 Tightness 0.08 0.08 0.08 0.08 1,123.69 0.00 -37,468.80 0.00 0.00 0.00 Tuples 156 156 156.00 156.00 2,278,850 MAX VALUE 73,768.30 0.00 0.00 0.00 Domain size 13 13 13.00 13.00 4,472 MAX VALUE 882.34 0.00 0.00 0.00 Constraints per subscope 2 232 84.93 88.00 29,216 MAX VALUE 1,473.32 33.20 0.39 4.41 Partitions per subscope 13 13 13.00 13.00 4,472 MAX VALUE 882.34 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: 24.76%
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.54 0.51 184.12 0.00 None 0.14 0.26 5.75 Degree 2 232 84.93 88.00 29,216 MAX VALUE 1,473.32 33.20 0.39 4.41 Eccentricity 3 5 3.60 4.00 1,237 MAX VALUE 436.51 0.53 0.15 0.76
Triangulated primal graph
Density: 58.77%
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.61 1.00 0.89 0.90 305.36 0.00 -42.11 0.07 0.08 5.54 Degree 2 304 201.57 244.00 69,340 MAX VALUE 1,735.36 87.90 0.44 4.76 Eccentricity 3 5 3.24 3.00 1,113 MAX VALUE 400.84 0.46 0.14 0.59
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.03%
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 1.00 0.00 0.00 1.20 0.00 None 0.01 101.72 0.00 Degree 2 8 3.95 4.00 57,744 MAX VALUE 19,643.10 1.00 0.25 1.28 Eccentricity 12 19 15.25 15.00 222,821 MAX VALUE 39,764.90 1.12 0.07 1.52 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: 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
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 232 3.91 2.00 58,432 MAX VALUE 11,598.80 13.41 3.43 0.21 Eccentricity 6 12 8.40 8.00 125,571 MAX VALUE 31,756.30 0.79 0.09 0.69 MCB cycle size None None None None None None None None None None
Component #2
Number of variables: 2Number 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.08 0.08 0.08 0.08 0.08 0.08 -2.56 0.00 0.00 0.00 Tuples 156 156 156.00 156.00 156 156 5.05 0.00 0.00 0.00 Domain size 13 13 13.00 13.00 26 169 5.13 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: 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: 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): 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: None%
MCB compute time (ms): None
MCB cycles: 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 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: 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
Incidence graph
Density: 66.67%
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 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 None None None None None None
Component #3
Number of variables: 2Number 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.08 0.08 0.08 0.08 0.08 0.08 -2.56 0.00 0.00 0.00 Tuples 156 156 156.00 156.00 156 156 5.05 0.00 0.00 0.00 Domain size 13 13 13.00 13.00 26 169 5.13 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: 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: 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): 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: None%
MCB compute time (ms): None
MCB cycles: 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 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: 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
Incidence graph
Density: 66.67%
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 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 None None None None None None
Component #4
Number of variables: 2Number 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.08 0.08 0.08 0.08 0.08 0.08 -2.56 0.00 0.00 0.00 Tuples 156 156 156.00 156.00 156 156 5.05 0.00 0.00 0.00 Domain size 13 13 13.00 13.00 26 169 5.13 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: 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: 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): 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: None%
MCB compute time (ms): None
MCB cycles: 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 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: 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
Incidence graph
Density: 66.67%
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 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 None None None None None None
Component #5
Number of variables: 2Number 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.08 0.08 0.08 0.08 0.08 0.08 -2.56 0.00 0.00 0.00 Tuples 156 156 156.00 156.00 156 156 5.05 0.00 0.00 0.00 Domain size 13 13 13.00 13.00 26 169 5.13 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: 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: 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): 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: None%
MCB compute time (ms): None
MCB cycles: 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 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: 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
Incidence graph
Density: 66.67%
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 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 None None None None None None
None