Oh man, part 2 is taking so long on my old quad 5i laptop 1.7ghz. Can any solvers tell me how many hours did it take them on various speed machines? After about 7 hours my test s is around 10^140, at 3500 queries, it’s going to take days to get there…
Update: after 36 hrs I have 5900 queries, s is 10^259, and using ice packs on my laptop but I can read half the flag so far 