What is the correct way of running the nlstar algorithm?

Hi, I'm trying to run the `nlstar` algorithm on the examples on the `/resources` folder but the process won't terminate. I don't know if I'm doing it incorrectly or if the process is just meant to take a while. Support will be greatly appreciated.

```bash
python cli.py resources/positive_01.txt resources/negative_01.txt nlstar --show-dfa
```