aymeric75

Thanks a lot for this detailed answer. > **Is your domain a real representation of something meaningful, or a randomly generated structure?** These PDDL was generated by Lat Plan (...

Indeed, I found invariants with both h2 preprocessor (_mutex_ for now) and Discoplan (_equivalences_ for now)

> It breaks the parser because the parser does not expect tokens of the form (not (...)) in the initial state and treats them as errors (the BNF does not...

Hello, I removed the "not" variables from the initial state, still nothing, maybe as you said, no invariants can be found with TIM on this domain. [problem.txt](https://github.com/KCL-Planning/VAL/files/9888058/problem.txt) [domain.txt](https://github.com/KCL-Planning/VAL/files/9888059/domain.txt)

ok thanks, but is there a version of TIM with this feature ? If yes, I could try

Hello Derek, Were you able to find the "0-analysis" version of TIM ? Best regards

No solution ?

Sorry but what do you mean by "nfs" ? "rw" ?

I use an nvidia A100 gpu, the advised docker image is [nvcr.io/nvidia/tensorflow:23.03-tf1-py3](https://10.20.30.114:9443/#!/13/docker/images/nvcr.io~2Fnvidia~2Ftensorflow%3A23.03-tf1-py3)