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

Instance comments



Component #1 Number of variables: 338
Number of constraints: 270
General features
Number of coarse blocks: 49,126
Number of unique subscopes: 353
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 15 9.20 9.00 2,483 MAX VALUE 593.51 2.12 0.23 1.06
Coarse blocks size 1 16,384 167.56 2.00 8,231,320 MAX VALUE 55,776.20 1,560.16 9.31 0.55
Relational linkage 0.00 1.00 0.81 1.00 2,947.34 0.00 -4,568.11 0.38 0.47 0.80
Tightness 0.00 1.00 0.11 0.00 29.92 0.00 -1,487.55 0.31 2.76 1.25
Tuples 8 32,767 2,148.03 383.00 579,968 MAX VALUE 1,559.88 7,428.06 3.46 1.25
Domain size 2 2 2.00 2.00 676 MAX VALUE 234.28 0.00 0.00 0.00
Constraints per subscope 3 16 7.67 3.00 2,708 MAX VALUE 601.11 6.20 0.81 0.79
Partitions per subscope 2 256 10.26 2.00 3,620 MAX VALUE 312.61 41.34 4.03 0.21
Tree decomposition
Number of clusters: 43
Number of leaves: 15
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 17 6.63 2.00 285 0 None 7.63 1.15 1.10
Cluster variables 28 176 57.09 41.00 2,455 MAX VALUE 166.71 38.21 0.67 2.12
Separator constraints 0 1 0.35 0.00 15 0 None 0.48 1.37 0.65
Separator variables 0 120 49.23 40.00 2,117 0 None 28.40 0.58 2.08
Dual tree decomposition
Number of clusters: 225
Number of leaves: 15
Tree depth: 21
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 24 242 114.60 109.00 25,785 MAX VALUE 1,021.41 65.64 0.57 3.40
Cluster variables 24 25 24.53 25.00 5,520 MAX VALUE 719.96 0.50 0.02 0.69
Separator constraints 0 218 97.07 92.00 21,840 0 None 62.78 0.65 3.35
Separator variables 0 24 23.33 23.00 5,250 0 None 1.75 0.07 0.85
Primal graph
Density: 9.81%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.64 0.55 0.51 185.59 0.00 -204.41 0.06 0.10 1.33
Degree 27 36 33.06 35.00 11,174 MAX VALUE 1,180.34 3.56 0.11 1.33
Eccentricity 2 3 2.33 2.00 789 MAX VALUE 280.10 0.47 0.20 0.64
Triangulated primal graph
Density: 55.93%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.75 1.00 0.85 0.85 287.25 0.00 -56.52 0.08 0.10 3.02
Degree 27 266 188.47 218.00 63,702 MAX VALUE 1,726.21 73.87 0.39 2.82
Eccentricity 2 3 2.04 2.00 691 MAX VALUE 240.37 0.21 0.10 0.18
Dual graph
Density: 10.86%
MCB compute time (ms): 7,514
MCB cycles: 3,676
Triangles: 20,490
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.81 0.69 0.79 185.99 0.00 -151.90 0.25 0.36 1.25
Degree 23 120 29.22 24.00 7,890 MAX VALUE 883.51 20.50 0.70 1.17
Eccentricity 2 4 3.00 3.00 810 MAX VALUE 294.86 0.33 0.11 0.43
MCB cycle size 3 4 3.08 3.00 11,322 MAX VALUE 4,123.08 0.27 0.09 0.28
Minimal dual graph
Density: 2.13%
MCB compute time (ms): 271
MCB cycles: 504
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 62.33 0.00 None 0.11 0.49 1.38
Degree 4 16 5.73 4.00 1,546 MAX VALUE 439.40 3.58 0.62 1.18
Eccentricity 3 6 4.91 5.00 1,325 MAX VALUE 428.33 0.44 0.09 0.62
MCB cycle size 3 6 4.37 4.00 2,202 MAX VALUE 719.47 1.33 0.30 1.22
Triangulated dual graph
Density: 16.56%
Triangles: 66,182
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.86 0.92 231.17 0.00 -56.83 0.21 0.24 3.58
Degree 23 263 44.53 32.00 12,024 MAX VALUE 971.23 40.81 0.92 3.05
Eccentricity 2 3 2.44 2.00 658 MAX VALUE 235.00 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 6.80%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.21 1.00 0.81 0.87 217.91 0.00 -68.15 0.19 0.24 2.91
Degree 4 120 18.30 6.00 4,942 MAX VALUE 634.27 22.33 1.22 2.98
Eccentricity 2 4 3.39 3.00 915 MAX VALUE 326.01 0.54 0.16 0.78
Incidence graph
Density: 1.35%
MCB compute time (ms): 2,227
MCB cycles: 1,876
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-15_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 16 8.17 8.00 4,966 MAX VALUE 1,154.00 4.87 0.60 1.51
Eccentricity 4 8 5.82 6.00 3,536 MAX VALUE 1,064.02 0.85 0.15 1.23
MCB cycle size 4 8 4.85 4.00 9,100 MAX VALUE 2,889.62 1.49 0.31 0.76