Instance: normalized-par-32-1-c_ext
Number of variables: 2630
Number of constraints: 6447
Satisfiable: None
Timestamp: 2018-04-21 10:41:53
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2630
Number of constraints: 6447
General features
Number of coarse blocks: 39,448
Number of unique subscopes: 3,037
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.76 3.00 17,776 MAX VALUE 6,448.20 0.43 0.16 0.55
Coarse blocks size 1 4 3.00 3.00 118,364 MAX VALUE 40,454.80 0.97 0.32 1.26
Relational linkage 0.50 1.00 0.67 0.50 4,588.00 0.00 -3,062.80 0.19 0.29 1.01
Tightness 0.12 0.25 0.16 0.12 1,016.75 0.00 -12,236.80 0.05 0.35 0.57
Tuples 3 7 6.01 7.00 38,747 MAX VALUE 11,200.50 1.71 0.28 0.64
Domain size 2 2 2.00 2.00 5,260 MAX VALUE 1,822.98 0.00 0.00 0.00
Constraints per subscope 2 81 6.17 5.00 18,750 MAX VALUE 4,831.68 8.92 1.44 1.12
Partitions per subscope 2 4 2.27 2.00 6,888 MAX VALUE 2,387.20 0.68 0.30 0.39
Tree decomposition
Number of clusters: 1,306
Number of leaves: 477
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 41 12.59 12.00 16,443 MAX VALUE 3,224.15 5.58 0.44 2.29
Cluster variables 6 82 16.80 12.00 21,943 MAX VALUE 3,467.32 13.34 0.79 2.37
Separator constraints 0 39 7.65 6.00 9,996 0 None 6.46 0.84 2.23
Separator variables 0 78 14.79 10.00 19,313 0 None 12.94 0.88 2.65
Dual tree decomposition
Number of clusters: 2,169
Number of leaves: 1,281
Tree depth: 80
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 12,821 717.35 35.00 1,555,920 MAX VALUE 10,187.90 1,316.62 1.84 3.40
Cluster variables 5 328 48.29 11.00 104,734 MAX VALUE 6,698.44 70.46 1.46 2.68
Separator constraints 0 9,968 640.96 25.00 1,390,240 0 None 1,173.74 1.83 3.37
Separator variables 0 256 45.31 10.00 98,287 0 None 66.40 1.47 2.61
Primal graph
Density: 0.45%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-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,401.32 0.00 -1,775.59 0.10 0.19 1.42
Degree 5 161 11.90 9.00 31,288 MAX VALUE 5,963.91 17.98 1.51 0.98
Eccentricity 6 12 9.76 10.00 25,680 MAX VALUE 5,961.24 1.49 0.15 1.74
Triangulated primal graph
Density: 1.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 0.84 0.90 2,196.72 0.00 -568.21 0.18 0.21 3.47
Degree 5 567 35.79 16.00 94,134 MAX VALUE 7,752.11 74.57 2.08 3.20
Eccentricity 3 6 4.25 4.00 11,182 MAX VALUE 3,786.16 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-1-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-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 342.69 0.00 None 0.07 1.33 1.21
Degree 3 7 4.52 5.00 29,158 MAX VALUE 9,633.31 0.75 0.17 1.12
Eccentricity 17 29 23.29 23.00 150,130 MAX VALUE 20,253.40 2.61 0.11 2.30
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.75%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.78 5,223.72 0.00 -1,480.71 0.16 0.19 5.09
Degree 3 966 112.62 12.00 726,072 MAX VALUE 19,850.20 211.25 1.88 4.41
Eccentricity 4 7 5.47 5.00 35,269 MAX VALUE 10,908.30 0.65 0.12 0.99
Incidence graph
Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-32-1-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,552 MAX VALUE 10,972.40 5.39 1.38 1.23
Eccentricity 13 26 20.54 21.00 186,434 MAX VALUE 27,332.10 3.02 0.15 2.37
MCB cycle size None None None None None None None None None None