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

Instance comments



Component #1 Number of variables: 215
Number of constraints: 178
General features
Number of coarse blocks: 9,626
Number of unique subscopes: 228
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 13 7.26 7.00 1,293 MAX VALUE 348.11 1.93 0.27 1.09
Coarse blocks size 1 4,096 133.07 2.00 1,280,910 MAX VALUE 14,844.90 693.67 5.21 1.18
Relational linkage 0.00 1.00 0.60 1.00 646.99 0.00 -2,070.32 0.47 0.78 1.36
Tightness 0.00 0.99 0.14 0.02 24.64 0.00 -748.25 0.32 2.34 1.31
Tuples 7 8,191 585.83 63.00 104,277 MAX VALUE 800.08 1,952.29 3.33 1.31
Domain size 2 2 2.00 2.00 430 MAX VALUE 149.03 0.00 0.00 0.00
Constraints per subscope 3 12 6.30 3.00 1,436 MAX VALUE 367.19 4.28 0.68 0.82
Partitions per subscope 2 64 4.69 2.00 1,070 MAX VALUE 198.93 11.60 2.47 0.26
Tree decomposition
Number of clusters: 33
Number of leaves: 13
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 20 7.21 4.00 238 0 None 6.25 0.87 1.44
Cluster variables 21 104 42.36 32.00 1,398 MAX VALUE 118.91 25.02 0.59 2.43
Separator constraints 0 18 1.82 1.00 60 0 None 3.78 2.08 1.31
Separator variables 0 76 35.85 31.00 1,183 0 None 18.72 0.52 2.43
Dual tree decomposition
Number of clusters: 143
Number of leaves: 13
Tree depth: 16
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 18 134 66.23 64.00 9,471 MAX VALUE 575.78 35.35 0.53 3.09
Cluster variables 18 19 18.54 19.00 2,651 MAX VALUE 417.49 0.50 0.03 0.69
Separator constraints 0 116 52.69 51.00 7,535 0 None 33.63 0.64 3.03
Separator variables 0 18 17.29 17.00 2,473 0 None 1.65 0.10 0.89
Primal graph
Density: 11.87%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.61 0.52 0.49 112.75 0.00 -139.69 0.05 0.09 1.32
Degree 20 28 25.40 27.00 5,462 MAX VALUE 693.80 3.09 0.12 1.32
Eccentricity 2 3 2.33 2.00 502 MAX VALUE 178.22 0.47 0.20 0.64
Triangulated primal graph
Density: 55.83%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.85 0.85 181.96 0.00 -36.98 0.09 0.10 3.91
Degree 20 183 119.48 127.00 25,688 MAX VALUE 1,002.29 45.99 0.38 3.65
Eccentricity 2 3 2.06 2.00 443 MAX VALUE 154.30 0.24 0.12 0.23
Dual graph
Density: 12.29%
MCB compute time (ms): 557
MCB cycles: 1,759
Triangles: 6,963
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.78 0.65 0.76 115.53 0.00 -110.99 0.24 0.38 1.31
Degree 17 77 21.75 18.00 3,872 MAX VALUE 532.58 13.17 0.61 1.31
Eccentricity 2 4 3.00 3.00 534 MAX VALUE 194.26 0.35 0.12 0.46
MCB cycle size 3 4 3.10 3.00 5,458 MAX VALUE 1,984.53 0.30 0.10 0.33
Minimal dual graph
Density: 3.10%
MCB compute time (ms): 93
MCB cycles: 311
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 40.90 0.00 None 0.11 0.49 1.40
Degree 4 13 5.48 4.00 976 MAX VALUE 286.76 2.84 0.52 1.19
Eccentricity 3 6 4.92 5.00 876 MAX VALUE 282.84 0.46 0.09 0.64
MCB cycle size 3 6 4.42 4.00 1,376 MAX VALUE 446.86 1.39 0.31 1.02
Triangulated dual graph
Density: 18.56%
Triangles: 23,504
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.21 1.00 0.85 0.92 151.07 0.00 -38.99 0.21 0.25 3.28
Degree 17 147 32.85 24.00 5,848 MAX VALUE 588.78 27.27 0.83 2.81
Eccentricity 2 3 2.53 3.00 450 MAX VALUE 161.49 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 8.86%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.79 0.87 141.35 0.00 -48.49 0.20 0.25 2.74
Degree 4 86 15.67 6.00 2,790 MAX VALUE 408.07 17.35 1.11 2.70
Eccentricity 2 4 3.20 3.00 569 MAX VALUE 205.03 0.46 0.14 0.65
Incidence graph
Density: 1.68%
MCB compute time (ms): 553
MCB cycles: 901
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11_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 13 6.58 6.00 2,586 MAX VALUE 684.13 3.46 0.53 1.53
Eccentricity 4 8 5.82 6.00 2,287 MAX VALUE 687.89 0.86 0.15 1.25
MCB cycle size 4 8 5.09 4.00 4,588 MAX VALUE 1,427.22 1.61 0.32 0.88