Instance: normalized-s4-4-3-8_ext
Number of variables: 432
Number of constraints: 312
Satisfiable: None
Timestamp: 2018-04-21 10:44:03
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 432
Number of constraints: 312
General features
Number of coarse blocks: 2,592
Number of unique subscopes: 432
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 18 4.15 3.00 1,296 MAX VALUE 377.29 4.05 0.98 1.23
Coarse blocks size 1 834 166.13 3.00 430,608 MAX VALUE 6,274.23 303.78 1.83 1.71
Relational linkage 0.00 0.01 0.00 0.00 3.26 0.00 -5,099.25 0.00 0.69 0.69
Tightness 0.50 1.00 0.57 0.50 177.41 0.00 -183.06 0.14 0.24 1.10
Tuples 2 988 79.72 4.00 24,872 MAX VALUE 541.58 262.20 3.29 1.35
Domain size 2 2 2.00 2.00 864 MAX VALUE 299.44 0.00 0.00 0.00
Constraints per subscope 3 3 3.00 3.00 1,296 MAX VALUE 474.60 0.00 0.00 0.00
Partitions per subscope 2 2 2.00 2.00 864 MAX VALUE 299.44 0.00 0.00 0.00
Tree decomposition
Number of clusters: 162
Number of leaves: 24
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.93 2.00 312 0 None 0.77 0.40 0.75
Cluster variables 21 131 36.30 31.00 5,881 MAX VALUE 566.23 20.27 0.56 2.94
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 94 33.64 30.00 5,449 0 None 16.29 0.48 2.90
Dual tree decomposition
Number of clusters: 252
Number of leaves: 72
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 14 9.14 9.00 2,304 MAX VALUE 547.37 2.61 0.29 1.65
Cluster variables 5 27 11.50 8.00 2,898 MAX VALUE 572.84 7.12 0.62 1.65
Separator constraints 0 7 4.00 4.00 1,008 0 None 2.10 0.53 1.51
Separator variables 0 25 10.26 7.00 2,586 0 None 6.80 0.66 1.66
Primal graph
Density: 4.95%
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.56 0.72 0.65 0.63 278.83 0.00 -191.02 0.06 0.09 1.33
Degree 20 23 21.33 21.50 9,216 MAX VALUE 1,321.46 1.11 0.05 1.33
Eccentricity 4 6 5.17 5.00 2,232 MAX VALUE 705.47 0.69 0.13 1.01
Triangulated primal graph
Density: 28.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 1.00 0.80 0.78 347.22 0.00 -99.56 0.12 0.15 5.33
Degree 20 245 123.47 114.50 53,340 MAX VALUE 1,955.69 77.82 0.63 4.58
Eccentricity 2 4 2.86 3.00 1,235 MAX VALUE 445.98 0.52 0.18 0.77
Dual graph
Density: 2.67%
MCB compute time (ms): 728
MCB cycles: 1,147
Triangles: 432
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.33 0.20 0.20 63.77 0.00 -536.29 0.08 0.41 1.23
Degree 4 36 8.31 6.00 2,592 MAX VALUE 593.55 8.11 0.98 1.23
Eccentricity 4 7 5.94 6.00 1,852 MAX VALUE 553.19 0.74 0.12 1.10
MCB cycle size 3 5 3.63 4.00 4,165 MAX VALUE 1,467.81 0.50 0.14 0.70
Minimal dual graph
Density: 1.78%
MCB compute time (ms): 372
MCB cycles: 553
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 4 18 5.54 4.00 1,728 MAX VALUE 500.02 3.65 0.66 1.07
Eccentricity 6 8 7.01 7.00 2,188 MAX VALUE 606.09 0.71 0.10 1.04
MCB cycle size 4 6 4.86 4.00 2,688 MAX VALUE 863.12 0.99 0.20 0.68
Triangulated dual graph
Density: 7.84%
Triangles: 31,346
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 1.00 0.83 0.86 257.49 0.00 -73.75 0.18 0.22 2.17
Degree 4 167 24.38 12.00 7,608 MAX VALUE 812.39 35.15 1.44 2.05
Eccentricity 2 3 2.69 3.00 840 MAX VALUE 303.84 0.46 0.17 0.62
Triangulated minimal dual graph
Density: 6.80%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.15 1.00 0.81 0.78 253.16 0.00 -78.68 0.19 0.23 2.43
Degree 4 184 21.15 9.00 6,598 MAX VALUE 768.41 31.37 1.48 2.48
Eccentricity 2 4 3.06 3.00 956 MAX VALUE 346.64 0.40 0.13 0.55
Incidence graph
Density: 0.47%
MCB compute time (ms): 1,294
MCB cycles: 553
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s4-4-3-8_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 18 3.48 3.00 2,592 MAX VALUE 851.89 2.69 0.77 0.76
Eccentricity 8 14 11.56 11.00 8,600 MAX VALUE 1,814.95 1.44 0.12 1.73
MCB cycle size 8 8 8.00 8.00 4,424 MAX VALUE 1,149.93 0.00 0.00 0.00