There's a big gap between the top 2 solvers (Yiheng Wang and Xuanyi Geng) and everyone right now. Yunzhi Lian is 4th in the world.