ipc-2004

4th International Planning Competition, 2004

Domains

domain	version	formulation
airport	nontemporal	STRIPS
airport	nontemporal	ADL
airport	temporal	STRIPS
airport	temporal	ADL
airport	temporal, time windows	STRIPS
airport	temporal, time windows	ADL
airport	temporal, time windows, compiled	STRIPS
airport	temporal, time windows, compiled	ADL
pipesworld	no tankage, nontemporal	STRIPS
pipesworld	tankage, nontemporal	STRIPS
pipesworld	no tankage, temporal	STRIPS
pipesworld	tankage, temporal	STRIPS
pipesworld	no tankage, temporal, deadlines	STRIPS
pipesworld	no tankage, temporal, deadlines, compiled	STRIPS
promela: dining philosophers	plain	STRIPS
promela: dining philosophers	plain	ADL
promela: dining philosophers	fluents	ADL
promela: dining philosophers	derived predicates	STRIPS
promela: dining philosophers	derived predicates	ADL
promela: dining philosophers	fluents, derived predicates	ADL
promela: optical telegraph	plain	STRIPS
promela: optical telegraph	plain	ADL
promela: optical telegraph	fluents	ADL
promela: optical telegraph	derived predicates	STRIPS
promela: optical telegraph	derived predicates	ADL
promela: optical telegraph	fluents, derived predicates	ADL
PSR	large	ADL, derived predicates
PSR	middle	STRIPS, derived predicates
PSR	middle	simple ADL, derived predicates
PSR	middle	ADL, derived predicates
PSR	middle, compiled	ADL
PSR	small	STRIPS
satellite	plain	STRIPS
satellite	numeric	STRIPS
satellite	time	STRIPS
satellite	time, time windows	STRIPS
satellite	time, time windows, compiled	STRIPS
satellite	complex	STRIPS
satellite	complex, time windows	STRIPS
satellite	complex, time windows, compiled	STRIPS
settlers	plain	STRIPS
UMTS	temporal	STRIPS
UMTS	temporal, time windows	STRIPS
UMTS	temporal, time windows, compiled	STRIPS
UMTS	flaw, temporal	STRIPS
UMTS	flaw, temporal, time windows	STRIPS
UMTS	flaw, temporal, time windows, compiled	STRIPS

Sources

• official website of the 2004 IPC
• archive with benchmark instances

Modifications

• renamed problem domains and instances for consistency