CSU Planning Repository: UCPOP Problems and Domains

The developers of UCPOP collected a variety of problems from many people. These problems were distributed with UCPOP's code.

UCPOP is described and can be downloaded at: http://www.cs.washington.edu/ai/ucpop.html

Domains:

art

ART

Tarred Archive	File
art domain, problems, results	art.tar

Domain File Name	File
Art	domain01.pddl

Art Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl

Art Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp

ART-1D

Tarred Archive	File
art-1d domain, problems, results	art-1d.tar

Domain File Name	File
Art-1d	domain01.pddl

Art-1d Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl	prob16.pddl
prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl

Art-1d Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp	prob16.lisp
prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp

ART-1D-RD

Tarred Archive	File
art-1d-rd domain, problems, results	art-1d-rd.tar

Domain File Name	File
Art-1d-rd	domain01.pddl

Art-1d-rd Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl	prob16.pddl
prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl

Art-1d-rd Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp	prob16.lisp
prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp

ART-MD

Tarred Archive	File
art-md domain, problems, results	art-md.tar

Domain File Name	File
Art-md	domain01.pddl

Art-md Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl	prob16.pddl
prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl

Art-md Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp	prob16.lisp
prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp

ART-MD-NS

Tarred Archive	File
art-md-ns domain, problems, results	art-md-ns.tar

Domain File Name	File
Art-md-ns	domain01.pddl
Art-md-ns	domain.pddl~

Art-md-ns Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl	prob16.pddl
prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl

Art-md-ns Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp	prob16.lisp
prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp

ART-MD-NS-RD

Tarred Archive	File
art-md-ns-rd domain, problems, results	art-md-ns-rd.tar

Domain File Name	File
Art-md-ns-rd	domain01.pddl

Art-md-ns-rd Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl	prob16.pddl
prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl

Art-md-ns-rd Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp	prob16.lisp
prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp

ART-MD-RD

Tarred Archive	File
art-md-rd domain, problems, results	art-md-rd.tar

Domain File Name	File
Art-md-rd	domain01.pddl

Art-md-rd Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl	prob16.pddl
prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl

Art-md-rd Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp	prob16.lisp
prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp

BLOCKS-WORLD

Tarred Archive	File
blocks-world domain, problems, results	blocks-world.tar

Domain File Name	File
Blocks-world	domain01.pddl
	domain01.pddl~
	domain03.pddl
	domain04.pddl
	domain05.pddl
	domain06.pddl
	domain07.pddl
	domain08.pddl
	domain09.pddl

Blocks-World Problems
prob01.pddl	prob02.pddl	prob03.pddl
prob04.pddl	prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl	prob09.pddl
prob10.pddl	prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl	prob15.pddl
prob16.pddl	prob17.pddl	prob18.pddl
prob19.pddl	prob20.pddl	prob21.pddl
prob22.pddl	prob23.pddl	prob24.pddl
prob25.pddl	prob26.pddl

Blocks-World Results
prob01.lisp	prob02.lisp	prob03.lisp
prob04.lisp	prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp	prob09.lisp
prob10.lisp	prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp	prob15.lisp
prob16.lisp	prob17.lisp	prob18.lisp
prob19.lisp	prob20.lisp	prob21.lisp
prob22.lisp	prob23.lisp	prob24.lisp
prob25.lisp	prob26.lisp

BRIEFCASE

Tarred Archive	File
briefcase domain, problems, results	briefcase.tar

Domain File Name	File
Briefcase	domain01.pddl
	domain03.pddl
	domain03.pddl

Briefcase Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl

Briefcase Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp

D1S1

Tarred Archive	File
d1s1 domain, problems, results	d1s1.tar

Domain File Name	File
d1s1	domain01.pddl

d1s1 Problems
prob01.pddl
prob02.pddl
prob03.pddl
prob04.pddl
prob05.pddl
prob06.pddl
prob07.pddl
prob08.pddl
prob09.pddl
prob10.pddl

d1s1 Results
prob01.lisp
prob02.lisp
prob03.lisp
prob04.lisp
prob05.lisp
prob06.lisp
prob07.lisp
prob08.lisp
prob09.lisp
prob10.lisp

EIGHT

Tarred Archive	File
eight domain, problems, results	eight.tar

Domain File Name	File
Eight	domain01.pddl

Eight Problems
prob01.pddl
prob02.pddl

Eight Results
prob01.lisp
prob02.lisp

FERRY

Tarred Archive	File
ferry domain, problems, results	ferry.tar

Domain File Name	File
Ferry	domain01.pddl
Ferry	domain02.pddl

Ferry Problems
prob01.pddl
prob02.pddl
prob03.pddl

