This time, I used diodes instead of voltage sources. I also used a couple of constant current sources to drive the diodes because using resistors resulted in the main power transistors being in class-A mode. I measured the efficiency to be 70-75%, which is startlingly close to the theoretical maximum for a class-AB.
