Explain the baseline planner’s translation bottleneck

Determine whether the baseline planner’s failure to complete the translation on the larger elevator planning instances is caused by the extensive bookkeeping machinery introduced to generate the compiled domain and problem.

Background

The paper evaluates its compilation approach for Pure-Past Linear Temporal Logic goals against existing temporal-goal compilation tools and planners. In the elevator experiments, the authors report that one baseline planner becomes stuck during the translation step when the temporal-goal formula grows. They explicitly conjecture that the cause is the substantial bookkeeping machinery used to construct the compiled planning task, but do not establish this explanation.