Instance: normalized-fpga-20-19_ext
Number of variables: 570
Number of constraints: 438
Satisfiable: None
Timestamp: 2018-04-21 10:28:25
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 570
Number of constraints: 438
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 10 20 11.28 11.00 4,940 MAX VALUE 1,052.65 2.61 0.23 0.99
Coarse blocks size None None None None None None None None None None
Relational linkage 0.00 1.00 0.93 1.00 15,354.10 0.00 -10,310.30 0.25 0.27 0.35
Tightness 0.00 1.00 0.09 0.00 39.07 0.00 -3,029.26 0.28 3.17 1.14
Tuples 11 1,048,580 46,819.30 1,023.00 20,506,800 MAX VALUE 3,134.25 213,321.00 4.56 1.14
Domain size 2 2 2.00 2.00 1,140 MAX VALUE 395.09 0.00 0.00 0.00
Constraints per subscope None None None None None None None None None None
Partitions per subscope None None None None None None None None None None
Tree decomposition
Number of clusters: 56
Number of leaves: 20
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 21 9.30 2.00 521 0 None 9.57 1.03 1.37
Cluster variables 37 311 81.75 55.00 4,578 MAX VALUE 234.41 65.24 0.80 2.33
Separator constraints 0 18 1.48 0.00 83 0 None 4.11 2.77 0.94
Separator variables 0 231 71.57 54.00 4,008 0 None 49.28 0.69 2.33
Dual tree decomposition
Number of clusters: 380
Number of leaves: 20
Tree depth: 28
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 30 382 176.00 161.00 66,880 MAX VALUE 1,878.32 105.08 0.60 3.64
Cluster variables 30 31 30.50 30.50 11,590 MAX VALUE 1,298.69 0.50 0.02 0.69
Separator constraints 0 352 154.50 140.50 58,710 0 None 101.08 0.65 3.60
Separator variables 0 30 29.35 29.00 11,152 0 None 1.69 0.06 0.82
Primal graph
Density: 7.59%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_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.51 309.77 0.00 -350.19 0.05 0.10 1.33
Degree 36 47 43.18 46.00 24,610 MAX VALUE 2,142.58 4.73 0.11 1.33
Eccentricity 2 3 2.33 2.00 1,330 MAX VALUE 472.13 0.47 0.20 0.64
Triangulated primal graph
Density: 58.33%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.76 1.00 0.86 0.85 489.90 0.00 -88.33 0.07 0.08 3.81
Degree 36 469 331.89 393.00 189,178 MAX VALUE 3,228.90 128.85 0.39 3.43
Eccentricity 2 3 2.03 2.00 1,159 MAX VALUE 402.80 0.18 0.09 0.15
Dual graph
Density: 8.54%
MCB compute time (ms): 73,069
MCB cycles: 7,733
Triangles: 55,670
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.82 0.73 0.81 317.75 0.00 -217.77 0.23 0.32 1.14
Degree 29 190 37.31 30.00 16,340 MAX VALUE 1,528.55 32.63 0.87 1.14
Eccentricity 2 4 3.00 3.00 1,314 MAX VALUE 478.95 0.29 0.10 0.36
MCB cycle size 3 4 3.07 3.00 23,712 MAX VALUE 8,643.15 0.25 0.08 0.24
Minimal dual graph
Density: 1.37%
MCB compute time (ms): 2,354
MCB cycles: 873
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.24 0.20 104.56 0.00 None 0.11 0.44 1.28
Degree 4 20 5.98 4.00 2,620 MAX VALUE 716.38 4.55 0.76 1.03
Eccentricity 3 6 4.95 5.00 2,169 MAX VALUE 699.41 0.37 0.07 0.49
MCB cycle size 3 6 4.41 4.00 3,852 MAX VALUE 1,252.64 1.38 0.31 1.04
Triangulated dual graph
Density: 12.95%
Triangles: 173,591
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 1.00 0.87 0.93 379.98 0.00 -87.18 0.20 0.23 3.79
Degree 29 421 56.59 40.00 24,786 MAX VALUE 1,668.33 59.64 1.05 3.23
Eccentricity 2 3 2.26 2.00 992 MAX VALUE 350.63 0.44 0.19 0.58
Triangulated minimal dual graph
Density: 4.60%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 0.82 0.86 357.70 0.00 -104.75 0.19 0.23 2.91
Degree 4 148 20.11 7.00 8,810 MAX VALUE 1,028.49 28.15 1.40 2.96
Eccentricity 2 4 3.46 3.00 1,515 MAX VALUE 538.07 0.53 0.15 0.77
Incidence graph
Density: 0.97%
MCB compute time (ms): 10,998
MCB cycles: 3,933
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19_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 20 9.80 10.00 9,880 MAX VALUE 2,039.31 6.40 0.65 1.41
Eccentricity 4 8 5.81 6.00 5,858 MAX VALUE 1,763.86 0.83 0.14 1.20
MCB cycle size 4 8 4.70 4.00 18,504 MAX VALUE 5,953.85 1.40 0.30 0.68