XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 1
Number of constraints: 0

General features

Coarse blocks: 0
Value tables: 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

Values 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00

Value table constraints None None None None 0 1 0.00 None None 0.00

Value table partitions None None None None 0 1 0.00 None None 0.00

Feature	min	max	mean	median	sum	prod	std_dev	COV
Arity	None	None	None	None	0	1	None	None
Coarse blocks size	None	None	None	None	0	1	None	None
Relational linkage	None	None	None	None	0.00	1.00	None	None
Tightness	None	None	None	None	0.00	1.00	None	None
Tuples	None	None	None	None	0	1	None	None
Values	1	1	1.00	1.00	1	1	0.00	0.00
Value table constraints	None	None	None	None	0	1	None	None
Value table partitions	None	None	None	None	0	1	None	None

Tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Tree1.json

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

Variables per cluster 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

Clusters per var None None None None None None None None None None

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
Variables per cluster	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
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 0
Number of leaves: 0
Tree depth: 0
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/DualTree1.json

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

Variables per cluster 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

Clusters per variable None None None None None None None None None None

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
Variables per cluster	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
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Primal1.json

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 None None None None None 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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0

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 None None None None None 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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Dual1.json

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

Feature	min	max	mean	median	sum	prod	std_dev	COV
Clustering coefficient	None	None	None	None	0.00	1.00	None	None
Degree	None	None	None	None	0	1	None	None
Eccentricity	None	None	None	None	0	1	None	None
MCB cycle size	None	None	None	None	0	1	None	None

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

Feature	min	max	mean	median	sum	prod	std_dev	COV
Clustering coefficient	None	None	None	None	0.00	1.00	None	None
Degree	None	None	None	None	0	1	None	None
Eccentricity	None	None	None	None	0	1	None	None
MCB cycle size	None	None	None	None	0	1	None	None

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

Feature	min	max	mean	median	sum	prod	std_dev	COV
Clustering coefficient	None	None	None	None	0.00	1.00	None	None
Degree	None	None	None	None	0	1	None	None
Eccentricity	None	None	None	None	0	1	None	None

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

Feature	min	max	mean	median	sum	prod	std_dev	COV
Clustering coefficient	None	None	None	None	0.00	1.00	None	None
Degree	None	None	None	None	0	1	None	None
Eccentricity	None	None	None	None	0	1	None	None

Incidence graph

Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Incidence1.json

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

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None
MCB cycle size	None	None	None	None	0	1	0.00	None	None

Component #2

Number of variables: 434
Number of constraints: 500

General features

Coarse blocks: 6,183
Value tables: 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

Values 2 2 2.00 2.00 868 MAX VALUE 300.83 0.00 0.00 0.00

Value table constraints 2 7 3.45 3.00 2,021 MAX VALUE 687.35 1.24 0.36 1.47

Value table partitions 2 64 3.77 2.00 2,207 MAX VALUE 590.27 5.75 1.53 0.89

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
Values	2	2	2.00	2.00	868	MAX VALUE	300.83	0.00	0.00	0.00
Value table constraints	2	7	3.45	3.00	2,021	MAX VALUE	687.35	1.24	0.36	1.47
Value table partitions	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
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Tree2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Tree2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Tree2.json

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

Variables per cluster 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

Clusters per var None None None None None None None None None 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
Variables per cluster	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
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 417
Number of leaves: 181
Tree depth: 18
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/DualTree2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/DualTree2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/DualTree2.json

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

Variables per cluster 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

Clusters per variable None None None None None None None None None 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
Variables per cluster	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
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 4.29%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Primal2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Primal2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Primal2.json

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

MCB cycle size None None None None None None None None None 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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 13.05%
MCB compute time (ms): None
MCB cycles: None
Triangles: None

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

MCB cycle size None None None None None None None None None None

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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 1.93%
MCB compute time (ms): 865
MCB cycles: 2,297
Triangles: 3,283
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Dual2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Dual2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Dual2.json

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

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

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

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

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: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Incidence2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Incidence2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-radar/normalized-radar-10-10-4/Incidence2.json

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

XCSP 2.1 Benchmarks