Charolette Han lesliehayes224 · How Response Time Matters for Heavy Solving