We currently use v.12 but we experienced crashing problems with pointers. Someone suggested that we downgrade to v.10, is it more stable?
I would advise moving to U13, in general, as we have addressed many defects and rashes, so it is more stable than other releases.