XCSP 2.1 Benchmark Database

Instance: miles500-5_ext
Number of variables: 128
Number of constraints: 1170
Satisfiable: None
Timestamp: 2017-10-27 10:54:44
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 128
Number of constraints: 1170

General features

Number of coarse blocks: 11,700
Number of unique subscopes: 128

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

Arity 2 2 2.00 2.00 2,340 MAX VALUE 810.98 0.00 0.00 0.00

Coarse blocks size 4 4 4.00 4.00 46,800 MAX VALUE 16,219.60 0.00 0.00 0.00

Relational linkage 0.80 0.80 0.80 0.80 512.00 0.00 -142.81 0.00 0.00 0.00

Tightness 0.20 0.20 0.20 0.20 234.00 0.00 -1,883.04 0.00 0.00 0.00

Tuples 20 20 20.00 20.00 23,400 MAX VALUE 3,505.01 0.00 0.00 0.00

Domain size 5 5 5.00 5.00 640 MAX VALUE 206.01 0.00 0.00 0.00

Constraints per subscope 3 38 18.28 17.00 2,340 MAX VALUE 349.79 9.70 0.53 3.43

Partitions per subscope 5 5 5.00 5.00 640 MAX VALUE 206.01 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	2,340	MAX VALUE	810.98	0.00	0.00	0.00
Coarse blocks size	4	4	4.00	4.00	46,800	MAX VALUE	16,219.60	0.00	0.00	0.00
Relational linkage	0.80	0.80	0.80	0.80	512.00	0.00	-142.81	0.00	0.00	0.00
Tightness	0.20	0.20	0.20	0.20	234.00	0.00	-1,883.04	0.00	0.00	0.00
Tuples	20	20	20.00	20.00	23,400	MAX VALUE	3,505.01	0.00	0.00	0.00
Domain size	5	5	5.00	5.00	640	MAX VALUE	206.01	0.00	0.00	0.00
Constraints per subscope	3	38	18.28	17.00	2,340	MAX VALUE	349.79	9.70	0.53	3.43
Partitions per subscope	5	5	5.00	5.00	640	MAX VALUE	206.01	0.00	0.00	0.00

Tree decomposition

Number of clusters: 68
Number of leaves: 11
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 1 244 89.38 52.50 6,078 MAX VALUE 267.45 73.25 0.82 3.95

Cluster variables 4 24 14.43 14.00 981 MAX VALUE 171.79 6.78 0.47 2.78

Separator constraints 0 204 72.18 42.00 4,908 0 None 66.11 0.92 3.83

Separator variables 0 22 12.54 12.00 853 0 None 6.90 0.55 2.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	244	89.38	52.50	6,078	MAX VALUE	267.45	73.25	0.82	3.95
Cluster variables	4	24	14.43	14.00	981	MAX VALUE	171.79	6.78	0.47	2.78
Separator constraints	0	204	72.18	42.00	4,908	0	None	66.11	0.92	3.83
Separator variables	0	22	12.54	12.00	853	0	None	6.90	0.55	2.85

Dual tree decomposition

Number of clusters: 125
Number of leaves: 53
Tree depth: 17
Dot-file path: None
PDF-file path: None

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

Cluster constraints 8 5,030 755.82 417.00 94,478 MAX VALUE 726.88 956.41 1.27 4.66

Cluster variables 5 295 62.35 45.00 7,794 MAX VALUE 469.90 58.58 0.94 4.27

Separator constraints 0 2,570 545.94 290.00 68,242 0 None 626.27 1.15 4.70

Separator variables 0 211 52.99 39.00 6,624 0 None 46.14 0.87 4.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	8	5,030	755.82	417.00	94,478	MAX VALUE	726.88	956.41	1.27	4.66
Cluster variables	5	295	62.35	45.00	7,794	MAX VALUE	469.90	58.58	0.94	4.27
Separator constraints	0	2,570	545.94	290.00	68,242	0	None	626.27	1.15	4.70
Separator variables	0	211	52.99	39.00	6,624	0	None	46.14	0.87	4.19

Primal graph

Density: 14.39%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.30 1.00 0.72 0.70 91.57 0.00 -46.34 0.16 0.23 4.41

Degree 3 38 18.28 17.00 2,340 MAX VALUE 349.79 9.70 0.53 3.43