Ferry Results
prob01.lisp
prob02.lisp
prob03.lisp

FRIDGE

Tarred Archive	File
fridge domain, problems, results	fridge.tar

Domain File Name	File
Fridge	domain01.pddl
Fridge	domain02.pddl

Fridge Problems
prob01.pddl
prob02.pddl
prob03.pddl
prob04.pddl

Fridge Results
prob01.lisp
prob02.lisp
prob03.lisp
prob04.lisp

HOMEOWNER

Tarred Archive	File
homeowner domain, problems, results	homeowner.tar

Domain File Name	File
Homeowner	domain01.pddl

Homeowner Problems
prob01.pddl

Homeowner Results
prob01.lisp

LOGISTICS

Tarred Archive	File
logistics domain, problems, results	logistics.tar

Domain File Name	File
Logistics	domain01.pddl
	domain02.pddl
	domain03.pddl
	domain04.pddl

Logistics Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl
prob13.pddl	prob14.pddl
prob15.pddl

Logistics Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp
prob13.lisp	prob14.lisp
prob15.lisp

MEET-PASS

Tarred Archive	File
meet-pass domain, problems, results	meet-pass.tar

Domain File Name	File
Meet-pass	domain01.pddl

Meet-Pass Problems
prob01.pddl
prob02.pddl
prob03.pddl
prob04.pddl
prob05.pddl

Meet-Pass Results
prob01.lisp
prob02.lisp
prob03.lisp
prob04.lisp
prob05.lisp

MOLGEN

Tarred Archive	File
molgen domain, problems, results	molgen.tar

Domain File Name	File
Molgen	domain01.pddl
Molgen	domain02.pddl

Molgen Problems
prob01.pddl
prob02.pddl
prob03.pddl

Molgen Results
prob01.lisp
prob02.lisp
prob03.lisp

MONKEY

Tarred Archive	File
monkey domain, problems, results	monkey.tar

Domain File Name	File
Monkey	domain01.pddl

Monkey Problems
prob01.pddl
prob02.pddl
prob03.pddl

Monkey Results
prob01.lisp
prob02.lisp
prob03.lisp

MONTLAKE

Tarred Archive	File
montlake domain, problems, results	montlake.tar

Domain File Name	File
Montlake	domain01.pddl

Montlake Problems
prob01.pddl

Montlake Results
prob01.lisp

MORRIS

Tarred Archive	File
morris domain, problems, results	morris.tar

Domain File Name	File
Morris	domain01.pddl

Morris Problems
prob01.pddl
prob02.pddl

Morris Results
prob01.lisp
prob02.lisp

MYSTERY

Tarred Archive	File
mystery domain, problems, results	mystery.tar

Domain File Name	File
Mystery	domain01.pddl
	domain01.pddl~
	domain01.chk
	domain02.pddl
	domain02.pddl~
	domain02.chk
	domain03.pddl

Mystery Problems
prob001.pddl	prob002.pddl	prob003.pddl	prob004.pddl	prob005.pddl	prob006.pddl	prob007.pddl	prob008.pddl	prob009.pddl
prob010.pddl	prob011.pddl	prob012.pddl	prob013.pddl	prob014.pddl	prob015.pddl	prob016.pddl	prob017.pddl	prob018.pddl
prob019.pddl	prob020.pddl	prob021.pddl	prob022.pddl	prob023.pddl	prob024.pddl	prob025.pddl	prob026.pddl	prob027.pddl
prob028.pddl	prob029.pddl	prob030.pddl	prob031.pddl	prob032.pddl	prob033.pddl	prob034.pddl	prob035.pddl	prob036.pddl
prob037.pddl	prob038.pddl	prob039.pddl	prob040.pddl	prob041.pddl	prob042.pddl	prob043.pddl	prob044.pddl	prob045.pddl
prob046.pddl	prob047.pddl	prob048.pddl	prob049.pddl	prob050.pddl	prob051.pddl	prob052.pddl	prob053.pddl	prob054.pddl
prob055.pddl	prob056.pddl	prob057.pddl	prob058.pddl	prob059.pddl	prob060.pddl	prob061.pddl	prob062.pddl	prob063.pddl
prob064.pddl	prob065.pddl	prob066.pddl	prob067.pddl	prob068.pddl	prob069.pddl	prob070.pddl	prob071.pddl	prob072.pddl
prob073.pddl	prob074.pddl	prob075.pddl	prob076.pddl	prob077.pddl	prob078.pddl	prob079.pddl	prob080.pddl	prob081.pddl
prob083.pddl

