public PerformanceRecord getPerformanceRecord(String fileName) throws IOException {
		
		BufferedReader reader = new BufferedReader (new FileReader(fileName));
		String line;
		String result = "";
		String propertyVerified = "";
		double userTime = 0;
		double systemTime = 0;
		long 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";
					}
					propertyVerified = line.substring(0, line.indexOf("."));
				}
				
				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();}
		PerformanceRecord pr = new PerformanceRecord(fileName.substring(fileName.lastIndexOf("\\")+1), userTime, systemTime, bddNodes, propertyVerified, Boolean.parseBoolean(result));
		return pr;
	}