Oops my bad, I was looking at it the wrong way. The 12.9TB includes what is duplicated (as shown in DrivePool interface), which means half of it is what I've copied into the pool. I selected all files and folders within the root of the pool, and check properties to find the file size to be 6.45TB. In essence, 2x duplication will use 2x more space in the pool, 3x uses 3x more, etc.