Marylin Bown nydiaconaway2 · How Response Time Matters for Heavy Solving