XCSP2 Benchmark Database

Instance: normalized-miles1000-35-ext
Number of variables: 128
Number of constraints: 3216
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: 3216

General features

Coarse blocks: 225,120
Value tables: 128

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

Arity 2 2 2.00 2.00 6,432 MAX VALUE 2,229.16 0.00 0.00 0.00

Coarse blocks size 34 34 34.00 34.00 7,654,080 MAX VALUE 793,854.00 0.00 0.00 0.00

Relational linkage 0.97 0.97 0.97 0.97 4,352.00 0.00 -129.86 0.00 0.00 0.00

Tightness 0.03 0.03 0.03 0.03 91.89 0.00 -11,434.00 0.00 0.00 0.00

Tuples 1,190 1,190 1,190.00 1,190.00 3,827,040 MAX VALUE 22,774.80 0.00 0.00 0.00

Values 35 35 35.00 35.00 4,480 MAX VALUE 455.08 0.00 0.00 0.00

Value table constraints 13 86 50.25 53.50 6,432 MAX VALUE 488.98 19.97 0.40 3.95

Value table partitions 35 35 35.00 35.00 4,480 MAX VALUE 455.08 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	6,432	MAX VALUE	2,229.16	0.00	0.00	0.00
Coarse blocks size	34	34	34.00	34.00	7,654,080	MAX VALUE	793,854.00	0.00	0.00	0.00
Relational linkage	0.97	0.97	0.97	0.97	4,352.00	0.00	-129.86	0.00	0.00	0.00
Tightness	0.03	0.03	0.03	0.03	91.89	0.00	-11,434.00	0.00	0.00	0.00
Tuples	1,190	1,190	1,190.00	1,190.00	3,827,040	MAX VALUE	22,774.80	0.00	0.00	0.00
Values	35	35	35.00	35.00	4,480	MAX VALUE	455.08	0.00	0.00	0.00
Value table constraints	13	86	50.25	53.50	6,432	MAX VALUE	488.98	19.97	0.40	3.95
Value table partitions	35	35	35.00	35.00	4,480	MAX VALUE	455.08	0.00	0.00	0.00

Tree decomposition

Number of clusters: 59
Number of leaves: 4
Tree depth: 26
CIR: 0.37
Independent Cluster Pairs: 610
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Tree1.json

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

Cluster constraints 57 1,109 606.24 794.00 35,768 MAX VALUE 358.10 374.47 0.62 4.03

Variables per cluster 13 51 35.12 43.00 2,072 MAX VALUE 204.62 13.10 0.37 2.95

Separator constraints 0 1,029 551.73 723.00 32,552 0 None 363.80 0.66 4.05

Separator variables 0 48 32.95 42.00 1,944 0 None 13.76 0.42 2.99

Clusters per var 1 35 16.19 15.00 2,072 MAX VALUE 321.15 9.82 0.61 3.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	57	1,109	606.24	794.00	35,768	MAX VALUE	358.10	374.47	0.62	4.03
Variables per cluster	13	51	35.12	43.00	2,072	MAX VALUE	204.62	13.10	0.37	2.95
Separator constraints	0	1,029	551.73	723.00	32,552	0	None	363.80	0.66	4.05
Separator variables	0	48	32.95	42.00	1,944	0	None	13.76	0.42	2.99
Clusters per var	1	35	16.19	15.00	2,072	MAX VALUE	321.15	9.82	0.61	3.40

Dual tree decomposition

Number of clusters: 126
Number of leaves: 59
Tree depth: 12
CIR: 0.40
Independent Cluster Pairs: 3,068
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/DualTree1.json

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

Cluster constraints 243 53,829 7,007.37 3,832.00 882,928 MAX VALUE 1,032.91 9,391.35 1.34 4.84

Variables per cluster 30 1,404 227.64 138.00 28,683 MAX VALUE 634.64 253.28 1.11 4.67

Separator constraints 0 30,382 5,547.75 3,563.50 699,016 0 None 6,102.49 1.10 4.83

Separator variables 0 999 202.12 125.00 25,467 0 None 199.52 0.99 4.67

