Rope manufacturers typically have guidelines of when to retire ropes.
I've retired ropes for less damage than that. Make two shorter ropes from it and get a new climbing line IMO. Then you wont be thinking about it. For me, peace of mind is worth more than a new rope.