XCSP 2.1 Benchmark Database

Instance: normalized-tsp-25-843-ext
Number of variables: 76
Number of constraints: 350
Satisfiable: True
Timestamp: 2025-07-27 21:31:39
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 76
Number of constraints: 350

General features

Coarse blocks: 27,429
Value tables: 74

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

Arity 2 3 2.07 2.00 725 MAX VALUE 252.74 0.26 0.12 0.26

Coarse blocks size 1 156 45.32 24.00 1,242,960 MAX VALUE 93,442.80 40.19 0.89 2.88

Relational linkage 0.00 0.01 0.00 0.00 3.75 0.00 -38,314.70 0.00 1.69 4.68

Tightness 0.04 1.00 0.18 0.04 61.96 0.00 -965.71 0.34 1.90 0.53

Tuples 1 12,246 1,355.80 600.00 474,530 MAX VALUE 2,225.46 2,958.67 2.18 0.52

Values 1 1,001 386.79 156.00 29,396 MAX VALUE 374.39 433.46 1.12 1.19

Value table constraints 2 25 9.77 2.00 723 MAX VALUE 114.44 10.88 1.11 0.64

Value table partitions 25 157 112.08 156.00 8,294 MAX VALUE 328.07 62.20 0.55 1.10

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	3	2.07	2.00	725	MAX VALUE	252.74	0.26	0.12	0.26
Coarse blocks size	1	156	45.32	24.00	1,242,960	MAX VALUE	93,442.80	40.19	0.89	2.88
Relational linkage	0.00	0.01	0.00	0.00	3.75	0.00	-38,314.70	0.00	1.69	4.68
Tightness	0.04	1.00	0.18	0.04	61.96	0.00	-965.71	0.34	1.90	0.53
Tuples	1	12,246	1,355.80	600.00	474,530	MAX VALUE	2,225.46	2,958.67	2.18	0.52
Values	1	1,001	386.79	156.00	29,396	MAX VALUE	374.39	433.46	1.12	1.19
Value table constraints	2	25	9.77	2.00	723	MAX VALUE	114.44	10.88	1.11	0.64
Value table partitions	25	157	112.08	156.00	8,294	MAX VALUE	328.07	62.20	0.55	1.10

Tree decomposition

Number of clusters: 50
Number of leaves: 24
Tree depth: 8
CIR: 0.80
Independent Cluster Pairs: 944
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Tree1.json

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

Cluster constraints 1 300 12.56 2.00 628 4.17e+22 52.08 43.93 3.50 1.58

Variables per cluster 3 26 5.64 4.00 282 9.99e+34 80.59 3.83 0.68 1.60

Separator constraints 0 91 5.56 0.00 278 0 None 15.95 2.87 1.47

Separator variables 0 15 4.12 3.00 206 0 None 2.58 0.63 1.64

Clusters per var 1 9 3.71 4.00 282 3.02e+34 79.39 2.32 0.63 1.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	300	12.56	2.00	628	4.17e+22	52.08	43.93	3.50	1.58
Variables per cluster	3	26	5.64	4.00	282	9.99e+34	80.59	3.83	0.68	1.60
Separator constraints	0	91	5.56	0.00	278	0	None	15.95	2.87	1.47
Separator variables	0	15	4.12	3.00	206	0	None	2.58	0.63	1.64
Clusters per var	1	9	3.71	4.00	282	3.02e+34	79.39	2.32	0.63	1.85

Dual tree decomposition

Number of clusters: 53
Number of leaves: 24
Tree depth: 8
CIR: 0.46
Independent Cluster Pairs: 607
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/DualTree1.json

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

Cluster constraints 1 3,358 543.11 302.00 28,785 MAX VALUE 222.73 718.80 1.32 2.57

Variables per cluster 2 217 43.72 29.00 2,317 MAX VALUE 160.80 48.97 1.12 2.43

Separator constraints 0 1,701 400.68 278.00 21,236 0 None 462.36 1.15 2.13

Separator variables 0 152 37.11 28.00 1,967 0 None 39.37 1.06 2.43

Clusters per variable 1 16 6.62 7.00 2,317 MAX VALUE 620.73 2.43 0.37 1.99

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	3,358	543.11	302.00	28,785	MAX VALUE	222.73	718.80	1.32	2.57
Variables per cluster	2	217	43.72	29.00	2,317	MAX VALUE	160.80	48.97	1.12	2.43
Separator constraints	0	1,701	400.68	278.00	21,236	0	None	462.36	1.15	2.13
Separator variables	0	152	37.11	28.00	1,967	0	None	39.37	1.06	2.43
Clusters per variable	1	16	6.62	7.00	2,317	MAX VALUE	620.73	2.43	0.37	1.99

Primal graph

Density: 14.04%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Primal1.json

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

Clustering coefficient 0.33 1.00 0.54 0.33 41.33 0.00 -55.92 0.28 0.52 0.74

Degree 2 25 10.53 4.00 800 MAX VALUE 142.59 10.14 0.96 1.19

