The Massive Dev Chart suggests dilution B for 11.5 minutes. I haven’t tried it myself, and I think it’s a pretty adventurous push—I would expect very high contrast and very little shadow detail, but for some images that could work.
Thank you all very much for your comments. I finally developed it this morning with HC-110 at 20.5ºC (I wasn't very good with the temperature today), so instead of the 11:30 minutes I had planned, I left it for 10:30 minutes. It seems to have turned out well. I let it dry, and in the afternoon I'll probably go down to look at it more closely, cut it, and maybe process some negatives. In any case, I'll upload something so you can see the results. Thanks!
Thank you all very much for your comments. I finally developed it this morning with HC-110 at 20.5ºC (I wasn't very good with the temperature today), so instead of the 11:30 minutes I had planned, I left it for 10:30 minutes. It seems to have turned out well. I let it dry, and in the afternoon I'll probably go down to look at it more closely, cut it, and maybe process some negatives. In any case, I'll upload something so you can see the results. Thanks!
I'm quite happy with the result, keeping in mind that most of the photos were taken at night... the noise is negligible. I developed with HC-110, 1/31, 20.5ºC for 10:30 minutes (not the 11:30 that massivedev indicated, because the developer was at a temperature of 20.5ºC instead of 20ºC, and I didn't have the patience to wait for it to cool down...)
As expected, most of them are severely underexposed. No amount of additional development will compensate for this. The outdoor shots are better exposed, which may be due to how you metered the scenes.