Instance: normalized-mps-manna81_ext
Number of variables: 10713
Number of constraints: 6480
Satisfiable: None
Timestamp: 2018-04-21 10:37:35
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 10713
Number of constraints: 6480
General features
Number of coarse blocks: 103,955
Number of unique subscopes: 3,321
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 8 6.63 7.00 42,980 MAX VALUE 12,195.80 0.91 0.14 1.29
Coarse blocks size 1 15 6.31 6.00 655,960 MAX VALUE 177,417.00 2.90 0.46 2.45
Relational linkage 0.06 1.00 0.44 0.44 10,871.90 0.00 -24,416.90 0.20 0.46 2.45
Tightness 0.02 0.82 0.52 0.54 3,389.75 0.00 -4,637.66 0.16 0.30 4.21
Tuples 6 179 50.61 45.00 327,980 MAX VALUE 24,614.10 25.31 0.50 4.37
Domain size 2 2 2.00 2.00 21,426 MAX VALUE 7,425.69 0.00 0.00 0.00
Constraints per subscope 3 40 3.90 3.00 12,960 MAX VALUE 3,858.30 5.71 1.46 0.11
Partitions per subscope 2 15 7.52 7.00 24,970 MAX VALUE 6,525.47 2.38 0.32 2.25
Tree decomposition
Number of clusters: 3,241
Number of leaves: 1,080
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 4 2.33 2.00 7,560 0 None 1.25 0.53 1.10
Cluster variables 9 293 13.42 13.00 43,484 MAX VALUE 8,382.01 5.08 0.38 1.65
Separator constraints 0 1 0.33 0.00 1,080 0 None 0.47 1.41 0.64
Separator variables 0 12 10.11 10.00 32,771 0 None 1.08 0.11 1.46
Dual tree decomposition
Number of clusters: 3,319
Number of leaves: 1,080
Tree depth: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 5 10,507 228.14 7.00 757,201 MAX VALUE 11,211.10 464.80 2.04 2.14
Cluster variables 5 1,321 24.87 5.00 82,529 MAX VALUE 8,070.07 56.00 2.25 1.66
Separator constraints 0 5,967 206.18 3.00 684,301 0 None 364.38 1.77 2.14
Separator variables 0 989 22.91 4.00 76,049 0 None 47.94 2.09 2.11
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.74 0.65 0.67 6,992.45 0.00 -5,035.43 0.11 0.16 2.49
Degree 8 142 15.72 12.00 168,370 MAX VALUE 27,641.70 19.51 1.24 1.89
Eccentricity 4 5 4.97 5.00 53,272 MAX VALUE 17,176.50 0.16 0.03 0.13
Triangulated primal graph
Density: 0.28%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.21 1.00 0.88 0.90 9,451.21 0.00 -1,506.45 0.13 0.14 2.81
Degree 8 672 29.97 16.00 321,118 MAX VALUE 30,288.30 85.74 2.86 2.73
Eccentricity 2 3 2.97 3.00 31,846 MAX VALUE 11,650.60 0.16 0.05 0.13
Dual graph
Density: 0.35%
MCB compute time (ms): None
MCB cycles: None
Triangles: 804,600
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.90 0.70 0.70 4,551.80 0.00 -2,569.65 0.20 0.29 0.69
Degree 4 41 22.50 22.50 145,800 MAX VALUE 16,523.60 18.50 0.82 0.69
Eccentricity 5 6 5.50 5.50 35,640 MAX VALUE 11,019.90 0.50 0.09 0.69
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.05%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.14 0.00 919.00 0.00 None 0.24 1.70 0.92
Degree 2 5 2.98 3.00 19,278 MAX VALUE 6,936.09 0.58 0.20 0.87
Eccentricity 15 19 16.92 17.00 109,647 MAX VALUE 18,324.20 0.65 0.04 0.99
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: 1.87%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.29 1.00 0.77 0.80 4,963.98 0.00 -1,945.97 0.19 0.25 3.91
Degree 2 907 120.85 5.00 783,122 MAX VALUE 14,662.90 288.43 2.39 3.08
Eccentricity 4 7 5.20 5.00 33,714 MAX VALUE 10,630.40 0.68 0.13 1.03
Incidence graph
Density: 0.03%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-mpsExtConvert/normalized-mps-manna81_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 40 5.00 3.00 85,960 MAX VALUE 24,724.20 4.96 0.99 1.22
Eccentricity 9 12 10.97 11.00 188,537 MAX VALUE 41,141.30 0.67 0.06 1.00
MCB cycle size None None None None None None None None None None