XCSP 2.1 Benchmark Database

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

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

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
Domain size	1	1	1.00	1.00	1	1	0.00	0.00
Constraints per subscope	None	None	None	None	0	1	None	None
Partitions per subscope	None	None	None	None	0	1	None	None

Tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-4/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-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

Feature	min	max	mean	median	sum	prod	ln(prod)	COV
Cluster constraints	0	0	0.00	0.00	0	0	None	None
Cluster variables	1	1	1.00	1.00	1	1	0.00	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	None
Separator variables	0	0	0.00	0.00	0	0	None	None

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-20-4/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-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

Feature	min	max	mean	median	prod	std_dev	COV
Cluster constraints	None	None	None	None	1	None	None
Cluster variables	None	None	None	None	1	None	None
Separator constraints	None	None	None	None	1	None	None
Separator variables	None	None	None	None	1	None	None

Primal graph

Density: None%
Dot-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-4/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-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

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

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

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

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-20-4/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-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

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: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-4/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-radarExtConvert/normalized-radar-10-20-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

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: 775
Number of constraints: 861

General features

Number of coarse blocks: 13,835
Number of unique subscopes: 1,068

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 2 20 3.51 2.00 3,020 MAX VALUE 837.98 3.77 1.07 1.03

Coarse blocks size 1 524,268 18,414.50 247.00 254,764,000 MAX VALUE 75,852.50 62,782.00 3.41 3.84

Relational linkage 0.12 1.00 0.84 0.99 4,467.12 0.00 -1,236.27 0.23 0.28 2.76

Tightness 0.00 0.69 0.24 0.25 202.58 0.00 -1,498.43 0.09 0.40 1.06

Tuples 3 1,048,360 11,670.40 3.00 10,048,200 MAX VALUE 1,854.96 79,069.80 6.78 1.10

Domain size 2 2 2.00 2.00 1,550 MAX VALUE 537.19 0.00 0.00 0.00

Constraints per subscope 2 7 3.41 3.00 3,642 MAX VALUE 1,237.57 1.25 0.37 1.46

Partitions per subscope 2 256 5.01 2.00 5,354 MAX VALUE 1,155.44 11.55 2.30 1.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	20	3.51	2.00	3,020	MAX VALUE	837.98	3.77	1.07	1.03
Coarse blocks size	1	524,268	18,414.50	247.00	254,764,000	MAX VALUE	75,852.50	62,782.00	3.41	3.84
Relational linkage	0.12	1.00	0.84	0.99	4,467.12	0.00	-1,236.27	0.23	0.28	2.76
Tightness	0.00	0.69	0.24	0.25	202.58	0.00	-1,498.43	0.09	0.40	1.06
Tuples	3	1,048,360	11,670.40	3.00	10,048,200	MAX VALUE	1,854.96	79,069.80	6.78	1.10
Domain size	2	2	2.00	2.00	1,550	MAX VALUE	537.19	0.00	0.00	0.00
Constraints per subscope	2	7	3.41	3.00	3,642	MAX VALUE	1,237.57	1.25	0.37	1.46
Partitions per subscope	2	256	5.01	2.00	5,354	MAX VALUE	1,155.44	11.55	2.30	1.00

Tree decomposition

Number of clusters: 460
Number of leaves: 107
Tree depth: 46
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 1 29 4.75 3.00 2,184 MAX VALUE 561.02 4.63 0.97 2.27

Cluster variables 3 91 23.00 19.00 10,582 MAX VALUE 1,348.81 15.13 0.66 3.74

Separator constraints 0 25 2.88 0.00 1,323 0 None 4.48 1.56 1.93

Separator variables 0 67 21.32 18.00 9,807 0 None 13.93 0.65 3.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	29	4.75	3.00	2,184	MAX VALUE	561.02	4.63	0.97	2.27
Cluster variables	3	91	23.00	19.00	10,582	MAX VALUE	1,348.81	15.13	0.66	3.74
Separator constraints	0	25	2.88	0.00	1,323	0	None	4.48	1.56	1.93
Separator variables	0	67	21.32	18.00	9,807	0	None	13.93	0.65	3.68

Dual tree decomposition

Number of clusters: 729
Number of leaves: 309
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 3 235 33.04 21.00 24,085 MAX VALUE 2,227.59 40.44 1.22 3.93

Cluster variables 3 56 12.35 9.00 9,005 MAX VALUE 1,668.50 10.30 0.83 2.82

Separator constraints 0 228 27.27 15.00 19,882 0 None 39.20 1.44 3.80

Separator variables 0 53 11.17 8.00 8,144 0 None 9.93 0.89 2.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	235	33.04	21.00	24,085	MAX VALUE	2,227.59	40.44	1.22	3.93
Cluster variables	3	56	12.35	9.00	9,005	MAX VALUE	1,668.50	10.30	0.83	2.82
Separator constraints	0	228	27.27	15.00	19,882	0	None	39.20	1.44	3.80
Separator variables	0	53	11.17	8.00	8,144	0	None	9.93	0.89	2.81

Primal graph

Density: 2.97%
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 1.00 0.60 0.57 462.51 0.00 None 0.17 0.28 6.07

Degree 2 64 23.00 20.00 17,822 MAX VALUE 2,295.37 12.92 0.56 3.79

