XCSP2 Benchmark Database

Instance: normalized-miles500-20-ext
Number of variables: 128
Number of constraints: 1170
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: 1170

General features

Coarse blocks: 46,800
Value tables: 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 19 19 19.00 19.00 889,200 MAX VALUE 137,800.00 0.00 0.00 0.00

Relational linkage 0.95 0.95 0.95 0.95 2,432.00 0.00 -131.31 0.00 0.00 0.00

Tightness 0.05 0.05 0.05 0.05 58.50 0.00 -3,505.01 0.00 0.00 0.00

Tuples 380 380 380.00 380.00 444,600 MAX VALUE 6,950.00 0.00 0.00 0.00

Values 20 20 20.00 20.00 2,560 MAX VALUE 383.45 0.00 0.00 0.00

Value table constraints 3 38 18.28 17.00 2,340 MAX VALUE 349.79 9.70 0.53 3.43

Value table partitions 20 20 20.00 20.00 2,560 MAX VALUE 383.45 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	19	19	19.00	19.00	889,200	MAX VALUE	137,800.00	0.00	0.00	0.00
Relational linkage	0.95	0.95	0.95	0.95	2,432.00	0.00	-131.31	0.00	0.00	0.00
Tightness	0.05	0.05	0.05	0.05	58.50	0.00	-3,505.01	0.00	0.00	0.00
Tuples	380	380	380.00	380.00	444,600	MAX VALUE	6,950.00	0.00	0.00	0.00
Values	20	20	20.00	20.00	2,560	MAX VALUE	383.45	0.00	0.00	0.00
Value table constraints	3	38	18.28	17.00	2,340	MAX VALUE	349.79	9.70	0.53	3.43
Value table partitions	20	20	20.00	20.00	2,560	MAX VALUE	383.45	0.00	0.00	0.00

Tree decomposition

Number of clusters: 68
Number of leaves: 11
Tree depth: 18
CIR: 0.68
Independent Cluster Pairs: 1,497
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Tree1.json

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

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

Clusters per var 1 24 7.66 6.00 981 MAX VALUE 211.81 5.65 0.74 2.78

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
Variables per cluster	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
Clusters per var	1	24	7.66	6.00	981	MAX VALUE	211.81	5.65	0.74	2.78

Dual tree decomposition

Number of clusters: 125
Number of leaves: 53
Tree depth: 15
CIR: 0.74
Independent Cluster Pairs: 5,635
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/DualTree1.json

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

Cluster constraints 8 4,891 768.39 411.00 96,049 MAX VALUE 727.54 982.29 1.28 4.68

Variables per cluster 5 289 62.98 45.00 7,872 MAX VALUE 470.23 60.02 0.95 4.30

Separator constraints 0 2,720 558.50 290.00 69,813 0 None 642.55 1.15 4.71

Separator variables 0 219 53.62 39.00 6,702 0 None 47.30 0.88 4.21

Clusters per variable 1 16 6.73 7.00 7,872 MAX VALUE 2,091.55 2.77 0.41 2.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	8	4,891	768.39	411.00	96,049	MAX VALUE	727.54	982.29	1.28	4.68
Variables per cluster	5	289	62.98	45.00	7,872	MAX VALUE	470.23	60.02	0.95	4.30
Separator constraints	0	2,720	558.50	290.00	69,813	0	None	642.55	1.15	4.71
Separator variables	0	219	53.62	39.00	6,702	0	None	47.30	0.88	4.21
Clusters per variable	1	16	6.73	7.00	7,872	MAX VALUE	2,091.55	2.77	0.41	2.36

Primal graph

Density: 14.39%
MCB compute time (ms): None
MCB cycles: None
Triangles: 6,071
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Primal1.json

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

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

Triangulated primal graph

Density: 19.76%
MCB compute time (ms): None
MCB cycles: None
Triangles: 12,449

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

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

Dual graph

Density: 3.84%
MCB compute time (ms): 117,266
MCB cycles: 25,485
Triangles: 225,744
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Dual1.json

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 76,505 MAX VALUE 28,012.20 0.05 0.02 0.01

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	76,505	MAX VALUE	28,012.20	0.05	0.02	0.01

Minimal dual graph

Density: 0.32%
MCB compute time (ms): 35,904
MCB cycles: 1,043

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

Clustering coefficient 0.00 0.33 0.00 0.00 5.57 0.00 None 0.04 7.63 0.12

Degree 2 7 3.78 4.00 4,424 MAX VALUE 1,524.93 0.90 0.24 1.22

Eccentricity 11 20 16.27 16.00 19,034 MAX VALUE 3,255.68 1.84 0.11 2.01

MCB cycle size 3 11 6.58 7.00 6,864 MAX VALUE 1,939.62 1.39 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	5.57	0.00	None	0.04	7.63	0.12
Degree	2	7	3.78	4.00	4,424	MAX VALUE	1,524.93	0.90	0.24	1.22
Eccentricity	11	20	16.27	16.00	19,034	MAX VALUE	3,255.68	1.84	0.11	2.01
MCB cycle size	3	11	6.58	7.00	6,864	MAX VALUE	1,939.62	1.39	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: 4.79%

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

Clustering coefficient 0.36 1.00 0.81 0.79 947.99 0.00 -267.58 0.15 0.19 4.24

Degree 2 295 56.04 8.00 65,572 MAX VALUE 3,169.63 86.11 1.54 3.84

Eccentricity 4 8 6.13 6.00 7,175 MAX VALUE 2,114.15 0.70 0.11 1.06

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.36	1.00	0.81	0.79	947.99	0.00	-267.58	0.15	0.19	4.24
Degree	2	295	56.04	8.00	65,572	MAX VALUE	3,169.63	86.11	1.54	3.84
Eccentricity	4	8	6.13	6.00	7,175	MAX VALUE	2,114.15	0.70	0.11	1.06

Incidence graph

Density: 0.28%
MCB compute time (ms): 5,017
MCB cycles: 1,043
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-milesExtConvert/normalized-miles500-20-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 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

XCSP2 Benchmarks