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

Instance comments



Component #1 Number of variables: 135
Number of constraints: 118
General features
Number of coarse blocks: 3,600
Number of unique subscopes: 145
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 10 6.10 6.00 720 MAX VALUE 210.23 1.56 0.26 1.13
Coarse blocks size 1 512 33.74 2.00 121,455 MAX VALUE 5,923.78 110.12 3.26 1.56
Relational linkage 0.00 1.00 0.50 0.31 255.39 0.00 -984.42 0.46 0.92 1.48
Tightness 0.00 0.98 0.16 0.03 19.24 0.00 -407.56 0.33 1.99 1.34
Tuples 6 1,023 115.18 31.00 13,591 MAX VALUE 442.50 261.62 2.27 1.34
Domain size 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00
Constraints per subscope 3 10 5.59 3.00 810 MAX VALUE 224.46 3.32 0.59 0.84
Partitions per subscope 2 32 3.52 2.00 510 MAX VALUE 124.77 5.96 1.69 0.30
Tree decomposition
Number of clusters: 26
Number of leaves: 10
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 11 5.19 2.00 135 0 None 4.83 0.93 1.32
Cluster variables 17 66 30.81 25.00 801 2.92e+37 86.27 15.58 0.51 2.31
Separator constraints 0 8 0.65 0.00 17 0 None 1.54 2.36 0.79
Separator variables 0 50 25.62 24.00 666 0 None 11.87 0.46 2.31
Dual tree decomposition
Number of clusters: 90
Number of leaves: 10
Tree depth: 13
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 92 46.83 43.50 4,215 MAX VALUE 333.26 23.59 0.50 2.89
Cluster variables 15 16 15.50 15.50 1,395 MAX VALUE 246.63 0.50 0.03 0.69
Separator constraints 0 77 35.33 33.00 3,180 0 None 22.44 0.64 2.81
Separator variables 0 15 14.19 14.00 1,277 0 None 1.71 0.12 0.95
Primal graph
Density: 14.81%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.62 0.53 0.49 71.51 0.00 -86.54 0.06 0.11 1.33
Degree 16 22 19.85 21.00 2,680 MAX VALUE 402.38 2.38 0.12 1.33
Eccentricity 2 3 2.33 2.00 315 MAX VALUE 111.82 0.47 0.20 0.64
Triangulated primal graph
Density: 56.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.70 1.00 0.84 0.86 113.92 0.00 -23.67 0.09 0.10 3.90
Degree 16 113 75.04 80.00 10,130 MAX VALUE 567.77 28.51 0.38 3.47
Eccentricity 2 3 2.07 2.00 279 MAX VALUE 97.22 0.25 0.12 0.24
Dual graph
Density: 14.99%
MCB compute time (ms): 177
MCB cycles: 918
Triangles: 2,910
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.76 0.61 0.73 72.17 0.00 -80.49 0.25 0.40 1.34
Degree 14 45 17.54 15.00 2,070 MAX VALUE 330.75 8.08 0.46 1.34
Eccentricity 2 4 3.00 3.00 354 MAX VALUE 128.58 0.39 0.13 0.53
MCB cycle size 3 4 3.12 3.00 2,862 MAX VALUE 1,039.60 0.32 0.10 0.36
Minimal dual graph
Density: 4.42%
MCB compute time (ms): 32
MCB cycles: 188
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.22 0.20 26.44 0.00 None 0.12 0.53 1.41
Degree 4 10 5.17 4.00 610 MAX VALUE 186.35 2.15 0.42 0.91
Eccentricity 3 6 4.91 5.00 579 MAX VALUE 187.03 0.50 0.10 0.73
MCB cycle size 3 6 4.43 4.00 832 MAX VALUE 270.05 1.40 0.32 1.01
Triangulated dual graph
Density: 22.79%
Triangles: 10,231
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 1.00 0.84 0.91 98.92 0.00 -26.77 0.21 0.25 3.12
Degree 14 106 26.66 20.00 3,146 MAX VALUE 368.87 19.34 0.73 2.67
Eccentricity 2 3 2.43 2.00 287 MAX VALUE 102.47 0.50 0.20 0.68
Triangulated minimal dual graph
Density: 11.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 1.00 0.79 0.87 92.66 0.00 -33.60 0.20 0.26 2.58
Degree 4 64 13.73 6.00 1,620 MAX VALUE 263.92 13.50 0.98 2.50
Eccentricity 2 4 2.97 3.00 351 MAX VALUE 127.83 0.33 0.11 0.42
Incidence graph
Density: 2.26%
MCB compute time (ms): 168
MCB cycles: 468
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-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 10 5.69 5.00 1,440 MAX VALUE 412.73 2.66 0.47 1.46
Eccentricity 4 8 5.82 6.00 1,473 MAX VALUE 442.78 0.89 0.15 1.28
MCB cycle size 4 8 5.26 4.00 2,464 MAX VALUE 756.08 1.67 0.32 0.95