Pauline Ogilby bernadineaugus · Why Latency Counts for Heavy Solving