XCSP 2.1 Benchmark Database

Instance: normalized-miles750-10-ext
Number of variables: 128
Number of constraints: 2113
Satisfiable: True
Timestamp: 2025-07-27 21:34:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 128
Number of constraints: 2113

General features

Coarse blocks: 42,260
Value tables: 128

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

Arity 2 2 2.00 2.00 4,226 MAX VALUE 1,464.62 0.00 0.00 0.00

Coarse blocks size 9 9 9.00 9.00 380,340 MAX VALUE 92,854.70 0.00 0.00 0.00

Relational linkage 0.90 0.90 0.90 0.90 1,152.00 0.00 -134.86 0.00 0.00 0.00

Tightness 0.10 0.10 0.10 0.10 211.30 0.00 -4,865.36 0.00 0.00 0.00

Tuples 90 90 90.00 90.00 190,170 MAX VALUE 9,508.10 0.00 0.00 0.00

Values 10 10 10.00 10.00 1,280 MAX VALUE 294.73 0.00 0.00 0.00

Value table constraints 6 64 33.02 33.50 4,226 MAX VALUE 430.86 15.23 0.46 3.80

Value table partitions 10 10 10.00 10.00 1,280 MAX VALUE 294.73 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	4,226	MAX VALUE	1,464.62	0.00	0.00	0.00
Coarse blocks size	9	9	9.00	9.00	380,340	MAX VALUE	92,854.70	0.00	0.00	0.00
Relational linkage	0.90	0.90	0.90	0.90	1,152.00	0.00	-134.86	0.00	0.00	0.00
Tightness	0.10	0.10	0.10	0.10	211.30	0.00	-4,865.36	0.00	0.00	0.00
Tuples	90	90	90.00	90.00	190,170	MAX VALUE	9,508.10	0.00	0.00	0.00
Values	10	10	10.00	10.00	1,280	MAX VALUE	294.73	0.00	0.00	0.00
Value table constraints	6	64	33.02	33.50	4,226	MAX VALUE	430.86	15.23	0.46	3.80
Value table partitions	10	10	10.00	10.00	1,280	MAX VALUE	294.73	0.00	0.00	0.00

Tree decomposition

Number of clusters: 58
Number of leaves: 6
Tree depth: 17
CIR: 0.52
Independent Cluster Pairs: 835
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Tree1.json

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

Cluster constraints 13 576 256.38 179.00 14,870 MAX VALUE 293.16 203.44 0.79 4.01

Variables per cluster 7 41 22.69 22.00 1,316 MAX VALUE 173.26 10.68 0.47 2.99

Separator constraints 0 542 219.95 145.50 12,757 0 None 188.75 0.86 3.88

Separator variables 0 35 20.48 20.50 1,188 0 None 10.64 0.52 2.85

Clusters per var 1 22 10.28 9.50 1,316 MAX VALUE 265.10 6.12 0.60 2.98

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	576	256.38	179.00	14,870	MAX VALUE	293.16	203.44	0.79	4.01
Variables per cluster	7	41	22.69	22.00	1,316	MAX VALUE	173.26	10.68	0.47	2.99
Separator constraints	0	542	219.95	145.50	12,757	0	None	188.75	0.86	3.88
Separator variables	0	35	20.48	20.50	1,188	0	None	10.64	0.52	2.85
Clusters per var	1	22	10.28	9.50	1,316	MAX VALUE	265.10	6.12	0.60	2.98

Dual tree decomposition

Number of clusters: 126
Number of leaves: 58
Tree depth: 13
CIR: 0.58
Independent Cluster Pairs: 4,461
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/DualTree1.json

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

Cluster constraints 80 18,465 2,816.08 1,570.50 354,826 MAX VALUE 910.95 3,579.35 1.27 4.83

Variables per cluster 17 692 133.74 85.00 16,851 MAX VALUE 569.49 136.83 1.02 4.51

Separator constraints 0 9,880 2,161.43 1,395.50 272,340 0 None 2,345.82 1.09 4.81

Separator variables 0 520 116.97 83.50 14,738 0 None 107.14 0.92 4.49

Clusters per variable 1 15 7.97 8.00 16,851 MAX VALUE 4,203.09 2.66 0.33 2.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	80	18,465	2,816.08	1,570.50	354,826	MAX VALUE	910.95	3,579.35	1.27	4.83
Variables per cluster	17	692	133.74	85.00	16,851	MAX VALUE	569.49	136.83	1.02	4.51
Separator constraints	0	9,880	2,161.43	1,395.50	272,340	0	None	2,345.82	1.09	4.81
Separator variables	0	520	116.97	83.50	14,738	0	None	107.14	0.92	4.49
Clusters per variable	1	15	7.97	8.00	16,851	MAX VALUE	4,203.09	2.66	0.33	2.33

Primal graph

