Hi!
I think the ants belong to the genus Camponotus rather than Formica.
Clues could be the overall proportions (elongated with short legs), the size of the eyes, the shape of the head, location of the scapus base. In some species, it isn't easy to tell apart though...
Great captures!