ai-solver-gen download stats