Skip to content

Latest commit

 

History

History
 
 

ipc-2004

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 

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

Modifications

  • renamed problem domains and instances for consistency