Those are distillations of the model.

have you used those? in my experience even the 70B distillation is far worse than what you can expect from o1 / the R1 available on the web

No, I haven't. I've used Perplexity's R1 but I don't know how many parameters it has. It's quite good, although too slow.