If that's their set then it's not the right order. When I walked inside they were playing something (Wave of Babies?), then they played Tempting Time, and then probably CAFO.
I'm interested in knowing what The Red Chord played. If anybody has seen their set posted somewhere else please share it!
3.25 Carcass / Gorguts