Mystery Results
prob001.lisp	prob002.lisp	prob003.lisp	prob004.lisp	prob005.lisp	prob006.lisp	prob007.lisp	prob008.lisp	prob009.lisp
prob010.lisp	prob011.lisp	prob012.lisp	prob013.lisp	prob014.lisp	prob015.lisp	prob016.lisp	prob017.lisp	prob018.lisp
prob019.lisp	prob020.lisp	prob021.lisp	prob022.lisp	prob023.lisp	prob024.lisp	prob025.lisp	prob026.lisp	prob027.lisp
prob028.lisp	prob029.lisp	prob030.lisp	prob031.lisp	prob032.lisp	prob033.lisp	prob034.lisp	prob035.lisp	prob036.lisp
prob037.lisp	prob038.lisp	prob039.lisp	prob040.lisp	prob041.lisp	prob042.lisp	prob043.lisp	prob044.lisp	prob045.lisp
prob046.lisp	prob047.lisp	prob048.lisp	prob049.lisp	prob050.lisp	prob051.lisp	prob052.lisp	prob053.lisp	prob054.lisp
prob055.lisp	prob056.lisp	prob057.lisp	prob058.lisp	prob059.lisp	prob060.lisp	prob061.lisp	prob062.lisp	prob063.lisp
prob064.lisp	prob065.lisp	prob066.lisp	prob067.lisp	prob068.lisp	prob069.lisp	prob070.lisp	prob071.lisp	prob072.lisp
prob073.lisp	prob074.lisp	prob075.lisp	prob076.lisp	prob077.lisp	prob078.lisp	prob079.lisp	prob080.lisp	prob081.lisp
prob083.lisp

OCCAM

Tarred Archive	File
occam domain, problems, results	occam.tar

Domain File Name	File
Occam	domain01.pddl
Occam	domain02.pddl

Occam Problems
prob01.pddl
prob02.pddl

Occam Results
prob01.lisp
prob02.lisp

SAFETY-DOMAIN

Tarred Archive	File
safety-domain domain, problems, results	safety-domain.tar

Domain File Name	File
Safety-domain	domain01.pddl
Safety-domain	domain02.pddl

Safety-Domain Problems
prob01.pddl
prob02.pddl

Safety-Domain Results
prob01.lisp
prob02.lisp

TIRE-WORLD

Tarred Archive	File
tire-world domain, problems, results	tire-world.tar

Domain File Name	File
Tire-world	domain01.pddl
	domain02.pddl
	domain03.pddl

Tire-World Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl

Tire-World Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp

TRAINS

Tarred Archive	File
trains domain, problems, results	trains.tar

Domain File Name	File
Trains	domain01.pddl
Trains	domain02.pddl

Trains Problems
prob01.pddl
prob02.pddl
prob03.pddl
prob04.pddl
prob05.pddl
prob06.pddl

Trains Results
prob01.lisp
prob02.lisp
prob03.lisp
prob04.lisp
prob05.lisp
prob06.lisp

TRANSPLAN

Tarred Archive	File
transplan domain, problems, results	transplan.tar

Domain File Name	File
Transplan	domain01.pddl
Transplan	domain02.pddl

Transplan Problems
prob01.pddl

Transplan Results
prob01.lisp

TRAVEL

Tarred Archive	File
travel domain, problems, results	travel.tar

Domain File Name	File
Travel	domain01.pddl
	domain02.pddl
	domain03.pddl

Travel Problems
prob01.pddl	prob02.pddl
prob03.pddl	prob04.pddl
prob05.pddl	prob06.pddl
prob07.pddl	prob08.pddl
prob09.pddl	prob10.pddl
prob11.pddl	prob12.pddl

Travel Results
prob01.lisp	prob02.lisp
prob03.lisp	prob04.lisp
prob05.lisp	prob06.lisp
prob07.lisp	prob08.lisp
prob09.lisp	prob10.lisp
prob11.lisp	prob12.lisp

TRUCKWORLD

Tarred Archive	File
truckworld domain, problems, results	truckworld.tar

Domain File Name	File
Truckworld	domain01.pddl

Truckworld Problems
prob01.pddl
prob02.pddl
prob03.pddl
prob04.pddl
prob05.pddl
prob06.pddl
prob07.pddl

Truckworld Results
prob01.lisp
prob02.lisp
prob03.lisp
prob04.lisp
prob05.lisp
prob06.lisp
prob07.lisp

WOODSHOP

Tarred Archive	File
woodshop domain, problems, results	woodshop.tar

Domain File Name	File
Woodshop	domain02.pddl

Woodshop Problems
prob01.pddl
prob02.pddl
prob03.pddl

Woodshop Results
prob01.lisp
prob02.lisp
prob03.lisp