Instance: normalized-g-100x100_ext
Number of variables: 10000
Number of constraints: 10000
Satisfiable: None
Timestamp: 2018-04-21 10:29:14
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 10000
Number of constraints: 10000
General features
Number of coarse blocks: 393,616
Number of unique subscopes: 49,398
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 5 4.96 5.00 49,600 MAX VALUE 16,004.90 0.20 0.04 0.17
Coarse blocks size 1 16 9.17 8.00 3,607,600 MAX VALUE 852,258.00 3.18 0.35 1.17
Relational linkage 0.50 1.00 0.97 1.00 171,801.00 0.00 -6,208.77 0.06 0.06 0.76
Tightness 0.03 0.12 0.03 0.03 325.12 0.00 -34,380.10 0.01 0.20 0.17
Tuples 7 31 30.36 31.00 303,632 MAX VALUE 34,049.40 3.14 0.10 0.17
Domain size 2 2 2.00 2.00 20,000 MAX VALUE 6,931.47 0.00 0.00 0.00
Constraints per subscope 2 4 2.39 2.00 118,004 MAX VALUE 40,897.10 0.79 0.33 0.49
Partitions per subscope 2 4 3.60 4.00 177,600 MAX VALUE 61,551.50 0.80 0.22 0.50
Tree decomposition
Number of clusters: 4,236
Number of leaves: 1,610
Tree depth: 33
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 5 2.36 1.00 10,000 0 None 2.10 0.89 1.36
Cluster variables 6 320 23.72 21.00 100,466 MAX VALUE 12,641.20 21.79 0.92 2.20
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 245 21.36 20.00 90,466 0 None 17.22 0.81 2.07
Dual tree decomposition
Number of clusters: 4,250
Number of leaves: 1,609
Tree depth: 38
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 12 701 66.43 59.00 282,309 MAX VALUE 17,244.10 50.78 0.76 2.89
Cluster variables 6 304 23.89 21.00 101,517 MAX VALUE 12,712.80 21.80 0.91 2.23
Separator constraints 0 534 52.54 50.00 223,307 0 None 40.33 0.77 2.77
Separator variables 0 223 21.53 20.00 91,517 0 None 17.29 0.80 2.07
Primal graph
Density: 0.12%
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.46 0.45 4,593.20 0.00 -7,787.09 0.02 0.04 0.34
Degree 5 12 11.80 12.00 118,004 MAX VALUE 24,651.40 0.81 0.07 0.34
Eccentricity 50 99 74.75 75.00 747,500 MAX VALUE 43,046.10 10.21 0.14 3.72
Triangulated primal graph
Density: 1.20%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.34 1.00 0.77 0.79 7,720.06 0.00 -2,838.98 0.17 0.21 5.69
Degree 5 988 119.49 47.00 1,194,900 MAX VALUE 40,443.30 165.70 1.39 4.73
Eccentricity 6 12 8.58 9.00 85,782 MAX VALUE 21,439.20 0.88 0.10 1.29
Dual graph
Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
Triangles: 97,612
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.70 0.46 0.45 4,593.20 0.00 -7,787.09 0.02 0.04 0.34
Degree 5 12 11.80 12.00 118,004 MAX VALUE 24,651.40 0.81 0.07 0.34
Eccentricity 50 99 74.75 75.00 747,500 MAX VALUE 43,046.10 10.21 0.14 3.72
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.08%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.44 0.43 4,355.20 0.00 -8,337.69 0.04 0.08 0.17
Degree 3 8 7.88 8.00 78,804 MAX VALUE 20,606.30 0.59 0.07 0.17
Eccentricity 50 99 82.83 85.00 828,300 MAX VALUE 44,058.30 11.78 0.14 3.72
MCB cycle size None None None None None None None None None None
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: 0.58%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.31 1.00 0.77 0.77 7,662.29 0.00 -2,971.51 0.18 0.24 3.95
Degree 3 622 58.13 22.00 581,270 MAX VALUE 33,328.20 89.68 1.54 3.67
Eccentricity 8 16 10.58 11.00 105,848 MAX VALUE 23,555.50 0.94 0.09 1.34
Incidence graph
Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-gardenExtConvert/normalized-g-100x100_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 5 4.96 5.00 99,200 MAX VALUE 32,009.70 0.20 0.04 0.17
Eccentricity 101 199 150.00 150.00 3,000,000 MAX VALUE 100,023.00 20.41 0.14 4.41
MCB cycle size None None None None None None None None None None