XCSP 2.1 Benchmark Database

Instance: normalized-os-taillard-5-95-9-ext
Number of variables: 25
Number of constraints: 100
Satisfiable: True
Timestamp: 2025-07-20 22:08:41
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 25
Number of constraints: 100

General features

Coarse blocks: 50,488
Value tables: 25

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

Arity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00

Coarse blocks size 21 265 153.85 158.00 7,767,650 MAX VALUE 251,433.00 46.34 0.30 5.09

Relational linkage 0.10 0.93 0.47 0.46 2,978.21 0.00 -5,220.63 0.17 0.37 6.17

Tightness 0.15 0.69 0.40 0.39 40.50 0.00 -95.20 0.12 0.30 4.58

Tuples 14,280 70,490 38,838.30 38,220.00 3,883,830 MAX VALUE 1,051.02 12,529.20 0.32 4.15

Values 212 297 252.44 255.00 6,311 MAX VALUE 138.15 25.36 0.10 3.16

Value table constraints 8 8 8.00 8.00 200 3.78e+22 51.99 0.00 0.00 0.00

Value table partitions 212 297 252.44 255.00 6,311 MAX VALUE 138.15 25.36 0.10 3.16

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	200	1.27e+30	69.31	0.00	0.00	0.00
Coarse blocks size	21	265	153.85	158.00	7,767,650	MAX VALUE	251,433.00	46.34	0.30	5.09
Relational linkage	0.10	0.93	0.47	0.46	2,978.21	0.00	-5,220.63	0.17	0.37	6.17
Tightness	0.15	0.69	0.40	0.39	40.50	0.00	-95.20	0.12	0.30	4.58
Tuples	14,280	70,490	38,838.30	38,220.00	3,883,830	MAX VALUE	1,051.02	12,529.20	0.32	4.15
Values	212	297	252.44	255.00	6,311	MAX VALUE	138.15	25.36	0.10	3.16
Value table constraints	8	8	8.00	8.00	200	3.78e+22	51.99	0.00	0.00	0.00
Value table partitions	212	297	252.44	255.00	6,311	MAX VALUE	138.15	25.36	0.10	3.16

Tree decomposition

Number of clusters: 8
Number of leaves: 5
Tree depth: 2
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Tree1.json

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

Cluster constraints 20 36 24.50 20.00 196 1.04e+11 25.36 6.06 0.25 0.90

Variables per cluster 9 16 11.12 9.00 89 185,178,000 19.04 2.80 0.25 0.90

Separator constraints 0 18 12.00 12.00 96 0 None 5.20 0.43 0.90

Separator variables 0 12 8.00 8.00 64 0 None 3.46 0.43 0.90

Clusters per var 1 5 3.56 4.00 89 2.07e+12 28.36 1.44 0.41 1.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	20	36	24.50	20.00	196	1.04e+11	25.36	6.06	0.25	0.90
Variables per cluster	9	16	11.12	9.00	89	185,178,000	19.04	2.80	0.25	0.90
Separator constraints	0	18	12.00	12.00	96	0	None	5.20	0.43	0.90
Separator variables	0	12	8.00	8.00	64	0	None	3.46	0.43	0.90
Clusters per var	1	5	3.56	4.00	89	2.07e+12	28.36	1.44	0.41	1.34

Dual tree decomposition

Number of clusters: 23
Number of leaves: 12
Tree depth: 4
CIR: 0.19
Independent Cluster Pairs: 45
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/DualTree1.json

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

Cluster constraints 59 144 76.48 59.00 1,759 MAX VALUE 98.94 21.73 0.28 1.43

Variables per cluster 15 48 21.83 15.00 502 1.20e+30 69.26 9.07 0.42 1.35

Separator constraints 0 72 46.04 45.00 1,059 0 None 13.33 0.29 1.43

Separator variables 0 32 17.48 14.00 402 0 None 6.98 0.40 1.23

Clusters per variable 1 8 5.02 6.00 502 MAX VALUE 145.08 2.28 0.45 1.62

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	59	144	76.48	59.00	1,759	MAX VALUE	98.94	21.73	0.28	1.43
Variables per cluster	15	48	21.83	15.00	502	1.20e+30	69.26	9.07	0.42	1.35
Separator constraints	0	72	46.04	45.00	1,059	0	None	13.33	0.29	1.43
Separator variables	0	32	17.48	14.00	402	0	None	6.98	0.40	1.23
Clusters per variable	1	8	5.02	6.00	502	MAX VALUE	145.08	2.28	0.45	1.62

