Si tuviese que decir algo, diría lo mismo que rym (y desde luego que la roja no es una Myrmica), pero siendo hormigas de Colombia, vería arriesgado asegurarlo al 100%...
En la segunda imagen, la hormiga pequeña tiene un acidoporo, pues Formicinae. Además, creo que no existe en Colombia una Tapinoma negra de ese tamaño, sino solo unas amarillas o bicolores y más pequeñas. En fin, tiene antennas de nueve segmentos, como se puede ver en la tercera imagen.
Así diría que… Pheidole atacada por una robusta Brachymyrmex, ésta más aún indicada por el notable grosor de las quetas.
Probablement, no puede nadie nombrar las especies, porque todavía están bastante poco estudiadas las hormigas de los países andinos.