Speeding up SMTPlan

[ferdianjovan]

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?