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

Instance comments



Component #1 Number of variables: 273
Number of constraints: 222
General features
Number of coarse blocks: 21,112
Number of unique subscopes: 287
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 14 8.20 8.00 1,820 MAX VALUE 461.82 2.03 0.25 1.06
Coarse blocks size 1 8,192 155.66 2.00 3,286,280 MAX VALUE 28,255.60 1,064.92 6.84 0.84
Relational linkage 0.00 1.00 0.71 1.00 1,349.00 0.00 -3,150.39 0.44 0.62 1.03
Tightness 0.00 1.00 0.12 0.01 27.23 0.00 -1,073.16 0.32 2.57 1.24
Tuples 8 16,383 1,117.30 127.00 248,041 MAX VALUE 1,135.21 3,808.17 3.41 1.24
Domain size 2 2 2.00 2.00 546 MAX VALUE 189.23 0.00 0.00 0.00
Constraints per subscope 3 14 6.98 3.00 2,002 MAX VALUE 476.01 5.24 0.75 0.80
Partitions per subscope 2 128 6.59 2.00 1,890 MAX VALUE 252.31 21.45 3.26 0.23
Tree decomposition
Number of clusters: 38
Number of leaves: 14
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 15 6.97 2.00 265 0 None 6.69 0.96 1.36
Cluster variables 25 134 49.97 37.00 1,899 MAX VALUE 142.55 32.16 0.64 2.26
Separator constraints 0 12 1.13 0.00 43 0 None 2.75 2.43 0.93
Separator variables 0 102 42.79 36.00 1,626 0 None 24.23 0.57 2.22
Dual tree decomposition
Number of clusters: 182
Number of leaves: 14
Tree depth: 19
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 21 184 88.50 81.50 16,107 MAX VALUE 782.10 49.20 0.56 3.26
Cluster variables 21 22 21.50 21.50 3,913 MAX VALUE 558.34 0.50 0.02 0.69
Separator constraints 0 163 73.00 67.00 13,286 0 None 46.91 0.64 3.20
Separator variables 0 21 20.28 20.00 3,691 0 None 1.70 0.08 0.87
Primal graph
Density: 10.73%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.62 0.54 0.50 146.84 0.00 -170.65 0.05 0.10 1.33
Degree 24 32 29.18 31.00 7,966 MAX VALUE 919.08 3.32 0.11 1.33
Eccentricity 2 3 2.33 2.00 637 MAX VALUE 226.13 0.47 0.20 0.64
Triangulated primal graph
Density: 56.61%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.85 0.86 232.35 0.00 -45.38 0.08 0.10 3.45
Degree 24 232 153.97 161.00 42,034 MAX VALUE 1,340.79 59.31 0.39 2.99
Eccentricity 2 3 2.05 2.00 559 MAX VALUE 194.50 0.21 0.10 0.19
Dual graph
Density: 11.50%
MCB compute time (ms): 1,700
MCB cycles: 2,600
Triangles: 12,376
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.79 0.67 0.78 149.09 0.00 -130.82 0.25 0.37 1.24
Degree 20 91 25.41 21.00 5,642 MAX VALUE 697.24 16.50 0.65 1.24
Eccentricity 2 4 3.00 3.00 666 MAX VALUE 242.36 0.34 0.11 0.44
MCB cycle size 3 4 3.09 3.00 8,034 MAX VALUE 2,923.71 0.29 0.09 0.30
Minimal dual graph
Density: 2.54%
MCB compute time (ms): 154
MCB cycles: 402
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 51.31 0.00 None 0.11 0.48 1.37
Degree 4 14 5.61 4.00 1,246 MAX VALUE 359.79 3.21 0.57 1.06
Eccentricity 3 6 4.93 5.00 1,095 MAX VALUE 353.35 0.43 0.09 0.60
MCB cycle size 3 6 4.42 4.00 1,776 MAX VALUE 577.08 1.38 0.31 1.03
Triangulated dual graph
Density: 17.48%
Triangles: 40,750
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 0.85 0.92 189.53 0.00 -47.21 0.21 0.24 3.44
Degree 20 213 38.62 28.00 8,574 MAX VALUE 768.01 34.87 0.90 2.95
Eccentricity 2 3 2.10 2.00 466 MAX VALUE 162.80 0.30 0.14 0.32
Triangulated minimal dual graph
Density: 7.69%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.81 0.87 178.75 0.00 -56.80 0.20 0.24 2.79
Degree 4 93 16.99 7.50 3,772 MAX VALUE 513.11 19.80 1.17 2.74
Eccentricity 2 4 3.34 3.00 741 MAX VALUE 265.35 0.48 0.14 0.67
Incidence graph
Density: 1.49%
MCB compute time (ms): 1,113
MCB cycles: 1,326
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-13_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 7.35 7.00 3,640 MAX VALUE 901.92 4.15 0.56 1.44
Eccentricity 4 8 5.82 6.00 2,879 MAX VALUE 866.24 0.85 0.15 1.24
MCB cycle size 4 8 4.96 4.00 6,576 MAX VALUE 2,068.54 1.55 0.31 0.82