I am using nuXmv to develop a model, Where I want to initialize 3 of the variables as a range of integers and not fixed integer value. The values are - 1..100, 20..100 and 0..200
the model simulation for a fixed set of init values works as expected and also the properties can be verified.
However, when I feed with a range of init values to be randomly chosen, the model hangs indefinitely.
Does any one know what could be the reason and how to solve this?