Instance: normalized-par-8-4-c_ext
Number of variables: 134
Number of constraints: 303
Satisfiable: None
Timestamp: 2018-04-21 10:41:02
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 134
Number of constraints: 303
General features
Number of coarse blocks: 1,860
Number of unique subscopes: 154
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.78 3.00 842 MAX VALUE 305.71 0.42 0.15 0.53
Coarse blocks size 1 4 3.00 3.00 5,576 MAX VALUE 1,910.73 0.96 0.32 1.27
Relational linkage 0.50 1.00 0.65 0.50 226.25 0.00 -163.54 0.19 0.29 0.97
Tightness 0.12 0.25 0.17 0.12 50.00 0.00 -562.84 0.06 0.35 0.63
Tuples 3 7 6.02 7.00 1,823 MAX VALUE 528.22 1.63 0.27 0.82
Domain size 2 2 2.00 2.00 268 MAX VALUE 92.88 0.00 0.00 0.00
Constraints per subscope 2 23 5.75 5.00 886 MAX VALUE 248.23 3.84 0.67 0.99
Partitions per subscope 2 4 2.26 2.00 348 MAX VALUE 120.61 0.67 0.30 0.39
Tree decomposition
Number of clusters: 58
Number of leaves: 23
Tree depth: 8
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 13 10.57 10.00 613 MAX VALUE 135.45 2.17 0.20 1.54
Cluster variables 6 20 13.00 12.00 754 MAX VALUE 146.48 3.76 0.29 1.66
Separator constraints 0 9 5.34 5.00 310 0 None 1.95 0.37 1.71
Separator variables 0 18 10.69 10.00 620 0 None 3.90 0.37 1.71
Dual tree decomposition
Number of clusters: 105
Number of leaves: 63
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 672 116.68 28.00 12,251 MAX VALUE 432.79 143.81 1.23 2.26
Cluster variables 5 81 21.84 9.00 2,293 MAX VALUE 290.82 19.50 0.89 2.09
Separator constraints 0 504 86.33 20.00 9,065 0 None 111.78 1.29 2.23
Separator variables 0 67 18.95 8.00 1,990 0 None 17.30 0.91 1.99
Primal graph
Density: 8.43%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 1.00 0.55 0.56 73.23 0.00 -86.61 0.13 0.24 1.13
Degree 5 41 11.21 9.00 1,502 MAX VALUE 310.78 6.77 0.60 0.67
Eccentricity 3 5 4.34 4.00 582 MAX VALUE 195.77 0.53 0.12 0.78
Triangulated primal graph
Density: 16.69%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.28 1.00 0.81 0.90 107.96 0.00 -35.46 0.21 0.26 2.71
Degree 5 81 22.19 13.00 2,974 MAX VALUE 379.05 19.27 0.87 2.41
Eccentricity 2 4 3.45 3.00 462 MAX VALUE 164.24 0.53 0.15 0.76
Dual graph
Density: 6.96%
MCB compute time (ms): 1,388
MCB cycles: 5,408
Triangles: 13,374
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.53 0.51 161.28 0.00 -196.87 0.11 0.20 2.82
Degree 4 44 21.03 24.00 6,372 MAX VALUE 881.32 10.05 0.48 2.42
Eccentricity 4 6 4.79 5.00 1,450 MAX VALUE 471.97 0.60 0.13 0.90
MCB cycle size 3 8 3.38 3.00 18,282 MAX VALUE 6,504.04 0.64 0.19 0.80
Minimal dual graph
Density: 1.49%
MCB compute time (ms): 1,049
MCB cycles: 383
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.10 0.10 30.48 0.00 None 0.11 1.09 1.69
Degree 3 7 4.51 4.00 1,368 MAX VALUE 452.33 0.78 0.17 1.12
Eccentricity 6 9 7.58 8.00 2,297 MAX VALUE 612.46 0.70 0.09 1.06
MCB cycle size 3 8 4.90 5.00 1,877 MAX VALUE 592.56 1.39 0.28 1.65
Triangulated dual graph
Density: 22.46%
Triangles: 253,436
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 1.00 0.81 0.79 244.04 0.00 -69.50 0.13 0.16 3.71
Degree 4 159 67.84 60.00 20,556 MAX VALUE 1,142.69 51.56 0.76 3.37
Eccentricity 3 5 3.88 4.00 1,175 MAX VALUE 407.21 0.58 0.15 0.86
Triangulated minimal dual graph
Density: 10.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.81 0.77 245.42 0.00 -69.08 0.15 0.18 3.94
Degree 3 110 32.92 11.00 9,976 MAX VALUE 830.05 36.58 1.11 3.56
Eccentricity 3 5 3.80 4.00 1,152 MAX VALUE 401.62 0.53 0.14 0.78
Incidence graph
Density: 0.88%
MCB compute time (ms): 983
MCB cycles: 411
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-8-4-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 23 3.85 3.00 1,684 MAX VALUE 538.46 2.69 0.70 1.16
Eccentricity 7 12 9.61 10.00 4,198 MAX VALUE 985.45 1.16 0.12 1.48
MCB cycle size 4 12 6.12 6.00 2,516 MAX VALUE 739.75 1.01 0.17 0.58