Instance: mulsol-i-4-20_ext
Number of variables: 185
Number of constraints: 3946
Satisfiable: None
Timestamp: 2017-08-08 14:02:12
Stampede: v1.0.0-474-g0429781
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 175
Number of constraints: 3946
General features
Number of coarse blocks: 157,840
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 709.78 0.00 0.00 0.00
Coarse blocks size 19 19 19.00 19.00 2,998,960 MAX VALUE 709.78 0.00 0.00 0.00
Relational linkage 0.95 0.95 0.95 0.95 3,325.00 0.00 -179.53 0.00 0.00 0.00
Tightness 0.05 0.05 0.05 0.05 197.30 0.00 None 0.00 0.00 0.00
Tuples 380 380 380.00 380.00 1,499,480 MAX VALUE 709.78 0.00 0.00 0.00
Domain size 20 20 20.00 20.00 3,500 MAX VALUE 524.25 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 20 20 20.00 20.00 3,500 MAX VALUE 524.25 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/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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 709.78 10,432.80 1.45 4.88
Cluster variables 37 1,388 221.78 117.00 38,367 MAX VALUE 709.78 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: None%
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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
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 20 20 20.00 20.00 20 20 3.00 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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Tree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/DualTree1.pdf
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: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Primal1.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
Triangulated primal graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_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: 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 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
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: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/mulsolExtConvert/mulsol-i-4-20_ext/Incidence1.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