Instance: lei450-25b-23_ext
Number of variables: None
Number of constraints: None
Satisfiable: None
Timestamp: 2017-10-27 10:46:59
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 450
Number of constraints: 8263
General features
Number of coarse blocks: 380,098
Number of unique subscopes: 450
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 16,526 MAX VALUE 5,727.48 0.00 0.00 0.00
Coarse blocks size 22 22 22.00 22.00 8,362,160 MAX VALUE 1,174,900.00 0.00 0.00 0.00
Relational linkage 0.96 0.96 0.96 0.96 9,900.00 0.00 -460.08 0.00 0.00 0.00
Tightness 0.04 0.04 0.04 0.04 359.26 0.00 -25,908.60 0.00 0.00 0.00
Tuples 506 506 506.00 506.00 4,181,080 MAX VALUE 51,449.90 0.00 0.00 0.00
Domain size 23 23 23.00 23.00 10,350 MAX VALUE 1,410.97 0.00 0.00 0.00
Constraints per subscope 2 111 36.72 35.00 16,526 MAX VALUE 1,519.38 21.10 0.57 4.26
Partitions per subscope 23 23 23.00 23.00 10,350 MAX VALUE 1,410.97 0.00 0.00 0.00
Tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
Dot-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None None None None None None None
Cluster variables None None None None None None None None None None
Separator constraints None None None None None None None None None None
Separator variables None None None None None None None None None None
Dual tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
Dot-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None None None None None None None
Cluster variables None None None None None None None None None None
Separator constraints None None None None None None None None None None
Separator variables None None None None None None None None None None
Primal graph
Density: 8.18%
Dot-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.93 0.43 0.42 194.30 0.00 None 0.19 0.44 5.75
Degree 2 111 36.72 35.00 16,526 MAX VALUE 1,519.38 21.10 0.57 4.26
Eccentricity 3 5 3.44 3.00 1,550 MAX VALUE 551.78 0.51 0.15 0.71
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/leighton-25ExtConvert/lei450-25b-23_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_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.05%
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.15 0.00 None 0.01 27.09 0.02
Degree 2 8 3.89 4.00 32,152 MAX VALUE 11,036.00 0.85 0.22 1.20
Eccentricity 9 13 11.05 11.00 91,271 MAX VALUE 19,836.20 0.59 0.05 0.89
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: 8.03%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 1.00 0.88 0.93 7,311.19 0.00 -1,100.48 0.12 0.14 5.07
Degree 2 2,420 663.55 9.00 5,482,930 MAX VALUE 29,761.00 1,026.61 1.55 4.18
Eccentricity 3 5 3.76 4.00 31,106 MAX VALUE 10,871.10 0.52 0.14 0.76
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/leighton-25ExtConvert/lei450-25b-23_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 111 3.79 2.00 33,052 MAX VALUE 7,246.85 9.06 2.39 0.42
Eccentricity 6 10 8.02 8.00 69,884 MAX VALUE 18,130.40 0.39 0.05 0.53
MCB cycle size None None None None None None None None None None