Clusters per variable 1 17 8.92 9.00 28,683 MAX VALUE 6,818.60 2.57 0.29 2.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	243	53,829	7,007.37	3,832.00	882,928	MAX VALUE	1,032.91	9,391.35	1.34	4.84
Variables per cluster	30	1,404	227.64	138.00	28,683	MAX VALUE	634.64	253.28	1.11	4.67
Separator constraints	0	30,382	5,547.75	3,563.50	699,016	0	None	6,102.49	1.10	4.83
Separator variables	0	999	202.12	125.00	25,467	0	None	199.52	0.99	4.67
Clusters per variable	1	17	8.92	9.00	28,683	MAX VALUE	6,818.60	2.57	0.29	2.21

Primal graph

Density: 39.57%
MCB compute time (ms): None
MCB cycles: None
Triangles: 46,353
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Primal1.json

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

Clustering coefficient 0.50 1.00 0.78 0.78 100.31 0.00 -32.35 0.10 0.13 4.78

Degree 13 86 50.25 53.50 6,432 MAX VALUE 488.98 19.97 0.40 3.95

Eccentricity 3 4 3.58 4.00 458 MAX VALUE 161.91 0.49 0.14 0.68

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.50	1.00	0.78	0.78	100.31	0.00	-32.35	0.10	0.13	4.78
Degree	13	86	50.25	53.50	6,432	MAX VALUE	488.98	19.97	0.40	3.95
Eccentricity	3	4	3.58	4.00	458	MAX VALUE	161.91	0.49	0.14	0.68
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 46.30%
MCB compute time (ms): None
MCB cycles: None
Triangles: 66,859

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

Clustering coefficient 0.56 1.00 0.83 0.84 106.85 0.00 -24.02 0.10 0.12 4.54

Degree 13 91 58.80 64.00 7,526 MAX VALUE 509.06 22.41 0.38 3.86

Eccentricity 2 4 3.51 4.00 449 MAX VALUE 159.20 0.52 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.56	1.00	0.83	0.84	106.85	0.00	-24.02	0.10	0.12	4.54
Degree	13	91	58.80	64.00	7,526	MAX VALUE	509.06	22.41	0.38	3.86
Eccentricity	2	4	3.51	4.00	449	MAX VALUE	159.20	0.52	0.15	0.73
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Dual1.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 None

Degree None None None None None None None None None None

Eccentricity None None None None None None None None None None

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

Minimal dual graph

Density: 0.12%
MCB compute time (ms): None
MCB cycles: None

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

Clustering coefficient 0.00 0.33 0.00 0.00 1.14 0.00 None 0.01 25.67 0.02

Degree 2 8 3.92 4.00 12,608 MAX VALUE 4,298.52 0.99 0.25 1.27

Eccentricity 10 17 13.11 13.00 42,158 MAX VALUE 8,264.13 1.12 0.09 1.52

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.00	0.33	0.00	0.00	1.14	0.00	None	0.01	25.67	0.02
Degree	2	8	3.92	4.00	12,608	MAX VALUE	4,298.52	0.99	0.25	1.27
Eccentricity	10	17	13.11	13.00	42,158	MAX VALUE	8,264.13	1.12	0.09	1.52
MCB cycle size	None	None	None	None	None	None	None	None	None	None

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.35%

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

Clustering coefficient 0.47 1.00 0.84 0.83 2,715.19 0.00 -587.78 0.14 0.16 4.65

Degree 2 874 171.86 9.00 552,698 MAX VALUE 10,145.00 278.29 1.62 4.24

Eccentricity 3 6 4.62 5.00 14,866 MAX VALUE 4,901.07 0.54 0.12 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.84	0.83	2,715.19	0.00	-587.78	0.14	0.16	4.65
Degree	2	874	171.86	9.00	552,698	MAX VALUE	10,145.00	278.29	1.62	4.24
Eccentricity	3	6	4.62	5.00	14,866	MAX VALUE	4,901.07	0.54	0.12	0.79

Incidence graph

Density: 0.12%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles1000-35-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 86 3.85 2.00 12,864 MAX VALUE 2,718.14 10.05 2.61 0.31

Eccentricity 6 10 8.44 8.00 28,210 MAX VALUE 7,104.09 1.05 0.12 1.35

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

XCSP2 Benchmarks