def dlv_strip(line):
  """Strips away the DLV title and stuff, if present."""
  if line[:4] == "Cost" or line[:3] == "DLV":
    return ""
  if line[:12] == "Best model: ":
    line = line[12:]
  line = line.strip()
  return line