You also have to factor in startup time and concurrency. Caching an SAT solvers can't get python to 95% of uv.