Eccentricity 6 11 8.36 8.00 6,479 MAX VALUE 1,637.84 1.19 0.14 1.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.60	0.57	462.51	0.00	None	0.17	0.28	6.07
Degree	2	64	23.00	20.00	17,822	MAX VALUE	2,295.37	12.92	0.56	3.79
Eccentricity	6	11	8.36	8.00	6,479	MAX VALUE	1,637.84	1.19	0.14	1.57

Triangulated primal graph

Density: 8.28%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.38 1.00 0.77 0.76 599.31 0.00 -217.68 0.16 0.21 5.81

Degree 2 231 64.05 45.00 49,642 MAX VALUE 2,875.18 54.56 0.85 4.84

Eccentricity 4 7 5.42 5.00 4,204 MAX VALUE 1,301.35 0.82 0.15 1.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.38	1.00	0.77	0.76	599.31	0.00	-217.68	0.16	0.21	5.81
Degree	2	231	64.05	45.00	49,642	MAX VALUE	2,875.18	54.56	0.85	4.84
Eccentricity	4	7	5.42	5.00	4,204	MAX VALUE	1,301.35	0.82	0.15	1.21

Dual graph

Density: 1.14%
MCB compute time (ms): 3,774
MCB cycles: 3,778
Triangles: 5,807
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.10 1.00 0.52 0.60 449.45 0.00 -625.25 0.16 0.31 3.35

Degree 2 52 9.76 7.00 8,406 MAX VALUE 1,762.61 8.92 0.91 2.43

Eccentricity 6 12 8.79 9.00 7,565 MAX VALUE 1,863.20 1.18 0.13 1.58

MCB cycle size 3 6 3.10 3.00 11,706 MAX VALUE 4,253.88 0.35 0.11 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.10	1.00	0.52	0.60	449.45	0.00	-625.25	0.16	0.31	3.35
Degree	2	52	9.76	7.00	8,406	MAX VALUE	1,762.61	8.92	0.91	2.43
Eccentricity	6	12	8.79	9.00	7,565	MAX VALUE	1,863.20	1.18	0.13	1.58
MCB cycle size	3	6	3.10	3.00	11,706	MAX VALUE	4,253.88	0.35	0.11	0.33

Minimal dual graph

Density: 0.47%
MCB compute time (ms): 8,955
MCB cycles: 881

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.33 0.04 0.00 30.20 0.00 None 0.09 2.47 1.16

Degree 2 16 4.04 3.00 3,482 MAX VALUE 1,092.80 2.56 0.63 1.67

Eccentricity 11 21 15.80 16.00 13,600 MAX VALUE 2,367.29 2.26 0.14 2.17

MCB cycle size 3 12 4.49 4.00 3,958 MAX VALUE 1,304.05 0.96 0.21 1.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.04	0.00	30.20	0.00	None	0.09	2.47	1.16
Degree	2	16	4.04	3.00	3,482	MAX VALUE	1,092.80	2.56	0.63	1.67
Eccentricity	11	21	15.80	16.00	13,600	MAX VALUE	2,367.29	2.26	0.14	2.17
MCB cycle size	3	12	4.49	4.00	3,958	MAX VALUE	1,304.05	0.96	0.21	1.33

Triangulated dual graph

Density: 3.36%
Triangles: 160,190

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.27 1.00 0.83 0.86 711.30 0.00 -197.56 0.20 0.24 3.72

Degree 2 198 28.86 10.00 24,846 MAX VALUE 2,266.13 42.00 1.46 3.68

Eccentricity 3 6 4.66 5.00 4,011 MAX VALUE 1,317.80 0.58 0.13 0.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.27	1.00	0.83	0.86	711.30	0.00	-197.56	0.20	0.24	3.72
Degree	2	198	28.86	10.00	24,846	MAX VALUE	2,266.13	42.00	1.46	3.68
Eccentricity	3	6	4.66	5.00	4,011	MAX VALUE	1,317.80	0.58	0.13	0.88

Triangulated minimal dual graph

Density: 1.88%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.33 1.00 0.75 0.67 641.60 0.00 -282.84 0.19 0.26 3.36

Degree 2 129 16.20 6.00 13,946 MAX VALUE 1,720.40 24.36 1.50 3.16

Eccentricity 4 8 6.15 6.00 5,293 MAX VALUE 1,557.61 0.73 0.12 1.09

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.75	0.67	641.60	0.00	-282.84	0.19	0.26	3.36
Degree	2	129	16.20	6.00	13,946	MAX VALUE	1,720.40	24.36	1.50	3.16
Eccentricity	4	8	6.15	6.00	5,293	MAX VALUE	1,557.61	0.73	0.12	1.09

Incidence graph

Density: 0.23%
MCB compute time (ms): 14,144
MCB cycles: 1,397
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.70

Degree 1 20 3.69 3.00 6,040 MAX VALUE 1,857.17 2.85 0.77 1.65

Eccentricity 12 24 17.66 18.00 28,899 MAX VALUE 4,683.42 2.34 0.13 2.25

MCB cycle size 4 12 5.37 6.00 7,508 MAX VALUE 2,317.54 1.13 0.21 0.83

XCSP 2.1 Benchmarks