Why Response Time Matters for Heavy Solving