Instance: normalized-radar-10-10-4
Number of variables: None
Number of constraints: None
Satisfiable: None
Timestamp: 2018-04-21 10:43:43
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1
Number of constraints: 0
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity None None None None 0 1 0.00 None None 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness None None None None 0.00 1.00 0.00 None None 0.00
Tuples None None None None 0 1 0.00 None None 0.00
Domain size 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 0
Number of leaves: 0
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None 0 1 0.00 None None 0.00
Cluster variables None None None None 0 1 0.00 None None 0.00
Separator constraints None None None None 0 1 0.00 None None 0.00
Separator variables None None None None 0 1 0.00 None None 0.00
Primal graph
Density: None%
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Triangulated primal graph
Density: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Triangulated dual graph
Density: None%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Triangulated minimal dual graph
Density: None%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None 0.00 1.00 0.00 None None 0.00
Degree None None None None 0 1 0.00 None None 0.00
Eccentricity None None None None 0 1 0.00 None None 0.00
Incidence graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-10-4/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Component #2 Number of variables: 434
Number of constraints: 500
General features
Number of coarse blocks: 6,183
Number of unique subscopes: 586
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 16 3.38 2.00 1,689 MAX VALUE 487.87 3.11 0.92 0.98
Coarse blocks size 1 32,752 1,393.56 128.00 8,616,390 MAX VALUE 27,602.20 3,813.63 2.74 3.42
Relational linkage 0.12 1.00 0.78 0.91 1,722.81 0.00 -667.91 0.23 0.30 2.62
Tightness 0.00 0.69 0.23 0.25 114.45 0.00 -816.95 0.08 0.35 1.00
Tuples 3 65,399 807.07 3.00 403,537 MAX VALUE 1,037.84 4,768.85 5.91 1.01
Domain size 2 2 2.00 2.00 868 MAX VALUE 300.83 0.00 0.00 0.00
Constraints per subscope 2 7 3.45 3.00 2,021 MAX VALUE 687.35 1.24 0.36 1.47
Partitions per subscope 2 64 3.77 2.00 2,207 MAX VALUE 590.27 5.75 1.53 0.89
Tree decomposition
Number of clusters: 262
Number of leaves: 79
Tree depth: 25
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 20 4.24 3.00 1,112 MAX VALUE 308.59 3.56 0.84 2.11
Cluster variables 3 77 19.17 14.00 5,023 MAX VALUE 719.16 13.63 0.71 3.51
Separator constraints 0 16 2.34 0.00 612 0 None 3.47 1.49 1.77
Separator variables 0 57 17.52 13.00 4,589 0 None 12.30 0.70 3.43
Dual tree decomposition
Number of clusters: 417
Number of leaves: 181
Tree depth: 18
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 249 35.54 22.00 14,820 MAX VALUE 1,288.18 44.98 1.27 3.89
Cluster variables 4 64 13.29 9.00 5,543 MAX VALUE 971.00 11.98 0.90 2.87
Separator constraints 0 229 29.76 16.00 12,408 0 None 43.75 1.47 3.74
Separator variables 0 59 12.09 8.00 5,043 0 None 11.59 0.96 2.85
Primal graph
Density: 4.29%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 1.00 0.56 0.55 245.03 0.00 -263.72 0.15 0.27 5.49
Degree 2 50 18.57 16.00 8,058 MAX VALUE 1,196.12 10.48 0.56 3.57
Eccentricity 4 8 6.09 6.00 2,643 MAX VALUE 779.79 0.85 0.14 1.25
Triangulated primal graph
Density: 13.05%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.43 1.00 0.79 0.77 340.99 0.00 -113.89 0.16 0.20 5.13
Degree 2 184 56.50 37.00 24,520 MAX VALUE 1,534.99 50.07 0.89 4.63
Eccentricity 3 5 3.98 4.00 1,728 MAX VALUE 594.70 0.59 0.15 0.89
Dual graph
Density: 1.93%
MCB compute time (ms): 865
MCB cycles: 2,297
Triangles: 3,283
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 0.83 0.51 0.57 256.86 0.00 -370.15 0.16 0.31 3.25
Degree 3 41 9.65 7.00 4,824 MAX VALUE 1,029.19 7.84 0.81 2.38
Eccentricity 4 8 6.06 6.00 3,028 MAX VALUE 896.50 0.76 0.13 1.14
MCB cycle size 3 6 3.14 3.00 7,212 MAX VALUE 2,613.20 0.40 0.13 0.42
Minimal dual graph
Density: 0.81%
MCB compute time (ms): 955
MCB cycles: 514
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.03 0.00 17.37 0.00 None 0.08 2.34 1.18
Degree 2 11 4.05 3.00 2,024 MAX VALUE 642.57 2.21 0.55 1.63
Eccentricity 7 14 10.88 11.00 5,440 MAX VALUE 1,189.55 1.33 0.12 1.68
MCB cycle size 3 8 4.55 5.00 2,337 MAX VALUE 766.12 0.98 0.22 1.38
Triangulated dual graph
Density: 6.43%
Triangles: 121,290
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.83 0.85 414.39 0.00 -108.88 0.18 0.22 3.60
Degree 3 153 32.10 11.00 16,050 MAX VALUE 1,360.20 42.47 1.32 3.60
Eccentricity 2 4 3.69 4.00 1,843 MAX VALUE 647.51 0.48 0.13 0.65
Triangulated minimal dual graph
Density: 3.61%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.41 1.00 0.75 0.67 373.25 0.00 -160.74 0.18 0.24 3.34
Degree 2 109 17.99 6.00 8,996 MAX VALUE 1,039.48 25.28 1.41 3.17
Eccentricity 4 7 5.12 5.00 2,561 MAX VALUE 812.49 0.67 0.13 1.01
Incidence graph
Density: 0.39%
MCB compute time (ms): 3,657
MCB cycles: 765
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.71
Degree 1 16 3.62 3.00 3,378 MAX VALUE 1,057.93 2.42 0.67 1.66
Eccentricity 9 17 12.66 13.00 11,822 MAX VALUE 2,363.54 1.56 0.12 1.85
MCB cycle size 4 12 5.48 6.00 4,192 MAX VALUE 1,284.53 1.13 0.21 0.83