The judgement was fair - life in prison, no chance of release before 20 yrs where he will no doubt be reassessed by everyone and their dog and if there is even a hint of him still being a psycho he will stay locked up - basically the chances of him ever being released are massively slim.
So not life in prison then. The biggest mistake people make when talking about minimum tariffs in sentencing is the assumption that public safety is the only consideration when determining whether to release someone or not. You've also got to factor in the offender's human rights and how much it costs to keep him locked up.