I despise the “digital truth” times because they are Incongruent. I don’t rely on those.
Also, Kodak prefers that you not push by one stop but to compensate in the darkroom instead. Actually Kodak doesn’t recomend overdeveloping a film that has been underexposed by 1 stop. Over-developing (pushing) would make you lose quality information. According to Kodak, working with an under-developed negative (by 1 stop) will keep most of the useful information.
Now kodak, too, is filling us with incongruent informations if you dig here and there, so it becomes difficult to separate the bullshit from the good.
But there are a few things that I know from experience, and overcooking negatives is to be avoided. Developing for double the time is already quite a lot! And there is the native flexibility of a negative, to start with!
And Ilfosol really cooks. It boosts contrast. So I don’t see where this could go wrong, I woudn’t develop it more as I’m sure it would go overboard. But then again, this is totally and only my opinion. And I’ve had my share of blasted and super muddy negatives!
In the end, one thing is for sure, the results will be usable.