If you look at the specs for the 12k you'll find that the 12k is divided into:
8k AC inversion
PLUS
4k DC
Which means that the maximum AC output is 8k +/- (I usually get just over 8k)
Example
If you are exporting excess AC (such that the inverter would need to generate the max AC)
and if you...