Instance: normalized-fpga-11-9_ext
Number of variables: 149
Number of constraints: 128
Satisfiable: None
Timestamp: 2018-04-21 10:28:41
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 149
Number of constraints: 128
General features
Number of coarse blocks: 4,042
Number of unique subscopes: 160
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 11 6.23 6.00 797 MAX VALUE 230.33 1.69 0.27 1.12
Coarse blocks size 1 1,024 58.43 2.00 236,157 MAX VALUE 6,772.66 219.30 3.75 1.55
Relational linkage 0.00 1.00 0.50 0.31 284.43 0.00 -1,120.95 0.47 0.94 1.59
Tightness 0.00 0.98 0.16 0.03 20.74 0.00 -450.79 0.33 2.03 1.36
Tuples 6 2,047 182.73 31.00 23,389 MAX VALUE 489.10 513.09 2.81 1.36
Domain size 2 2 2.00 2.00 298 MAX VALUE 103.28 0.00 0.00 0.00
Constraints per subscope 3 10 5.60 3.00 896 MAX VALUE 248.06 3.32 0.59 0.84
Partitions per subscope 2 32 3.56 2.00 570 MAX VALUE 137.94 6.12 1.72 0.30
Tree decomposition
Number of clusters: 27
Number of leaves: 11
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 11 5.74 2.00 155 0 None 4.73 0.82 1.24
Cluster variables 17 74 32.93 26.00 889 MAX VALUE 91.13 17.34 0.53 2.46
Separator constraints 0 8 1.00 0.00 27 0 None 2.05 2.05 1.01
Separator variables 0 54 27.41 25.00 740 0 None 13.05 0.48 2.46
Dual tree decomposition
Number of clusters: 99
Number of leaves: 11
Tree depth: 13
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 92 47.06 46.00 4,659 MAX VALUE 367.05 23.70 0.50 2.89
Cluster variables 15 16 15.55 16.00 1,539 MAX VALUE 271.58 0.50 0.03 0.69
Separator constraints 0 77 35.52 35.00 3,516 0 None 22.56 0.64 2.81
Separator variables 0 15 14.25 14.00 1,411 0 None 1.64 0.12 0.93
Primal graph
Density: 14.02%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.60 0.52 0.49 77.13 0.00 -98.73 0.05 0.09 1.32
Degree 16 23 20.75 22.00 3,092 MAX VALUE 450.58 2.62 0.13 1.32
Eccentricity 2 3 2.34 2.00 348 MAX VALUE 123.55 0.47 0.20 0.64
Triangulated primal graph
Density: 56.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.70 1.00 0.84 0.84 125.77 0.00 -26.03 0.09 0.10 3.88
Degree 16 125 82.97 89.00 12,362 MAX VALUE 641.19 31.61 0.38 3.57
Eccentricity 2 3 2.07 2.00 309 MAX VALUE 107.74 0.26 0.13 0.26
Dual graph
Density: 14.06%
MCB compute time (ms): 182
MCB cycles: 1,016
Triangles: 3,219
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.76 0.62 0.73 78.87 0.00 -86.34 0.24 0.39 1.36
Degree 14 54 17.86 15.00 2,286 MAX VALUE 359.78 9.16 0.51 1.36
Eccentricity 2 4 3.00 3.00 384 MAX VALUE 139.56 0.38 0.12 0.50
MCB cycle size 3 4 3.12 3.00 3,169 MAX VALUE 1,151.00 0.32 0.10 0.37
Minimal dual graph
Density: 4.13%
MCB compute time (ms): 38
MCB cycles: 209
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 29.02 0.00 None 0.12 0.51 1.41
Degree 4 11 5.25 4.00 672 MAX VALUE 203.34 2.30 0.44 1.11
Eccentricity 3 6 4.91 5.00 628 MAX VALUE 202.90 0.49 0.10 0.71
MCB cycle size 3 6 4.43 4.00 926 MAX VALUE 300.51 1.39 0.31 1.02
Triangulated dual graph
Density: 21.19%
Triangles: 11,267
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.84 0.91 107.76 0.00 -28.81 0.21 0.25 3.10
Degree 14 113 26.91 20.00 3,444 MAX VALUE 399.90 20.60 0.77 2.65
Eccentricity 2 3 2.44 2.00 312 MAX VALUE 111.43 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 10.78%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.21 1.00 0.78 0.86 100.12 0.00 -37.23 0.21 0.26 2.51
Degree 4 69 13.69 7.00 1,752 MAX VALUE 285.14 14.08 1.03 2.44
Eccentricity 2 4 2.96 3.00 379 MAX VALUE 138.24 0.29 0.10 0.34
Incidence graph
Density: 2.08%
MCB compute time (ms): 210
MCB cycles: 521
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9_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 3 11 5.75 5.00 1,594 MAX VALUE 454.22 2.72 0.47 1.55
Eccentricity 4 8 5.82 6.00 1,613 MAX VALUE 484.92 0.88 0.15 1.27
MCB cycle size 4 8 5.27 4.00 2,744 MAX VALUE 841.81 1.67 0.32 0.95