I like the first one more than the second, but id say neither really fit the progmetal genre. First one was more heavy metal, and the other as you said is more punk.
Now.. i dont really wanna moderate this place too heavily, you dont have to remove the post but it doesnt really fit what progmetal is for me at least