Reading off the DS from ST Micro, the left model of the 2N3055 is fairly close to the saturation specs. Ic 4A, Ib 400 at 1.8V gives Vce 1V.
The same configuration on the right model doesn't match at all though. Oh well. But at least now you can get a better idea of how it'll work in EC.
For better simulations you need LTspice. Or just build it and see. That's the best way :)
