let is_solution = function
  |{result = Success _ } -> true
  |{result = Failure _ } -> false