public void execute() throws IOException {
		Process proc = Runtime.getRuntime().exec("./resource/NuSMV-linux32 -source ./resource/" + this.cmdNumber + ".cmd");
		InputStream is = proc.getInputStream();
		InputStreamReader isr = new InputStreamReader(is);
		BufferedReader br = new BufferedReader(isr);
		String line = br.readLine();
		Iterator<String> it = this.cmdList.iterator();
		String cmd = it.next();
		String cmdPrompt = "NuSMV > ";
		boolean getRlt = false;
		while (line != null) {
			getRlt = false;
			if (line.startsWith(cmdPrompt)) {
				if (line.indexOf(cmd) > 0) {
					getRlt = true;
				}
			}
			if (getRlt) {
				String rlt = "";
				while ((line = br.readLine()) != null) {
					if (line.startsWith(cmdPrompt))
						break;
					rlt += line + "\n";
				}
				this.response.put(cmd, rlt);
				cmd = it.next();
			} else line = br.readLine();
		}
		br.close();
		isr.close();
		is.close();
	}