Eccentricity 3 6 4.89 5.00 372 MAX VALUE 119.61 0.82 0.17 1.15

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.33	1.00	0.54	0.33	41.33	0.00	-55.92	0.28	0.52	0.74
Degree	2	25	10.53	4.00	800	MAX VALUE	142.59	10.14	0.96	1.19
Eccentricity	3	6	4.89	5.00	372	MAX VALUE	119.61	0.82	0.17	1.15
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 18.70%
MCB compute time (ms): None
MCB cycles: None
Triangles: None

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

Clustering coefficient 0.33 1.00 0.79 0.77 59.93 0.00 -19.98 0.17 0.22 2.56

Degree 2 33 14.03 6.50 1,066 MAX VALUE 165.78 12.02 0.86 2.22

Eccentricity 3 5 4.46 5.00 339 MAX VALUE 112.78 0.64 0.14 0.90

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.33	1.00	0.79	0.77	59.93	0.00	-19.98	0.17	0.22	2.56
Degree	2	33	14.03	6.50	1,066	MAX VALUE	165.78	12.02	0.86	2.22
Eccentricity	3	5	4.46	5.00	339	MAX VALUE	112.78	0.64	0.14	0.90
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 12.36%
MCB compute time (ms): 3,345
MCB cycles: 7,200
Triangles: 59,800
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Dual1.json

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

Clustering coefficient 0.00 0.92 None 0.51 None None None None None 0.52

Degree 1 48 43.14 48.00 15,098 MAX VALUE 1,268.20 12.62 0.29 0.52

Eccentricity 3 5 3.99 4.00 1,395 MAX VALUE 482.41 0.37 0.09 0.49

MCB cycle size 3 5 3.01 3.00 21,647 MAX VALUE 7,922.05 0.11 0.04 0.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.92	None	0.51	None	None	None	None	None	0.52
Degree	1	48	43.14	48.00	15,098	MAX VALUE	1,268.20	12.62	0.29	0.52
Eccentricity	3	5	3.99	4.00	1,395	MAX VALUE	482.41	0.37	0.09	0.49
MCB cycle size	3	5	3.01	3.00	21,647	MAX VALUE	7,922.05	0.11	0.04	0.02

Minimal dual graph

Density: 1.06%
MCB compute time (ms): 640
MCB cycles: 300

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.02

Degree 1 7 3.71 3.00 1,298 MAX VALUE 449.29 0.88 0.24 1.17

Eccentricity 7 13 10.07 10.00 3,526 MAX VALUE 806.03 1.19 0.12 1.58

MCB cycle size 4 12 6.06 6.00 1,817 MAX VALUE 535.75 1.05 0.17 1.26

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.02
Degree	1	7	3.71	3.00	1,298	MAX VALUE	449.29	0.88	0.24	1.17
Eccentricity	7	13	10.07	10.00	3,526	MAX VALUE	806.03	1.19	0.12	1.58
MCB cycle size	4	12	6.06	6.00	1,817	MAX VALUE	535.75	1.05	0.17	1.26

Triangulated dual graph

Density: 59.54%
Triangles: 2,525,740

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

Clustering coefficient 0.33 1.00 None 0.85 None None None None None 3.96

Degree 1 301 207.78 264.00 72,722 MAX VALUE 1,770.90 88.01 0.42 3.44

Eccentricity 3 5 3.75 4.00 1,312 MAX VALUE 459.18 0.50 0.13 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.85	None	None	None	None	None	3.96
Degree	1	301	207.78	264.00	72,722	MAX VALUE	1,770.90	88.01	0.42	3.44
Eccentricity	3	5	3.75	4.00	1,312	MAX VALUE	459.18	0.50	0.13	0.72

Triangulated minimal dual graph

Density: 8.67%

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

Clustering coefficient 0.33 1.00 None 0.75 None None None None None 3.71

Degree 1 110 30.26 8.50 10,590 MAX VALUE 887.55 37.03 1.22 3.36

Eccentricity 3 6 4.19 4.00 1,465 MAX VALUE 497.11 0.62 0.15 0.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.75	None	None	None	None	None	3.71
Degree	1	110	30.26	8.50	10,590	MAX VALUE	887.55	37.03	1.22	3.36
Eccentricity	3	6	4.19	4.00	1,465	MAX VALUE	497.11	0.62	0.15	0.94

Incidence graph

Density: 0.80%
MCB compute time (ms): 127
MCB cycles: 300
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/travellingSalesman-25/normalized-tsp-25-843-ext/Incidence1.json

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.49

Degree 1 25 3.40 2.00 1,450 MAX VALUE 367.17 5.40 1.59 0.47

Eccentricity 6 12 9.12 9.00 3,884 MAX VALUE 939.00 1.01 0.11 1.07

MCB cycle size 6 10 6.31 6.00 1,894 MAX VALUE 549.57 1.07 0.17 0.29

XCSP 2.1 Benchmarks