Elouise Rapke verlax71567756 · Why Response Time Counts for Heavy Solving