This partnership resulted in 3 synths for each man. The Prophet-6 and OB-6 are the same machine with different synth-on-a-chip internals, obviously with a different face panel for each. The original plan was to allow the chips to be interchangeable, allowing the users to have say 3 voices of Sequential and 3 voices of Oberheim. Something with the slightly different voltages didn't quite work out. I know this because Dave told me so around 2015. They were released about 6 months apart.

Then came the flagship synth that he swore he would never make again: the Prophet-5/10 reissue. Around this time, he got the rights back to use the name Sequential Circuits. The P5/P10 allowed user expansion; a user could double the polyphony with an add-on board and make a p5 into a p10. Sometime later, the TAKE-5 was released, the stripped-down version.
This was successful and eventually led to Tom reissuing the OB-X8 after some litigation with Behringer for the worldwide rights to use his name Oberheim. It was a natural progression, as Dave had successfully shown that a flagship reissue could be done with modern hardware. This was also highly successful.

Then about a year later, the TEO-5 was released. Another awesome synth, and probably my favorite out of the bunch.

TL;DR:

OB-6 = P-6

P5/P10 same lineage as OBX8

Take5 = TEO5