public String formatResults(String fileName) throws IOException {
		BufferedReader reader = new BufferedReader (new FileReader(fileName));
		String line;
		String result = "";
		float userTime = 0;
		float systemTime = 0;
		int bddNodes = 0;
		String formatted = "";
		try{
		while((line = reader.readLine())!=null) {
				if(line.startsWith("Model checking results")) {
					line = reader.readLine();
					line = reader.readLine();
					if(line.endsWith("true")) {
						result = "true";
					} else if(line.endsWith("false")) {
						result = "false";
					}
				}
				
				if(line.startsWith("Resources used")) {
					while((line = reader.readLine())!=null) {
						if(line.startsWith("user time")) {
							int startIndex = line.lastIndexOf("..")+2;
							int endIndex = line.lastIndexOf(" s");
							String sub = line.substring(startIndex, endIndex);
							userTime += Float.parseFloat(sub.trim());
						} else if(line.startsWith("system time")) {
							int startIndex = line.lastIndexOf("..")+2;
							int endIndex = line.lastIndexOf(" s");
							String sub = line.substring(startIndex, endIndex);
							systemTime += Float.parseFloat(sub.trim());
						} else if(line.startsWith("BDD nodes allocated")) {
							int startIndex = line.lastIndexOf("..")+2;
							String sub = line.substring(startIndex, line.length());
							bddNodes += Float.parseFloat(sub.trim());
							break;
						}
					}
				}	
			}
		formatted = formatted + StringUtil.padWithSpace(result+"",7)+"     ";
		formatted = formatted + StringUtil.padWithRightSpace(""+(userTime),15) + StringUtil.padWithRightSpace(""+(systemTime),15) + StringUtil.padWithRightSpace(""+(bddNodes),15);
		formatted = formatted + "       " + fileName.substring(fileName.lastIndexOf("\\")+1);
		}finally{		reader.close();	}
		
		return formatted;
	}