Instance: normalized-fpga-14-12_ext
Number of variables: 252
Number of constraints: 206
Satisfiable: None
Timestamp: 2018-04-21 10:28:26
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 252
Number of constraints: 206
General features
Number of coarse blocks: 13,944
Number of unique subscopes: 266
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 14 7.75 7.00 1,596 MAX VALUE 416.72 2.00 0.26 0.47
Coarse blocks size 1 8,192 209.83 2.00 2,925,890 MAX VALUE 20,708.00 1,254.41 5.98 0.92
Relational linkage 0.00 1.00 0.64 1.00 900.57 0.00 -2,689.35 0.47 0.73 1.18
Tightness 0.00 1.00 0.13 0.01 26.52 0.00 -932.41 0.32 2.48 0.68
Tuples 8 16,383 1,059.27 127.00 218,210 MAX VALUE 991.13 3,811.33 3.60 0.68
Domain size 2 2 2.00 2.00 504 MAX VALUE 174.67 0.00 0.00 0.00
Constraints per subscope 3 13 6.63 3.00 1,764 MAX VALUE 434.81 4.76 0.72 0.81
Partitions per subscope 2 64 5.26 2.00 1,400 MAX VALUE 232.90 13.84 2.63 0.21
Tree decomposition
Number of clusters: 36
Number of leaves: 14
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 22 7.56 3.00 272 0 None 6.82 0.90 1.43
Cluster variables 24 122 47.06 36.00 1,694 MAX VALUE 133.13 29.17 0.62 1.85
Separator constraints 0 20 1.83 0.50 66 0 None 4.04 2.21 1.27
Separator variables 0 92 40.06 35.00 1,442 0 None 21.81 0.54 1.85
Dual tree decomposition
Number of clusters: 168
Number of leaves: 14
Tree depth: 18
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 20 152 76.83 71.00 12,908 MAX VALUE 699.87 41.76 0.54 2.48
Cluster variables 20 20 20.00 20.00 3,360 MAX VALUE 503.28 0.00 0.00 0.00
Separator constraints 0 133 62.33 57.50 10,472 0 None 39.79 0.64 2.48
Separator variables 0 19 18.77 19.00 3,154 0 None 1.57 0.08 0.33
Primal graph
Density: 11.02%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.60 0.53 0.49 132.78 0.00 -162.53 0.05 0.09 0.64
Degree 23 30 27.67 30.00 6,972 MAX VALUE 834.78 3.30 0.12 0.64
Eccentricity 2 3 2.33 2.00 588 MAX VALUE 208.73 0.47 0.20 0.64
Triangulated primal graph
Density: 55.66%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.85 0.86 213.56 0.00 -43.02 0.09 0.10 3.31
Degree 23 214 139.71 149.00 35,208 MAX VALUE 1,213.47 54.09 0.39 3.34
Eccentricity 2 3 2.06 2.00 518 MAX VALUE 180.35 0.23 0.11 0.21
Dual graph
Density: 11.54%
MCB compute time (ms): 1,661
MCB cycles: 2,231
Triangles: 9,716
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.78 0.66 0.78 136.66 0.00 -123.71 0.24 0.37 0.68
Degree 19 84 23.65 19.00 4,872 MAX VALUE 632.32 15.20 0.64 0.68
Eccentricity 2 4 3.00 3.00 618 MAX VALUE 224.90 0.34 0.11 0.44
MCB cycle size 3 4 3.10 3.00 6,908 MAX VALUE 2,512.86 0.30 0.10 0.32
Minimal dual graph
Density: 2.72%
MCB compute time (ms): 166
MCB cycles: 369
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 47.71 0.00 None 0.11 0.48 1.38
Degree 4 14 5.57 4.00 1,148 MAX VALUE 333.20 3.10 0.56 1.14
Eccentricity 3 6 4.93 5.00 1,015 MAX VALUE 327.64 0.44 0.09 0.61
MCB cycle size 3 6 4.42 4.00 1,632 MAX VALUE 530.09 1.39 0.31 1.02
Triangulated dual graph
Density: 17.45%
Triangles: 32,282
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 0.85 0.91 175.74 0.00 -44.07 0.21 0.25 2.76
Degree 19 198 35.77 26.00 7,368 MAX VALUE 696.88 32.10 0.90 2.76
Eccentricity 2 3 2.25 2.00 463 MAX VALUE 163.47 0.43 0.19 0.56
Triangulated minimal dual graph
Density: 8.03%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 1.00 0.81 0.87 166.36 0.00 -52.48 0.20 0.25 2.47
Degree 4 85 16.47 7.00 3,392 MAX VALUE 470.76 18.83 1.14 2.61
Eccentricity 2 4 3.42 3.00 705 MAX VALUE 250.75 0.54 0.16 0.79
Incidence graph
Density: 1.53%
MCB compute time (ms): 981
MCB cycles: 1,139
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12_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 14 6.97 7.00 3,192 MAX VALUE 816.74 3.81 0.55 1.25
Eccentricity 4 8 5.82 6.00 2,664 MAX VALUE 801.53 0.85 0.15 1.24
MCB cycle size 4 8 5.03 4.00 5,724 MAX VALUE 1,790.46 1.58 0.32 0.85