private static String getModel() {
		if (Airsched.getModel() == Airsched.EXPLICIT_DEADLINE_MODEL)
			return "EDP";
		else if (Airsched.getModel() == Airsched.PERIODIC_RESOURCE_MODEL)
			return "PRM";
		else
			return "PRM";
	}