Multivariable results in long computation time.

[LGM97]

@YaChienChang
In my case, there are six variables, which leads to the calculation time of CheckStatisfiability (condition, config) is too long to be applied. config has been shrunk to 0.1. Are there any strategies to shorten the computing time?

[shiqingw]

@LGM97
Have you figured out how to speed up this process for multivariate cases? I am testing this method on the inverted pendulum on a cart, which has 4 state variables, and the training process is unacceptably long ...

[jlwu002]

@shiqingw I also tried the Cartpole environment and had no success. I was able to obtain a result for the discrete-time system though.