Instance: normalized-par-32-3-c_ext
Number of variables: 2650
Number of constraints: 6497
Satisfiable: None
Timestamp: 2018-04-21 10:41:38
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2650
Number of constraints: 6497
General features
Number of coarse blocks: 39,744
Number of unique subscopes: 3,061
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.76 3.00 17,916 MAX VALUE 6,499.08 0.43 0.16 0.55
Coarse blocks size 1 4 3.00 3.00 119,292 MAX VALUE 40,775.20 0.97 0.32 1.26
Relational linkage 0.50 1.00 0.67 0.50 4,627.00 0.00 -3,085.19 0.19 0.29 1.01
Tightness 0.12 0.25 0.16 0.12 1,024.25 0.00 -12,333.90 0.05 0.35 0.57
Tuples 3 7 6.01 7.00 39,057 MAX VALUE 11,289.30 1.71 0.28 0.64
Domain size 2 2 2.00 2.00 5,300 MAX VALUE 1,836.84 0.00 0.00 0.00
Constraints per subscope 2 85 6.17 5.00 18,894 MAX VALUE 4,876.97 8.96 1.45 1.13
Partitions per subscope 2 4 2.27 2.00 6,944 MAX VALUE 2,406.61 0.68 0.30 0.39
Tree decomposition
Number of clusters: 1,313
Number of leaves: 472
Tree depth: 25
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 42 12.60 12.00 16,547 MAX VALUE 3,243.31 5.61 0.45 2.29
Cluster variables 6 84 16.81 12.00 22,071 MAX VALUE 3,485.78 13.43 0.80 2.38
Separator constraints 0 41 7.65 6.00 10,050 0 None 6.49 0.85 2.26
Separator variables 0 82 14.79 10.00 19,421 0 None 13.01 0.88 2.66
Dual tree decomposition
Number of clusters: 2,178
Number of leaves: 1,291
Tree depth: 77
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 10,558 723.25 35.00 1,575,240 MAX VALUE 10,233.00 1,287.02 1.78 3.40
Cluster variables 5 328 48.02 11.00 104,597 MAX VALUE 6,719.18 69.75 1.45 2.69
Separator constraints 0 7,740 645.52 25.00 1,405,940 0 None 1,142.77 1.77 3.38
Separator variables 0 256 45.04 10.00 98,100 0 None 65.55 1.46 2.65
Primal graph
Density: 0.45%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 1.00 0.53 0.56 1,406.16 0.00 -1,797.11 0.10 0.19 1.39
Degree 5 169 11.90 9.00 31,548 MAX VALUE 6,007.91 18.26 1.53 0.97
Eccentricity 7 13 10.31 10.00 27,323 MAX VALUE 6,152.32 1.55 0.15 1.78
Triangulated primal graph
Density: 1.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 1.00 0.84 0.90 2,214.39 0.00 -570.41 0.17 0.21 3.51
Degree 5 549 36.10 16.00 95,674 MAX VALUE 7,821.96 75.64 2.09 3.22
Eccentricity 3 6 4.27 4.00 11,326 MAX VALUE 3,829.23 0.55 0.13 0.74
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_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.07%
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.05 0.00 332.19 0.00 None 0.07 1.35 1.18
Degree 3 7 4.52 5.00 29,398 MAX VALUE 9,710.06 0.76 0.17 1.12
Eccentricity 17 28 22.25 22.00 144,544 MAX VALUE 20,113.00 2.53 0.11 2.24
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: 1.76%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.78 5,269.22 0.00 -1,486.14 0.16 0.19 5.08
Degree 3 913 114.63 12.00 744,770 MAX VALUE 20,060.00 212.92 1.86 4.40
Eccentricity 4 8 5.69 6.00 36,985 MAX VALUE 11,247.20 0.71 0.13 1.08
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-3-c_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 85 3.92 3.00 35,832 MAX VALUE 11,056.10 5.43 1.38 1.22
Eccentricity 14 28 21.65 22.00 198,008 MAX VALUE 28,027.20 3.14 0.14 2.40
MCB cycle size None None None None None None None None None None