HOTFIX: unable to run solver if there is a space in the filepath; adding specific nomad tests for CNF