This is not an easy question because even if those combinations work, they won't work well. You don't say whether you are overclocking the DRAM and that makes a difference.
At stock speeds - read by BIOS from the DIMM's SPD - like DDR3-1333 or DDR3-1600, the Haswell memory manager should be able to handle almost any combination, but some are still better than others. The first two DIMM sockets from the CPU, one red and one black, are one channel. The other two sockets are the other channel. Dual channel DDR3 gives best speed when the two channels have the same size in corresponding sockets. This suggests 8,4,8,4 as a possible arrangement. Anywhere the two channels have different size DIMMs, the memory manager drops to single channel DDR and runs with half the bandwidth. Your 4 examples have some part of memory space that would need single channel operation.
The downside of 8,4,8,4 is that the two DIMMs on the same channel will surely have different timings in their XMP profiles used for higher speed overclocking, e.g. DDR3-2400. I'm not a stickler for exact matching of all DIMMs in a system -- see my signature. At higher speeds, you will avoid trouble by keeping the DIMM size and timing parameters as close as possible. If you're trying for DDR3-2133 or faster, I have to suggest 4,4,4,4 alignment and the additional DIMMs with timing parameters as close as possible to your first pair of Corsair. If you have to live with different timing, the BIOS DRAM settings should be those of the more relaxed, slower, higher numbers.
Hope this helps
Jeff