SMTPlan icon indicating copy to clipboard operation
SMTPlan copied to clipboard

Published 20 hours ago • verified publisher icon KCL-Planning

Speeding up SMTPlan

Open ferdianjovan opened this issue 5 years ago • 0 comments

Hi,

I am trying to use SMTPlan on examples in https://github.com/yarox/pddl-examples. It is just the planner runs really slow after the encoding step greater than 25. For example, the strips version on those examples has 58 actions in sequence to reach the goal. All examples in benchmark folder have rather short plans. Is there a way to speed up SMTPlan?

ferdianjovan avatar Aug 01 '19 11:08 ferdianjovan