Instance: normalized-mulsol-i-4-10_ext
Number of variables: 185
Number of constraints: 3946
Satisfiable: None
Timestamp: 2018-04-21 10:10:56
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 175
Number of constraints: 3946
General features
Number of coarse blocks: 78,920
Number of unique subscopes: 175
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 7,892 MAX VALUE 2,735.16 0.00 0.00 0.00
Coarse blocks size 9 9 9.00 9.00 710,280 MAX VALUE 173,405.00 0.00 0.00 0.00
Relational linkage 0.90 0.90 0.90 0.90 1,575.00 0.00 -184.38 0.00 0.00 0.00
Tightness 0.10 0.10 0.10 0.10 394.60 0.00 -9,086.00 0.00 0.00 0.00
Tuples 90 90 90.00 90.00 355,140 MAX VALUE 17,756.20 0.00 0.00 0.00
Domain size 10 10 10.00 10.00 1,750 MAX VALUE 402.95 0.00 0.00 0.00
Constraints per subscope 18 158 45.10 30.00 7,892 MAX VALUE 636.44 30.28 0.67 3.40
Partitions per subscope 10 10 10.00 10.00 1,750 MAX VALUE 402.95 0.00 0.00 0.00
Tree decomposition
Number of clusters: 97
Number of leaves: 4
Tree depth: 45
Dot-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 139 496 313.38 293.00 30,398 MAX VALUE 549.93 115.88 0.37 3.32
Cluster variables 19 33 27.07 27.00 2,626 MAX VALUE 318.86 3.93 0.14 2.37
Separator constraints 0 433 272.70 268.00 26,452 0 None 111.28 0.41 3.20
Separator variables 0 31 25.27 25.00 2,451 0 None 4.62 0.18 2.30
Dual tree decomposition
Number of clusters: 173
Number of leaves: 75
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 360 60,590 7,211.59 3,080.00 1,247,600 MAX VALUE 1,414.25 10,432.80 1.45 4.88
Cluster variables 37 1,388 221.78 117.00 38,367 MAX VALUE 862.18 258.01 1.16 4.65
Separator constraints 0 34,770 5,742.11 2,891.00 993,385 0 None 6,977.76 1.22 4.89
Separator variables 0 1,028 198.97 116.00 34,421 0 None 203.51 1.02 4.62
Primal graph
Density: 25.92%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 0.97 0.75 0.81 130.62 0.00 -60.88 0.21 0.29 4.20
Degree 18 158 45.10 30.00 7,892 MAX VALUE 636.44 30.28 0.67 3.40
Eccentricity 2 3 2.05 2.00 359 MAX VALUE 124.95 0.22 0.11 0.20
Triangulated primal graph
Density: 27.61%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.27 1.00 0.85 1.00 148.22 0.00 -38.42 0.23 0.27 2.82
Degree 18 174 48.05 30.00 8,408 MAX VALUE 643.08 34.84 0.73 3.56
Eccentricity 1 2 1.98 2.00 347 MAX VALUE 119.22 0.13 0.07 0.09
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Dual1.pdf

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.10%
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.33 0.00 0.00 2.20 0.00 None 0.01 21.13 0.02
Degree 2 6 3.91 4.00 15,434 MAX VALUE 5,320.92 0.68 0.18 1.03
Eccentricity 18 32 23.73 24.00 93,643 MAX VALUE 12,480.80 2.10 0.09 2.14
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: 2.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.81 0.78 3,182.73 0.00 -927.76 0.16 0.20 4.66
Degree 2 661 86.52 9.00 341,408 MAX VALUE 11,294.40 156.93 1.81 4.18
Eccentricity 4 7 5.14 5.00 20,293 MAX VALUE 6,431.68 0.63 0.12 0.95
Incidence graph
Density: 0.09%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-register-mulsolExtConvert/normalized-mulsol-i-4-10_ext/Incidence1.pdf
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 158 3.83 2.00 15,784 MAX VALUE 3,371.60 10.70 2.79 0.32
Eccentricity 4 8 5.85 6.00 24,119 MAX VALUE 7,261.14 0.53 0.09 0.44
MCB cycle size None None None None None None None None None None
Component #2 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #3 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #4 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #5 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #6 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #7 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #8 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #9 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #10 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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
Component #11 Number of variables: 1
Number 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 10 10 10.00 10.00 10 10 2.30 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): 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 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 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 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): 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 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