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-1d
art-1d-rd
art-md
art-md-ns
art-md-ns-rd
art-md-rd
blocks-world
briefcase
d1s1
eight
ferry
fridge
homeowner
logistics
meet-pass
molgen
monkey
montlake
morris
mystery
occam
safety-domain
tire-world
trains
transplan
travel
truckworld
woodshop


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