NuSMV rejects models stored in paths with spaces under Windows
Under windows, if the AF3 Directory is in a path that contains spaces,
e.g., c:\AF3 2.0\AF3-Project-Directory NuSMV cannot find the model.
In the UI, AF3 waits until the timeout occurs.
(from redmine: issue id 1152, created on 2013-01-14, closed on 2016-06-24)