Rachelle Moffet kathrinpidding · Why Response Time Counts for Heavy Solving