Instance: homer-8_ext
Number of variables: 561
Number of constraints: 1628
Satisfiable: None
Timestamp: 2017-10-27 10:54:40
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Component #1
Number of variables: 542Number of constraints: 1619
General features
Number of coarse blocks: 24,320
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 3,238 MAX VALUE 1,122.21 0.00 0.00 0.00 Coarse blocks size 7 7 7.00 7.00 170,240 MAX VALUE 47,324.50 0.00 0.00 0.00 Relational linkage 0.88 0.88 0.88 0.88 2,408.00 0.00 -367.48 0.00 0.00 0.00 Tightness 0.12 0.12 0.12 0.12 202.38 0.00 -3,366.62 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 90,664 MAX VALUE 6,517.04 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 4,336 MAX VALUE 1,127.06 0.00 0.00 0.00 Constraints per subscope 2 99 8.84 4.00 3,040 MAX VALUE 573.51 12.07 1.37 2.70 Partitions per subscope 8 8 8.00 8.00 2,752 MAX VALUE 715.33 0.00 0.00 0.00
Tree decomposition
Number of clusters: 444
Number of leaves: 121
Tree depth: 31
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT Cluster constraints 1 207 12.52 2.00 5,559 MAX VALUE 493.44 33.99 2.71 2.27 Cluster variables 2 32 4.61 3.00 2,045 MAX VALUE 536.04 5.38 1.17 1.87 Separator constraints 0 196 8.87 0.00 3,940 0 None 30.30 3.42 1.89 Separator variables 0 30 3.39 1.00 1,503 0 None 5.17 1.53 1.77
Dual tree decomposition
Number of clusters: 378
Number of leaves: 138
Tree depth: 14
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT Cluster constraints 1 5,311 347.27 79.50 131,268 MAX VALUE 1,599.55 717.77 2.07 4.96 Cluster variables 2 348 30.30 16.00 11,455 MAX VALUE 1,056.84 44.51 1.47 4.01 Separator constraints 0 3,036 249.41 59.00 94,277 0 None 481.25 1.93 4.73 Separator variables 0 269 26.02 15.00 9,836 0 None 36.26 1.39 3.93
Primal graph
Density: 1.10%
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 None 1.00 None None None None None 5.76 Degree 1 99 5.97 2.00 3,238 MAX VALUE 573.51 10.33 1.73 2.37 Eccentricity 5 9 6.56 7.00 3,558 MAX VALUE 1,017.11 0.67 0.10 1.00
Triangulated primal graph
Density: 1.63%
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.00 1.00 None None None None None None None 5.92 Degree 1 123 8.85 2.00 4,794 MAX VALUE 629.45 17.29 1.95 2.49 Eccentricity 5 9 6.06 6.00 3,285 MAX VALUE 974.38 0.56 0.09 0.79
Dual graph
Density: 2.82%
MCB compute time (ms): 1,763,960
MCB cycles: 36,630
Triangles: 580,457
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 None 0.64 None None None None None 6.16 Degree 1 174 45.70 42.00 73,982 MAX VALUE 5,654.12 31.63 0.69 4.60 Eccentricity 5 9 5.95 6.00 9,631 MAX VALUE 2,878.55 0.61 0.10 0.90 MCB cycle size 3 7 3.02 3.00 110,771 MAX VALUE 40,490.80 0.17 0.06 0.11
Minimal dual graph
Density: 0.21%
MCB compute time (ms): 74,131
MCB cycles: 1,078
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.00 1.00 None 0.00 None None None None None 0.49 Degree 1 6 3.33 3.00 5,392 MAX VALUE 1,891.29 0.84 0.25 1.24 Eccentricity 11 19 13.91 14.00 22,522 MAX VALUE 4,256.43 1.21 0.09 1.55 MCB cycle size 3 17 7.87 8.00 8,484 MAX VALUE 2,172.58 2.33 0.30 2.22
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: 3.37%
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 0.00 1.00 None 0.80 None None None None None 4.87 Degree 1 317 54.48 5.00 88,210 MAX VALUE 3,896.25 99.90 1.83 3.54 Eccentricity 6 12 7.88 8.00 12,751 MAX VALUE 3,333.56 0.78 0.10 1.12
Incidence graph
Density: 0.14%
MCB compute time (ms): 20,657
MCB cycles: 1,078
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 1.96 Degree 1 99 3.00 2.00 6,476 MAX VALUE 1,695.71 5.45 1.82 0.98 Eccentricity 10 19 12.91 13.00 27,895 MAX VALUE 5,517.69 1.25 0.10 1.52 MCB cycle size 6 12 6.10 6.00 6,574 MAX VALUE 1,945.93 0.54 0.09 0.19
Component #2
Number of variables: 3Number of constraints: 3
General features
Number of coarse blocks: 48
Number of unique subscopes: 3
Feature min max mean median sum prod ln(prod) std_dev COV ENT Arity 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Coarse blocks size 7 7 7.00 7.00 336 MAX VALUE 93.40 0.00 0.00 0.00 Relational linkage 0.88 0.88 0.88 0.88 21.00 0.04 -3.20 0.00 0.00 0.00 Tightness 0.12 0.12 0.12 0.12 0.38 0.00 -6.24 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 168 175,616 12.08 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 24 512 6.24 0.00 0.00 0.00 Constraints per subscope 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Partitions per subscope 8 8 8.00 8.00 24 512 6.24 0.00 0.00 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 3 3 3.00 3.00 3 3 1.10 0.00 0.00 0.00 Cluster variables 3 3 3.00 3.00 3 3 1.10 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 3 3 3.00 3.00 3 3 1.10 0.00 0.00 0.00 Cluster variables 3 3 3.00 3.00 3 3 1.10 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 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00 Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Eccentricity 1 1 1.00 1.00 3 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 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00 Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00
Dual graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 1
Triangles: 1
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00 Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00 MCB cycle size 3 3 3.00 3.00 3 3 1.10 0.00 0.00 0.00
Minimal dual graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 1
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00 Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00 MCB cycle size 3 3 3.00 3.00 3 3 1.10 0.00 0.00 0.00
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: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00 Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00 Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00
Incidence graph
Density: 40.00%
MCB compute time (ms): 0
MCB cycles: 1
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 2 2.00 2.00 12 64 4.16 0.00 0.00 0.00 Eccentricity 3 3 3.00 3.00 18 729 6.59 0.00 0.00 0.00 MCB cycle size 6 6 6.00 6.00 6 6 1.79 0.00 0.00 0.00
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.12 0.12 0.12 0.12 0.12 0.12 -2.08 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 56 56 4.03 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 16 64 4.16 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: 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 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
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.12 0.12 0.12 0.12 0.12 0.12 -2.08 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 56 56 4.03 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 16 64 4.16 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: 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 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
Component #5
Number of variables: 1Number of constraints: 0
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 None None None None 0 1 0.00 None None 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 None None None None 0.00 1.00 0.00 None None 0.00 Tuples None None None None 0 1 0.00 None None 0.00 Domain size 8 8 8.00 8.00 8 8 2.08 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 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
Dual tree decomposition
Number of clusters: 0
Number of leaves: 0
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 None None None None 0 1 0.00 None None 0.00 Cluster variables None None None None 0 1 0.00 None None 0.00 Separator constraints None None None None 0 1 0.00 None None 0.00 Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: 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 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 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 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
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None 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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00 MCB cycle size None None None None 0 1 0.00 None None 0.00
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
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 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
Component #6
Number of variables: 1Number of constraints: 0
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 None None None None 0 1 0.00 None None 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 None None None None 0.00 1.00 0.00 None None 0.00 Tuples None None None None 0 1 0.00 None None 0.00 Domain size 8 8 8.00 8.00 8 8 2.08 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 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
Dual tree decomposition
Number of clusters: 0
Number of leaves: 0
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 None None None None 0 1 0.00 None None 0.00 Cluster variables None None None None 0 1 0.00 None None 0.00 Separator constraints None None None None 0 1 0.00 None None 0.00 Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: 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 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 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 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
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None 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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00 MCB cycle size None None None None 0 1 0.00 None None 0.00
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
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 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
Component #7
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.12 0.12 0.12 0.12 0.12 0.12 -2.08 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 56 56 4.03 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 16 64 4.16 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: 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 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
Component #8
Number of variables: 1Number of constraints: 0
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 None None None None 0 1 0.00 None None 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 None None None None 0.00 1.00 0.00 None None 0.00 Tuples None None None None 0 1 0.00 None None 0.00 Domain size 8 8 8.00 8.00 8 8 2.08 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 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
Dual tree decomposition
Number of clusters: 0
Number of leaves: 0
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 None None None None 0 1 0.00 None None 0.00 Cluster variables None None None None 0 1 0.00 None None 0.00 Separator constraints None None None None 0 1 0.00 None None 0.00 Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: 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 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 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 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
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None 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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00 MCB cycle size None None None None 0 1 0.00 None None 0.00
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
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 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
Component #9
Number of variables: 3Number of constraints: 2
General features
Number of coarse blocks: 16
Number of unique subscopes: 1
Feature min max mean median sum prod ln(prod) std_dev COV ENT Arity 2 2 2.00 2.00 4 4 1.39 0.00 0.00 0.00 Coarse blocks size 7 7 7.00 7.00 112 3.32e+13 31.13 0.00 0.00 0.00 Relational linkage 0.88 0.88 0.88 0.88 7.00 0.34 -1.07 0.00 0.00 0.00 Tightness 0.12 0.12 0.12 0.12 0.25 0.02 -4.16 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 112 3,136 8.05 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 24 512 6.24 0.00 0.00 0.00 Constraints per subscope 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00 Partitions per subscope 8 8 8.00 8.00 8 8 2.08 0.00 0.00 0.00
Tree decomposition
Number of clusters: 2
Number of leaves: 1
Tree depth: 1
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 2 1 0.00 0.00 0.00 0.00 Cluster variables 2 2 2.00 2.00 4 4 1.39 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 1 0.50 0.50 1 0 None 0.50 1.00 0.69
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 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
Primal graph
Density: 66.67%
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
Triangulated primal graph
Density: 66.67%
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
Dual graph
Density: 100.00%
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.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 MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: 100.00%
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.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 MCB cycle size None None None None 0 1 0.00 None None 0.00
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: 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
Incidence graph
Density: 40.00%
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 0.00 None None None None None 0.95 Degree 1 2 1.60 2.00 8 8 2.08 0.49 0.31 0.67 Eccentricity 2 4 3.20 3.00 16 288 5.66 0.75 0.23 1.05 MCB cycle size None None None None 0 1 0.00 None None 0.00
Component #10
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.12 0.12 0.12 0.12 0.12 0.12 -2.08 0.00 0.00 0.00 Tuples 56 56 56.00 56.00 56 56 4.03 0.00 0.00 0.00 Domain size 8 8 8.00 8.00 16 64 4.16 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: 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 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
Component #11
Number of variables: 1Number of constraints: 0
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 None None None None 0 1 0.00 None None 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 None None None None 0.00 1.00 0.00 None None 0.00 Tuples None None None None 0 1 0.00 None None 0.00 Domain size 8 8 8.00 8.00 8 8 2.08 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 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
Dual tree decomposition
Number of clusters: 0
Number of leaves: 0
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 None None None None 0 1 0.00 None None 0.00 Cluster variables None None None None 0 1 0.00 None None 0.00 Separator constraints None None None None 0 1 0.00 None None 0.00 Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: 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 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 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 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
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None 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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00 MCB cycle size None None None None 0 1 0.00 None None 0.00
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
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 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
Component #12
Number of variables: 1Number of constraints: 0
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 None None None None 0 1 0.00 None None 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 None None None None 0.00 1.00 0.00 None None 0.00 Tuples None None None None 0 1 0.00 None None 0.00 Domain size 8 8 8.00 8.00 8 8 2.08 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 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
Dual tree decomposition
Number of clusters: 0
Number of leaves: 0
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 None None None None 0 1 0.00 None None 0.00 Cluster variables None None None None 0 1 0.00 None None 0.00 Separator constraints None None None None 0 1 0.00 None None 0.00 Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: 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 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 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 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
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None 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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00 MCB cycle size None None None None 0 1 0.00 None None 0.00
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 0.00 1.00 0.00 None None 0.00 Degree None None None None 0 1 0.00 None None 0.00 Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
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 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
None