Hardy geranium id

in Plants
I have a couple of hardy geranium but anyone know their names. I’m guessing that the dark green, large leafy one with darks specks on it in the background is a common weedy one or wargrave pink? It takes over and needs a bit of force getting rid of it. The light green one with droopy pale pink is less vigorous but still spreads. 

And then in this pic, is this the same weedy geranium but the leaves are just a lot smaller? I was trying to use geranium as a ground cover but it might be too much, too vigorous and I should just pull out and mulch instead?
0
Posts
https://www.rhs.org.uk/Plants/97812/Geranium-macrorrhizum-Ingwersen-s-Variety/Details
I also have a pretty oxoianum which is a very pretty pale shell pink. Still don't really like the leaves but it's a good ground coverer and the colour goes with lots of other things.
Think Dove's ID of the other one is correct. If you feel the need to control it I'd either do as she does or replace it with something else. I think maccrorhizum "White Ness" is well behaved or I really like Geranium Biokovo "Cantabrigiense".
I think the ingwersen is ok for flowers especially in difficult spots so I’ll keep that. Just reduce and refresh as you say.
Good to give them all names and decide their future.
The maccrorhizums spread too but they're easy to pull out and I like the smell.