Instance: normalized-par-8-5-c_ext
Number of variables: 150
Number of constraints: 343
Satisfiable: None
Timestamp: 2018-04-21 10:40:28
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 150
Number of constraints: 343
General features
Number of coarse blocks: 2,084
Number of unique subscopes: 162
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.78 3.00 954 MAX VALUE 346.41 0.41 0.15 0.53
Coarse blocks size 1 4 3.02 3.00 6,296 MAX VALUE 2,160.37 0.95 0.32 1.25
Relational linkage 0.50 1.00 0.63 0.50 218.25 0.00 -173.69 0.17 0.27 0.91
Tightness 0.12 0.25 0.16 0.12 56.00 0.00 -640.47 0.06 0.35 0.62
Tuples 3 7 6.04 7.00 2,071 MAX VALUE 599.27 1.63 0.27 0.80
Domain size 2 2 2.00 2.00 300 MAX VALUE 103.97 0.00 0.00 0.00
Constraints per subscope 2 29 6.16 5.00 998 MAX VALUE 275.04 4.27 0.69 0.78
Partitions per subscope 2 4 2.15 2.00 348 MAX VALUE 120.61 0.52 0.24 0.26
Tree decomposition
Number of clusters: 65
Number of leaves: 28
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 5 13 10.54 10.00 685 MAX VALUE 151.30 2.35 0.22 1.53
Cluster variables 6 20 12.83 12.00 834 MAX VALUE 163.42 3.63 0.28 1.65
Separator constraints 0 9 5.26 5.00 342 0 None 1.86 0.35 1.69
Separator variables 0 18 10.52 10.00 684 0 None 3.72 0.35 1.69
Dual tree decomposition
Number of clusters: 116
Number of leaves: 68
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 827 132.43 28.00 15,362 MAX VALUE 479.18 191.84 1.45 2.22
Cluster variables 5 80 21.29 9.00 2,470 MAX VALUE 319.11 18.89 0.89 2.04
Separator constraints 0 744 98.69 20.00 11,448 0 None 155.83 1.58 2.21
Separator variables 0 65 18.34 8.00 2,127 0 None 16.30 0.89 1.95
Primal graph
Density: 7.58%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.14 1.00 0.56 0.56 83.35 0.00 -95.30 0.14 0.25 1.22
Degree 5 47 11.29 9.00 1,694 MAX VALUE 347.50 7.40 0.66 0.59
Eccentricity 3 6 4.67 5.00 700 MAX VALUE 229.97 0.55 0.12 0.81
Triangulated primal graph
Density: 14.81%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.81 0.85 121.38 0.00 -39.35 0.21 0.26 2.69
Degree 5 103 22.07 13.00 3,310 MAX VALUE 421.66 20.58 0.93 2.32
Eccentricity 2 4 3.12 3.00 468 MAX VALUE 168.79 0.49 0.16 0.71
Dual graph
Density: 6.67%
MCB compute time (ms): 1,850
MCB cycles: 6,792
Triangles: 20,122
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.55 0.53 188.35 0.00 -211.85 0.11 0.19 2.69
Degree 4 56 22.82 24.00 7,828 MAX VALUE 1,016.59 12.40 0.54 2.20
Eccentricity 4 7 5.08 5.00 1,741 MAX VALUE 554.88 0.59 0.12 0.89
MCB cycle size 3 8 3.23 3.00 21,963 MAX VALUE 7,899.75 0.52 0.16 0.60
Minimal dual graph
Density: 1.32%
MCB compute time (ms): 1,452
MCB cycles: 430
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.09 0.00 29.61 0.00 None 0.11 1.26 1.53
Degree 3 7 4.50 4.00 1,544 MAX VALUE 510.92 0.78 0.17 1.15
Eccentricity 7 10 8.39 8.00 2,879 MAX VALUE 728.33 0.76 0.09 1.13
MCB cycle size 3 9 4.93 5.00 2,120 MAX VALUE 668.96 1.37 0.28 1.67
Triangulated dual graph
Density: 20.32%
Triangles: 292,928
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 1.00 0.80 0.82 274.96 0.00 -81.26 0.14 0.18 4.03
Degree 4 178 69.49 58.00 23,836 MAX VALUE 1,299.94 53.77 0.77 3.80
Eccentricity 3 5 3.73 4.00 1,280 MAX VALUE 447.81 0.55 0.15 0.82
Triangulated minimal dual graph
Density: 10.22%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.81 0.76 277.27 0.00 -78.70 0.15 0.18 4.03
Degree 3 116 34.97 11.00 11,994 MAX VALUE 948.25 39.59 1.13 3.66
Eccentricity 3 5 3.76 4.00 1,288 MAX VALUE 450.50 0.51 0.14 0.74
Incidence graph
Density: 0.79%
MCB compute time (ms): 1,215
MCB cycles: 463
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-5-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 29 3.87 3.00 1,908 MAX VALUE 606.70 2.93 0.76 1.13
Eccentricity 7 14 10.21 10.00 5,032 MAX VALUE 1,142.05 1.15 0.11 1.48
MCB cycle size 4 14 6.07 6.00 2,810 MAX VALUE 829.56 0.97 0.16 0.58