Który z podanych gatunków mrówek jest największy?

Gmachówka pniowa, inaczej Camponotus ligniperda lub ligniperdus to największy gatunek mrówki w Europie, a w konsekwencji i w Polsce. Najbardziej wyrośnięte osobniki mogą osiągać nawet 18 mm długości. Królowa czasem przekracza 2 cm. Gmachowka pniowa i zwodnicza, to dwie nazwy tego samego gatunku - Camponotus fallax.