Instance: normalized-par-32-2-c_ext
Number of variables: 2606
Number of constraints: 6387
Satisfiable: None
Timestamp: 2018-04-21 10:41:45
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2606
Number of constraints: 6387
General features
Number of coarse blocks: 39,080
Number of unique subscopes: 3,013
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.76 3.00 17,608 MAX VALUE 6,387.15 0.43 0.16 0.55
Coarse blocks size 1 4 3.00 3.00 117,228 MAX VALUE 40,063.70 0.97 0.32 1.26
Relational linkage 0.50 1.00 0.67 0.50 4,558.00 0.00 -3,039.26 0.19 0.29 1.01
Tightness 0.12 0.25 0.16 0.12 1,007.75 0.00 -12,120.40 0.05 0.35 0.58
Tuples 3 7 6.01 7.00 38,375 MAX VALUE 11,093.90 1.71 0.28 0.64
Domain size 2 2 2.00 2.00 5,212 MAX VALUE 1,806.34 0.00 0.00 0.00
Constraints per subscope 2 81 6.16 5.00 18,574 MAX VALUE 4,797.32 8.85 1.44 1.13
Partitions per subscope 2 4 2.27 2.00 6,840 MAX VALUE 2,370.56 0.68 0.30 0.40
Tree decomposition
Number of clusters: 1,294
Number of leaves: 471
Tree depth: 23
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 44 12.59 12.00 16,297 MAX VALUE 3,194.91 5.59 0.44 2.29
Cluster variables 6 88 16.81 12.00 21,747 MAX VALUE 3,435.47 13.37 0.80 2.38
Separator constraints 0 41 7.66 6.00 9,910 0 None 6.46 0.84 2.25
Separator variables 0 82 14.79 10.00 19,141 0 None 12.95 0.88 2.66
Dual tree decomposition
Number of clusters: 2,144
Number of leaves: 1,269
Tree depth: 76
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 10,948 700.36 35.00 1,501,570 MAX VALUE 10,049.80 1,262.46 1.80 3.41
Cluster variables 5 336 47.73 11.00 102,329 MAX VALUE 6,607.52 69.72 1.46 2.69
Separator constraints 0 7,608 624.32 25.00 1,338,530 0 None 1,122.23 1.80 3.39
Separator variables 0 256 44.75 10.00 95,942 0 None 65.61 1.47 2.63
Primal graph
Density: 0.46%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-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,386.37 0.00 -1,762.34 0.10 0.19 1.44
Degree 5 157 11.89 9.00 30,992 MAX VALUE 5,910.09 17.98 1.51 0.99
Eccentricity 7 13 10.23 10.00 26,666 MAX VALUE 6,031.52 1.51 0.15 1.77
Triangulated primal graph
Density: 1.38%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.83 0.87 2,174.81 0.00 -564.47 0.18 0.21 3.48
Degree 5 565 36.07 16.00 93,990 MAX VALUE 7,692.97 74.87 2.08 3.21
Eccentricity 3 6 4.25 4.00 11,080 MAX VALUE 3,752.00 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-2-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-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.37 0.00 None 0.07 1.32 1.18
Degree 3 6 4.52 5.00 28,886 MAX VALUE 9,543.94 0.75 0.17 1.10
Eccentricity 16 28 22.35 22.00 142,758 MAX VALUE 19,804.10 2.48 0.11 2.26
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.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.81 0.77 5,161.76 0.00 -1,486.95 0.16 0.20 5.07
Degree 3 924 106.85 12.00 682,468 MAX VALUE 19,552.50 201.32 1.88 4.39
Eccentricity 4 8 5.66 6.00 36,120 MAX VALUE 11,021.50 0.66 0.12 1.00
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-2-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 81 3.92 3.00 35,216 MAX VALUE 10,871.90 5.36 1.37 1.23
Eccentricity 15 28 21.48 22.00 193,172 MAX VALUE 27,488.90 3.08 0.14 2.39
MCB cycle size None None None None None None None None None None