There's no way to know for sure what device(s) this miner used, but 13 TH/s is about the level that an Antminer S9 performs at -- probably safe to assume it was an S9.