COST FUNCTION

A constraint programming Extension

Home

Benchmark

Benchmark_cart

Your selection Format : wcsp
#Instances : 0

Format filter applied : wcsp
#Instance :

Benchmark

Project

online

Bench Home/crafted/Academics

Notice: Undefined property: BenchmarkViewBrowse::$hasAnonymousSelections in /var/www/html/components/com_benchmark/views/browse/tmpl/anonymous.php on line 21

Operations on selected instances

Add to a new selection Name :

Comment :

Public :

Format :

Select a selection

Benchmark description Extend/Reduce

This directory contains some academic problems:
4queens			4 Queens problem (satisfaction problem)

4wqueens,8wqueens	Weighted queen problems (optimization problem)	(see ../generators/wqueens.c)

zebra, zebre-ext	Zebra problem (satisfaction problem) 	("zebre-ext" has alldiff translated into binary constraints)

donald, send		Crypto-arithmetic puzzles (satisfaction problem)

warehouses		Uncapacitated warehouse location problem (optimization problem)

Field	Predicat	Value

Filename	#var	Max dom	#const	ub	Arity max	Connectivity	Max Degree	Min Degree	Closed
zebre-ext.wcsp	23	5	62	1	2	0.11	6	3
langford_3_9.wcsp	27	27	369	1	2	0.10	8	8
4wqueens.wcsp	4	4	10	1	2	1	3	3
8wqueens.wcsp	8	8	36	2	2	1	7	7
langford_3_11.wcsp	33	33	550	1	2	0.10	10	10
4queens.wcsp	4	4	7	1	4	1	3	3
8queens.wcsp	8	8	28	1	2	1	7	7
send.wcsp	11	10	32	1	5	0
16wqueens.wcsp	16	16	136	2	2	1	15	15
langford_2_4.wcsp	8	8	32	1	2	0.21	3	3
donald.wcsp	15	10	51	1	5	0.40	9	2
slangford_3_11.wcsp	33	33	572	1089	2	1	32	32
zebra.wcsp	25	5	19	1	5	0.08	6	3