added solver dir to verification