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/Planning

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


Problems from planning in temporal and metric domains.
Informal  description of WCSP  encoding: each  fluent of  the planning
is represented by  a variable  with domain  values representing
possible  actions  to produce  this  fluent.  Hard binary  constraints
represent mutual exclusions between  fluents and actions, and activity
edges (fluent-action-fluent link) in the graph. Soft unary constraints
represent  action  costs. The  goal  is to  find  a  valid plan  which
minimizes the sum of the action costs.

Logistics, Depots, Zenotravel, Driverlog, others come from
http://planning.cis.strath.ac.uk/competition/
and http://ipc.icaps-conference.org/

Available as WCSP instances from the courtesy of Sylvain Cussat-Blanc 
and Pierre Régnier (IRIT, Toulouse, France).

Field	Predicat	Value

Filename	#var	Max dom	#const	ub	Arity max	Connectivity	Max Degree	Min Degree	Closed
driverlog04c.wcsp	272	11	18591	47386	2	0.26	73	1
logistics01c.wcsp	164	4	2617	70576	2	0.06	15	2
driverlog05bc.wcsp	351	11	30038	70187	2	0.27	96	1
driverlog08c.wcsp	408	11	47460	69556	2	0.34	117	1
bwt6.wcsp	837	38	26163	45441	2	0.11	140	3
bwt3ac.wcsp	0	0	0	0	-3	0	0	0
bwt3cc.wcsp	45	11	685	1703	2	0	0	0
bwt5bc.wcsp	431	27	27327	11655	2	0.23	97	3
driverlogs06.wcsp	258	8	5082	43051	2	0.30	82	1
satellite01c.wcsp	79	8	7977	80786	2	0.46	25	3
satellite02ac.wcsp	182	9	28420	156116	2	0.26	31	5
satellite02cc.wcsp	182	9	28420	127184	2	0.26	31	5
mprime01bc.wcsp	207	18	13119	11762	2	0.45	96	1
mprime03ac.wcsp	49	10	626	4241	2	0.02	8	0
mprime04c.wcsp	444	20	24875	28326	2	0.26	129	1
mprime03cc.wcsp	49	10	626	8977	2	0.02	8	0
driverlog02ac.wcsp	301	8	19161	58641	2	0.24	64	1
driverlog02cc.wcsp	301	8	19161	79320	2	0.24	64	1
logistics01bc.wcsp	164	4	2617	64030	2	0.06	15	2
driverlog09.wcsp	650	12	22700	57501	2	0.26	138	1
driverlog04bc.wcsp	272	11	18591	57923	2	0.26	73	1
driverlog08bc.wcsp	408	11	47460	71842	2	0.34	117	1
depot01ac.wcsp	65	5	589	13691	2	0.20	14	2
depot01cc.wcsp	65	5	589	9817	2	0.20	14	2
driverlogs03.wcsp	235	8	4045	43261	2	0.28	64	1
bwt7.wcsp	1433	51	57946	79691	3	0.08	191	3
bwt4c.wcsp	179	18	7109	11301	2	0.33	62	3
bwt4bc.wcsp	179	18	7109	5827	2	0.33	62	3
rovers02bc.wcsp	152	24	5301	39041	2	0.37	57	1
satellite01ac.wcsp	79	8	7977	80786	2	0.46	25	3
satellite01cc.wcsp	79	8	7977	80786	2	0.46	25	3
zenotravel02bc.wcsp	116	19	5761	89861	2	0.08	34	2
zenotravel04ac.wcsp	239	24	18016	207006	2	0.18	103	2
driverlog01c.wcsp	71	4	618	5891	2	0.16	10	3
driverlog01ac.wcsp	71	0	0	0	-3	0.16	10	3
mprime04bc.wcsp	444	20	24875	31247	2	0.26	129	1
zenotravel04cc.wcsp	239	24	18016	51938	2	0.18	103	2
driverlog01cc.wcsp	71	4	618	11737	2	0.16	10	3
driverlog05c.wcsp	351	11	30038	66056	2	0.27	96	1
driverlog05ac.wcsp	351	11	30038	66056	2	0.27	96	1
driverlog05cc.wcsp	351	11	30038	108620	2	0.27	96	1
bwt3bc.wcsp	0	0	0	0	-3	0	0	0
bwt5ac.wcsp	431	27	27327	28001	2	0.23	97	3
bwt5cc.wcsp	431	27	27327	22083	2	0.23	97	3
satellite02bc.wcsp	182	9	28420	214781	2	0.26	31	5
mprime01c.wcsp	207	18	13119	11621	2	0.45	96	1
zenotravel02c.wcsp	116	19	5761	100461	2	0.08	34	2
mprime01ac.wcsp	207	18	13119	11621	2	0.45	96	1
mprime03c.wcsp	49	10	626	4241	2	0.02	8	0
zenotravel04c.wcsp	239	24	18016	207006	2	0.18	103	2
mprime01cc.wcsp	207	18	13119	40400	2	0.45	96	1
mprime03bc.wcsp	49	10	626	4941	2	0.02	8	0
driverlog02bc.wcsp	301	8	19161	62628	2	0.24	64	1
driverlog04ac.wcsp	272	11	18591	47386	2	0.26	73	1
logistics01ac.wcsp	164	4	2617	70576	2	0.06	15	2
driverlog04cc.wcsp	272	11	18591	83984	2	0.26	73	1
logistics01cc.wcsp	164	4	2625	33539	2	0.06	15	2
driverlog08ac.wcsp	408	11	47460	69556	2	0.34	117	1
driverlog08cc.wcsp	408	11	47459	138976	2	0.34	117	1
depot01c.wcsp	65	5	589	13691	2	0.20	14	2
depot01bc.wcsp	65	5	589	13841	2	0.20	14	2
bwt3c.wcsp	45	11	685	2851	2	0	0	0
bwt4ac.wcsp	0	0	0	0	-3	0.33	62	3
bwt5c.wcsp	431	27	27327	28001	2	0.23	97	3
rovers02c.wcsp	152	24	5301	36265	2	0.37	57	1
rovers02ac.wcsp	152	24	5301	36265	2	0.37	57	1
bwt4cc.wcsp	179	18	7109	9055	2	0.33	62	3
rovers02cc.wcsp	152	24	5301	28832	2	0.37	57	1
satellite01bc.wcsp	79	8	7977	93200	2	0.46	25	3
zenotravel02ac.wcsp	116	19	5761	100461	2	0.08	34	2
mprime04ac.wcsp	444	20	24875	28326	2	0.26	129	1
zenotravel02cc.wcsp	116	19	5761	23924	2	0.08	34	2
driverlog02c.wcsp	301	8	19161	58641	2	0.24	64	1
zenotravel04bc.wcsp	239	24	18016	190756	2	0.18	103	2
mprime04cc.wcsp	444	20	24875	59673	2	0.26	129	1
driverlog01bc.wcsp	71	4	618	12091	2	0.16	10	3