Instance: normalized-par-16-1-c_ext
Number of variables: 634
Number of constraints: 1521
Satisfiable: None
Timestamp: 2018-04-21 10:41:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 634
Number of constraints: 1521
General features
Number of coarse blocks: 9,464
Number of unique subscopes: 755
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 3 2.75 3.00 4,184 MAX VALUE 1,517.32 0.43 0.16 0.56
Coarse blocks size 1 4 2.96 3.00 27,994 MAX VALUE 9,542.55 0.98 0.33 1.29
Relational linkage 0.50 1.00 0.67 0.50 1,178.00 0.00 -767.35 0.20 0.29 1.02
Tightness 0.12 0.25 0.16 0.12 245.00 0.00 -2,858.54 0.06 0.35 0.60
Tuples 3 7 5.96 7.00 9,071 MAX VALUE 2,629.35 1.72 0.29 0.72
Domain size 2 2 2.00 2.00 1,268 MAX VALUE 439.45 0.00 0.00 0.00
Constraints per subscope 2 41 5.90 5.00 4,458 MAX VALUE 1,202.49 5.56 0.94 1.29
Partitions per subscope 2 4 2.32 2.00 1,752 MAX VALUE 607.20 0.73 0.32 0.44
Tree decomposition
Number of clusters: 317
Number of leaves: 117
Tree depth: 16
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 4 21 11.48 11.00 3,640 MAX VALUE 762.91 3.05 0.27 2.12
Cluster variables 6 42 14.68 12.00 4,654 MAX VALUE 817.01 8.11 0.55 2.31
Separator constraints 0 20 6.68 5.00 2,119 0 None 3.86 0.58 2.12
Separator variables 0 40 12.68 10.00 4,020 0 None 7.72 0.61 2.50
Dual tree decomposition
Number of clusters: 537
Number of leaves: 302
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 1,806 218.70 39.00 117,442 MAX VALUE 2,326.39 361.26 1.65 3.12
Cluster variables 5 164 28.79 11.00 15,458 MAX VALUE 1,558.24 33.79 1.17 2.65
Separator constraints 0 1,440 177.41 29.00 95,272 0 None 300.31 1.69 3.05
Separator variables 0 128 25.95 10.00 13,937 0 None 30.38 1.17 2.61
Primal graph
Density: 1.82%
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.06 1.00 0.53 0.56 333.27 0.00 -438.70 0.12 0.22 1.76
Degree 5 81 11.52 9.00 7,304 MAX VALUE 1,453.74 11.07 0.96 1.31
Eccentricity 5 8 6.63 7.00 4,205 MAX VALUE 1,194.53 0.83 0.12 1.20
Triangulated primal graph
Density: 4.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 0.81 0.90 515.79 0.00 -158.88 0.20 0.24 3.34
Degree 5 227 29.45 14.00 18,674 MAX VALUE 1,848.73 40.54 1.38 3.14
Eccentricity 3 5 4.09 4.00 2,594 MAX VALUE 888.37 0.50 0.12 0.74
Dual graph
Density: 1.92%
MCB compute time (ms): 548,964
MCB cycles: 32,247
Triangles: 172,697
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.37 1.00 0.59 0.63 900.93 0.00 -827.23 0.11 0.19 3.45
Degree 4 80 29.15 34.00 44,340 MAX VALUE 4,784.33 17.18 0.59 2.95
Eccentricity 5 9 7.14 7.00 10,862 MAX VALUE 2,978.75 0.87 0.12 1.23
MCB cycle size 3 7 3.29 3.00 105,993 MAX VALUE 37,860.90 0.65 0.20 0.61
Minimal dual graph
Density: 0.29%
MCB compute time (ms): 98,734
MCB cycles: 1,877
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.06 0.00 89.91 0.00 None 0.07 1.23 1.29
Degree 3 7 4.47 5.00 6,794 MAX VALUE 2,252.03 0.78 0.17 1.16
Eccentricity 11 17 13.72 14.00 20,866 MAX VALUE 3,978.24 1.10 0.08 1.50
MCB cycle size 3 12 5.03 5.00 9,446 MAX VALUE 2,948.00 1.57 0.31 1.76
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 4.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.46 1.00 0.81 0.78 1,229.66 0.00 -350.86 0.15 0.19 4.66
Degree 3 347 64.77 12.00 98,508 MAX VALUE 4,501.75 95.40 1.47 4.19
Eccentricity 3 6 4.79 5.00 7,284 MAX VALUE 2,371.81 0.56 0.12 0.83
Incidence graph
Density: 0.18%
MCB compute time (ms): 136,112
MCB cycles: 2,033
Dot-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-parExtConvert/normalized-par-16-1-c_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 2 41 3.88 3.00 8,368 MAX VALUE 2,626.06 3.62 0.93 1.27
Eccentricity 10 18 14.28 14.00 30,768 MAX VALUE 5,713.77 1.72 0.12 1.83
MCB cycle size 4 14 6.13 6.00 12,458 MAX VALUE 3,658.51 1.03 0.17 0.68