@jono 71: Thanks. I entered and exited both puzzles a few times and now the app shows green ticks for both.
I don’t understand the logic of the timer, though. It seems to arbitrarily add time — lots — if I leave and return to the puzzle. It says I’ve spent 15 hours on 3883, which is simply not possible. Perhaps time penalties are assessed in certain circumstances?