Back to the HomePage.

IPC planners

This page describes how to run any of the planner configurations based on Fast Downward that participated in IPC 2011. Before reading this page, it is strongly recommended that you familiarize yourself with the information on ObtainingAndRunningFastDownward and PlannerUsage.

What is the relationship between "Fast Downward" and the IPC 2011 planners based on Fast Downward?

All the following planners from IPC 2011 (called "IPC configurations" in the following) used exactly the same code, a snapshot from the Fast Downward repository. They only differ in command-line options for the search component of the planner.

The planners marked with a star (*) are portfolio configurations, which are a bit special because they use hard-coded time limits. See below.

How do I run an IPC configuration?

The src/ script provides short aliases for the IPC configurations. To run e.g. the LAMA-2011 configuration on the first gripper task run

./ --alias seq-sat-lama-2011 misc/tests/benchmarks/gripper/prob01.pddl

and the correct parameter settings will automatically be set. To see all available aliases run

./ --show-aliases

If you are interested in the actual parameter settings, look inside the src/driver/ module.

Using time limits other than 30 minutes

The portfolio configurations are intimately tied to the competition time limit of 30 minutes. If you use a different time limit, you cannot use these planner configurations out of the box.

Please also note that all planner configurations have an internal time limit of 5 minutes for the invariant synthesis part of the translator. This is generous for all but very few planning tasks, but still it makes sense to adapt this value if you're running the overall planner with a different overall timeout from the usual 30 minutes, especially if it is a signficantly lower time limit.

Which code version should I use?

The two main options are

We usually recommend using the newest code from the repository since we tend to fix bugs every now and then (but of course, we also introduce new ones...). If you do a proper experiment and performance in some domain looks worse than what you'd expect from our papers or the IPC results, we're very happy to be notified since this may be an indication that we introduced a bug.

In case you are sure you want the IPC 2011 version of the planner, you can get it by updating to the branch ipc-2011-fixes in the repository. This is identical to the code that was run at IPC 2011 except that it uses 32-bit mode rather than 64-bit mode. For an explanation of which of these two modes you want and how to set it, please check the PlannerUsage page.

FastDownward: IpcPlanners (last edited 2016-05-02 08:04:48 by JendrikSeipp)