I don’t know specific name but those are just the basic ones I see everywhere. I got the same kind in my tank and I don’t remember them having a specific name. You however got a lot more than I did and I paid $20 lol! Maybe someone can ID specific kind but one thing I learned so far in this hobby is there are a lot of like “generic” types of corals. Designer and Exotic corals are always identified by name. Sorry I couldn’t help but hope it gives insight.