Density: 26.00%
MCB compute time (ms): None
MCB cycles: None
Triangles: 19,623
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Primal1.json

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

Clustering coefficient 0.48 1.00 0.75 0.73 95.39 0.00 -39.67 0.13 0.18 4.76

Degree 6 64 33.02 33.50 4,226 MAX VALUE 430.86 15.23 0.46 3.80

Eccentricity 3 6 4.94 5.00 632 MAX VALUE 202.58 0.81 0.16 1.17

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.48	1.00	0.75	0.73	95.39	0.00	-39.67	0.13	0.18	4.76
Degree	6	64	33.02	33.50	4,226	MAX VALUE	430.86	15.23	0.46	3.80
Eccentricity	3	6	4.94	5.00	632	MAX VALUE	202.58	0.81	0.16	1.17
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 33.49%
MCB compute time (ms): None
MCB cycles: None
Triangles: 35,612

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

Clustering coefficient 0.54 1.00 0.81 0.80 103.76 0.00 -28.26 0.12 0.14 4.51

Degree 6 76 42.53 42.00 5,444 MAX VALUE 458.91 21.20 0.50 3.89

Eccentricity 2 4 3.48 3.00 445 MAX VALUE 158.05 0.51 0.15 0.73

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.54	1.00	0.81	0.80	103.76	0.00	-28.26	0.12	0.14	4.51
Degree	6	76	42.53	42.00	5,444	MAX VALUE	458.91	21.20	0.50	3.89
Eccentricity	2	4	3.48	3.00	445	MAX VALUE	158.05	0.51	0.15	0.73
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 3.70%
MCB compute time (ms): 3,127,000
MCB cycles: 81,911
Triangles: 1,201,130
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Dual1.json

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

Clustering coefficient 0.49 0.78 0.52 0.51 1,100.17 0.00 -1,381.31 0.03 0.05 7.22

Degree 16 125 78.07 84.00 164,972 MAX VALUE 9,065.80 24.35 0.31 4.44

Eccentricity 3 6 5.03 5.00 10,636 MAX VALUE 3,391.25 0.74 0.15 1.07

MCB cycle size 3 4 3.00 3.00 245,929 MAX VALUE 90,044.80 0.05 0.02 0.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.78	0.52	0.51	1,100.17	0.00	-1,381.31	0.03	0.05	7.22
Degree	16	125	78.07	84.00	164,972	MAX VALUE	9,065.80	24.35	0.31	4.44
Eccentricity	3	6	5.03	5.00	10,636	MAX VALUE	3,391.25	0.74	0.15	1.07
MCB cycle size	3	4	3.00	3.00	245,929	MAX VALUE	90,044.80	0.05	0.02	0.02

Minimal dual graph

Density: 0.18%
MCB compute time (ms): 363,811
MCB cycles: 1,986

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.01 27.56 0.01

Degree 2 7 3.88 4.00 8,196 MAX VALUE 2,804.84 0.95 0.25 1.26

Eccentricity 9 15 12.47 12.00 26,355 MAX VALUE 5,324.58 1.06 0.08 1.46

MCB cycle size 3 12 6.74 7.00 13,393 MAX VALUE 3,743.47 1.41 0.21 1.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.83	0.00	None	0.01	27.56	0.01
Degree	2	7	3.88	4.00	8,196	MAX VALUE	2,804.84	0.95	0.25	1.26
Eccentricity	9	15	12.47	12.00	26,355	MAX VALUE	5,324.58	1.06	0.08	1.46
MCB cycle size	3	12	6.74	7.00	13,393	MAX VALUE	3,743.47	1.41	0.21	1.73

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

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

Clustering coefficient 0.45 1.00 0.84 0.84 1,780.16 0.00 -392.02 0.14 0.16 4.50

Degree 2 545 120.96 9.00 255,582 MAX VALUE 6,373.99 193.24 1.60 4.01

Eccentricity 3 6 4.80 5.00 10,149 MAX VALUE 3,300.97 0.56 0.12 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.84	0.84	1,780.16	0.00	-392.02	0.14	0.16	4.50
Degree	2	545	120.96	9.00	255,582	MAX VALUE	6,373.99	193.24	1.60	4.01
Eccentricity	3	6	4.80	5.00	10,149	MAX VALUE	3,300.97	0.56	0.12	0.84

Incidence graph

Density: 0.17%
MCB compute time (ms): 27,571
MCB cycles: 1,986
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles750-10-ext/Incidence1.json

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 64 3.77 2.00 8,452 MAX VALUE 1,895.48 8.07 2.14 0.44

Eccentricity 7 13 10.79 11.00 24,180 MAX VALUE 5,308.58 1.48 0.14 1.64

MCB cycle size 6 6 6.00 6.00 11,916 MAX VALUE 3,558.43 0.00 0.00 0.00

XCSP 2.1 Benchmarks