Primal graph

Density: 33.33%
MCB compute time (ms): 1
MCB cycles: 94
Triangles: 100
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Primal1.json

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

Clustering coefficient 0.43 0.43 0.43 0.43 10.71 0.00 -21.18 0.00 0.00 0.00

Degree 8 8 8.00 8.00 200 3.78e+22 51.99 0.00 0.00 0.00

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.36 3.00 316 MAX VALUE 113.05 0.48 0.14 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	0.43	0.43	0.43	10.71	0.00	-21.18	0.00	0.00	0.00
Degree	8	8	8.00	8.00	200	3.78e+22	51.99	0.00	0.00	0.00
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.36	3.00	316	MAX VALUE	113.05	0.48	0.14	0.65

Triangulated primal graph

Density: 70.00%
MCB compute time (ms): 3
MCB cycles: 223
Triangles: 988

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

Clustering coefficient 0.79 1.00 0.86 0.83 21.43 0.02 -3.94 0.08 0.09 1.34

Degree 8 21 16.80 19.00 420 1.07e+30 69.14 4.82 0.29 1.34

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 669 MAX VALUE 244.99 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.79	1.00	0.86	0.83	21.43	0.02	-3.94	0.08	0.09	1.34
Degree	8	21	16.80	19.00	420	1.07e+30	69.14	4.82	0.29	1.34
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	669	MAX VALUE	244.99	0.00	0.00	0.00

Dual graph

Density: 14.14%
MCB compute time (ms): 48
MCB cycles: 809
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Dual1.json

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

Clustering coefficient 0.49 0.49 0.49 0.49 49.45 0.00 -70.42 0.00 0.00 0.00

Degree 14 14 14.00 14.00 1,400 MAX VALUE 263.91 0.00 0.00 0.00

Eccentricity None None None None None None None None None None

MCB cycle size 3 5 3.31 3.00 2,681 MAX VALUE 959.91 0.54 0.16 0.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.49	0.49	0.49	49.45	0.00	-70.42	0.00	0.00	0.00
Degree	14	14	14.00	14.00	1,400	MAX VALUE	263.91	0.00	0.00	0.00
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	5	3.31	3.00	2,681	MAX VALUE	959.91	0.54	0.16	0.70

Minimal dual graph

Density: 3.54%
MCB compute time (ms): 18
MCB cycles: 78

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

Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 5.92 0.15

Degree 2 5 3.50 3.00 350 MAX VALUE 123.32 0.69 0.20 1.03

Eccentricity None None None None None None None None None None

MCB cycle size 3 9 5.81 6.00 453 MAX VALUE 134.88 1.41 0.24 1.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	0.83	0.00	None	0.05	5.92	0.15
Degree	2	5	3.50	3.00	350	MAX VALUE	123.32	0.69	0.20	1.03
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	9	5.81	6.00	453	MAX VALUE	134.88	1.41	0.24	1.69

Triangulated dual graph

Density: 46.46%
Triangles: 31,132

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

Clustering coefficient 0.69 1.00 0.82 0.74 82.05 0.00 -20.64 0.11 0.13 2.02

Degree 14 69 46.00 49.00 4,600 MAX VALUE 369.22 20.84 0.45 2.02

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	0.69	1.00	0.82	0.74	82.05	0.00	-20.64	0.11	0.13	2.02
Degree	14	69	46.00	49.00	4,600	MAX VALUE	369.22	20.84	0.45	2.02
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 13.90%

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

Clustering coefficient 0.47 1.00 0.76 0.69 76.05 0.00 -30.18 0.18 0.24 3.08

Degree 2 38 13.76 7.00 1,376 MAX VALUE 217.20 12.30 0.89 3.02

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	0.47	1.00	0.76	0.69	76.05	0.00	-30.18	0.18	0.24	3.08
Degree	2	38	13.76	7.00	1,376	MAX VALUE	217.20	12.30	0.89	3.02
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.58%
MCB compute time (ms): 13
MCB cycles: 76
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/os-taillard-5ExtConvert/normalized-os-taillard-5-95-9-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 8 3.20 2.00 400 MAX VALUE 121.30 2.40 0.75 0.50

Eccentricity None None None None None None None None None None

MCB cycle size 6 8 6.42 6.00 488 MAX VALUE 140.78 0.82 0.13 0.51

XCSP 2.1 Benchmarks