Eccentricity 5 9 7.37 7.00 943 MAX VALUE 254.02 1.14 0.15 1.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.30	1.00	0.72	0.70	91.57	0.00	-46.34	0.16	0.23	4.41
Degree	3	38	18.28	17.00	2,340	MAX VALUE	349.79	9.70	0.53	3.43
Eccentricity	5	9	7.37	7.00	943	MAX VALUE	254.02	1.14	0.15	1.49

Triangulated primal graph

Density: 19.76%

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

Clustering coefficient 0.35 1.00 0.79 0.77 100.50 0.00 -33.30 0.15 0.19 4.08

Degree 3 55 25.09 22.00 3,212 MAX VALUE 383.07 14.60 0.58 3.53

Eccentricity 4 7 5.73 6.00 733 MAX VALUE 221.67 0.92 0.16 1.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.35	1.00	0.79	0.77	100.50	0.00	-33.30	0.15	0.19	4.08
Degree	3	55	25.09	22.00	3,212	MAX VALUE	383.07	14.60	0.58	3.53
Eccentricity	4	7	5.73	6.00	733	MAX VALUE	221.67	0.92	0.16	1.28

Dual graph

Density: 3.84%
MCB compute time (ms): 88,384
MCB cycles: 25,642
Triangles: 225,744
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.47 0.76 0.52 0.51 608.17 0.00 -766.75 0.02 0.05 6.24

Degree 4 73 44.85 48.00 52,472 MAX VALUE 4,332.93 16.97 0.38 4.06

Eccentricity 6 10 8.08 8.00 9,452 MAX VALUE 2,434.66 1.02 0.13 1.42

MCB cycle size 3 7 3.00 3.00 77,028 MAX VALUE 28,199.70 0.07 0.02 0.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.76	0.52	0.51	608.17	0.00	-766.75	0.02	0.05	6.24
Degree	4	73	44.85	48.00	52,472	MAX VALUE	4,332.93	16.97	0.38	4.06
Eccentricity	6	10	8.08	8.00	9,452	MAX VALUE	2,434.66	1.02	0.13	1.42
MCB cycle size	3	7	3.00	3.00	77,028	MAX VALUE	28,199.70	0.07	0.02	0.03

Minimal dual graph

Density: 0.32%
MCB compute time (ms): 38,935
MCB cycles: 1,046

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

Clustering coefficient 0.00 0.33 0.00 0.00 5.80 0.00 None 0.03 6.94 0.15

Degree 2 6 3.78 4.00 4,424 MAX VALUE 1,534.98 0.72 0.19 1.07

Eccentricity 11 20 15.93 16.00 18,642 MAX VALUE 3,230.19 1.92 0.12 2.03

MCB cycle size 3 12 6.68 7.00 6,991 MAX VALUE 1,959.43 1.46 0.22 1.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	5.80	0.00	None	0.03	6.94	0.15
Degree	2	6	3.78	4.00	4,424	MAX VALUE	1,534.98	0.72	0.19	1.07
Eccentricity	11	20	15.93	16.00	18,642	MAX VALUE	3,230.19	1.92	0.12	2.03
MCB cycle size	3	12	6.68	7.00	6,991	MAX VALUE	1,959.43	1.46	0.22	1.77

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

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: 4.95%

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

Clustering coefficient 0.28 1.00 0.82 0.80 957.19 0.00 -256.41 0.15 0.19 4.20

Degree 2 297 57.84 8.00 67,670 MAX VALUE 3,206.46 87.86 1.52 3.79

Eccentricity 4 8 6.07 6.00 7,107 MAX VALUE 2,103.10 0.69 0.11 1.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.28	1.00	0.82	0.80	957.19	0.00	-256.41	0.15	0.19	4.20
Degree	2	297	57.84	8.00	67,670	MAX VALUE	3,206.46	87.86	1.52	3.79
Eccentricity	4	8	6.07	6.00	7,107	MAX VALUE	2,103.10	0.69	0.11	1.04

Incidence graph

Density: 0.28%
MCB compute time (ms): 11,266
MCB cycles: 1,043
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 38 3.61 2.00 4,680 MAX VALUE 1,160.77 5.73 1.59 0.66

Eccentricity 11 20 16.12 16.00 20,918 MAX VALUE 3,597.00 2.08 0.13 1.75

MCB cycle size 6 14 6.01 6.00 6,270 MAX VALUE 1,870.23 0.26 0.04 0.02

XCSP 2.1 Benchmarks